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 (v1), last revised 3 Oct 2021 (this version, v2))

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 $\operatorname{id}$ and $S^2$ becoming coalgebra homomorphisms 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)

Link back to: arXiv, form interface, contact.