Hopf algebras are known to have a copious ammounts of structure which makes them useful in studying representations while, on the other hand, groups come equipt with little structure. In the following we will “realize” Hopf algebras as groups and comment on why we call quasitriangular Hopf algebras quantum groups. Hopefully, this will help demistify the confusion that comes along when studying Hopf algebras. For those of you who don’t know Hopf algebras, don’t worry! We will review them as well.
Lets review what a group is first before we dig any deeper. We eventually want to redefine the notation of a group by altering one of the axioms. Recall that a group is a set with the following:
- An assoicative binary map .
- An inverse map .
- An identity element where is the singleton set.
We also have two other natural maps which we get for free. The first is the obvious map , and the second is the diagonal map
Having recalled the defintion of a group, we now want to define the notion of a Hopf algebra. We will build up the defintion by defining an algebra, a coalgebra, a bialgebra, and then finally a Hopf algbera. All of our algebras and coalgebras will be assumed to be associative and unital (we will explain what this means in the following).
Let be a field and be a -vector space. We say that is an algebra (remember assocaitive and unital) if there exists a map called the multiplication and a map called the unit such that the following diagrams commute:
Observing these diagrams for a moment makes it clear why they are necessary and natural for the defintion of an algebra.
Coalgebras, in a categorical sense, are the dual structures to algebras; we just need to reverse the directions of all the arrows. Let be a -vector space. Then is a coalgebra (remember associative and unital) if there exists a map called the comultiplication, and a map called the counit such that the following diagrmas commute:
Observe that these diagrams are just those for an algebra but with the arrows reversed. Another moments thought shows that they are the natural maps one would want the comultiplication and counit to satisfy.
Let be a -vector space posessing both an algebra and coalgebra structure over . We would hope that the algebra and coalgebra structures interact in a “nice way”. They do not always do, but when they do we have the notion of a bialgebra. In particular, we say that is a bialgebra if the following diagrams commute:
In the diagrams above
is called the twist map (it twists the factors in the tensor product by interchanging them). Yet another moments thought shows that all these maps really say is that the algebra and coalgebra structures behave nicely with each other.
Hopf algebras are bialgebras with additional structure. Let be a bialgebra over . We say that is a Hopf algebra if it posses a map called the antipode such that
The double identity about is equivlaent to the following diagram being commutative:
The antipode is best thought of as a generalized inverse with respect to multiplication as can be realized by thinking about the diagram above for a moment.
We would like to redefine groups. As explained previously, a group has maps , , , latex , and . We might of noticed by now that we have used the the same notation for the maps for algebras, coalgebras, and Hopf algebras. This is by no accident. If we replace the field with the singleton set , then it can be easily checked that satisfies all of the commutative diagrams for an algebra, coalgebra, and bialgebra. In particular, we can think of as a bialgebra over the field with one element . Notice that we never need to use the inverse map in verifying that satisfies these commutative diagrams. So, we (re)define a group as a bialgebra over such that there exists a map such that
In other words, it satisfies the axiom for a Hopf algebra! In terms of elements , this double identity becomes
which is just another way of saying that is the inverse element of so that is the inverse map! So, we see that groups are just Hopf algebra over or Hopf algebras are just groups over an arbitrary field . If we adopt as a field, then we can say groups instead of Hopf algebras!
I thought I’d mention an aside about quantum groups for those who are familar with them (if you’re not familar but want to be, or just want learn more about the theory, see my notes here). For those who are familar with quantum groups, this should shed some light on why we call a quasitriangular Hopf algebra a quantum group. The “quantum” in quantum group expresses the relaxation of the cocommutativity of the Hopf algebra (which we will not explain why here), but more importantly the “group” in quantum groups really just means Hopf algbera.