pith. sign in

arxiv: 2301.04459 · v2 · submitted 2023-01-11 · 🧮 math.DS · math.NT· math.OA

Algebraic actions II. Groupoid rigidity

Chris Bruce , Xin Li This is my paper

Pith reviewed 2026-05-24 09:32 UTC · model grok-4.3

classification 🧮 math.DS math.NTmath.OA
keywords algebraic actionsgroupoid rigiditypartial transformation groupoidsrings of algebraic integersCartan pairstopological full groups
0
0 comments X

The pith

Groupoids from algebraic actions of rings of integers determine the ring up to isomorphism.

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

The paper proves that isomorphisms of partial transformation groupoids coming from algebraic semigroup actions imply that the underlying actions rationally embed into each other. In the special case of the multiplicative monoid of nonzero ring elements acting on the additive group of a ring of algebraic integers, this embeddability upgrades to a full recovery of the action up to isomorphism and therefore of the ring itself up to isomorphism. The result applies the general rigidity to produce a dynamical recovery of algebraic data and settles questions about when associated Cartan pairs can be isomorphic. A reader would care because the construction turns dynamical groupoid data into a complete invariant for classical algebraic objects.

Core claim

If two partial transformation groupoids arising from algebraic actions of semigroups are isomorphic and satisfy the appropriate conditions, then the globalizations of the initial actions rationally embed in each other. For actions coming from rings of algebraic integers this mutual embeddability strengthens so that the groupoid remembers the algebraic action up to isomorphism, which in turn remembers the isomorphism class of the ring.

What carries the argument

The partial transformation groupoid of an algebraic semigroup action, whose isomorphism class encodes enough of the partial maps to recover rational embeddings of the globalized actions.

If this is right

  • An isomorphism of the groupoids implies that the globalizations of the algebraic actions rationally embed in each other.
  • For toral endomorphisms and actions arising from commutative algebra the rigidity strengthens in various ways.
  • The groupoid determines the initial algebraic action up to isomorphism and therefore the isomorphism class of the ring.
  • The result produces a dynamical analogue of the Neukirch-Uchida theorem realized through topological full groups.

Where Pith is reading between the lines

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

  • Invariants extracted from the topological full group of the groupoid could serve as a practical way to test whether two rings of algebraic integers are isomorphic.
  • The same groupoid construction might produce complete invariants for actions arising from other classes of rings or semigroups.
  • One could look for similar rigidity statements when the acting semigroup is replaced by other natural monoids attached to algebraic structures.

Load-bearing premise

The groupoids must satisfy the appropriate conditions under which an isomorphism forces rational embeddability of the globalized actions.

What would settle it

An explicit pair of non-isomorphic rings of algebraic integers whose associated partial transformation groupoids are isomorphic would disprove the main rigidity statement.

read the original abstract

We establish rigidity for partial transformation groupoids associated with algebraic actions of semigroups: If two such groupoids (satisfying appropriate conditions) are isomorphic, then the globalizations of the initial algebraic actions rationally embed in each other. For specific example classes arising for instance from toral endomorphisms, actions from rings, or actions from commutative algebra, this mutual embedability can be improved in various ways to obtain surprisingly strong rigidity phenomena. This is witnessed in a particularly striking fashion for actions arising from algebraic number theory: We prove that the groupoids associated with the action of the multiplicative monoid of non-zero elements in a ring of algebraic integers on the additive group of the ring remembers the initial algebraic action up to isomorphism, which in turn remembers the isomorphism class of the ring. This resolves an open problem about isomorphisms of Cartan pairs and leads to a dynamical analogue of the Neukirch--Uchida theorem using topological full groups.

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

2 major / 2 minor

Summary. The paper establishes rigidity for partial transformation groupoids associated with algebraic actions of semigroups: if two such groupoids (satisfying appropriate conditions) are isomorphic, then the globalizations of the initial algebraic actions rationally embed in each other. For specific classes including toral endomorphisms, actions from rings, and commutative algebra, this embeddability strengthens to obtain strong rigidity. In particular, for the action of the multiplicative monoid of nonzero elements in a ring of algebraic integers on the additive group of the ring, the associated groupoid determines the action up to isomorphism and thus the ring up to isomorphism. This resolves an open problem on isomorphisms of Cartan pairs and yields a dynamical analogue of the Neukirch--Uchida theorem via topological full groups.

Significance. If the derivations hold, the results are significant: they provide a groupoid-theoretic route to rigidity phenomena that recover algebraic data (actions and rings) from dynamical invariants, with direct implications for Cartan subalgebra theory and number-theoretic reconstruction theorems. The work extends the algebraic actions series and supplies a concrete dynamical counterpart to classical results in algebraic number theory.

