symmetric monoidal (∞,1)-category of spectra
The notion of Hopf algebra is an abstraction of the properties of
the algebra of functions on a finite group, and more generally, the algebra of regular functions on an affine algebraic -group;
where not only the associative algebra structure is remembered, but also the natural coalgebra structure, making it a bialgebra, as well as the algebraic structure induced by the inverse-operation in the group, called the antipode.
More intrinsically, a Hopf algebra structure on an associative algebra is precisely the structure such as to make its category of modules into a rigid monoidal category equipped with a fiber functor – this is the statement of Tannaka duality for Hopf algebras.
Hopf algebras and their generalization to Hopf algebroids arise notably as groupoid convolution algebras. Another important source of Hopf algebras is combinatorics, see at combinatorial Hopf algebras.
There is a wide variety of variations of the notion of Hopf algebra, relaxing properties or adding structure. Examples are weak Hopf algebras, quasi-Hopf algebras, (quasi-)triangular Hopf algebras, quantum groups, hopfish algebras etc. Most of these notions are systematized via Tannaka duality by the properties and structures on the coresponding categories of modules, see at Tannaka duality below.
called the antipode or coinverse such that
(as a map ).
If an antipode exists then it is unique, just the way that if inverses exist in a monoid then they are unique. One sometimes prefers to have a skew-antipode such that . If is an invertible antipode then is a skew-antipode. is a bialgebra with a skew-antipode iff (the same vector space, opposite product, the same coproduct) is a Hopf algebra.
The unit of a Hopf algebra is a grouplike element, hence , therefore . By linearity of this implies that .
The antipode is an antihomomorphism both of algebras and coalgebras (i.e. a homomorphism ).
In Sweedler notation, for any ,
For the coalgebra part, notice first that . Expand this as
The axiom that must be satisfied by the antipode looks like a -linear version of the identity satisfied by the inverse map in a group bimonoid: taking a group element , duplicating by the diagonal map to obtain , taking the inverse of either component of this ordered pair, and then multiplying the two components, we obtain the identity element of our group.
Caution: convention in topology
In algebraic topology, it is common to define Hopf algebras without mentioning the antipode, since in many topological cases of interest it exists automatically. For example, this is the case if it is graded and “connected” in the sense that its degree-0 part is just the ground field (a property possessed by the homology or cohomology of any connected space). In algebraic topology also the strict coassociativity is not always taken for granted.
Note that the definition of Hopf algebra (or, really, of Hopf monoid) is self-dual: a Hopf monoid in a symmetric monoidal category is the same as a Hopf monoid in the opposite category (i.e. a “Hopf comonoid”). Thus we can view a Hopf algebra as “like a group” in two different ways, depending on whether the group multiplication corresponds to the multiplication or the comultiplication of the Hopf algebra. The formal connections between Hopf monoids and group objects are:
A Hopf monoid in a cartesian monoidal category is the same as a group object in . Such Hopf monoids are always cocommutative (that is, their underlying comonoid is cocommutative). This is because every object of a cartesian monoidal category is a cocommutative comonoid object in a unique way, and every morphism is a comonoid homomorphism.
A commutative Hopf monoid in a symmetric monoidal category is the same as a group object in the opposite category , where is the category of commutative monoids in , hence a cogroup object in (a point highlighted by Haynes Miller, see (Ravenel 86, appendix A1)). This works because the tensor product of commutative algebras is the categorical coproduct, and hence the product in its opposite category. In particular, a commutative Hopf algebra is the same as a group object in the category of affine schemes.
Corresponding to these two, an ordinary group gives us two different Hopf algebras (here is the ground ring):
The group algebra (the free vector space on the set ), with multiplication given by the group operation of and comultiplication given by the diagonal . This Hopf algebra is always cocommutative, and is commutative iff is abelian. It can be viewed as the result of applying the strong monoidal functor to the Hopf monoid in .
The function algebra (the set of functions ), with comultiplication given by precomposition with the group operation
and multiplication given by pointwise multiplication in . In this case we need some finiteness or algebraicity of in order to guarantee . This Hopf algebra is always commutative, and is cocommutative iff is abelian.
Note that if is finite, then as -modules, but the Hopf algebra structure is quite different.
Mike, can you do something with these notes that I took at some point as a grad student? I don't know this stuff very well, which is why I don't incorporate them into the text, but at least I cleaned up the formatting a bit so that you can if you like it. —Toby
One can make a group into a Hopf algebra in at least very different ways. Both ways have a discrete version and a smooth version.
Given a (finite, discrete) group and a ground ring (field?) , then the group ring is a cocommutative Hopf algebra, with , , , , and the nifty Hopf antipodal operator . Notice that the coalgebra operations depend only on .
Given a (finite, discrete) group and a ground ring (field?) , then the function ring is a commutative Hopf algebra, with , , , , and the nifty Hopf antipodal operator . Notice that the algebra operations depend only on .
Given a (simply connected) Lie group and the complex (real?) field , then the universal enveloping algebra is a cocommutative Hopf algebra, with , , , , and the nifty Hopf antipodal operator . Notice that the coalgebra operation depend only on .
Given a (compact) Lie group and the complex (real?) field , then the algebraic function ring is a cocommutative Hopf algebra, with , , , , and the nifty Hopf antipodal operator . Notice that the algebra operations depend only on .
Hopf algebras can be characterized among bialgebras by the fundamental theorem on Hopf modules: the category of Hopf modules over a bialgebra is canonically equivalent to the category of vector spaces over the ground ring iff the bialgebra is a Hopf algebra. This categorical fact enables a definition of Hopf monoids in some setups that do not allow a sensible definition of antipode.
The category of modules (finite dimensional) over the underlying associative algebra of a Hopf algebra canonically inherits the structure of an rigid monoidal category such that the forgetful fiber functor to vector spaces over the ground field is a strict monoidal functor.
|monoid/associative algebra||category of modules|
|sesquialgebra||2-ring = monoidal presentable category with colimit-preserving tensor product|
|bialgebra||strict 2-ring: monoidal category with fiber functor|
|Hopf algebra||rigid monoidal category with fiber functor|
|hopfish algebra (correct version)||rigid monoidal category (without fiber functor)|
|weak Hopf algebra||fusion category with generalized fiber functor|
|quasitriangular bialgebra||braided monoidal category with fiber functor|
|triangular bialgebra||symmetric monoidal category with fiber functor|
|quasitriangular Hopf algebra (quantum group)||rigid braided monoidal category with fiber functor|
|triangular Hopf algebra||rigid symmetric monoidal category with fiber functor|
|supercommutative Hopf algebra (supergroup)||rigid symmetric monoidal category with fiber functor and Schur smallness|
|form Drinfeld double||form Drinfeld center|
|trialgebra||Hopf monoidal category|
|monoidal category||2-category of module categories|
|Hopf monoidal category||monoidal 2-category (with some duality and strictness structure)|
|monoidal 2-category||3-category of module 2-categories|
By the discussion at n-vector space this allows to identify Hopf algebras with certain 3-vector spaces .
(For instance (FHLT, p. 27)).
The diagrammatic definition of a Hopf algebra, is also in the Wikipedia entry.
Eiichi Abe, Hopf algebras, Cambridge UP 1980.
G. Hochschild, Introduction to algebraic group schemes, 1971
Shahn Majid, Foundations of quantum group theory, Cambridge University Press 1995, 2000.
Susan Montgomery, Hopf algebras and their action on rings, AMS 1994, 240p.
B. Parshall, J.Wang, Quantum linear groups, Mem. Amer. Math. Soc. 89(1991), No. 439, vi+157 pp.
Moss Sweedler, Hopf algebras, Benjamin 1969.
William C. Waterhouse, Introduction to affine group schemes, Graduate Texts in Mathematics 66, Springer 1979. xi+164 pp.
Tannaka duality for Hopf algebras and their generalization is alluded to in
and discussed in detail in