Related papers: Twisted Ehresmann Schauenburg bialgebroids
We study Hopf Galois extensions of Hopf algebroids as a generalization of the theory for Hopf algebras. More precisely, we introduce (skew-)regular comodules and generalize the structure theorem for relative Hopf modules. Also, we show that…
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…
We study the Ehresmann--Schauenburg bialgebroid of a noncommutative principal bundle as a quantization of the gauge groupoid of a classical principal bundle. We show that the gauge group of the noncommutative bundle is isomorphic to the…
We study the Ehresmann--Schauenburg bialgebroid of a noncommutative principal bundle as a quantization of the classical gauge groupoid of a principal bundle. When the base algebra is in the centre of the total space algebra, the gauge group…
We show that the Ehresmann-Schauenburg bialgebroid of a quantum principal bundle $P$ or Hopf Galois extension with structure quantum group $H$ is in fact a left Hopf algebroid $L(P,H)$. We show further that if $H$ is coquasitriangular then…
A pseudo-Galois extension is shown to be a depth two extension. Studying its left bialgebroid, we construct an enveloping Hopf algebroid for the semi-direct product of groups, or more generally involutive Hopf algebras, and their module…
Let $S$ be the left $R$-bialgebroid of a depth two extension with centralizer $R$ as defined in math.QA/0108067. We show that the left endomorphism ring of depth two extension, not necessarily balanced, is a left $S$-Galois extension of…
We study noncommutative principal bundles (Hopf-Galois extensions) in the context of coquasitriangular Hopf algebras and their monoidal category of comodule algebras. When the total space is quasi-commutative, and thus the base space…
To a finite Hopf-Galois extension $A | B$ we associate dual bialgebroids $S := \End_BA_B$ and $T := (A \o_B A)^B$ over the centralizer $R$ using the depth two theory in math.RA/0108067. First we extend results on the equivalence of certain…
In this article, we determine cocycle deformations and Galois objects of non-commutative and non-cocommutative semisimple Hopf algebras of dimension $16$. We show that these Hopf algebras are pairwise twist inequivalent mainly by…
In previous joint work with Eli Aljadeff we attached a generic Hopf Galois extension A(H,c) to each twisted algebra H(c) obtained from a Hopf algebra H by twisting its product with the help of a cocycle c. The algebra A(H,c) is a flat…
We reduce certain proofs in math.RA/0108067, math.RA/0408155, and math.QA/0409589 to depth two quasibases from one side only, a minimalistic approach which leads to a characterization of Galois extensions for finite projective bialgebroids…
This paper is a written form of a talk. It gives a review of various notions of Galois (and in particular cleft) extensions. Extensions by coalgebras,bialgebras and Hopf algebras (over a commutative base ring) and by corings,bialgebroids…
We study the relationship between antipodes on a Hopf algebroid $\mathcal{H}$ in the sense of B\"ohm-Szlachanyi and the group of twists that lies inside the associated convolution algebra. We specialize to the case of a faithfully flat…
Twisted homomorphisms of bialgebras are bialgebra homomorphisms from the first into Drinfeld twistings of the second. They possess a composition operation extending composition of bialgebra homomorphisms. Gauge transformations of twists,…
We show that there exists a Galois correspondence between subalgebras of an H-comodule algebra A over a base ring R and generalised quotients of a Hopf algebra H if both A and H are flat Mittag--Leffler modules. We also provide new criteria…
We prove that a depth two Hopf subalgebra K of a semisimple Hopf algebra H is normal (where the ground field $k$ is algebraically closed of characteristic zero). This means on the one hand that a Hopf subalgebra is normal when inducing…
In previous work, to each Hopf algebra H and each invertible right two-cocycle on H, Eli Aljadeff and the first-named author attached a subalgebra B of the free commutative Hopf algebra S generated by the coalgebra underlying H; the algebra…
We introduce left and right groups of bisections of a Hopf algebroid and show that they form a group crossed homomorphism with the group $Aut(\mathcal{L})$ of bialgebroid automorphisms. We also introduce a nonAbelian cohomology…
In this paper, we give an explicit chain map, which induces the algebra isomorphism between the Hochschild cohomology ${\bf HH}^{\bullet}(B)$ and the $H$-invariant subalgebra ${\bf H}^{\bullet}(A, B)^{H}$ under two mild hypotheses, where…