major comments (2)
  1. [General rigidity theorem and its application to algebraic-integer actions] The central implication chain (groupoid isomorphism → rational embeddability of globalizations via the general theorem → ring isomorphism) is load-bearing. The abstract invokes 'appropriate conditions' under which the general rigidity theorem applies, but the manuscript must contain an explicit verification that the partial transformation groupoids arising from the multiplicative monoid action on the additive group of a ring of algebraic integers satisfy those conditions; without this check the implication to ring isomorphism does not go through.
  2. [Section treating actions from rings of algebraic integers] The passage from mutual rational embeddability to full isomorphism of the actions (and thence to ring isomorphism) for the algebraic-integer case relies on additional structure specific to these examples. The precise arguments establishing this improvement, including any use of number-theoretic properties of the ring, need to be spelled out with references to the relevant propositions or lemmas so that the reader can confirm the conditions for the improvement are met.
minor comments (2)
  1. The abstract lists example classes (toral endomorphisms, actions from rings, actions from commutative algebra) but does not point to the sections where these are treated; adding such pointers would improve readability.
  2. Notation for the partial transformation groupoids and their globalizations should be introduced once and used consistently; any ad-hoc notation introduced only in the algebraic-integer section should be cross-referenced to the general setup.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the implication chain and the strengthening arguments require more explicit documentation. We address each major comment below and will revise the manuscript to incorporate the requested clarifications.

read point-by-point responses

  1. Referee: [General rigidity theorem and its application to algebraic-integer actions] The central implication chain (groupoid isomorphism → rational embeddability of globalizations via the general theorem → ring isomorphism) is load-bearing. The abstract invokes 'appropriate conditions' under which the general rigidity theorem applies, but the manuscript must contain an explicit verification that the partial transformation groupoids arising from the multiplicative monoid action on the additive group of a ring of algebraic integers satisfy those conditions; without this check the implication to ring isomorphism does not go through.

    Authors: We agree that the manuscript should contain an explicit, self-contained verification that the partial transformation groupoids arising from the multiplicative monoid action on the additive group of a ring of algebraic integers satisfy the 'appropriate conditions' of the general rigidity theorem. In the revised version we will insert a new subsection (immediately preceding the ring-isomorphism statement) that checks each hypothesis of the general theorem against the concrete data of this action, with direct references to the relevant definitions and propositions from Sections 3 and 4. revision: yes

  2. Referee: [Section treating actions from rings of algebraic integers] The passage from mutual rational embeddability to full isomorphism of the actions (and thence to ring isomorphism) for the algebraic-integer case relies on additional structure specific to these examples. The precise arguments establishing this improvement, including any use of number-theoretic properties of the ring, need to be spelled out with references to the relevant propositions or lemmas so that the reader can confirm the conditions for the improvement are met.

    Authors: We accept that the improvement from mutual rational embeddability to isomorphism of the actions (and hence to ring isomorphism) must be spelled out with explicit references. The revised manuscript will expand the relevant section to include a step-by-step derivation, citing the precise propositions or lemmas that invoke the number-theoretic properties (unique factorization, unit group structure, etc.) and indicating exactly where each hypothesis of the improvement theorem is verified for rings of algebraic integers. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation relies on newly established general theorem plus external background

full rationale

The paper first proves a general rigidity theorem for partial transformation groupoids (under stated conditions) and then specializes it to algebraic actions arising from rings of algebraic integers. The specialization step consists of verifying that the concrete groupoids meet the hypotheses of the general theorem, after which the conclusion follows by direct application; this verification is an independent calculation, not a redefinition or a fit of the target conclusion. No load-bearing step reduces by construction to a self-citation, an ansatz smuggled from prior work, or a renaming of a known empirical pattern. The cited background results (groupoid theory, Cartan pairs, Neukirch–Uchida) are external to the present manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work is a pure-mathematics proof relying on standard background from groupoid theory, dynamical systems, and algebraic number theory. No free parameters, fitted constants, or newly invented entities are indicated.

axioms (1)
  • standard math Standard results and definitions from the theory of partial transformation groupoids and algebraic actions of semigroups.
    Invoked to set up the rigidity statements; typical for papers in this area.

pith-pipeline@v0.9.0 · 5685 in / 1286 out tokens · 27168 ms · 2026-05-24T09:32:33.490692+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

