Representation theory of Hopf Galois extensions (Q1173846): Difference between revisions

Let \(k\) be a field, let \(H\) be a Hopf algebra over \(k\), possibly infinite dimensional, let \(A\) be a right \(H\)-comodule algebra, and let \(B\) be the subalgebra of \(H\)-coinvariant elements. Assume that \(A\) is an \(H\)-Galois extension of \(B\) and a faithfully flat right module over \(B\). The author develops machinery to study the structure of left \(A\)-modules induced from simple left \(B\)-modules. A left \(B\)-module \(M\) is called stable if there is a left \(B\)-linear, right \(H\)-collinear isomorphism of \(A\otimes_ BM\) onto \(M\otimes H\). Let \(M\) be a left \(B\)-module, and assume either \(H\) is finite dimensional or \(M\) is a finitely presented module. The author shows that the ring \(E\) of endomorphisms of the \(A\)- module \(A\otimes_ BM\) is a right \(H\)-comodule algebra in a canonical way and \(M\) is stable if, and only if, \(E\) is an \(H\)-crossed product. If \(\alpha\) is the comodule map of \(A\) into \(A\otimes H\) and \(C\) is a subalgebra of \(A\), let \(A(C)=\alpha^{-1}(A\otimes C)\). A subcoalgebra \(C\) is said to stabilize a left \(B\)-module \(M\) if there is a left \(B\)- linear, right \(C\)-collinear isomorphism of \(A(C)\otimes_ BM\) onto \(M\otimes C\); and the stabilizer of \(M\) in \(H\) is the sum of all subcoalgebras of \(H\) which stabilize \(M\). If \(H\) is a pointed Hopf algebra, the author proves that the stabilizer of a left \(B\)-module is a Hopf subalgebra of \(H\). Finally, let \(H\) be a cocommutative, pointed Hopf algebra with coradical \(H_ 0\), let \(M\) be a simple left \(B\)-module such that \(k\) is the center of the ring of \(B\)-endomorphisms of \(M\), and let \(St(M,H)\) be the stabilizer of \(M\) in \(H\). If \(A_ 0=A(H_ 0)\) and \(S=A(St(M,H))\), it is shown that the socle of the left \(A\)-module \(A\otimes_ BM\) is isomorphic to \(A_ 0S\otimes_ BM\). The author gives a number of other results closely related to these and provides a wealth of examples.