Hopf algebras of dimension \(pq\). II. (Q926840)

Let \(p\neq q\) be prime numbers and let \(k\) be an algebraically closed field of characteristic zero. It is conjectured that every Hopf algebra of dimension \(pq\) over \(k\) is semisimple and therefore isomorphic to a group algebra or to a dual group algebra. In the paper under review this conjecture is shown to be true in the case where \(p\) and \(q\) are odd primes such that \(p<q\leq 4p+11\). Using properties of Frobenius algebras, the author first proves some results on modules over a finite-dimensional Hopf algebra that allow him to give a lower bound for the dimensions of certain indecomposable modules over a non-semisimple Hopf algebra of dimension \(pq\). Lower bounds for the number of \(G(H^*)\)-orbits in the set of isomorphism classes of irreducible modules over \(H\) are later obtained, assuming that \(H\) is not unimodular. These are then used to prove the main result. The above mentioned conjecture, and a more general version of it for odd square-free dimensional \(H\), have been established by the reviewer in the quasitriangular case [Bull. Lond. Math. Soc. 34, No. 3, 301-307 (2002; Zbl 1042.16027), Int. Math. Res. Not. 2006, No. 18, Article ID 47182 (2006; Zbl 1113.16043)]; however it is still an open problem in the general case. Partial results have been obtained by \textit{N. Andruskiewitsch} and the reviewer [Tsukuba J. Math. 25, No. 1, 187-201 (2001; Zbl 0998.16026)], \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} [J. Algebra 277, No. 2, 668-674 (2004; Zbl 1068.16054)], and the author in part I [J. Algebra 276, No. 1, 399-406 (2004; Zbl 1057.16031)], who did in particular the case of dimension \(2p\) [in Proc. Am. Math. Soc. 133, No. 8, 2237-2242 (2005; Zbl 1069.16043)]. The main result of this paper covers all odd dimensions considered before.