54 extracted references · 54 canonical work pages

  1. [1]

    Baudisch, Subgroups of semifree groups, Acta Math

    A. Baudisch, Subgroups of semifree groups, Acta Math. Acad. Sci. Hungar. 38 (1981), no. 1-4, 19–28

    work page 1981

  2. [2]

    Baumslag, Some aspects of groups with unique roots , Acta Math

    G. Baumslag, Some aspects of groups with unique roots , Acta Math. 104 (1960), 217–303

    work page 1960

  3. [3]

    Baumslag, Generalized free products whose two-generator subgroups are free , J

    B. Baumslag, Generalized free products whose two-generator subgroups are free , J. London Math. Soc. 43 (1968), 601–606

    work page 1968

  4. [4]

    Berend, Ergodic semigroups of epimorphisms , Trans

    D. Berend, Ergodic semigroups of epimorphisms , Trans. Amer. Math. Soc. 289 (1985), no. 1, 393–407

    work page 1985

  5. [5]

    Bhargava, Higher composition laws

    M. Bhargava, Higher composition laws. I. A new view on Gauss composition, and quadratic generalizations , Ann. of Math. (2) 159 (2004), no. 1, 217–250

    work page 2004

  6. [6]

    Bhargava, Higher composition laws

    M. Bhargava, Higher composition laws. II. On cubic analogues of Gauss composition, Ann. of Math. (2) 159 (2004), no. 2, 865–886

    work page 2004

  7. [7]

    Bhargava, Higher composition laws

    M. Bhargava, Higher composition laws. III. The parametrization of quartic rings , Ann. of Math. (2) 159 (2004), no. 3, 1329–1360

    work page 2004

  8. [8]

    Bhargava, The density of discriminants of quartic rings and fields , Ann

    M. Bhargava, The density of discriminants of quartic rings and fields , Ann. of Math. (2) 162 (2005), no. 2, 1031–1063

    work page 2005

  9. [9]

    Bhargava, Higher composition laws

    M. Bhargava, Higher composition laws. IV. The parametrization of quintic rings , Ann. of Math. (2) 167 (2008), no. 1, 53–94

    work page 2008

  10. [10]

    Bhargava, The density of discriminants of quintic rings and fields , Ann

    M. Bhargava, The density of discriminants of quintic rings and fields , Ann. of Math. (2) 172 (2010), no. 3, 1559–1591

    work page 2010

  11. [11]

    Bruce, C*-algebras from actions of congruence monoids on rings of algebraic integers , Trans

    C. Bruce, C*-algebras from actions of congruence monoids on rings of algebraic integers , Trans. Amer. Math. Soc. 373 (2020), no. 1, 699–726

    work page 2020

  12. [12]

    Bruce and X

    C. Bruce and X. Li, On K-theoretic invariants of semigroup C*-algebras from actions of congruence monoids , Amer. J. Math. (to appear). Preprint version: arXiv:1906.00445

    work page arXiv 1906

  13. [13]

    Bruce and X

    C. Bruce and X. Li, Algebraic actions I. C*-algebras and groupoids , preprint, arXiv:2209.05823

    work page arXiv

  14. [14]

    Bruce and T

    C. Bruce and T. Takeishi, Constructing number field isomorphisms from *-isomorphisms of certain crossed product C*-algebras, preprint, arXiv:2203.08690

    work page arXiv

  15. [15]

    Chothi, G

    V. Chothi, G. Everest, and T. Ward, S-integer dynamical systems: periodic points , J. Reine Angew. Math. 489 (1997), 99–132

    work page 1997

  16. [16]

    M. I. Cortez and K. Medynets, Orbit equivalence rigidity of equicontinuous systems , J. Lond. Math. Soc. (2) 94 (2016), no. 2, 545–556

    work page 2016

  17. [17]

    D. A. Cox, J. Little, and D. O’Shea, Using algebraic geometry, Second edition. Graduate Texts in Mathematics,

    work page

  18. [18]

    Springer, New York, 2005

    work page 2005

  19. [19]

    D. A. Cox, J. Little, and D. O’Shea, Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra, Third edition. Undergraduate Texts in Mathematics. Springer, New York, 2007

    work page 2007

  20. [20]

    Cuntz, C*-algebras associated with the ax + b-semigroup over N, K-theory and noncommutative geometry, 201– 215, EMS Ser

    J. Cuntz, C*-algebras associated with the ax + b-semigroup over N, K-theory and noncommutative geometry, 201– 215, EMS Ser. Congr. Rep., Eur. Math. Soc., Z¨ urich, 2008

    work page 2008

  21. [21]

    Cuntz, C

    J. Cuntz, C. Deninger, and M. Laca, C*-algebras of Toeplitz type associated with algebraic number fields , Math. Ann. 355 (2013), no. 4, 1383–1423

    work page 2013

  22. [22]

    Cuntz and X

    J. Cuntz and X. Li, The regular C*-algebra of an integral domain , Quanta of Maths, Clay Math. Proc., Vol. 11, Amer. Math. Soc., 2010, pp. 149–170

    work page 2010

  23. [23]

    Cuntz and A

    J. Cuntz and A. Vershik, C*-algebras associated with endomorphisms and polymorphsims of compact Abelian groups, Comm. Math. Phys. 321 (2013), no. 1, 157–179

    work page 2013

  24. [24]

    Drut ¸uand M

    C. Drut ¸uand M. Kapovich, Geometric group theory. With an appendix by Bogdan Nica . American Mathematical Society Colloquium Publications, 63. American Mathematical Society, Providence, RI, 2018

    work page 2018

  25. [25]

    Eisenbud, Commutative algebra

    D. Eisenbud, Commutative algebra. With a view toward algebraic geometry. Graduate Texts in Mathematics, 150. Springer-Verlag, New York, 1995

    work page 1995

  26. [26]

    Exel, Partial actions of groups and actions of inverse semigroups , Proc

    R. Exel, Partial actions of groups and actions of inverse semigroups , Proc. Amer. Math. Soc. 126 (1998), no. 12, 3481–3494

    work page 1998

  27. [27]

    Fuchs, Infinite abelian groups

    L. Fuchs, Infinite abelian groups. Vol. I, Pure and Applied Mathematics, Vol. 36 Academic Press, New York-London 1970

    work page 1970

  28. [28]

    Fuchs, Infinite abelian groups

    L. Fuchs, Infinite abelian groups. Vol. II, Pure and Applied Mathematics. Vol. 36-II. Academic Press, New York- London, 1973

    work page 1973

  29. [29]

    B. C. Hall, Lie groups, Lie algebras, and representations. An elementary introduction , Graduate Texts in Mathe- matics, 222, Springer-Verlag, New York, 2003. 24

    work page 2003

  30. [30]

    Hertweck, A counterexample to the isomorphism problem for integral group rings, Ann

    M. Hertweck, A counterexample to the isomorphism problem for integral group rings, Ann. of Math. (2) 154 (2001), no. 1, 115–138

    work page 2001

  31. [31]

    Hirshberg, On C*-algebras associated to certain endomorphisms of discrete groups , New York J

    I. Hirshberg, On C*-algebras associated to certain endomorphisms of discrete groups , New York J. Math. 8 (2002), 99–109

    work page 2002

  32. [32]

    Kaplansky, Fields and rings, Second edition

    I. Kaplansky, Fields and rings, Second edition. Chicago Lectures in Mathematics. The University of Chicago Press, Chicago, Ill.-London, 1972

    work page 1972

  33. [33]

    Krzy˙zewski, On exact toral endomorphisms , Monatsh

    K. Krzy˙zewski, On exact toral endomorphisms , Monatsh. Math. 116 (1993), no. 1, 39–47

    work page 1993

  34. [34]

    B. K. Kwa´sniewski and R. Meyer, Essential crossed products for inverse semigroup actions: simplicity and pure infiniteness, Doc. Math. 26 (2021), 271–335

    work page 2021

  35. [35]

    Li, Ring C*-algebras, Math

    X. Li, Ring C*-algebras, Math. Ann. 348 (2010), no. 4, 859–898

    work page 2010

  36. [36]

    Li, On K-theoretic invariants of semigroup C∗-algebras attached to number fields , Adv

    X. Li, On K-theoretic invariants of semigroup C∗-algebras attached to number fields , Adv. Math. 264 (2014), 371– 395

    work page 2014

  37. [37]

    Li, On K-theoretic invariants of semigroup C∗-algebras attached to number fields, Part II, Adv

    X. Li, On K-theoretic invariants of semigroup C∗-algebras attached to number fields, Part II, Adv. Math. 291 (2016), 1–11

    work page 2016

  38. [38]

    Li, Continuous orbit equivalence rigidity , Ergodic Theory Dynam

    X. Li, Continuous orbit equivalence rigidity , Ergodic Theory Dynam. Systems 38 (2018), no. 4, 1543–1563

    work page 2018

  39. [39]

    Li, Partial transformation groupoids attached to graphs and semigroups , Int

    X. Li, Partial transformation groupoids attached to graphs and semigroups , Int. Math. Res. Not. IMRN 2017, no. 17, 5233–5259

    work page 2017

  40. [40]

    Li and W

    X. Li and W. L¨uck, K-theory for ring C∗-algebras: the case of number fields with higher roots of unity , J. Topol. Anal. 4 (2012), no. 4, 449–479

    work page 2012

  41. [41]

    Matui, Homology and topological full groups of ´ etale groupoids on totally disconnected spaces, Proc

    H. Matui, Homology and topological full groups of ´ etale groupoids on totally disconnected spaces, Proc. Lond. Math. Soc. (3) 104 (2012), no. 1, 27–56

    work page 2012

  42. [42]

    Matui, Topological full groups of one-sided shifts of finite type , J

    H. Matui, Topological full groups of one-sided shifts of finite type , J. Reine Angew. Math. 705 (2015), 35–84

    work page 2015

  43. [43]

    Nekrashevych, Simple groups of dynamical origin , Ergodic Theory Dynam

    V. Nekrashevych, Simple groups of dynamical origin , Ergodic Theory Dynam. Systems 39 (2019), no. 3, 707–732

    work page 2019

  44. [44]

    Neukirch, Kennzeichnung der p-adischen und der endlichen algebraischen Zahlk¨ orper, (German) Invent

    J. Neukirch, Kennzeichnung der p-adischen und der endlichen algebraischen Zahlk¨ orper, (German) Invent. Math. 6 (1969), 296–314

    work page 1969

  45. [45]

    Perlis and G

    S. Perlis and G. L. Walker, Abelian group algebras of finite order , Trans. Amer. Math. Soc. 68 (1950), 420–426

    work page 1950

  46. [46]

    A. I. Raad, A generalization of Renault’s theorem for Cartan subalgebras , Proc. Amer. Math. Soc. 150 (2022), no. 11, 4801–4809

    work page 2022

  47. [47]

    Reiner, Maximal orders

    I. Reiner, Maximal orders. Corrected reprint of the 1975 original. London Mathematical Society Monographs. New Series, 28. The Clarendon Press, Oxford University Press, Oxford, 2003

    work page 1975

  48. [48]

    Renault, Cartan subalgebras in C*-algebras , Irish Math

    J. Renault, Cartan subalgebras in C*-algebras , Irish Math. Soc. Bulletin 61 (2008), 29–63

    work page 2008

  49. [49]

    Rubin, On the reconstruction of topological spaces from their groups of homeomorphisms , Trans

    M. Rubin, On the reconstruction of topological spaces from their groups of homeomorphisms , Trans. Amer. Math. Soc. 312 (1989), no. 2, 487–538

    work page 1989

  50. [50]

    Schmidt, Dynamical systems of algebraic origin , Progress in Mathematics, 128, Birkh¨ auser Verlag, Basel, 1995

    K. Schmidt, Dynamical systems of algebraic origin , Progress in Mathematics, 128, Birkh¨ auser Verlag, Basel, 1995

    work page 1995

  51. [51]

    Schmidt, Algebraic Zd-actions, Pacific Institute for the Mathematical Sciences Distinguished Chair Lecture Notes, University of Victoria, BC, November 2002

    K. Schmidt, Algebraic Zd-actions, Pacific Institute for the Mathematical Sciences Distinguished Chair Lecture Notes, University of Victoria, BC, November 2002. 60pp. (electronic publication). https://mathtube.org/sites/ default/files/lecture-notes/Schmidt.pdf, retrieved 19 December 2022

    work page 2002

  52. [52]

    Thomas, The classification problem for torsion-free abelian groups of finite rank , J

    S. Thomas, The classification problem for torsion-free abelian groups of finite rank , J. Amer. Math. Soc. 16 (2003), no. 1, 233–258

    work page 2003

  53. [53]

    Uchida, Isomorphisms of Galois groups , J

    K. Uchida, Isomorphisms of Galois groups , J. Math. Soc. Japan 28 (1976), no. 4, 617–620

    work page 1976

  54. [54]

    Walters, An introduction to ergodic theory , Graduate Texts in Mathematics, 79, Springer-Verlag, New York- Berlin, 1982

    P. Walters, An introduction to ergodic theory , Graduate Texts in Mathematics, 79, Springer-Verlag, New York- Berlin, 1982. School of Mathematics and Statistics, University of Glasgow, University Place, Glasgow G12 8QQ, United Kingdom Email address: Chris.Bruce@glasgow.ac.uk School of Mathematics and Statistics, University of Glasgow, University Place, Gl...

    work page 1982