---
title: Ehresmann-Schauenburg Hopf Algebroid
url: https://www.emergentmind.com/topics/ehresmann-schauenburg-hopf-algebroid
type: topic
---

# Ehresmann-Schauenburg Hopf Algebroid

An Ehresmann–Schauenburg Hopf algebroid is the quantum-groupoid object attached to a faithfully flat Hopf–Galois extension \(B=P^{coH}\subseteq P\). In the notation used across the literature, it is the diagonal coinvariant algebra
\[
\mathcal L(P,H)=(P\otimes P)^{co(H)},
\]
or equivalently \(\mathcal C(A,H)\) when the total comodule algebra is denoted by \(A\), equipped with source and target maps from \(B\), multiplication inherited from \(P\otimes P^{op}\), and a coproduct built from the Hopf–Galois translation map. Geometrically, it is the noncommutative analogue of the gauge groupoid \((P\times P)/G\rightrightarrows B\) of a principal bundle; algebraically, it lies at the intersection of Hopf–Galois theory, bialgebroids, and Hopf algebroids in the Schauenburg and Böhm–Szlachányi sense [2302.12073][2412.21089].

## 1. Construction from a Hopf–Galois extension

The standard input consists of a Hopf algebra \(H\), a right \(H\)-comodule algebra \(P\) with coaction
\[
\Delta_R(p)=p_{(0)}\otimes p_{(1)},
\]
and the coinvariant subalgebra
\[
B:=P^{coH}=\{\,b\in P\mid \Delta_R(b)=b\otimes 1_H\,\}.
\]
The extension \(B\subseteq P\) is Hopf–Galois when the canonical map
\[
\chi: P\otimes_B P\to P\otimes H,\qquad q\otimes_B p\mapsto qp_{(0)}\otimes p_{(1)}
\]
is bijective. Its inverse determines the translation map
\[
\tau:=\chi^{-1}|_{1\otimes H}:H\to P\otimes_B P,\qquad h\mapsto h^{\langle 1\rangle}\otimes_B h^{\langle 2\rangle},
\]
which controls the coproduct and all later structure maps [2302.12073].

With this data, the Ehresmann–Schauenburg total algebra is the diagonal coinvariant subalgebra
\[
\mathcal L(P,H)=(P\otimes P)^{co(H)}
=\{\,p\otimes q\in P\otimes P\mid p_{(0)}\otimes q_{(0)}\otimes p_{(1)}q_{(1)}=p\otimes q\otimes 1_H\,\}.
\]
Equivalent formulations use the translation map, for example
\[
p_{(0)}\otimes \tau(p_{(1)})\,q = p\otimes q\otimes_B 1.
\]
The algebra structure is the subalgebra structure inside \(P\otimes P^{op}\),
\[
(p\otimes q)(r\otimes u)=pr\otimes uq,
\]
with source and target maps
\[
s(b)=b\otimes 1,\qquad t(b)=1\otimes b.
\]
The left \(B\)-coring structure is
\[
\Delta_L(p\otimes q)=p_{(0)}\otimes p_{(1)}^{\langle 1\rangle}\otimes_B p_{(1)}^{\langle 2\rangle}\otimes q,
\qquad
E_L(p\otimes q)=pq.
\]
This is the basic algebraic incarnation of the quantum gauge groupoid [2412.21089].

The notation varies across the literature, but the underlying construction is the same.

| Notation | Source | Structural emphasis |
|---|---|---|
| \(\mathcal C(A,H)\) | [2302.12073] | Ehresmann–Schauenburg bialgebroid |
| \(L(P,H)\) | [2205.11494] | left Hopf algebroid |
| \(\mathcal L(P,H)\) | [2412.21089] | \( * \)-Hopf algebroid pair/full case |
| \(\mathcal H=(A\otimes A)^{coH}\) | [2507.16455] | right Hopf algebroid and calculi |

## 2. Structural position inside Hopf algebroid theory

The same object is treated in several axiom systems. In the Hopf–Galois literature it first appears as a left \(B\)-bialgebroid. In Schauenburg’s sense, the relevant Hopf condition is bijectivity of the left Hopf–Galois map
\[
\lambda:L\otimes_{B^{op}}L\to L\otimes_B L,\qquad X\otimes_{B^{op}}Y\mapsto X_{(1)}\otimes_B X_{(2)}Y.
\]
For the Ehresmann–Schauenburg object this condition holds: \(L(P,H)\) is a left Hopf algebroid, and the inverse of \(\lambda\) is constructed explicitly from the Hopf–Galois translation map of the original extension [2205.11494].

