Three infinite families of reflection Hopf algebras (Q1985747)

Let \(A\) be an Artin-Schelter regular algebra. A semisimple Hopf algebra \(H\) is called a \textit{reflection Hopf algebra} for \(A\) if \(A\) is an \(H\)-module algebra in such a way that the action is grading preserving, homogeneous, inner-faithful and the subalgebra \(A^H\) of \(H\)-invariants is also AS regular. The main result of the paper under a review is a realization of the semisimple Hopf algebras \(H_{2n^2}\) of dimension \(2n^2\) of \textit{D. Pansera} [Contemp. Math. 727, 303--316 (2019; Zbl 1446.16036)], and \(\mathcal A_{4m}\) and \(\mathcal B_{4m}\) of dimension \(4m\) of \textit{A. Masuoka} [Contemp. Math. 267, 195--214 (2000; Zbl 0985.16025)] as reflection Hopf algebras for AS regular algebras of dimension 2 or 3. To do this the authors first determine the fusion relations of the category of finite dimensional modules over such Hopf algebra \(H\); then they construct AS regular algebras on which the Hopf algebras act inner-faithfully and finally, using the smallest dimension AS regular quadratic algebras on which \(H\) acts inner-faithfully, they compute the subalgebra \(A^H\) and determine when it is AS regular. The authors conjecture that if a semisimple Hopf algebra \(H\) is a reflection Hopf algebra for an AS regular algebra \(A\), then the product of the degrees of any homogeneous minimal generating set of the algebra \(A^H\) equals \(\dim H\).