Non-Abelian Hopf cohomology. (Q2370242)

The authors offer a new non-Abelian cohomology for Hopf algebras with applications in the theory of Hopf-Galois extensions. Namely, for a Hopf algebra \(H\) and \(H\)-comodule algebra \(S\) they construct a group \(H^0(H,M)\) and a pointed set \(H^1(H,M)\), where \(M\) is an \((H,S)\)-module. The main result of the paper asserts that the set \(H^1(H,M)\) is isomorphic to the pointed set \(\text{Twist}(S/R,N)\) of twisted forms of \(N\) up to isomorphisms. Here \(R\to S\) is an \(H\)-Hopf-Galois extension, \(N\) is an \(R\)-module and \(M=N\otimes_TS\) is the extended \(S\)-module which comes with the canonical \((H,S)\)-Hopf module structure given by \(\text{id}\otimes\Delta_S\). The definition of \(H^i(H,M)\), \(i=0,1\), is based on an explicitly constructed cosimplicial monoid. In the case when \(H\) is a Hopf algebra of functions on a finite group \(G\) with values in a field \(K\) and \(S/R\) is a \(G\)-Galois extension there is an isomorphism between \(H^i(H,M)\) and the classical non-Abelian cohomology of groups \(H^i(G,\Aut_S(M))\). The proof of the main result is quite interesting. They first define another version of a non-Abelian Hopf-cohomology which is based on descent theory. Then they give a computational proof of the fact that the new version of the non-Abelian cohomology describes the set \(\text{Twist}(S/R,N)\). The last step is to compare the two versions of the non-Abelian cohomologies.