Finite-dimensional Hopf algebras over the Hopf algebra \(H_{b:1}\) of Kashina (Q2214140)

Let \(\Bbbk\) be an algebraically closed field of characteristic zero. The paper under review is a contribution to the classification of finite-dimensional \(\Bbbk\)-Hopf algebras with a fixed coradical that is a Hopf subalgebra. (Note that the coradical of a Hopf algebra is the sum of its simple subcoalgebras, and as such, in general, only a subcoalgebra.) The authors choose as the coradical one of the 16 sixteen-dimensional semi-simple (non-commutative and non-cocommutative) \(\Bbbk\)-Hopf algebras of \textit{Y. Kashina} [J. Algebra 232, No. 2, 617--663 (2000; Zbl 0969.16014)]. More precisely, let \(A\) be a finite-dimensional \(\Bbbk\)-Hopf algebra with coradical \(A_0\). If \(A_0\) is a Hopf subalgebra of \(A\), then the coradical filtration of \(A\) is a filtration of Hopf algebras, and its associated graded coalgebra \(\mathrm{gr} (A)\) is a Hopf algebra. According to a classical result of \textit{D. E. Radford} [J. Algebra 92, 322--347 (1985; Zbl 0549.16003)], there exists a unique connected graded braided Hopf algebra \(R\) in the braided monoidal category of Yetter-Drinfeld modules over \(A_0\) such that \(\mathrm{gr}(A)\) is isomorphic to the Radford biproduct of \(R\) and \(A_0\) (which contains \(R\) as a subalgebra and \(A_0\) as a Hopf subalgebra). A classification of such Hopf algebras proceeds in three steps: 1) find those Yetter-Drinfeld modules \(V\) over \(A_0\) for which the Nichols algebra \(\mathcal{B}(V)\) is finite dimensional and present these Nichols algebras explicitly by generators and relations; 2) decide for any finite-dimensional Yetter-Drinfeld Hopf algebra \(R=\bigoplus_{n\ge 0}R(n)\) over \(A_0\) whether \(R\) is isomorphic to \(\mathcal{B}(R(1))\), i.e., attempt to verify that \(R(0) \cong\Bbbk\), \(R(1)\) is the subspace of primitive elements of \(R\), and \(R(1)\) generates \(R\); 3) for any Yetter-Drinfeld module \(V\) from 1) find all Hopf algebras \(A\) whose associated graded Hopf algebra \(\mathrm{gr}(A)\) with respect to the coradical filtration of \(A\) is isomorphic to the Radford biproduct of \(\mathcal{B}(V)\) and \(A_0\). This procedure was first developed by \textit{N. Andruskiewitsch} and \textit{H. J. Schneider} [J. Algebra 209, No. 2, 658--691 (1998; Zbl 0919.16027)] to classify certain finite-dimensional pointed Hopf algebras whose coradical is a commutative group algebra. Since the category of left Yetter-Drinfeld modules over \(A_0\) and the category of left modules over the Drinfeld double \(D(A_0^\mathrm{cop})\) of the Hopf algebra \(A_0\) with opposite comultiplication are equivalent as braided monoidal categories, it suffices to consider the latter category. In the case where \(A_0\) is Kashina's Hopf algebra \(H_{b:1}\), the authors give an explicit description of the Drinfeld double \(D(A_0^\mathrm{cop})\) by generators and relations and then classify all simple left \(D(A_0^\mathrm{cop})\)-modules up to isomorphism. Namely, they show that there are 88 isomorphism classes of simple left \(D(A_0^\mathrm{cop})\)-modules of which 32 are one-dimensional and 56 are two-dimensional. After recovering the corresponding Yetter-Drinfeld modules over \(A_0\), in the first main result of the paper under review (Theorem A) those finite-dimensional Nichols algebras \(\mathcal{B}(V)\) are determined for which \(V=\bigoplus_{i\in I}V_i\) is semi-simple and \(\mathcal{B}(V)\cong\bigotimes_{i\in I}\mathcal{B}(V_i)\). In the second main result (Theorem B) the authors classify all finite-dimensional Hopf algebras for which the subspace of primitive elements of the associated Yetter-Drinfeld Hopf algebra is one of the Yetter-Drinfeld modules in Theorem A.