Hopf algebras examples

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Following Richard Borcherds' questions 34110 and 61315, I'm looking for interesting examples of Hopf algebras for an introductory Hopf algebras graduate course.

Some of the examples I know are well-known:

• Examples related to groups and Lie algebras,
• Sweedler and Taft Hopf algebras,
• Drinfeld-Jimbo quantum groups.

(These examples can be found for example in Montgomery's book on Hopf algebras.) Other interesting examples are Lusztig small quantum groups and the generalized small quantum groups of Andruskiewitsch and Schneider.

Therefore I'm looking for interesting and non-standard examples maybe related to combinatorics or to other branches of mathematics.

-

1
Since this isn't exactly what you asked, I'll leave it as a comment. Perhaps you will be interested in the crossed product algebras. Consider a Hopf algebra and some algebra acting on it, then you can form a Hopf algebra with underlying vector space of their tensor product. If you need a reference, I would suggest nlab. Sorry if this is off-topic. – B. Bischof Dec 24 2011 at 1:02

7 Answers

Symmetric functions, quasisymmetric functions, Connes-Kreimer algebra are all examples of combinatorial Hopf algebras. There are many more.

The original example is the cohomology ring of a Lie group.

Also Steenrod algebra and the analogue for any cohomology theory.

-

2
Also the tensor and the shuffle Hopf algebra of a vector space (or, better, module). Besides, the Malvenuto-Reutenauer Hopf algebra $\mathrm{FQSym}$ (see math.tamu.edu/~maguiar/MR.pdf for definition and many properties) is a good example of something graded, neither commutative nor cocommutative but still easy to calculate in. There is also the Loday-Ronco Hopf algebra, but I am not really understanding its definition yet; it is definitely not that simple. But at least something made out of trees would be useful. I don't remember how the Hopf algebra in ... – darij grinberg Dec 23 2011 at 15:38

1
... arxiv.org/abs/math/0408405 II.9.3 is called, but it is definitely elementary enough to be part of an introductory course. – darij grinberg Dec 23 2011 at 15:40

1
Daril, you can see the Loday-Ronco Hopf algebra (also called ${\bf PBT}$) as the Hopf subalgebra of ${\bf FQSym}$ generated by all binary trees $T$ where the embedding is defined by $T := \sum_{\sigma \in \mathfrak{S}, {\tt bst}(\sigma) = T} \sigma$, where ${\tt bst}$ is the binary search tree obtained by inserting $\sigma$ (from left to right) following the binary search tree insertion algorithm. – Samuele Giraudo Mar 4 at 20:55

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

I will elaborate on Bruce's examples and add a couple of my own.

Of course, the homology and cohomology of topological groups over a field are good examples.

For each prime prime $p$ the Steenrod algebra $\mathcal{A}_p$ which is the algebra of endomorphisms of the cohomology theory $H^*(-;\mathbb{F}_p)$. The cohomology of this Hopf algebra is the $E_2$ term of a spectral sequence, due to Adams, converging to the $p$-completed stable homotopy groups of spheres.

The functions on any affine algebraic groups over a field are another family of examples.

Formal group laws over a field $k$. You can read about these in Husemoller's book.

The rational homotopy groups of connected topological group or more generally an $H$-space is a Lie algebra. A nice result of Milnor-Moore shows that the universal enveloping algebra of this Lie algebra is isomorphic as Hopf algebras to the rational homology of the space.

-

If you're interested in Hopf algebras in categories other than $\mathrm{Vect}$, you can look at the exterior algebra as a Hopf algebra in $\mathrm{SVect}$, the category of super vector spaces with degree-preserving morphisms. More precisely, let $V$ be a purely odd vector space (i.e. $V_0 = 0$ and $V_1 = V$) and form the exterior algebra $\Lambda(V)$ with its natural $\mathbb{Z}/2$ grading. This is a superalgebra, i.e. an algebra in $\mathrm{SVect}$. Then $\Lambda(V) \underline{\otimes} \Lambda(V)$ is an algebra in $\mathrm{SVect}$, where $\underline{\otimes}$ is the graded tensor product of graded algebras.

Now consider the map $\Delta : V \to \Lambda(V) \underline{\otimes} \Lambda(V)$ given by $$\Delta(v) = v \otimes 1 + 1 \otimes v.$$ With the sign conventions coming from the graded tensor product, you get $\Delta(v)^2 = 0$, and so according to the universal property of the exterior algebra, $\Delta$ extends to an algebra homomorphism $\Delta : \Lambda(V) \to \Lambda(V) \underline{\otimes} \Lambda(V)$. Coassociativity is clear. You can get the counit and antipode similarly using the universal property.

Another good example is the shuffle Hopf algebra, which is discussed in this question. Let $V$ be a vector space and $T(V)$ its tensor algebra. The shuffle Hopf algebra is a Hopf structure on $T(V)$ which uses neither the standard algebra nor coalgebra structures on the tensor algebra.

The comultiplication is given by deconcatenation: $$\Delta(v_1 \dots v_n) = \sum_{j=1}^{n+1} v_1 \dots v_{j-1} \otimes v_j \dots v_n,$$ while the multiplication is given by the shuffle product: $$(v_1 \dots v_k) \cdot (v_{k+1} \dots v_n) = \sum_{\sigma \in S_{k,n-k}} v_{\sigma^{-1}(1)} \dots v_{\sigma^{-1}(n)},$$ where $S_{k,n-k}$ is the set of $(k,n-k)$ shuffle permutations, i.e. $$\sigma(1) < \dots < \sigma(k)$$ and $$\sigma(k+1) < \dots < \sigma(n).$$ I haven't really worked much with the shuffle algebra myself, but the answers to the question linked above have some discussion of what it is good for.

-

Hopf incidence algebras are not well understood and could be an important example as it deals with matrix multiplication. Fourier transform for these are not well understood.

-

There's a (unique) semisimple noncocommutative Hopf algebra of dimension 8 that makes a nice example. (Unfortunately I don't remember where to find information on it at the moment, I learned about it in a survey paper of Susan Montgomery's.)

-

Maybe you are misremembering and have the Sweedler 4-dimensional algebra in mind? I am pretty sure there are many 8-dimensional non-comm, non-cocomm Holp algebras.  – Mariano Suárez-Alvarez Dec 23 2011 at 21:00
The classification for the pointed case in dimension 8 was done by [Caenepeel, S.; Dăscălescu, S. Pointed Hopf algebras of dimension $p\sp 3$. J. Algebra 209 (1998), no. 2, 622--634. MR1659887 (99k:16076)] and slightly later and differently by Nicolás Andruskiewitsch and Schneider (but maybe this second classification is for dimension $p^3$ with odd $p$...)   – Mariano Suárez-Alvarez Dec 23 2011 at 21:12
Sorry, forgot to write semisimple. – Noah Snyder Dec 24 2011 at 4:36

A couple people mentioned the Steenrod algebra briefly, but you can do a few more topologically-related things:

• The subalgebras $\mathcal{A}(n)$ of the Steenrod algebra generated by $Sq^1, ..., Sq^n$ are neat. In particular, it is a good exercise in cohomology to compute $Ext_{\mathcal{A}(n)}(k,k)$. (One can do a minimal resolution and try to look for a pattern, and then prove that it works using a spectral sequence.)

• You can show that the Hopf algebras given by $\mathbb{Z}[c_1, c_2, ...]$ ($c_i$ living in degree 2i) and $\mathbb{Z}/2 [w_1, w_2, ...]$ ($w_i$ living in degree i) and comultiplications given by $y_n \mapsto \sum y_i \otimes y_j$ on the generators, are self-dual Hopf algebras and explicitly describe the relationship between itself and the dual. This is neat in and of itself, but then you can mention that these results lead to quick calculations of $H_*MU$ and $H_*MO$ as comodules over the dual of the Steenrod algebra, and thus allow for computations of cobordism groups via the Adams spectral sequence. This self-duality can also be used for a quick proof of the Bott periodicity theorem, though the only reference I know of for this is not yet published (by May), though it will be soon.

• If you're doing cohomology, it's always nice to do the cohomology of an exterior algebra; i.e. a Hopf algebra that's an exterior algebra on primitive generators. It's a very easy result, but you can use it to compute other things via spectral sequences.

I know I've forgotten several things I wanted to mention... if I remember them, I'll edit them in.

-

There are lots of good combinatorial examples that are not hard to define: e.g., posets, matroids, quasisymmetric functions, graphs. A few places to look: W. Schmitt, Incidence Hopf Algebras, J. Pure Appl. Algebra 96 (1994), no. 3, 299–330. W. Schmitt, Hopf algebra methods in graph theory, J. Pure Appl. Algebra 101 (1995), no. 1, 77–90. M. Aguiar, N. Bergeron, and F. Sottile, Combinatorial Hopf algebras and generalized Dehn-Sommerville relations, Compos. Math. 142 (2006), no. 1, 1–30.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 47, "mathjax_display_tex": 5, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9103686213493347, "perplexity_flag": "head"}