nLab Hopf algebra

Redirected from "Hopf rings".
Contents

Contents

Idea

The notion of Hopf algebra is an abstraction of the properties of

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.

Definition

Definition

(antipode)

A kk-bialgebra (A,m,η,Δ,ϵ)(A,m,\eta,\Delta,\epsilon) with multiplication mm, comultiplication Δ\Delta, unit η:kA\eta \colon k\to A and counit ϵ:Ak\epsilon \colon A\to k is called a Hopf algebra if there exists a kk-linear function

S:AA, S \colon A \longrightarrow A \,,

then called the antipode or coinverse, such that

m(idS)Δ=m(Sid)Δ=ηϵ m\circ(\mathrm{id}\otimes S)\circ \Delta \;=\; m\circ(S\otimes\mathrm{id})\circ\Delta = \eta\circ\epsilon

(as a map AAA\to A).

Definition

If the antipode of a Hopf algebra (Def. ) is an anti-involution, in that SS=idS \circ S = id, then one speaks of an involutive Hopf algebra.

Remark

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 S˜\tilde{S} such that h (2)S˜(h (1))=S˜(h (2))h (1)=(ηϵ)(h)h_{(2)}\tilde{S}(h_{(1)}) = \tilde{S}(h_{(2)}) h_{(1)} = (\eta\circ\epsilon) (h). If SS is an invertible antipode then S˜S 1\tilde{S} - S^{-1} is a skew-antipode. HH is a bialgebra with a skew-antipode iff H opH^{op} (the same vector space, opposite product, the same coproduct) is a Hopf algebra.

The unit of a Hopf algebra is a grouplike element, hence S(1)1=1S(1)1=1, therefore S(1)=1S(1)=1. By linearity of SS this implies that Sηϵ=ηϵS\circ\eta\circ\epsilon = \eta\circ\epsilon.

Proposition

The antipode is an anti-homomorphism both of algebras and coalgebras (i.e. a homomorphism S:AA op copS \colon A\to A^{cop}_{op}).

In particular, an involutive Hopf algebra (Def. ) is a star-algebra.

Proof (algebra part)

In Sweedler notation, for any g,hAg,h\in A,

S((hg) (1))(hg) (2)=ϵ(hg)S((h g)_{(1)}) (h g)_{(2)} = \epsilon(h g)
S((hg) (1))h (2)g (2)=ϵ(h)ϵ(g)S((h g)_{(1)}) h_{(2)}g_{(2)} = \epsilon(h)\epsilon(g)
S((hg) (1))h (2)g (2)Sg (3)Sh (3)=ϵ(h (1))ϵ(g (1))Sg (2)Sh (2)S((h g)_{(1)}) h_{(2)}g_{(2)} S g_{(3)} S h_{(3)} = \epsilon(h_{(1)})\epsilon(g_{(1)}) S g_{(2)} S h_{(2)}
S(h (1)g (1))ϵ(h (2))ϵ(g (2))=(Sg)(Sh)S(h_{(1)}g_{(1)}) \epsilon(h_{(2)})\epsilon(g_{(2)}) = (S g) (S h)
S(h (1)ϵ(h (2))g (1)ϵ(g (2)))=(Sg)(Sh)S(h_{(1)}\epsilon(h_{(2)})g_{(1)}\epsilon(g_{(2)})) = (S g)(S h)

Therefore S(hg)=(Sg)(Sh)S(h g) = (S g) (S h).

For the coalgebra part, notice first that ϵ(h)11=τΔ(ϵ(h)1)=τΔ(Sh (1)h (2))\epsilon(h)1\otimes 1 = \tau\circ\Delta(\epsilon(h)1)=\tau\circ\Delta(S h_{(1)}h_{(2)}). Expand this as

