# A comodule algebra map from a Hopf algebra to itself

Let $$H$$ be a cosemisimple Hopf algebra (or just a bialgebra). Considering $$H$$ as a left $$H$$-comodule (i.e. take $$\Delta_H$$ to be the coaction), can there exist a (non-identity) algebra map $$\sigma:H \to H$$ which is also a left $$H$$-comodule map. It seems to be that such things cannot exist, but I can see a good way to prove it . . . For example if we assume that the subcoalgebras of $$H$$ are non-isomorphic and that $$H$$ is generated by the elements of a single subcoalgebra, then the result seems to work . . . but it is not clear to me that these conditions are necessary.

• For a non-identity example, maybe one could take the group algebra of a finite group and the Hopf algebra automorphism induced by an automorphism of this group? I don't understand the notion of cosemisimplicity well enough to know if this can be made to work. Apr 6, 2021 at 11:14
• Another thought: how about the coordinate ring of the algebraic group $\mathrm{GL}_2(\mathbb{C})$, as generated by the matrix coefficient functions $f_{11},f_{12},f_{21},f_{22}$ and the inverse of the determinant. It is graded by degree and the dual of the degree $r$ component is the Schur algebra $S(2,r)$, which is semisimple over $\mathbb{C}$. Does this make it cosemisimple? If so, there should be an example using the automorphism of $\mathrm{GL}_2(\mathbb{C})$ sending a matrix to the inverse of its transpose; for instance this induces $f_{11} \mapsto f_{22} d^{-1}$. Apr 6, 2021 at 16:47
• For the "just a bialgebra" case, consider $H = K[x]/(x^2 - x)$ with $x$ grouplike and $\sigma(x) = 0$. Apr 6, 2021 at 17:38
• @Mark: the coordinate ring of $\mathrm{GL}_2(\mathbb{C})$ is indeed cosemisimple since $\mathrm{GL}_2(\mathbb{C})$ is reductive . . . I need to think about the automorphism though . . . Apr 7, 2021 at 13:38