pith. sign in

arxiv: 2507.16455 · v2 · submitted 2025-07-22 · 🧮 math.QA · math.CT

Takeuchi-Schneider equivalence and calculi for homogeneous spaces of Hopf algebroids

Niels Kowalzig , Thomas Weber This is my paper

Pith reviewed 2026-05-19 03:44 UTC · model grok-4.3

classification 🧮 math.QA math.CT
keywords Hopf algebroidscovariant differential calculusTakeuchi-Schneider equivalencequantum homogeneous spacesaugmentation idealHopf modulesHopf-Galois extensions
0
0 comments X

The pith

Covariant calculi on Hopf algebroids and quantum homogeneous spaces are classified by substructures of the augmentation ideal via Takeuchi-Schneider equivalences.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a notion of covariant differential calculus compatible with the structures of Hopf algebroids. It then establishes analogues of the fundamental theorem of Hopf modules and the Takeuchi-Schneider equivalence in this setting. These categorical equivalences classify the calculi in terms of substructures of the augmentation ideal. The approach generalizes earlier results for Hopf algebras and applies to examples such as Ehresmann-Schauenburg Hopf algebroids and scalar extensions.

Core claim

We develop a notion of covariant differential calculus for Hopf algebroids. As a byproduct, we prove analogues of the fundamental theorem of Hopf modules and a Takeuchi-Schneider equivalence in the realm of Hopf algebroids. The resulting categorical equivalences enable us to classify covariant calculi on Hopf algebroids and, more in general, covariant calculi on quantum homogeneous spaces in this context, in terms of substructures of the augmentation ideal. This generalises the well-known classification results of Woronowicz and Hermisson.

What carries the argument

The Takeuchi-Schneider equivalence for Hopf algebroids, which equates module categories over the Hopf algebroid with comodule categories over substructures of the augmentation ideal to classify covariant calculi.

If this is right

  • Covariant calculi on quantum homogeneous spaces of Hopf algebroids are determined by substructures of the augmentation ideal.
  • The classification applies to scalar extension Hopf algebroids and their homogeneous space variants.
  • The results extend the Woronowicz and Hermisson classifications from Hopf algebras to the algebroid case.
  • Explicit calculi can be constructed from ideals in the augmentation ideal for concrete Hopf algebroids.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The classification may simplify the construction of differential structures on noncommutative homogeneous spaces.
  • It opens the possibility of transferring results between different Hopf algebroid examples through the shared categorical framework.

Load-bearing premise

The covariant differential calculus is defined so that it is compatible with the coaction and multiplication in a manner that preserves the categorical equivalences.

What would settle it

A covariant calculus on the Ehresmann-Schauenburg Hopf algebroid of a faithfully flat Hopf-Galois extension that fails to correspond to any substructure of the augmentation ideal.

read the original abstract

We develop a notion of covariant differential calculus for Hopf algebroids. As a byproduct, we prove analogues of the fundamental theorem of Hopf modules and a Takeuchi-Schneider equivalence in the realm of Hopf algebroids. The resulting categorical equivalences enable us to classify covariant calculi on Hopf algebroids and, more in general, covariant calculi on quantum homogeneous spaces in this context, in terms of substructures of the augmentation ideal. This generalises the well-known classification results of Woronowicz and Hermisson. A particular focus is given on examples, including covariant calculi on the Ehresmann-Schauenburg Hopf algebroid of a faithfully flat Hopf-Galois extension, and covariant calculi on scalar extension Hopf algebroids, as well as homogeneous space variants of the latter.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript develops a notion of covariant differential calculus for Hopf algebroids. It proves analogues of the fundamental theorem of Hopf modules and the Takeuchi-Schneider equivalence in this setting. These categorical equivalences are applied to classify covariant calculi on Hopf algebroids and on quantum homogeneous spaces in terms of substructures of the augmentation ideal, generalizing the classification results of Woronowicz and Hermisson. Concrete examples are treated in detail, including calculi on the Ehresmann-Schauenburg Hopf algebroid associated to faithfully flat Hopf-Galois extensions, on scalar-extension Hopf algebroids, and on homogeneous-space variants of the latter.

