Faithfully flat forms and cohomology of hopf algebra extensions (Q4338216)

In the category of Hopf algebras over a commutative ring \(k\), let \(K\to C\to H\) be a diagram for a given commutative Hopf algebra \(K\) and a given cocommutative Hopf algebra \(H\). Note that \(C\) is a left \(K\)-module by the homomorphism of \(K\) into \(C\) and it is a right \(H\)-comodule by the homomorphism of \(C\) into \(H\). The diagram is called an extension of \(H\) by \(K\) if there exists a left \(K\)-module, right \(H\)-comodule isomorphism \(\lambda\) to \(C\) onto \(K\otimes H\) such that \(\lambda(1)=1\otimes 1\) and \(\varepsilon=(\varepsilon\otimes\varepsilon)\lambda\) for the respective unit elements and counit maps of \(C\), \(K\), and \(H\). For an extension of \(H\) by \(K\), the multiplication in \(C\) determines an action of \(H\) on \(K\) by which \(K\) becomes a left \(H\)-module algebra, and the comultiplication in \(C\) determines a coaction on \(H\) with respect to \(K\) by which \(H\) becomes a right \(K\)-comodule coalgebra. The equivalence classes of extensions of \(H\) by \(K\) which give rise to predetermined structures of left \(H\)-module algebra for \(K\) and right \(K\)-comodule coalgebra for \(H\) are elements of a cohomology group described by \textit{I. Hofstetter} [J. Algebra 164, No. 1, 264-298 (1994; Zbl 0819.16032)]. The author shows that a group is also formed from the equivalence classes of diagrams which become extensions of \(H\otimes L\) by \(K\otimes L\) with the left \(H\otimes L\)-module algebra structure on \(K\otimes L\) and the right \(K\otimes L\)-comodule coalgebra structure on \(H\otimes L\) arising from given structures of left \(H\)-module algebra for \(K\) and right \(K\)-comodule coalgebra for \(H\), for some faithfully flat extension \(L\) of the ring of scalars \(k\); and the first part of this paper is concerned with the description of this group. Next, the author observes that if \(H\) is the group algebra of a finite group and \(K\) is dual to the group algebra of a finite group, then the cohomology groups of equivalence classes of extensions of \(H\) by \(K\) were described by \textit{G. Kac} [Mat. Sb., Nov. Ser. 76(118), 473-496 (1968; Zbl 0205.03301)]. The rest of the paper is concerned with computations and examples in this situation. Precise definitions and many details are not found in this paper, but must be obtained from the references.