3
$\begingroup$

In several papers I've seen on Combinatorial Hopf Algebras, the algebra and coalgebra structures are described, but no antipode is defined. CHAs generally have a natural grading, and are of finite dimension in each degree, and I have seen one comment which suggested that this leads to an obvious or unique antipode. If so, please can someone spell it out.

(Are there any good introductory papers on CHAs, as the ones I've found so far all go straight in at the deep end.)

  • 1
    If an antipode S exists then it is unique. If you know the comultiplication you should be able to recover the antipode from the relation $\sum S(x_{(1)}) x_{(2)} = x_{(1)} S(x_{(2)}) = \varepsilon(x)$.2012-02-25
  • 0
    @mt_ - Ok, so the antipode (if it exists) is determined by the bialgebra structure. Can it always be derived from the bialgebra structure, or are restrictions necessary, such as requiring the bialgebra to be graded, or more? (I can imagine that a grading enables an inductive definition, whereas without a grading it might not be clear where to start - however, this is all a bit fuzzy to me.)2012-02-25
  • 0
    You may perhaps be able to extract a construction of S from uniqueness proofs for the antipode - I don't know. There is a link in the wiki article, or maybe try Sweedler's book or any other Hopf algebra book. I read a proof not so long ago where the antipode was recovered from the coalgebra structure but I've forgotten where - sorry!2012-02-25
  • 0
    Does http://sbseminar.wordpress.com/2011/07/07/why-graded-bi-algebras-have-antipodes/ help?2012-11-13

0 Answers 0