Normal Hopf subalgebras in cocycle deformations of finite groups. (Q1003125)

Let \(G\) be a finite group, \(p\) a surjective group homomorphism from \(G\) to \(G'\). Let \(H=k^G\) be the Hopf algebra of \(k\)-valued functions on \(G\), \(k\) an algebraically closed field of characteristic zero. Let \(L=H^c\) be the cocycle deformation of \(L\) with respect to the convolution invertible 2-cocycle \(c\) of \(H\otimes H\) to \(k\). \(k^{G'}\) is contained in \(k^G\) via pullback, and corresponds to a Hopf subalgebra \(L'\) of \(L\). The authors give necessary and sufficient conditions for \(L'\) to be a normal Hopf subalgebra of \(L\). This is done in the context of Hopf Galois extensions \(A\) of \(k\), \(L\) the left Galois Hopf algebra of \(A\). Here \(A\) is identified with \(H\) as right \(H\)-comodule, but with multiplication \(hg=\sum s(h_1,g_1)h_2g_2\) (Sweedler notation). \(H\)-Galois extensions of \(k\) are classified by conjugacy classes of pairs \((S,a)\), \(S\) a subgroup of \(G\), \(a\) a nondegenerate 2-cocycle in \(H^2(S,k)\). \(A=A(G,S,a)\) is the \(H\)-Galois object for this data, and \(L\) is the left Galois Hopf object. Let \(F\) be the kernel of \(p\). An element \(s\) in \(S\) is called \((a,F)\)-regular if \(a(s,t)=a(t,s)\) for all \(t\) in the centralizer of \(s\) in \(F\). Then the result is that \(L'\) is normal in \(L\) if and only if \(F\) is contained in the centralizer of \(s\) in \(G\) for every \((a,F)\)-regular element \(s\) of \(S\).