(Sh (1)Sh (2))(h (4)h (3))=((Sh (1)) (2)(Sh (1)) (1))(h (4)h (3)) (S h_{(1)}\otimes S h_{(2)})(h_{(4)}\otimes h_{(3)}) = ((S h_{(1)})_{(2)}\otimes (S h_{(1)})_{(1)})(h_{(4)}\otimes h_{(3)})
(Sh (1)Sh (2))(h (4)h (3))(Sh (5)Sh (6))=((Sh (1)) (2)(Sh (1)) (1))(h (3)h (2))(Sh (4)Sh (5)) (S h_{(1)}\otimes S h_{(2)})(h_{(4)}\otimes h_{(3)}) (S h_{(5)}\otimes S h_{(6)}) = ((S h_{(1)})_{(2)}\otimes (S h_{(1)})_{(1)})(h_{(3)}\otimes h_{(2)})(S h_{(4)}\otimes S h_{(5)})
((Sh (1)Sh (2))ϵ(h (3))=((Sh (1)) (2)(Sh (1)) (1))(1ϵ(h (2))) ((S h_{(1)}\otimes S h_{(2)})\epsilon(h_{(3)}) = ((S h_{(1)})_{(2)}\otimes (S h_{(1)})_{(1)})(1\otimes\epsilon(h_{(2)}))
((Sh (1)Sh (2))ϵ(h (3))=(τΔ)(Sh (1))(1ϵ(h (2))1)=(τΔ)(Sh (1)ϵ(h (2))) ((S h_{(1)}\otimes S h_{(2)})\epsilon(h_{(3)}) = (\tau\circ\Delta)(S h_{(1)})(1\otimes\epsilon(h_{(2)})1) = (\tau\circ\Delta)(S h_{(1)}\epsilon(h_{(2)}))
(Sh (1)Sh (2))=(τΔ)(Sh)=(Sh) (2)(Sh) (1). (S h_{(1)}\otimes S h_{(2)})=(\tau\circ\Delta)(S h) = (S h)_{(2)}\otimes (S h)_{(1)}.

The axiom that must be satisfied by the antipode looks like a kk-linear version of the identity satisfied by the inverse map in a group bimonoid: taking a group element gg, duplicating by the diagonal map Δ\Delta to obtain (g,g)(g,g), taking the inverse of either component of this ordered pair, and then multiplying the two components, we obtain the identity element of our group.

Just as an algebra is a monoid in Vect and a bialgebra is a bimonoid in VectVect, a Hopf algebra is a Hopf monoid in VectVect.

Remark

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.

Properties

Relation to Hopf groups

Note that the definition of Hopf algebra (or, really, of Hopf monoid) is self-dual: a Hopf monoid in a symmetric monoidal category VV is the same as a Hopf monoid in the opposite category V opV^{op} (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:

  1. A Hopf monoid in a cartesian monoidal category VV is the same as a group object in VV. 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.

  2. A commutative Hopf monoid in a symmetric monoidal category VV is the same as a group object in the opposite category CMon(V) opCMon(V)^{op}, where CMon(V)CMon(V) is the category of commutative monoids in VV, hence a cogroup object in CMon(V)CMon(V) (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 Alg opAlg^{op} of affine schemes.

Corresponding to these two, an ordinary group GG gives us two different Hopf algebras (here kk is the ground ring):

  1. The group algebra k[G]k[G] (the free vector space on the set GG), with multiplication given by the group operation of GG and comultiplication given by the diagonal gggg\mapsto g\otimes g. This Hopf algebra is always cocommutative, and is commutative iff GG is abelian. It can be viewed as the result of applying the strong monoidal functor k[]:SetkModk[-]:Set \to k Mod to the Hopf monoid GG in SetSet.

  2. The function algebra k(G)k(G) (the set of functions GkG\to k), with comultiplication given by precomposition with the group operation

    k(G)k(G×G)k(G)k(G),k(G) \to k(G\times G) \cong k(G)\otimes k(G),

    and multiplication given by pointwise multiplication in kk. In this case we need some finiteness or algebraicity of GG in order to guarantee k(G×G)k(G)k(G)k(G\times G) \cong k(G)\otimes k(G). This Hopf algebra is always commutative, and is cocommutative iff GG is abelian.

Note that if GG is finite, then k[G]k(G)k[G]\cong k(G) as kk-modules, but the Hopf algebra structure is quite different.

The theorem of Hopf modules

Hopf algebras can be characterized among bialgebras by the fundamental theorem of 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.

Relation to Lie algebras

Tannaka duality

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.

The statement of Tannaka duality for Hopf algebras is that this property characterizes Hopf algebras. (See for instance (Bakke))

For generalization of this characterization to quasi-Hopf algebras and hopfish algebras see (Vercruysse).

Tannaka duality for categories of modules over monoids/associative algebras

monoid/associative algebracategory of modules
AAMod AMod_A
RR-algebraMod RMod_R-2-module
sesquialgebra2-ring = monoidal presentable category with colimit-preserving tensor product
bialgebrastrict 2-ring: monoidal category with fiber functor
Hopf algebrarigid monoidal category with fiber functor
hopfish algebra (correct version)rigid monoidal category (without fiber functor)
weak Hopf algebrafusion category with generalized fiber functor
quasitriangular bialgebrabraided monoidal category with fiber functor
triangular bialgebrasymmetric monoidal category with fiber functor
quasitriangular Hopf algebra (quantum group)rigid braided monoidal category with fiber functor
triangular Hopf algebrarigid symmetric monoidal category with fiber functor
supercommutative Hopf algebra (supergroup)rigid symmetric monoidal category with fiber functor and Schur smallness
form Drinfeld doubleform Drinfeld center
trialgebraHopf monoidal category

2-Tannaka duality for module categories over monoidal categories

monoidal category2-category of module categories
AAMod AMod_A
RR-2-algebraMod RMod_R-3-module
Hopf monoidal categorymonoidal 2-category (with some duality and strictness structure)

3-Tannaka duality for module 2-categories over monoidal 2-categories

monoidal 2-category3-category of module 2-categories
AAMod AMod_A
RR-3-algebraMod RMod_R-4-module

As 3-vector spaces

A Hopf algebra structure on an associative algebra AA canonically defines on AA the structure of an algebra object internal to the 2-category of algebras, bimodules and bimodule homomorphisms.

By the discussion at n-vector space this allows to identify Hopf algebras with certain 3-vector spaces .

(For instance (FHLT, p. 27)).

More general 3-vector spaces are given by hopfish algebras and generally by sesquiunital sesquialgebras.

Relation to Frobenius algebras

Both Hopf algebras and Frobenius algebras are at the same time an algebra and a coalgebra, albeit with different additional structures and properties. Nevertheless, one may ask whether there is any relation between these two. This leads to the following result due to Larson & Sweedler (1969).

Proposition

Any finite-dimensional Hopf algebra can be endowed with the structure of a Frobenius algebra.

The finite-dimensional condition is expected since all Frobenius algebras are finite-dimensional. A nontrivial part of this result is that, while a finite-dimensional Hopf algebra AA already has a counit, this is not be the same counit that realizes AA as a Frobenius algebra. Rather, it is an integral (see Larson & Sweedler (1969) for details on this), which for finite-dimensional Hopf algebras always exist and are unique up to scaling.

In fact, more is true. In Fuchs, Schweigert & Stigner (2011) a symmetric special Frobenius algebra is constructed from a particular kind of Hopf algebra.

Proposition

Let HH be a finite-dimensional factorizable ribbon Hopf algebra, with multiplication μ\mu, counit ϵ\epsilon, comultiplication Δ\Delta, and antipode SS. Let Λ\Lambda be a left-integral element of HH and λ\lambda a right-cointegral of HH (since HH is finite-dimensional, this is equivalent to an integral of the dual Hopf algebra H *H^*) such that λΛ=1\lambda\circ\Lambda=1. Then the dual vector space H *H^* endowed with: a unit ϵ *\epsilon^*, a multiplication Δ *\Delta^*, a counit Λ *\Lambda^*, and comultiplication

Δ F=((id H(λμ))(id HSid H)(Δid H)) *\Delta_F=((\text{id}_H\otimes (\lambda\circ \mu))\circ (\text{id}_H\otimes S\otimes\text{id}_H)\circ (\Delta\otimes\text{id}_H))^*

is a symmetric Frobenius object in the category Bimod(H,H)\text{Bimod}(H,H) of bimodules of HH, and it is furthermore special iff HH is is semisimple.

Examples

The Kac-Paljutkin H 8H_8 Hopf algebra

The Kac-Paljutkin H 8H_8 Hopf algebra was first described in Kac & Paljutkin (1966) and it is the Hopf algebra with the smallest dimension that is semisimple, noncommutative, and noncocommutative. It is also self-dual (see e.g. Burciu (2017)). One presentation is in terms of generators {x,y,z}\{x,y,z\} satisfying the relations x 2=y 2=z 2=1x^2=y^2=z^2=1, xz=zxxz=zx, zy=yzzy=yz, xyz=yxxyz=yx, along with comultiplication

Δ(x)=xe 0x+xe 1y\Delta(x)=xe_0\otimes x+xe_1\otimes y
Δ(y)=ye 1x+ye 0y\Delta(y)=ye_1\otimes x+ye_0\otimes y
Δ(z)=zz\Delta(z)=z\otimes z

(where e 0=12(1+z)e_0=\frac{1}{2}(1+z), e 1=12(1z)e_1=\frac{1}{2}(1-z)) whose counit is ϵ(x)=ϵ(y)=ϵ(z)=1\epsilon(x)=\epsilon(y)=\epsilon(z)=1. The antipode map is

S(x)=xe 0+ye 1S(x)=xe_0+ye_1
S(y)=xe 1+ye 0S(y)=xe_1+ye_0
S(z)=zS(z)=z

. Its category of representations is the unique 2× 2\mathbb{Z}_2\times\mathbb{Z}_2 Tambara-Yamagami category that admits a fiber functor and is not the representation category of some group.

Tannaka duality for categories of modules over monoids/associative algebras

monoid/associative algebracategory of modules
AAMod AMod_A
RR-algebraMod RMod_R-2-module
sesquialgebra2-ring = monoidal presentable category with colimit-preserving tensor product
bialgebrastrict 2-ring: monoidal category with fiber functor
Hopf algebrarigid monoidal category with fiber functor
hopfish algebra (correct version)rigid monoidal category (without fiber functor)
weak Hopf algebrafusion category with generalized fiber functor
quasitriangular bialgebrabraided monoidal category with fiber functor
triangular bialgebrasymmetric monoidal category with fiber functor
quasitriangular Hopf algebra (quantum group)rigid braided monoidal category with fiber functor
triangular Hopf algebrarigid symmetric monoidal category with fiber functor
supercommutative Hopf algebra (supergroup)rigid symmetric monoidal category with fiber functor and Schur smallness
form Drinfeld doubleform Drinfeld center
trialgebraHopf monoidal category

2-Tannaka duality for module categories over monoidal categories

monoidal category2-category of module categories
AAMod AMod_A
RR-2-algebraMod RMod_R-3-module
Hopf monoidal categorymonoidal 2-category (with some duality and strictness structure)

3-Tannaka duality for module 2-categories over monoidal 2-categories

monoidal 2-category3-category of module 2-categories
AAMod AMod_A
RR-3-algebraMod RMod_R-4-module

References

  • Kenneth Brown, Hopf algebras, lectures, pdf

  • Nicolas Andruskiewitsch, Walter Ferrer Santos, The beginnings of the theory of Hopf algebras, Acta Appl Math 108 (2009) 3-17 [arXiv:0901.2460]

The diagrammatic definition of a Hopf algebra, is also in the Wikipedia entry.

  • Eiichi Abe, Hopf algebras, Cambridge UP 1980.

  • Pierre Cartier, A primer on Hopf algebras, Frontiers in number theory, physics, and geometry II, 537–615, preprint IHÉS 2006-40, 81p (doi:10.1007/978-3-540-30308-4_12, pdf, pdf, pdf)

  • V. G. Drinfel'd, Quantum groups, Proceedings of the International Congress of Mathematicians 1986, Vol. 1, 2 798–820, AMS 1987, djvu:1.3 M, pdf:2.5 M

  • G. Hochschild, Introduction to algebraic group schemes, 1971

  • Shahn Majid, Foundations of quantum group theory, Cambridge University Press 1995, 2000.

  • John Milnor, John Moore, On the structure of Hopf algebras, Annals of Math. 81 (1965), 211-264 (doi:10.2307/1970615, pdf)

  • Susan Montgomery, Hopf algebras and their actions 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

  • Joost Vercruysse, Hopf algebras—Variant notions and reconstruction theorems (arXiv:1202.3613)

and discussed in detail in

  • Tørris Koløen Bakke, Hopf algebras and monoidal categories (2007) (pdf)

Discussion in algebraic topology with an eye towards stable homotopy theory, Steenrod algebra and the Adams spectral sequence:

For Hopf algebras in generative linguistics, see:

The construction of a Frobenius algebra structure on finite-dimensional Hopf algebras due to

  • Richard Larson, Moss Sweedler. An Associative Orthogonal Bilinear Form for Hopf Algebras. American Journal of Mathematics, Vol. 91, No. 1 (Jan., 1969), pp. 75-94 (20 pages). (doi)

See also

  • Alfons Van Daele. Reflections on the Larson-Sweedler theorem for (weak) multiplier Hopf algebras (2024). (arXiv:2404.15046).

The proof that H *H^* can be endowed with the structure of a symmetric special Frobenius object in Bimod(H,H)\text{Bimod}(H,H) is in

  • Jürgen Fuchs, Christoph Schweigert, Carl Stigner?. Modular invariant Frobenius algebras from ribbon Hopf algebra automorphisms. Journal of Algebra 363, 1 August 2012, Pages 29-72. (doi)

On the H 8H_8 Hopf algebra

  • G. I. Kac, V. G. Paljutkin, Finite ring groups_, Trans. Moscow Math. Soc. 15 (1966), 251–294.

  • Sebastian Burciu. Representations and conjugacy classes of semisimple quasitriangular Hopf algebras. (2017) ((arXiv:1709.02176).

Last revised on August 21, 2024 at 02:14:00. See the history of this page for a list of all contributions to it.