On the structure of (co-Frobenius) Hopf algebras. (Q1946280): Difference between revisions

In this paper the authors propose a method for the classification of Hopf algebras in suitable classes, extending the so-called \textit{lifting method} for Hopf algebras whose comodules have the Chevalley property and, in particular, for pointed Hopf algebras, as described [in Math. Sci. Res. Inst. Publ. 43, 1-68 (2002; Zbl 1011.16025)] by the first-named author and \textit{H.-J. Schneider}. This is done by considering the subalgebra \(H_{[0]}\) generated by the coradical, called the \textit{Hopf coradical}, and a related filtration, whose terms are iterative wedge operations of \(H_{[0]}\), called standard filtration. This filtration turns out to be a Hopf algebra filtration when the antipode is injective. In this case, the authors show that the associated graded Hopf algebra is a bosonization of \(H_{[0]}\) by a graded connected braided Hopf algebra over \(H_{[0]}\), obtaining one of the main results of the paper: any Hopf algebra with injective antipode is a deformation of the bosonization of a Hopf algebra generated by a cosemisimple coalgebra by a graded connected braided Hopf algebra over the latter. The authors discuss several questions arising from the proposed method. Another main result of the paper concerns, more specifically, the structure of co-Frobenius Hopf algebras; it is shown that a Hopf algebra is co-Frobenius if and only if its Hopf coradical is co-Frobenius and the corresponding graded connected braided Hopf algebra is finite-dimensional, reducing the classification of co-Frobenius Hopf algebras to the classification of Hopf algebras generated by simple subcoalgebras and the finite-dimensional graded connected braided Hopf algebras over them. The third main result of the paper says that if a Hopf algebra \(B\) is a Hopf algebra extension of a Hopf subalgebra \(A\) by a Hopf algebra \(C\) and \(B\) is faithfully coflat as a \(C\)-comodule, then there is a left integral on \(B\) which does not vanish on \(A\) if and only if \(A\) is co-Frobenius and \(C\) is cosemisimple. From this result, the authors derive that \(B\) is cosemisimple if and only if so are \(A\) and \(C\).