MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
You probably already know this, but Radford's S^4 theorem works for arbitrary Hopf algebra objects, see Thm 3.10 of Kuperberg's I don't know about S^2. – Noah Snyder Sep 20 '10 at 21:47
up vote 2 down vote accepted

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

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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