I really should just start a series called “Yan finally learns simple math” because it takes me ridiculously long to stumble upon ideas that everyone else already knows. Anyway, I have finally convinced myself that I might want to care about Hopf algebras, so maybe this could help someone else.

It is annoying why this realization came so late. I think I’ve asked this question at least five times, each time getting an answer full of words that I didn’t understand. This would be okay, except I think there’s an answer that I think even an undergraduate can appreciate, so I will stick to it now until I become fancy enough to appreciate a “higher” reasoning. Consider some -algebra , and let be an A-module. When we tensor -modules it is obvious that we want to act on them diagonally, so consider . naturally acts on this by the diagonal action .

This is one of those lies that me, being careless, would be willing to buy without thinking much. The source of the lie is that if we’re just multiplying things this is obviously a group homomorphism, but once we allow addition we clearly don’t have enough structure:, which give us terms; we obviously want this to be the same as , and we are stuck with two cross-terms that don’t cancel.

So, we’ve concluded that we can’t do this in general. What happens is that is not naturally an -module; what it is is an -module, in which case we can easily check the obvious map works perfectly.

Well, that would be end of the story, except that there are some algebraic structures that come up often enough where we seem to have this extra power. To be precise, let’s look at the group algebra of some group . Here, for every group element , I just let be the diagonal action, which we can then extend linearly into a -action. Now, this is completely well-defined and quite useful. At first I stared at this for a while wondering why it works, because it seems to be the exact thing we wanted to do earlier that didn’t work. Of course, a little bit of staring gives us the answer – here we had more structure underneath. In particular, we had a group structure that we used and then linearized afterwards, which we did not have the luxury of doing before. Of course, when we study group rings we’re really studying the representations of these groups, so Hopf algebras naturally come up in representation theory.

So, thinking a bit more like a modern mathematician – what we really have here is a nontrivial map , meaning that our natural -action really came from such a map. This is a weird thing that is the opposite of the normal product, which is a map . The structure of the previous sentence makes it retroactively intuitive that this operation, the co-product, is the extra structure we have in these situations. The Hopf algebra is just the formalism to capture these situations.

A similar situation appears in algebraic topology. Why is cohomology nicer than homology? Well, for starters we have a nice product, the cup product, which makes the cohomology ring a… ring. When our space is a Lie group, we have a group structure, and thus a group product. This group product induces a coproduct on the cohomology ring. making it a Hopf algebra as well.

This explains why a Hopf algebra may be a nice definition to have for labeling things. Now, I’m still not sure if they’re immediately useful for elucidating concepts or for doing specific things in combinatorics, but I’ll keep my mind open and see. Right now I’m just confused on why I’ve never managed to understand this before, especially given that the Wikipedia article seems to cover most of what I said; I’ve concluded it may be just because I was too mathematically immature to follow the explainer (I’m including Wikipedia as a possible explainer)’s reasoning at the time, in which case I apologize retroactively to the explainer.

Much thanks to Henry Cohn’s “Quantum Groups” article for making this click in my head, and thanks to Tiankai Liu for figuring this one out with me.

-Yan

Yes! And you can extend this a bit: the counit gives you a trivial representation (1-dimensional representation over the commutative ground ring) and the antipode gives you a dual representation.

The structure of a Hopf algebra is what separates group algebras from any old algebras. In other words, it’s why group representations are so special.

By:

Alex Ellison March 15, 2011at 6:49 AM

Note that the -dimensional representations of a Hopf algebra form a group. This is a basic reason Hopf algebras show up in algebraic geometry, since the ring of functions on an algebraic group naturally forms a Hopf algebra.

By:

Qiaochu Yuanon March 15, 2011at 9:44 AM

You don’t need a full blown Hopf algebra for tensor products to make sense, technically you just want a bialgebra structure. The antipode is needed to make sense of dual representations.

If you want to see Hopf algebras in combinatorics, take a look at Rota’s work…

By:

Steven Samon March 15, 2011at 3:03 PM

@ssam: yes, but it was Rota himself who said (I can’t find the quote) that the Hopf algebra formalism did nothing in his own work – they just made how he thought about things more rigorous. If I remember right, he explicitly said something like this in some paper late in his career (or it could have been one of his books), so I’ll assume it was a philosophy he didn’t regret having. If this is a bad interpretation, please correct me.

That said, I think there have been some recent (as in the last 3 years) results where the speaker said the use of Hopf algebras was essential and the shortest way to the truth. Someone at FPSAC mentioned this earlier this year. I really should look more into those.

By:

yanzhangon March 15, 2011at 6:23 PM

[…] the longer posts, Concrecte Nonsense shared some insight into Hopf algebras and Gaussianos had a great interview with Cilleruelo Javier about Sidon sets (translation). On a […]

By:

Weekly picks « Mathblogging.org — the Blogon March 20, 2011at 11:39 PM

The really cool thing from my point of view is the (deep?) connection with topology. You can form a category C out of pictures of knots and tangles, and it turns out that this category has many of the same formal structures as the category of modules over a Hopf algebra (for example, the tensor product that you’re talking about, duals, and an extra piece of structure analogous to the swap map t: A X B -> B X A ). But what’s amazing is that the category C is the “free” category with these properties: just as for other “free” things, this means that for any object A in an appropriate category of modules, the smallest subcategory containing it (and all its tensor products, duals, etc) is just a copy of the topological category C! So this is a recipe for getting lots of knot invariants, by sticking C inside categories of modules.

Maybe I should do a post on this to connect it all up?

By:

Samon March 23, 2011at 7:13 PM

[…] Yan Zhang: Why Hopf Algebras […]

By:

Second Xamuel.com Linkfeston March 26, 2011at 6:32 PM

Did you mean “our natural A-action really came from such a map” rather than “our natural (A tensor A)-action”? As you mentioned before, you naturally get an (A tensor A)-module structure, so if you have a map A -> A tensor A, then you can precompose by this, and obtain an A-module structure?

By:

mlbakeron February 16, 2014at 11:21 PM

@mlbaker: wow! Blast from the past! At first glance it looks like you are right, so I will just change it.

By:

yanzhangon February 18, 2014at 5:43 AM