Homotopy theory of Hopf Galois extensions. (Q818295)

The first author adapted the definition from algebraic K-theory for two homomorphisms \(R\to S\) of commutative algebras to be homotopic to the non-commutative setting of (faithfully flat) \(H\)-Galois extensions \(B\to A\) for a Hopf algebra \(H\) [The legacy of Niels Henrik Abel; O. A. Laudal et al. (eds.), Springer-Verlag, 737-748 (2004; Zbl 1087.16027)]. Since the classification of \(H\)-Galois extensions up to isomorphism can be difficult, the aim of the paper under review is to try to classify them up to homotopy equivalence instead. This is achieved for \(H\) the quantum universal enveloping algebra of a semisimple complex Lie algebra, where the homotopy equivalence class of \(H\)-Galois extensions of \(B\) is completely determined by the corresponding class of \(B\) for \(k[G]\), \(G\) the group of group-like elements of \(H\). This is accomplished by using some general results: If \(H\) is \(\mathbb{N}\)-graded, then the homotopy classes of \(H\)-Galois extensions of \(B\) are determined by the \(H(0)\)-Galois extensions of \(B\), and when \(B\) is commutative (with certain properties) and \(H=k[G]\) is a group algebra, the \(H\)-Galois extensions of \(B\) and the homotopy equivalence classes of \(H\)-Galois extensions of \(B\) are related to the Picard group \(\text{Pic}(B)\) and some cohomology groups of \(G\). Returning to the quantum universal enveloping algebra \(H\), the authors put all this together, using that \(H\) is a twist of a graded Hopf algebra whose degree zero component is \(k[G]\).