Finite dimensional cosemisimple Hopf algebras in characteristic 0 are semisimple (Q1105662): Difference between revisions

Let A be a finite-dimensional Hopf algebra over a field k. Kaplansky conjectured that if A is cosemisimple, then its antipode S has square \(S^ 2=I\) (i.e. S is an involution). The authors show that if A is cosemisimple and k has characteristic zero, then A is semisimple, from which it follows that \(S^ 4=I\). In a subsequent paper which was published before the one under review [Am. J. Math. 110, No.1, 187-195 (1988; Zbl 0637.16006)], the authors sharpened this to \(S^ 2=I\), thus verifying Kaplansky's conjecture when k has characteristic zero. The main tool of this paper is to associate an element \(\Lambda_ f\) of A (a finite-dimensional Hopf algebra) to each linear endomorphism f of A via \(p(\Lambda_ f)= \text{Trace}(L(p)\circ f^*)\) for all p in the dual (Hopf) algebra \(A^*\), where L is left multiplication in \(A^*\). Set \(x=\Lambda_ I\) and \({\tilde \Lambda}=\Lambda_{S^ 2}\). Then \({\tilde\Lambda}\) is a left integral of A (i.e., \(a{\tilde \Lambda}= \epsilon(a){\tilde\Lambda}\) for a in A, \(\epsilon\) the counit of A), and \({\tilde \Lambda}\neq 0\) iff A is cosemisimple. This is used to prove that A cosemisimple implies A semisimple at characteristic zero. The authors also study the relation between \({\tilde\Lambda}\) and x carefully. If \((\dim A)1\neq 0\), then \(S^ 2=I\) iff x is a non-zero left integral of A (and then \(x={\tilde\Lambda}\) and A is both semisimple and cosemisimple). x is studied relative to the structure of A. Finally, when A is cosemisimple over an algebraically closed field of characteristic 0, the authors compute x and \({\tilde\Lambda}\) with respect to a basis of matrix counits of A.