Significance. If the central constructions and proofs hold, the work supplies a useful categorical bridge between Hopf-algebroid theory and noncommutative differential geometry. The explicit recovery of the classical Woronowicz-Hermisson classification as a special case, together with the verification on Ehresmann-Schauenburg and scalar-extension examples, gives the results immediate applicability and provides a template for further computations in quantum homogeneous spaces.

minor comments (3)
  1. The compatibility conditions imposed on the covariant differential calculus (introduced to ensure the coaction-multiplication compatibility) are stated clearly but could be cross-referenced more explicitly when the Takeuchi-Schneider equivalence is proved, so that the reader sees at a glance which axioms are used at each step.
  2. Notation for the augmentation ideal and its substructures is introduced in the classification section; a short table or diagram summarizing the correspondence between substructures and calculi would improve readability.
  3. A few references to the original Woronowicz and Hermisson papers appear in the introduction; adding the precise theorem numbers being generalized would help readers locate the exact statements being extended.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript. We are pleased that the referee recognizes the value of the categorical equivalences and the classification of covariant calculi via augmentation ideal substructures, as well as the concrete examples treated. We will prepare a revised version incorporating minor revisions as recommended.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper introduces a definition of covariant differential calculus on Hopf algebroids chosen to be compatible with coactions and multiplications, then proves analogues of the fundamental theorem of Hopf modules and the Takeuchi-Schneider equivalence directly from these definitions using standard categorical arguments. The classification of calculi via augmentation ideal substructures follows as a consequence of the established equivalences. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the work generalizes Woronowicz-Hermisson results without importing uniqueness theorems or ansatzes from the authors' prior papers in a circular manner. The derivation chain remains independent of the target results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on the standard axioms of Hopf algebroids and the newly introduced compatibility conditions for the covariant calculus; no free parameters or invented physical entities appear.

axioms (1)
  • standard math Hopf algebroid structure satisfies the standard coassociativity, counit, and antipode axioms from prior literature.
    Invoked implicitly when defining the covariant calculus and proving the equivalences.
invented entities (1)
  • Covariant differential calculus on a Hopf algebroid no independent evidence
    purpose: To generalize differential calculi to the Hopf algebroid setting and enable classification via categorical equivalences.
    New notion introduced in the paper; no independent falsifiable evidence provided beyond the abstract definitions.

pith-pipeline@v0.9.0 · 5662 in / 1290 out tokens · 23098 ms · 2026-05-19T03:44:47.912341+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

