3
$\begingroup$

I asked this initially in math.stackexchange:

The group algebra $k(G)$ of any group $G$ satisfies as a Hopf algebra the following identities: $$ S\otimes S\circ \Delta=\sigma\circ\Delta\circ S $$ $$ \nabla\circ S\otimes S=S\circ\nabla\circ\sigma $$ where $S$ is the antipode, $\Delta$, the comultiplication, $\nabla$, the multiplication, and $\sigma:x\otimes y\mapsto y\otimes x$.

Is this valid for all Hopf algebras (in any braided monoidal category) or only for some special class?

$\endgroup$
1
  • 1
    $\begingroup$ Those identities are usually described by saying that the antipode map is an antihomomorphism of coalgebras and of algebras, and should be proved in most textbooks on the subject. $\endgroup$ Aug 12, 2014 at 8:42

2 Answers 2

4
$\begingroup$

This also holds in an arbitrary braided monoidal category and is not hard to see. See for example Majid: Foundations of quantum group theory. He gives a graphical calculus proof of this in Figure 9.14. Strictly speaking, you need to turn this proof upside down (i.e. dualize) to get the corresponding identity for the comultiplication. There are two notions of anti-(co)algebra homomorphism in a braided monoidal category. One involving the braiding, one its inverse. For example, $S^{-1}$ is also an anti-(co)algebra morphism but involves the inverse braiding.

$\endgroup$
0
2
$\begingroup$

That's true in any Hopf algebra. See Sweedler, Hopf algebras, Prop. 4.0.1.

$\endgroup$
1
  • 2
    $\begingroup$ As far as I understand, Sweedler considers Hopf algebras in the category of vector spaces. Is the same true for all (braded?) monoidal categories? $\endgroup$ Aug 12, 2014 at 13:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.