Hopf algebras examples - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T04:14:07Z http://mathoverflow.net/feeds/question/84161 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/84161/hopf-algebras-examples Hopf algebras examples Leandro Vendramin 2011-12-23T13:17:57Z 2011-12-24T19:57:00Z <p>Following Richard Borcherds' questions <a href="http://mathoverflow.net/questions/34110" rel="nofollow">34110</a> and <a href="http://mathoverflow.net/questions/61315" rel="nofollow">61315</a>, I'm looking for interesting examples of Hopf algebras for an introductory Hopf algebras graduate course. </p> <p>Some of the examples I know are well-known:</p> <ul> <li>Examples related to groups and Lie algebras,</li> <li>Sweedler and Taft Hopf algebras,</li> <li>Drinfeld-Jimbo quantum groups.</li> </ul> <p>(These examples can be found for example in <a href="http://ams.org/bookstore-getitem/item=CBMS-82" rel="nofollow">Montgomery's book</a> on Hopf algebras.) Other interesting examples are Lusztig small quantum groups and the <a href="http://arxiv.org/abs/math/0502157" rel="nofollow">generalized small quantum groups</a> of Andruskiewitsch and Schneider.</p> <p>Therefore I'm looking for interesting and non-standard examples maybe related to combinatorics or to other branches of mathematics. </p> http://mathoverflow.net/questions/84161/hopf-algebras-examples/84163#84163 Answer by Bruce Westbury for Hopf algebras examples Bruce Westbury 2011-12-23T14:00:07Z 2011-12-23T14:00:07Z <p>Symmetric functions, quasisymmetric functions, Connes-Kreimer algebra are all examples of combinatorial Hopf algebras. There are many more.</p> <p>The original example is the cohomology ring of a Lie group.</p> <p>Also Steenrod algebra and the analogue for any cohomology theory.</p> http://mathoverflow.net/questions/84161/hopf-algebras-examples/84164#84164 Answer by Justin Noel for Hopf algebras examples Justin Noel 2011-12-23T14:17:04Z 2011-12-23T14:23:05Z <p>I will elaborate on Bruce's examples and add a couple of my own.</p> <p>Of course, the homology and cohomology of topological groups over a field are good examples. </p> <p>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. </p> <p>The functions on any affine algebraic groups over a field are another family of examples. </p> <p>Formal group laws over a field $k$. You can read about these in Husemoller's book.</p> <p>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.</p> http://mathoverflow.net/questions/84161/hopf-algebras-examples/84169#84169 Answer by MTS for Hopf algebras examples MTS 2011-12-23T16:33:05Z 2011-12-23T18:45:58Z <p>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.</p> <p>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.</p> <hr> <p>Another good example is the shuffle Hopf algebra, which is discussed in this <a href="http://mathoverflow.net/questions/63923/shuffle-hopf-algebra-how-to-prove-its-properties-in-a-slick-way" rel="nofollow">question</a>. 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.</p> <p>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) &lt; \dots &lt; \sigma(k)$$ and $$\sigma(k+1) &lt; \dots &lt; \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.</p> http://mathoverflow.net/questions/84161/hopf-algebras-examples/84170#84170 Answer by unknown (google) for Hopf algebras examples unknown (google) 2011-12-23T16:57:49Z 2011-12-23T16:57:49Z <p>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.</p> http://mathoverflow.net/questions/84161/hopf-algebras-examples/84171#84171 Answer by Noah Snyder for Hopf algebras examples Noah Snyder 2011-12-23T17:02:51Z 2011-12-24T04:37:32Z <p>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.)</p> http://mathoverflow.net/questions/84161/hopf-algebras-examples/84190#84190 Answer by Dylan Wilson for Hopf algebras examples Dylan Wilson 2011-12-23T20:53:26Z 2011-12-23T20:53:26Z <p>A couple people mentioned the Steenrod algebra briefly, but you can do a few more topologically-related things:</p> <ul> <li><p>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.)</p></li> <li><p>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. </p></li> <li><p>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.</p></li> </ul> <p>I know I've forgotten several things I wanted to mention... if I remember them, I'll edit them in.</p> http://mathoverflow.net/questions/84161/hopf-algebras-examples/84234#84234 Answer by Jeremy Martin for Hopf algebras examples Jeremy Martin 2011-12-24T19:57:00Z 2011-12-24T19:57:00Z <p>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.</p>