Hopf-Galois extensions with central invariants and their geometric properties (Q1288809)

The author's stated objective is to provide a framework for the study of representations of restricted Lie algebras and certain quantum groups. Let \(H\) be a given finite-dimensional Hopf algebra over a field. An \(H\)-Galois extension \(U\) of a subalgebra \(O\), which is contained in the center of \(U\), is regarded as a sheaf which extends the affine scheme of \(O\). The author states that he does not know whether an \(H\)-Galois extension of a local ring is cleft or, in other words, has a normal basis. The question has been answered, in the affirmative, for commutative or cocommutative Hopf algebras by the reviewer and \textit{P. M. Cook} [J. Algebra 43, 115-121 (1976; Zbl 0343.16025)]. The author suggests applications of the Miyashita-Ulbrich action of \(H\) on \(U\) and equivariant splittings of a cleft \(H\)-Galois extension for cocommutative \(H\) to the determination of the dimension function for the center of \(U\) over \(O\). Also considered in this paper are a bilinear form on \(U\) over \(O\) determined by the action of a nonzero left integral of \(H^*\) on \(U\) and various types of connections, which are actions on \(U\) by the Lie algebra of derivations of \(O\). Finally, an \(H\)-torsor on a scheme is defined to be a sheaf \(\mathcal U\) of \(H\)-comodule algebras for which the scheme is the subsheaf \(\mathcal O\) of \(H\)-coinvariants and which is locally \(H\)-Galois. The author uses techniques of faithfully flat descent to show that \({\mathcal U}(V)\) is an \(H\)-Galois extension of \({\mathcal O}(V)\) for ``good'' open subschemes \(V\).