A classical result of Larson and Sweedler says that a finite dimensional Hopf algebra over a field has invertible antipode. Does this result extend to the setting of Hopf algebras in braided categories? In other words, if a Hopf algebra in a braided category is dualizable, is its antipode necessarily invertible? (Equivalently, if a dualizable bialgebra has invertible fusion operator, is its opfusion operator invertible?) If this result is not true, is there an "easy" example where it fails? Of course, if it fails, it should do so in the free braided category equipped with a Hopf algebra, but it seems difficult to see that things aren't invertible using string diagrams.

  • 2
    $\begingroup$ You probably already know this, but Radford's S^4 theorem works for arbitrary Hopf algebra objects, see Thm 3.10 of Kuperberg's arxiv.org/abs/q-alg/9712047 I don't know about S^2. $\endgroup$ Commented Sep 20, 2010 at 21:47

1 Answer 1


Yes, they do. See Theorem 4.1 in "Finite Hopf algebra in braided tensor categories" M. Takeuchi, Journal Pure and Applid Algebra 138 (1999) 59-82


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.