A complementary result treats the same construction from the opposite side. For
\[
\mathcal H=(A\otimes A)^{coH},
\]
the right Hopf–algebroid translation map is
\[
(a \otimes a')_{+} \otimes_B (a \otimes a')_{-}
=
(a'_{(1)}{}^{\langle 1 \rangle} \otimes a'_{(0)} )
\otimes_B
(a'_{(1)}{}^{\langle 2 \rangle} \otimes a),
\]
and \(\mathcal H\) is a right Hopf algebroid; the same source also records that the Ehresmann–Schauenburg bialgebroid is known to be a left Hopf algebroid as well [2507.16455].

A different level of structure arises in the Böhm–Szlachányi framework. There one distinguishes a weaker Hopf condition, formulated through Schauenburg’s canonical map, from a full Hopf algebroid equipped with an invertible antipode. For the Ehresmann–Schauenburg bialgebroid \(\mathcal C(A,H)\), the central question is precisely when such an antipode exists. In particular, if the flip map on \(A\otimes A\) is a right \(H\)-comodule endomorphism for the diagonal coaction, then it is an antipode; if \(H\) is commutative, this condition is automatic, and the Ehresmann–Schauenburg bialgebroid becomes a full Hopf algebroid with flip antipode [2302.12073].

This multiplicity of formulations is not a contradiction. It reflects the fact that the same quantum gauge-groupoid object may be viewed as a left bialgebroid, a left or right Hopf algebroid in the Schauenburg sense, or a full Hopf algebroid in the Böhm–Szlachányi sense once an antipode is available.

## 3. Antipodes, \( * \)-structures, and deformation mechanisms

Antipodes on the Ehresmann–Schauenburg object are highly sensitive to the fibre Hopf algebra and to the geometry of the extension. For a faithfully flat Hopf–Galois extension, the generic structure is a left bialgebroid; when \(H\) is commutative, the flip
\[
S(p\otimes q)=q\otimes p
\]
gives a full Hopf algebroid. More generally, in the quantum projective-space example
\[
{\mathcal O}(\mathbb{C}P^{n-1}_q)\subseteq {\mathcal O}(S^{2n-1}_q),
\]
there are two distinct antipodes: the flip antipode coming from commutativity of \(H={\mathcal O}(U(1))\), and a second antipode built from the two \(K_0\)-classes determined by projectors \(P\) and \(Q\), with
\[
\underline S(V_{ij})=q^{j-i}W_{ji},\qquad
\underline S(W_{ij})=q^{i-j}V_{ji}.
\]
These two antipodes are related by a twist in the convolution algebra, and the twist group is identified with the group of \(H\)-comodule algebra automorphisms of the total space [2302.12073].

The \( * \)-theory sharpens this picture. If \(P\) is a \( * \)-algebra, \(H\) is a Hopf \( * \)-algebra with bijective antipode, and the coaction is unitary, then
\[
\bigl(\mathcal L(P,H),\, \mathcal L^{op}(P,H)\bigr)
\]
forms a \( * \)-Hopf algebroid pair with
\[
(p\otimes q)^\star=q^*\otimes p^*.
\]
If, in addition, \(H\) is commutative, then \(\mathcal L(P,H)\) is a full \( * \)-Hopf algebroid with
\[
(p\otimes q)^*=p^*\otimes q^*,\qquad S(p\otimes q)=q\otimes p.
\]
A key technical input is the \( * \)-compatibility of the translation map,
\[
h^{*\langle 1\rangle}\otimes_B h^{*\langle 2\rangle}
=
S^{-1}(h)^{\langle 1\rangle *}\otimes_B S(h)^{\langle 2\rangle *},
\]
which transports the involutive structure from the bundle data to the quantum gauge groupoid [2412.21089].

Cocycle deformation provides a second major mechanism. For a cleft Hopf–Galois extension \(A\cong B\#_\sigma H\), the Ehresmann–Schauenburg bialgebroid is a cocycle twist of the untwisted smash-product case:
\[
\mathcal C(B\#_\sigma H,H)\cong \mathcal C(B\#H,H)^{\tilde\sigma},
\]
under suitable centrality and cocommutativity hypotheses. At the left Hopf–algebroid level, this becomes
\[
L(B\#_\sigma H,H)=L(B\# H)^{\tilde\sigma}
\]
for cleft extensions of associative type. In that sense, “switching on” the crossed-product cocycle \(\sigma\) is transported functorially to a Drinfeld cotwist of the associated Ehresmann–Schauenburg Hopf algebroid [2009.02764][2205.11494].

## 4. Bisections, cocycles, and nonAbelian symmetry theory

The groupoid interpretation becomes most visible through bisections. For the Ehresmann–Schauenburg Hopf algebroid of a faithfully flat Hopf–Galois extension, the left and right bisection groups reduce to the bundle-automorphism group:
\[
BV(\mathcal L(P,H))\cong \operatorname{Aut}_H(P)\cong VB(\mathcal L(P,H)).
\]
The correspondence is explicit. A left bisection \(\sigma\) determines
\[
F_\sigma(p)= \sigma(p_{(0)}\otimes p_{(1)}^{\langle 1\rangle})\,p_{(1)}^{\langle 2\rangle},
\]
whereas a bundle automorphism \(F\) yields
\[
\sigma_F(p\otimes q)=F(p)\,q.
\]
Thus the noncommutative analogue of “bisections of the gauge groupoid are gauge transformations” is literally valid in this setting [2305.12465].

Vertical bisections encode internal gauge symmetry. They identify with a multiplicative cocycle space
\[
Z^1(\mathcal L(P,H),B)\cong Z^1(H,P),
\]
and bundle automorphisms restricting to the identity on \(B\) correspond to such cocycles. This produces a concrete noncommutative gauge-theoretic interpretation of the first cohomology level [2305.12465].

The second level is a nonAbelian cohomology \(H^2(\mathcal L,B)\) governing cotwists of the Hopf algebroid. Its elements are convolution-invertible normalized \(2\)-cocycles on \(\mathcal L\), and the cotwisted product is
\[
X\cdot_T Y
=
s(T(X_{(1)},Y_{(1)}))\,t(T^{-1}(X_{(3)},Y_{(3)}))\,X_{(2)}Y_{(2)}.
\]
For \(\triangleleft\)-commutative \(P\), the abstract Hopf-algebroid cohomology becomes a concrete Hopf-algebraic theory:
\[
H^2(\mathcal L(P,H),B)\cong H^2(H,P).
\]
For trivial or cleft bundles, it reduces further to explicit associative-type cocycle data on \(H\) with values in \(B\) [2305.12465].

The same source also introduces coquasi-Ehresmann–Schauenburg bialgebroids, where associativity is controlled by a \(3\)-cocycle. This extends the gauge-groupoid picture from strict Hopf algebroids to coquasi-bialgebroid structures, without changing the basic role of \((P\otimes P)^{coH}\) as the total algebra [2305.12465].

## 5. Differential calculi, base change, and descent

The augmentation ideal of the Ehresmann–Schauenburg Hopf algebroid is closely tied to universal differential forms on the total space. For
\[
\mathcal H=(A\otimes A)^{coH},
\]
one has
\[
\mathcal H^+=\ker\varepsilon=(\Omega_A^u)^{coH},
\]
where \(\Omega_A^u=\ker(m:A\otimes A\to A)\) is the universal first-order calculus on \(A\). As a consequence, left covariant first-order differential calculi on \(\mathcal H\) are in bijection with right \(H\)-covariant first-order differential calculi on \(A\):
\[
\left\{ \text{left covariant FODC on }\mathcal H \right\}
\xleftrightarrow{1:1}
\left\{ \text{right }H\text{-covariant FODC on }A \right\}.
\]
This identifies the differential geometry of the quantum gauge groupoid with the covariant differential geometry of the total space itself [2507.16455].

The same work places the Ehresmann–Schauenburg example inside a broader Hopf-algebroid theory of covariant calculi, Hopf modules, and Takeuchi–Schneider equivalence. In particular, the explicit right Hopf–algebroid translation map on \(\mathcal H\) makes the Woronowicz-type classification of left covariant calculi entirely effective for this family [2507.16455].

Base change is subtler in the noncentral case. Given an algebra map
\[
\mathsf F:B\to C,
\]
the naive tensor product \(C\otimes_B A\) need not inherit an algebra structure. The remedy is a twisting map
\[
\psi:A\otimes C\to C\otimes A,
\]
which defines a twisted tensor-product algebra
\[
\Omega=C\,\underline{\otimes}^{\psi}_B A.
\]
Under the compatibility conditions stated in the source, \(C\subset \Omega\) is again an \(H\)-Galois extension, with translation map
\[
\tau^\psi(h)= (1_C\otimes_B h^{\langle 1\rangle})\otimes_C (1_C\otimes_B h^{\langle 2\rangle}),
\]
and its own Ehresmann–Schauenburg bialgebroid
\[
\mathcal M\simeq (\Omega\otimes\Omega)^{coH}.
\]
There is always a bialgebroid morphism from the original \(\mathcal L\) to \(\mathcal M\), and under an additional inner \(B\)-linearity condition the comparison is refined to a map from the standard base-ring extension
\[
\widetilde{\mathcal L}=C\otimes_B \mathcal L\otimes_B C
\]
to \(\mathcal M\); if \(\psi\) is invertible, this map is an isomorphism. The resulting interpretation is that noncentral push-forward transforms the Ehresmann–Schauenburg bialgebroid by a twisted base change rather than by ordinary extension of scalars [2512.20465].

## 6. Examples, applications, and scope

The most detailed worked example is the \(U(1)\)-Hopf–Galois extension
\[
{\mathcal O}(\mathbb{C}P^{n-1}_q)\subseteq {\mathcal O}(S^{2n-1}_q),
\]
where \(H={\mathcal O}(U(1))=\mathbb C[t,t^{-1}]\). The translation map is
\[
\tau(t)=\sum_{j=1}^n q^{2(n-j)} z_j^*\otimes_B z_j,
\qquad
\tau(t^{-1})=\sum_{j=1}^n z_j\otimes_B z_j^*.
\]
The corresponding Ehresmann–Schauenburg bialgebroid is generated by two matrix families \(V\) and \(W\), built from the two \(K_0\)-classes \(P\) and \(Q\), with matrix-coalgebra formulas
\[
\underline\Delta(V_{ij})=\sum_k V_{ik}\otimes_B V_{kj},
\qquad
\underline\Delta(W_{ij})=\sum_k W_{ik}\otimes_B W_{kj}.
\]
This example exhibits both a flip antipode and a \(K\)-theoretically defined antipode, together with a full twist-group computation \(\mathcal T^*\simeq (\mathbb C^*)^n\) [2302.12073].

A second explicit family comes from the Hopf fibration over the Podleś sphere. For
\[
A=\mathcal O_q(\mathrm{SL}_2(\mathbb C)),\qquad
H=\mathcal O(U(1)),\qquad
B=A^{coH}=\mathcal O_q(S^2),
\]
the Ehresmann–Schauenburg bialgebroid is generated by eight coinvariant elements
\[
\alpha,\tilde\alpha,\beta,\tilde\beta,\gamma,\tilde\gamma,\delta,\tilde\delta,
\]
with coproduct and counit computed explicitly, and the induced universal calculus on the bialgebroid is written out on generators. This example is the main test case for the classification of covariant calculi [2507.16455].

The phrase “Ehresmann–Schauenburg Hopf algebroid” does not cover every nearby Hopf-algebroid construction. The Hopf algebroid \(H_{par}\) attached to partial representations of a Hopf algebra is explicitly described as a Schauenburg/Böhm–Szlachányi-style Hopf algebroid, but it is not a gauge-groupoid construction of Hopf–Galois type [1309.1659]. Conversely, the Hopf algebra object attached to a Lie pair \(A\hookrightarrow L\) lives in a derived category and is not a Hopf algebroid in the Schauenburg or Ehresmann sense [1409.6803]. These distinctions matter because the defining feature of the Ehresmann–Schauenburg object is not merely the presence of source, target, coproduct, and antipode, but its origin as the quantum gauge groupoid of a Hopf–Galois extension.

In that precise sense, the modern theory presents the Ehresmann–Schauenburg Hopf algebroid as a flexible but coherent construction: a coinvariant subalgebra of \(P\otimes P\), functorial in Hopf–Galois data, compatible with twists, \( * \)-structures, calculi, and push-forward procedures, and rich enough to recover automorphism groups, gauge cocycles, and deformation theory directly from the geometry of the underlying quantum principal bundle [2412.21089][2305.12465][2507.16455].

Source: https://www.emergentmind.com/topics/ehresmann-schauenburg-hopf-algebroid