Takeuchi–Schneider Equivalence in Hopf Structures

• Takeuchi–Schneider equivalence is a categorical framework linking comodule and module categories through Hopf–Galois extensions and bi-Galois objects.
• It leverages cotensor functors and cogroupoid structures to implement monoidal Morita–Takeuchi equivalences between various Hopf structures.
• The framework transfers key homological properties, such as twisted Calabi–Yau duality and covariant differential calculi, across equivalent quantum symmetries.

Searching arXiv for recent and foundational papers on Takeuchi–Schneider equivalence. Takeuchi–Schneider equivalence denotes a family of categorical equivalences arising in Hopf-theoretic Galois settings. In its classical form, it combines two closely related ideas: Takeuchi’s equivalence of comodule categories, often phrased as Morita–Takeuchi equivalence for coalgebras or Hopf algebras, and Schneider’s equivalence between Hopf modules over a Hopf–Galois extension and module categories over coinvariants. In the Hopf algebra setting, monoidal Morita–Takeuchi equivalence is the statement that two Hopf algebras $H$ and $L$ have equivalent comodule categories as monoidal categories, $\mathrm{Comod}(H)\simeq \mathrm{Comod}(L)$, and this equivalence is implemented by bi-Galois objects and cotensor functors (Wang et al., 2016). More recent work extends the same pattern to right Hopf algebroids, where the equivalence controls covariant differential calculi on homogeneous spaces and generalizes classical results of Woronowicz and Hermisson (Kowalzig et al., 22 Jul 2025). In finite-dimensional pointed Hopf algebra theory, the equivalence is realized concretely by Hopf $2$-cocycle deformations, biGalois objects, and Masuoka’s pushout construction (Grunenfelder et al., 2010).

1. Classical meaning and categorical formulation

For coalgebras $C$ and $D$ over a field $k$, Morita–Takeuchi equivalence means there is a $k$-linear equivalence of categories between their right comodule categories, $M^C \simeq M^D$ (Grunenfelder et al., 2010). In the Hopf setting, the monoidal version requires compatibility with tensor products. Thus two Hopf algebras $H$ and $L$0 are monoidally Morita–Takeuchi equivalent when their categories of right comodules are equivalent as monoidal categories, written in the cited paper as $L$1 (Wang et al., 2016).

This monoidal equivalence is implemented by a bi-Galois object. In Schauenburg’s framework, if $L$2 is simultaneously a right $L$3-Galois object and a left $L$4-Galois object with compatible coactions, then the cotensor functor

$L$5

is a monoidal equivalence (Grunenfelder et al., 2010). The same mechanism is reformulated in cogroupoid language: if $L$6 is a connected cogroupoid and $L$7, $L$8, then $L$9 is the $\mathrm{Comod}(H)\simeq \mathrm{Comod}(L)$0–$\mathrm{Comod}(H)\simeq \mathrm{Comod}(L)$1 bi-Galois object implementing the equivalence (Wang et al., 2016).

The label “Takeuchi–Schneider equivalence” is therefore not a single theorem with one formulation. Rather, it refers to a linked package of equivalences. In the Hopf algebra literature, the comodule-category side is also known as Takeuchi equivalence, while Schneider’s equivalences concern Hopf–Galois extensions of algebras and equivalences of module categories over such extensions (Wang et al., 2016). A plausible implication is that the terminology emphasizes the passage between pure comodule-theoretic equivalence and the Hopf–Galois mechanisms that realize it.

2. Bi-Galois objects, cotensor functors, and cogroupoids

In the cogroupoid formalism adopted in the study of Calabi–Yau transfer, a connected cogroupoid $\mathrm{Comod}(H)\simeq \mathrm{Comod}(L)$2 assigns to any pair of objects $\mathrm{Comod}(H)\simeq \mathrm{Comod}(L)$3 algebras $\mathrm{Comod}(H)\simeq \mathrm{Comod}(L)$4 together with structure maps

$\mathrm{Comod}(H)\simeq \mathrm{Comod}(L)$5

and antipode-like maps

$\mathrm{Comod}(H)\simeq \mathrm{Comod}(L)$6

