Non-semisimple Hopf algebras of dimension \(p^2\). (Q1858185)

Let \(p\) be a prime number. Semisimple Hopf algebras of dimension \(p^2\), over an algebraically closed field \(k\) of characteristic zero, were classified by \textit{A. Masuoka} [in Proc. Am. Math. Soc. 124, No. 3, 735-737 (1996; Zbl 0848.16033)]: there are exactly two isomorphism classes represented by \(k\mathbb{Z}_{p^2}\) and \(k(\mathbb{Z}_p\times\mathbb{Z}_p)\). In this paper the author proves that a non-semisimple Hopf algebra of dimension \(p^2\) over \(k\) is necessarily isomorphic to a Taft algebra \(T(\omega)\), where \(\omega\) is a primitive \(p\)-th root of unity in \(k\), thus completing the full classification in dimension \(p^2\). This had been obtained by \textit{N. Andruskiewitsch} and \textit{H.-J. Schneider} [in J. Algebra 199, No. 2, 430-454 (1998; Zbl 0899.16019)] under the additional assumption that the order of the antipode was \(2p\). The author also gives some results for Hopf algebras of dimension \(pq\), where \(p\) and \(q\) are distinct prime numbers. The classification in dimension \(pq\) is still open, although partial results have been obtained in papers by \textit{M. Beattie} and \textit{S. Dăscălescu} [J. Lond. Math. Soc., II. Ser. 69, No. 1, 65-78 (2004; Zbl 1060.16034)], \textit{P. Etingof} and \textit{S. Gelaki} [`On Hopf algebras of dimension \(pq\)', preprint math.QA/0303359], and the reviewer [Bull. Lond. Math. Soc. 34, No. 3, 301-307 (2002; Zbl 1042.16027)]. It is conjectured that in this related case all Hopf algebras are semisimple and therefore commutative or cocommutative, by results of Etingof, Gelaki and Westreich.