Ancillary-file links:
Ancillary files (details):
Current browse context:
math.RA
Change to browse by:
References & Citations
Mathematics > Rings and Algebras
Title: On the square of the antipode in a connected filtered Hopf algebra
(Submitted on 5 Sep 2021 (this version), latest version 11 Dec 2022 (v3))
Abstract: Marcelo Aguiar and Aaron Lauve have shown that if $H$ is a connected graded Hopf algebra over a field, then its antipode $S$ satisfies $(\operatorname{id} - S^2)^n (H_n) = 0$ for any positive integer $n$, where $H_n$ denotes the $n$-th graded component of $H$. In later work, Aguiar improved this to $(\operatorname{id} + S) (\operatorname{id} - S^2)^{n-1} (H_n) = 0$. For the Malvenuto-Reutenauer Hopf algebra, Aguiar and Lauve have furthermore shown the stronger claim $(\operatorname{id} - S^2)^{n-1} (H_n) = 0$ for $n > 1$.
In this note, we generalize these results in several directions and reprove them using elementary manipulations of tensors. In particular, the connected graded Hopf algebra is replaced by a connected filtered coalgebra (with $S^2$ becoming a coalgebra homomorphism satisfying certain conditions).
Submission history
From: Darij Grinberg [view email][v1] Sun, 5 Sep 2021 15:19:48 GMT (448kb,A)
[v2] Sun, 3 Oct 2021 16:28:30 GMT (449kb,A)
[v3] Sun, 11 Dec 2022 02:11:20 GMT (52kb,D)
Link back to: arXiv, form interface, contact.