satisfying the cogroupoid axioms; each $\mathrm{Comod}(H)\simeq \mathrm{Comod}(L)$7 is a Hopf algebra (Wang et al., 2016). If $\mathrm{Comod}(H)\simeq \mathrm{Comod}(L)$8 and $\mathrm{Comod}(H)\simeq \mathrm{Comod}(L)$9 are monoidally Morita–Takeuchi equivalent, there is a connected cogroupoid with objects $2$0 such that

$2$1

and $2$2 is the implementing bi-Galois object (Wang et al., 2016).

The monoidal equivalence is explicitly given by cotensor product. For a right $2$3-comodule $2$4,

$2$5

and this acquires a natural right $2$6-comodule structure; the inverse functor is cotensoring with $2$7 (Wang et al., 2016). If the right $2$8-coaction on $2$9 is written $C$0, and $C$1 has left $C$2-coaction $C$3, then

$C$4

with induced right $C$5-coaction

$C$6

This is the standard Schauenburg/Takeuchi implementation via cotensoring with an $C$7–$C$8 bi-Galois object (Wang et al., 2016).

The equivalence extends beyond ordinary comodules. For Yetter–Drinfeld modules, the functor

$C$9

is monoidal (Wang et al., 2016). This extension is central in homological applications, because relative projective or relative free Yetter–Drinfeld resolutions transport along the equivalence.

3. Schneider-type equivalence for Hopf–Galois extensions

Schneider’s theorem, in the Hopf algebra setting, identifies Hopf modules over a Hopf–Galois extension with modules over the subalgebra of coinvariants. If $D$0 is a right $D$1-comodule algebra, $D$2, and $D$3 is right $D$4-Galois and faithfully flat over $D$5, then the functor

$D$6

is an equivalence, with inverse $D$7 endowed with the induced $D$8-coaction (Grunenfelder et al., 2010). In the finite-dimensional pointed setting, this theorem operates together with Schauenburg’s biGalois formalism and Masuoka’s pushout to realize monoidal equivalences of comodule categories (Grunenfelder et al., 2010).

The same paper makes explicit how the two strands of the terminology fit together. “Takeuchi–Schneider equivalence” there means, first, Takeuchi’s equivalence of comodule categories for coalgebras or Hopf algebras, and, second, Schneider’s equivalence between categories of Hopf modules over a Hopf–Galois extension and module categories over coinvariants, providing the mechanism to pass between module and comodule categories along a Galois extension (Grunenfelder et al., 2010).

Masuoka’s pushout technique supplies a concrete source of biGalois objects. If $D$9 is a Hopf algebra, $k$0 a Hopf subalgebra, and $k$1 are Hopf ideals conjugate by a convolution-invertible algebra map $k$2, then, under the non-vanishing hypothesis $k$3, Masuoka shows that $k$4 and $k$5 are linked by an $k$6-biGalois object, hence are Morita–Takeuchi equivalent (Grunenfelder et al., 2010). In finite dimension, Schauenburg’s result upgrades monoidal Morita–Takeuchi equivalence to equivalence by a Hopf $k$7-cocycle deformation (Grunenfelder et al., 2010).

This identifies a recurrent structural pattern: a Hopf–Galois extension produces a Schneider-type equivalence of module categories, while a biGalois object induces a Takeuchi-type monoidal equivalence of comodule categories. In finite-dimensional settings, these equivalences are often concretely encoded by cocycle twist data.

4. Hopf algebroid generalization

The most explicit generalization of Takeuchi–Schneider equivalence to Hopf algebroids is formulated for right Hopf algebroids over a base algebra $k$8 (Kowalzig et al., 22 Jul 2025). A left bialgebroid over $k$9 is a sextuple $k$0 in which $k$1 is an $k$2-ring and $k$3 is an $k$4-coring whose coproduct corestricts to the Takeuchi subspace

$k$5

(Kowalzig et al., 22 Jul 2025). It is called a right Hopf algebroid if the Hopf–Galois map

$k$6

is bijective (Kowalzig et al., 22 Jul 2025). Its inverse yields the translation map $k$7.

Within this setting, one considers a surjection of right Hopf algebroids $k$8 over the same base $k$9, with left Hopf kernel

$M^C \simeq M^D$0

