Hopf BiGalois Theory for Hopf Algebroids

TL;DR

This paper develops a symmetric biGalois theory for Hopf algebroids, extending classical Hopf algebra concepts without requiring an antipode, and applies it to quantum fibrations and homogeneous spaces.

Contribution

It introduces a novel symmetric biGalois framework for Hopf algebroids that do not necessarily have antipodes, expanding the scope of Galois theory in quantum algebra.

Findings

Constructed an Ehresmann Hopf algebroid for one-sided Hopf-Galois extensions.

Applied 2-cocycle twist theory to Ehresmann Hopf algebroids.

Studied quantum Hopf fibrations and quantum homogeneous spaces as examples.

Abstract

We develop a theory of Hopf BiGalois extensions for Hopf algebroids. We understand these to be left bialgebroids (whose left module categories are monoidal categories) fulfilling a condition that is equivalent to being Hopf in the case of ordinary bialgebras, but does not entail the existence of an antipode map. The immediate obstacle to developing a full biGalois theory for such Hopf algebroids is simple: The condition to be a left Hopf Galois extension can be defined in complete analogy to the Hopf case, but the Galois map for a right comodule algebra is not a well defined map. We find that this obstacle can be circumvented using bialgebroids fulfilling a condition that still does not entail the existence of an antipode, but is equivalent, for ordinary bialgebras, to being Hopf with bijective antipode. The key technical tool is a result of Chemla allowing to switch left and right comodule structures under flatness conditions much like one would do using an antipode. Using this, we arrive at a left-right symmetric theory of biGalois extensions, including the construction of an Ehresmann Hopf algebroid making a one-sided Hopf-Galois extension into a biGalois one. Moreover, we apply a more general 2-cocycle twist theory to Ehresmann Hopf algebroids. As the 2-cocycle is only left linear over the base, the base algebra is also twisted. We also study the Ehresmann Hopf algebroids of quantum Hopf fibrations and quantum homogeneous space as examples.