57 extracted references · 57 canonical work pages

  1. [1]

    Aguiar and S

    M. Aguiar and S. Chase, Generalized H opf modules for bimonads , Theory Appl. Categ. 27 (2012), 263--326

    work page 2012

  2. [2]

    Aschieri, R

    P. Aschieri, R. Fioresi, E. Latini, and T. Weber, Differential calculi on quantum principal bundles over projective bases, Commun. Math. Phys. 405 (2024), no. 6, article no. 136, 45 pp

    work page 2024

  3. [3]

    B\'alint and K

    I. B\'alint and K. Szlach\'anyi, Finitary Galois extensions over noncommutative bases, J. Algebra 296 (2006), 520--560

    work page 2006

  4. [4]

    Beggs and S

    E. Beggs and S. Majid, Quantum Riemannian geometry, Springer International Publishing, 2019

    work page 2019

  5. [5]

    Bekaert, N

    X. Bekaert, N. Kowalzig, and P. Saracco, Universal enveloping algebras of Lie-Rinehart algebras: crossed products, connections, and curvature, Lett. Math. Phys. 114 (2024), no. 6, article no. 140, 73 pp

    work page 2024

  6. [6]

    Bhowmick, B

    J. Bhowmick, B. Ghosh, A. Krutov, and R. \'O Buachalla, Levi-Civita connection on the irreducible quan\-tum flag manifolds, preprint (2024), arXiv:2411.03102

    work page arXiv 2024

  7. [7]

    Blattner, M

    R. Blattner, M. Cohen, and S. Montgomery, Crossed products and inner actions of Hopf algebras, Trans. Amer. Math. Soc. 298 (1986), no. 2, 671--711

    work page 1986

  8. [8]

    B \"o hm, Galois theory for H opf algebroids , Ann

    G. B \"o hm, Galois theory for H opf algebroids , Ann. Univ. Ferrara, Sez. VII (N.S.) 51 (2005), 233--262

    work page 2005

  9. [9]

    , Hopf algebroids, Handbook of algebra. Vol. 6, 173--235, Handb. Algebr. 6, Elsevier/North-Holland, Amsterdam, 2009

    work page 2009

  10. [10]

    4, 563--599

    , Integral theory for Hopf algebroids, Algebr.\ Represent.\ Theory 8 (2015), no. 4, 563--599

    work page 2015

  11. [11]

    B\"ohm and T

    G. B\"ohm and T. Brzezi\'nski, Pre-torsors and equivalences, J. Algebra 317 (2007), 544--580; corrigendum ibid. 319 (2008), 1339--1340

    work page 2007

  12. [12]

    B \"o hm and K

    G. B \"o hm and K. Szlach \'a nyi, Hopf algebroids with bijective antipodes: axioms, integrals, and duals, J. Algebra 274 (2004), no. 2, 708--750

    work page 2004

  13. [13]

    , Weak H opf algebras. II . R epresentation theory, dimensions, and the M arkov trace , J. Algebra 233 (2000), no. 1, 156--212

    work page 2000

  14. [14]

    Brugui\`eres, S

    A. Brugui\`eres, S. Lack, and A. Virelizier, Hopf monads on monoidal categories, Adv. Math. 227 (2011), no. 2, 745--800

    work page 2011

  15. [15]

    Brzezi\'nski, The structure of corings, Algebr.\ Represent.\ Theory 5 (2002), no

    T. Brzezi\'nski, The structure of corings, Algebr.\ Represent.\ Theory 5 (2002), no. 4, 389--410

    work page 2002

  16. [16]

    , Translation map in quantum principal bundles, J. Geom. Phys. 20 (1996), no. 4, 349--370

    work page 1996

  17. [17]

    Brzezi\'nski, G

    T. Brzezi\'nski, G. Janelidze, and T. Maszczyk, Galois structures, in P.M. Hajac (ed.), Lecture notes on noncommutative geometry and quantum groups, http://www.mimuw.edu.pl/ pwit/toknotes

    work page

  18. [18]

    Brzezi \'n ski and G

    T. Brzezi \'n ski and G. Militaru, Bialgebroids, A -bialgebras and duality , J. Algebra 251 (2002), no. 1, 279--294

    work page 2002

  19. [19]

    Brzezi \'n ski and R

    T. Brzezi \'n ski and R. Wisbauer, Corings and comodules, London Mathematical Society Lecture Note Series, vol. 309, Cambridge University Press, Cambridge, 2003

    work page 2003

  20. [20]

    Carotenuto and R

    A. Carotenuto and R. \'O Buachalla, Bimodule connections for relative line modules over the irreducible quan\-tum flag manifolds, SIGMA 18 (2022), article no. 070, 21 pp

    work page 2022

  21. [21]

    Chemla, Integral theory for left Hopf left bialgebroids, preprint version (2020), arXiv:2007.09425

    S. Chemla, Integral theory for left Hopf left bialgebroids, preprint version (2020), arXiv:2007.09425

    work page arXiv 2020

  22. [22]

    Chemla, F

    S. Chemla, F. Gavarini, and N. Kowalzig, Duality features of left Hopf algebroids, Algebr.\ Represent.\ Theory 19 (2016), no. 4, 913--941

    work page 2016

  23. [23]

    El Kaoutit, A

    L. El Kaoutit, A. Ghobadi, P. Saracco, and J. Vercruysse, Correspondence theorems for Hopf algebroids with applications to affine groupoids, Can. J. Math. 76 (2024), no. 3, 830--880; addenda ibid. 77 (2025), no. 1, 347--350

    work page 2024

  24. [24]

    Etingof and A

    P. Etingof and A. Varchenko, Solutions of the Quantum Dynamical Yang–Baxter Equation and Dynamical Quantum Groups, Commun. Math. Phys. 196 (1998), 591--640

    work page 1998

  25. [25]

    Faddeev, N

    L. Faddeev, N. Reshetikhin, and L. Takhtajan, Quantization of Lie groups and Lie algebras, (Russian) Algebra i Analiz 1 (1989), no. 1, 178--206; translation in Leningrad Math. J. 1 (1990), no. 1, 193--225

    work page 1989

  26. [26]

    Faddeev and L

    L. Faddeev and L. Takhtadzhan, The Quantum Method of the Inverse Problem and the Heisenberg XYZ Model, Russ. Math. Surv. 34 (1979), 11--68

    work page 1979

  27. [27]

    Han and G

    X. Han and G. Landi, Gauge groups and bialgebroids, Lett. Math. Phys. 111 (2021), article no. 140

    work page 2021

  28. [28]

    Han and S

    X. Han and S. Majid, Bisections and cocycles on Hopf algebroids, preprint (2023), arXiv:2305.12465

    work page arXiv 2023

  29. [29]

    Algebra 641 (2024), 754--794

    , Hopf-Galois extensions and twisted Hopf algebroids, J. Algebra 641 (2024), 754--794

    work page 2024

  30. [30]

    Heckenberger and S

    I. Heckenberger and S. Kolb, De Rham complex for quantized irreducible flag manifolds, J. Algebra 305 (2006), no. 2, 704--741

    work page 2006

  31. [31]

    Hermisson, Derivations with Quantum Group Action, Commun

    U. Hermisson, Derivations with Quantum Group Action, Commun. Algebra 30 (2002), no. 1, 101--117

    work page 2002

  32. [32]

    Jur c o, Differential calculus on quantized simple Lie groups, Lett

    B. Jur c o, Differential calculus on quantized simple Lie groups, Lett. Math. Phys. 22 (1991), no. 3, 177--186

    work page 1991

  33. [33]

    Kadison, Galois theory for bialgebroids, depth two and normal Hopf subalgebras, Ann

    L. Kadison, Galois theory for bialgebroids, depth two and normal Hopf subalgebras, Ann. Univ. Ferrara Sez. VII (NS) 51 (2005), 209--231

    work page 2005

  34. [34]

    Klimyk and K

    A. Klimyk and K. Schm\" u dgen, Quantum groups and their representations, Texts and Monographs in Physics, Springer-Verlag, 1997

    work page 1997

  35. [35]

    Kowalzig, Gerstenhaber and Batalin-Vilkovisky structures on modules over operads, Int.\ Math.\ Res.\ Not.\ 2015 (2015), no

    N. Kowalzig, Gerstenhaber and Batalin-Vilkovisky structures on modules over operads, Int.\ Math.\ Res.\ Not.\ 2015 (2015), no. 22, 11694--11744

    work page 2015

  36. [36]

    Kowalzig and U

    N. Kowalzig and U. Kr\"ahmer, Duality and products in algebraic (co)homology theories, J. Algebra 323 (2010), no. 7, 2063--2081

    work page 2010

  37. [37]

    Reine Angew

    , B atalin- V ilkovisky structures on and , J. Reine Angew. Math. 697 (2014), 159--219

    work page 2014

  38. [38]

    Kr\"ahmer, On the Hochschild (co)homology of quantum homogeneous spaces, Isr

    U. Kr\"ahmer, On the Hochschild (co)homology of quantum homogeneous spaces, Isr. J. Math. 189 (2012), 237--266

    work page 2012

  39. [39]

    Montgomery, Hopf algebras and their actions on rings, CBMS Regional Conference Series in Math 82, AMS, 1994

    S. Montgomery, Hopf algebras and their actions on rings, CBMS Regional Conference Series in Math 82, AMS, 1994

    work page 1994

  40. [40]

    , Hopf Galois theory: a survey, Geom. Topol. Monogr. 16 (2009), 367--400

    work page 2009

  41. [41]

    Mr c un, The Hopf algebroids of functions on \'etale groupoids and their principal Morita equivalence, J

    J. Mr c un, The Hopf algebroids of functions on \'etale groupoids and their principal Morita equivalence, J. Pure Appl. Algebra 160 (2001), nos. 2--3, 249--262

    work page 2001

  42. [42]

    \'O Buachalla, Noncommutative K\"ahler structures on quantum homogeneous spaces, Adv

    R. \'O Buachalla, Noncommutative K\"ahler structures on quantum homogeneous spaces, Adv. Math. 322 (2017), 892--939

    work page 2017

  43. [43]

    Podle\'s, Differential calculus on quantum spheres, Lett

    P. Podle\'s, Differential calculus on quantum spheres, Lett. Math. Phys. 18 (1989), no. 2, 107--119

    work page 1989

  44. [44]

    Positselski, Homological algebra of semimodules and semicontramodules, Instytut Matematyczny Polskiej Akademii Nauk

    L. Positselski, Homological algebra of semimodules and semicontramodules, Instytut Matematyczny Polskiej Akademii Nauk. Monografie Matematyczne (New Series), vol. 70, Birkh\"auser/Springer Basel AG, Basel, 2010

    work page 2010

  45. [45]

    Reshetikhin and V

    N. Reshetikhin and V. Turaev, Invariants of 3-manifolds via link polynomials and quantum groups, Invent. Math. 103 (1991), 547--597

    work page 1991

  46. [46]

    Schauenburg, Bialgebras over noncommutative rings and a structure theorem for Hopf bimodules, Appl

    P. Schauenburg, Bialgebras over noncommutative rings and a structure theorem for Hopf bimodules, Appl. Categ. Struct. 6 (1998), 193--222

    work page 1998

  47. [47]

    Algebra 180 (1996), no

    , Differential-graded Hopf algebras and quantum group differential calculi, J. Algebra 180 (1996), no. 1, 239--286

    work page 1996

  48. [48]

    Math., vol

    , Duals and doubles of quantum groupoids ( R - H opf algebras) , New trends in Hopf algebra theory (La Falda, 1999), Contemp. Math., vol. 267, Amer. Math. Soc., Providence, RI, 2000, pp. 273--299

    work page 1999

  49. [49]

    Schneider, Principal homogeneous spaces for arbitrary Hopf algebras, Isr

    H.-J. Schneider, Principal homogeneous spaces for arbitrary Hopf algebras, Isr. J. Math. 72 (1990), nos. 1--2, 167--195

    work page 1990

  50. [50]

    , Representation theory of Hopf Galois extensions, Isr. J. Math. 72 (1990), nos. 1--2, 196--231

    work page 1990

  51. [51]

    Sciandra and T

    A. Sciandra and T. Weber, Noncommutative differential geometry on crossed product algebras, J. Algebra 664 (2025), 129--176

    work page 2025

  52. [52]

    Sweedler, Hopf algebras, Mathematics Lecture Note Series, W

    M. Sweedler, Hopf algebras, Mathematics Lecture Note Series, W. A. Benjamin, Inc., New York, 1969

    work page 1969

  53. [53]

    Takeuchi, A note on geometrically reductive groups, J

    M. Takeuchi, A note on geometrically reductive groups, J. Fac. Sci., Univ. Tokyo, Sect. I A 20 (1973), 387--396

    work page 1973

  54. [54]

    , Groups of algebras over A A , J. Math. Soc. Japan 29 (1977), no. 3, 459--492

    work page 1977

  55. [55]

    Algebra 60 (1979), 452--471

    , Relative Hopf modules-equivalences and freeness criteria, J. Algebra 60 (1979), 452--471

    work page 1979

  56. [56]

    Tamarkin and B

    D. Tamarkin and B. Tsygan, Noncommutative differential calculus, homotopy BV algebras and formality conjectures , Methods Funct. Anal. Topology 6 (2000), no. 2, 85--100

    work page 2000

  57. [57]

    Woronowicz, Differential calculus on compact matrix pseudogroups (quantum groups)

    S. Woronowicz, Differential calculus on compact matrix pseudogroups (quantum groups). Comm. Math. Phys. 122 (1989), no. 1, 125--170

    work page 1989