where $M^C \simeq M^D$1 (Kowalzig et al., 22 Jul 2025). The extension $M^C \simeq M^D$2 is called Hopf–Galois if the canonical map

$M^C \simeq M^D$3

is bijective (Kowalzig et al., 22 Jul 2025).

Under the assumptions that $M^C \simeq M^D$4 and $M^C \simeq M^D$5 are right $M^C \simeq M^D$6-flat, that $M^C \simeq M^D$7 is Hopf–Galois, and that $M^C \simeq M^D$8 is faithfully left $M^C \simeq M^D$9-flat and faithfully right $H$0-flat, Theorem 4.10 establishes an equivalence

$H$1

(Kowalzig et al., 22 Jul 2025). The adjoint functors are

$H$2

where

$H$3

(Kowalzig et al., 22 Jul 2025). The proof gives explicit unit and counit isomorphisms: $H$4 and

$H$5

(Kowalzig et al., 22 Jul 2025).

The paper describes this as the precise Hopf algebroid generalization of Takeuchi’s equivalence and Schneider’s extension for Hopf algebras and Hopf–Galois extensions, with the main new subtleties coming from source and target maps, balancing over $H$6 versus $H$7, and the fact that a right Hopf algebroid replaces an antipode by invertibility of the Hopf–Galois map $H$8 (Kowalzig et al., 22 Jul 2025).

5. Homological transfer and twisted Calabi–Yau preservation

A significant application of monoidal Morita–Takeuchi equivalence is the transfer of twisted Calabi–Yau properties between Hopf algebras (Wang et al., 2016). An algebra $H$9 is twisted Calabi–Yau of dimension $L$00 if it is homologically smooth and

$L$01

for an automorphism $L$02, the Nakayama automorphism (Wang et al., 2016). For Hopf algebras with bijective antipode and homological smoothness, twisted Calabi–Yau is equivalent to an AS-Gorenstein-type Ext vanishing condition on the trivial module (Wang et al., 2016).

The central preservation statement is Theorem 2.5.5: if $L$03 and $L$04 are monoidally Morita–Takeuchi equivalent Hopf algebras, $L$05 is twisted CY of dimension $L$06, and $L$07 is homologically smooth, then $L$08 is twisted CY of dimension $L$09 (Wang et al., 2016). The proof proceeds through cogroupoid methods and transport of Hochschild cohomology via functors such as $L$10, $L$11, and $L$12; a pivotal identity is

$L$13

together with the analogous formulas over $L$14 and opposite algebras (Wang et al., 2016).

The homological smoothness hypothesis is not automatic in full generality. The paper explicitly poses whether homological smoothness is Morita–Takeuchi invariant and records this as open in full generality, while providing sufficient conditions under which the property does transfer (Wang et al., 2016). Theorem 2.5.7 gives four such conditions, including the cases where $L$15 is Noetherian and $L$16 has finite global dimension, or where $L$17 is Noetherian and has finite global dimension (Wang et al., 2016). Under these hypotheses, Yetter–Drinfeld resolutions of the trivial module can be transported along the monoidal equivalence, yielding bounded finitely generated projective resolutions and thus homological smoothness.

The same framework yields explicit Nakayama automorphisms for the bi-Galois objects themselves. If $L$18 is twisted CY of dimension $L$19 with left homological integral $L$20, then for any $L$21,

$L$22

is the Nakayama automorphism of $L$23 (Wang et al., 2016). There is also a generalized Radford $L$24-type formula: $L$25 where $L$26 is an inner automorphism (Wang et al., 2016). This suggests that Takeuchi-type equivalence does not merely preserve tensor-categorical structure; it also constrains deep homological and modular data.

6. Concrete realizations and applications

The equivalence is particularly concrete in three classes of examples discussed in the cited papers.

Context	Mechanism	Outcome
Hopf algebras in a cogroupoid	Cotensoring with $L$27	Monoidal equivalence of comodule categories
Finite-dimensional pointed Hopf algebras	BiGalois objects and Hopf $L$28-cocycle deformations	All liftings with the same diagram are monoidally Morita–Takeuchi equivalent
Right Hopf algebroids	Adjunction $L$29 for a principal homogeneous space	Equivalence $L$30

