Finitary Galois extensions over noncommutative bases. (Q2490854)

The authors study Hopf-Galois extensions by Frobenius Hopf algebroids in the sense of \textit{G.~Böhm} and \textit{K.~Szlachányi} [J. Algebra 274, No. 2, 708-750 (2004; Zbl 1080.16035)] (the reader should be aware that this notion of a Hopf algebroid is not equivalent to the one introduced earlier by \textit{J.-H.~Lu} [Int. J. Math. 7, No. 1, 47-70 (1996; Zbl 0884.17010)]). The discussion is restricted to Frobenius Hopf algebroids, in which case there is a close relationship between action and coaction pictures which is reminiscent of Hopf-Galois theory for finite dimensional Hopf algebras over fields. This relationship is encoded through `distributive double algebras' [\textit{K.\ Szlachányi}, J. Algebra 280, No. 1, 249-294 (2004; Zbl 1090.16020)], which are extensively used throughout the paper. Several classical theorems of the Hopf-Galois theory are extended to the case of Hopf-Galois extensions by Frobenius Hopf algebroids (or distributive double algebras). In particular, the weak and strong structure theorems and Kreimer-Takeuchi type theorems are proven. It is shown that an algebra extension \(N\subset M\) is a balanced depth 2 Frobenius extension if and only if \(N\subset M\) is a Galois extension by a Frobenius Hopf algebroid. The authors prove that Yetter-Drinfeld categories over a Frobenius Hopf algebroid are braided and that their braided commutative algebras play the role of non-commutative scalar extensions. Finally, the authors relate the properties of contravariant hom-functors (which can be understood as generalised fibre functors) to properties of extensions by distributive double algebras. In this way they also obtain a monoidal embedding of the category of (right) modules of the endomorphism Hopf algebroid \(E=\text{End}{_NM_N}\) (associated to a balanced depth 2 Frobenius extension \(N\subset M\)) into the opposite category of \(N\)-bimodules.