Hopf-Galois extensions of algebras, the Miyashita-Ulbrich action, and Azumaya algebras (Q1121960)

The title of this paper describes the contents of the six sections well. Throughout \(A\) is a Hopf algebra and the authors work over a commutative ring \(R\). The first section gives the definitions of a right \(A\)-Galois extension \(B/C\) and Doi's definition of a total integral, along with examples and background propositions. The second section is concerned with \(M^ A_ B\), the category of relative Hopf modules, and studies when the map \(M_ 0\otimes_ CB\to M\), \(m\otimes b\to mb\), is an isomorphism for all \(M\in M^ A_ B\), and when, as well, the map \(V\to (V\otimes_ CB)_ 0\), \(v\to v\otimes 1\), \(V\) a right \(C\)-module, is an isomorphism. (\(M_ 0=\{m\in M:m\to m\otimes 1\) under the comodule structure map\(\}\).) If \(B/C\) is a right \(A\)-Galois extension, then there is a measuring \(B^ C\otimes A\to B^ C\) with subalgebra of invariants the centre of \(B\); this is called the Miyashita-Ulbrich action and is studied is Section 3. In Sections 4 and 5, \(A\) is assumed to be finitely generated projective with dual Hopf algebra \(A^*\). Let \(B/C\) be a right \(A\)-Galois extension and \(\alpha:B\to E\) an algebra map. In Section 4, the left \(A^*\)-extension \(E^ C/E^ B\) is considered. In Section 5, the left \(A^*\)-extension \(B^ C/Z(B)\) is studied (i.e. \(E=B\)), in particular for \(B\) central; the relation between \(B\) being an Azumaya algebra and \(B^ C/R\) being a Galois extension is studied. In the last section, the Hopf algebra \(A\) need not be finitely generated. If \(E\supset C\) is an extension of algebras, does every measuring \(E^ C\otimes A\to E^ C\) come from a right \(A\)-Galois extension \(B/C\) and algebra map \(\alpha:B\to C\)? The main theorem of {\S}6 shows that this is the case if \(E\) is Azumaya and the right \(C\)-module \(E\) is a progenerator. This paper is clearly written with specific references to the literature; it brings together much of the current work in this area.