For quantum groups of bilinear forms, the cogroupoid $L$31 has objects $L$32 and algebras $L$33 generated by $L$34 with relations

$L$35

When $L$36, the Hopf algebras $L$37 and $L$38 have monoidally equivalent comodule categories (Wang et al., 2016). Since $L$39 is twisted CY, the theorem transfers twisted CY to $L$40 whenever $L$41 matches $L$42 (Wang et al., 2016).

For pointed Hopf algebras of Andruskiewitsch–Schneider type, the main theorem states that all liftings $L$43 of $L$44 are cocycle deformations of each other (Grunenfelder et al., 2010). Equivalently, for any two finite-dimensional pointed Hopf algebras $L$45 having the same diagram $L$46,

$L$47

for suitable Hopf $L$48-cocycles $L$49, so that $L$50 as monoidal categories (Grunenfelder et al., 2010). The deforming cocycles can be described using classical exponential and $L$51-exponential maps attached to Hochschild $L$52-cocycles and linking cocycles. This provides an explicit realization of Takeuchi–Schneider equivalence in terms of cocycle-twisted multiplication

$L$53

(Grunenfelder et al., 2010).

In the Hopf algebroid setting, the equivalence becomes a tool for classifying covariant first order differential calculi. For a left covariant calculus $L$54 on a right Hopf algebroid $L$55, the Maurer–Cartan map

$L$56

is left $L$57-linear and surjective, so $L$58 is a left $L$59-ideal (Kowalzig et al., 22 Jul 2025). Theorem 3.13 yields a bijection

$L$60

with

$L$61

(Kowalzig et al., 22 Jul 2025). For principal homogeneous spaces $L$62, Theorem 5.3 similarly classifies left $L$63-covariant first order calculi on $L$64 in terms of subobjects $L$65 in $L$66, via

$L$67

(Kowalzig et al., 22 Jul 2025). This is the Hermisson-type extension to Hopf algebroids.

7. Assumptions, limitations, and conceptual scope

The equivalences require substantial structural hypotheses, and these hypotheses differ across settings. In the Hopf algebra Calabi–Yau transfer results, bijectivity of antipodes is assumed throughout the main results, and the cogroupoid antipodes $L$68 are also assumed bijective (Wang et al., 2016). The preservation theorem for twisted CY requires homological smoothness on the target side; without it, the full invariance problem remains open (Wang et al., 2016).

In the Hopf algebroid setting, right Hopf algebroid structure means invertibility of the Hopf–Galois map $L$69, not existence of an antipode (Kowalzig et al., 22 Jul 2025). Flatness and faithful flatness assumptions are essential: $L$70 and $L$71 must be right $L$72-flat, and the principal homogeneous space condition requires $L$73 to be faithfully left $L$74-flat and faithfully right $L$75-flat (Kowalzig et al., 22 Jul 2025). The paper explicitly notes that not all Hopf algebroids admit antipodes, and that certain reductions familiar from the Hopf algebra case do not carry over because of the lack of a terminal object in the bialgebroid category (Kowalzig et al., 22 Jul 2025).

In finite-dimensional pointed Hopf algebra theory, finite dimensionality is crucial because Schauenburg’s converse—monoidal equivalence implies cocycle twist—holds in that setting (Grunenfelder et al., 2010). The construction also depends on the hypotheses used in the Andruskiewitsch–Schneider classification scheme: $L$76 algebraically closed of characteristic $L$77, $L$78 finite abelian, and $L$79 of special finite Cartan type (Grunenfelder et al., 2010).

Across all three sources, the common conceptual content is stable. Takeuchi–Schneider equivalence is a mechanism for transporting algebraic and categorical structure through Galois data. In one direction it identifies comodule categories via biGalois objects and cotensoring; in another it identifies Hopf module categories with module categories over coinvariants; in modern extensions it governs homological properties such as twisted Calabi–Yau duality and geometric structures such as covariant calculi on quantum homogeneous spaces (Wang et al., 2016, Kowalzig et al., 22 Jul 2025, Grunenfelder et al., 2010). A plausible implication is that the term designates less a single isolated equivalence than a unifying paradigm for descent, deformation, and transport across Hopf-type symmetries.