pith. sign in

arxiv: 1907.03851 · v2 · pith:BCRYC375new · submitted 2019-07-08 · 🧮 math.OA · math.DS

Constructions in minimal amenable dynamics and applications to the classification of C^*-algebras

Robin J. Deeley , Ian F. Putnam , Karen R. Strung This is my paper

Pith reviewed 2026-05-25 00:16 UTC · model grok-4.3

classification 🧮 math.OA math.DS
keywords minimal dynamical systemsorbit-breaking relationsgroupoid C*-algebrasK-theoryElliott invariantamenable dynamicsmean dimension zero
0
0 comments X

The pith

Given any countable abelian groups G0 and G1, a minimal orbit-breaking relation exists whose associated C*-algebra has exactly that K-theory pair.

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

The paper shows how to build minimal dynamical systems and break their orbits at small sets to produce equivalence relations whose groupoid C*-algebras realize any prescribed pair of countable abelian groups as K-theory. It also proves that every finite CW-complex can be matched, in both K-theory and cohomology, by a space that carries a minimal homeomorphism. These constructions rely on skew-product extensions that preserve minimality together with earlier results on point-like spaces. The results supply new examples inside the Elliott classification program, showing that the possible K-theory invariants for minimal systems of mean dimension zero are essentially unrestricted.

Core claim

The authors prove that for any countable abelian groups G0 and G1 there exists a minimal orbit-breaking equivalence relation such that the K-theory of the associated Renault groupoid C*-algebra is precisely (G0, G1). They further establish that any finite CW-complex is K-theoretically and cohomologically realized by a space that admits a minimal homeomorphism, obtained via skew-product constructions over point-like spaces.

What carries the argument

Minimal orbit-breaking equivalence relations obtained by removing small subsets from the orbits of a minimal homeomorphism, converted to C*-algebras via Renault's groupoid construction.

Load-bearing premise

Homeomorphisms exist on certain point-like spaces and skew-product systems exist that keep the action minimal.

What would settle it

An explicit pair of countable abelian groups G0 and G1 for which no minimal orbit-breaking relation yields a groupoid C*-algebra with K-theory exactly (G0, G1).

read the original abstract

We study the existence of minimal dynamical systems, their orbit and minimal orbit-breaking equivalence relations, and their applications to C*-algebras and K-theory. We show that given any finite CW-complex there exists a space with the same K-theory and cohomology that admits a minimal homeomorphism. The proof relies on the existence of homeomorphisms on point-like spaces constructed by the authors in previous work, together with existence results for skew product systems due to Glasner and Weiss. To any minimal dynamical system one can associate minimal equivalence relations by breaking orbits at small subsets. Using Renault's groupoid C*-algebra construction we can associate K-theory groups to minimal dynamical systems and orbit-breaking equivalence relations. We show that given arbitrary countable abelian groups $G_0$ and $G_1$ we can find a minimal orbit-breaking relation such that the K-theory of the associated C*-algebra is exactly this pair. These results have important applications to the Elliott classification program for C*-algebras. In particular, we make a step towards determining the range of the Elliott invariant of the C*-algebras associated to minimal dynamical systems with mean dimension zero and their minimal orbit-breaking relations

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 / 1 minor

Summary. The paper claims that for any finite CW-complex there is a space with matching K-theory and cohomology admitting a minimal homeomorphism, constructed via the authors' prior point-like homeomorphisms combined with Glasner-Weiss skew products. It further asserts that for arbitrary countable abelian groups G0 and G1 there exists a minimal orbit-breaking equivalence relation on such a system whose Renault groupoid C*-algebra realizes exactly those K-groups, with applications to determining the range of the Elliott invariant for C*-algebras from minimal mean-dimension-zero systems and their orbit-breaking relations.

Significance. If correct, the constructions supply explicit realizations of arbitrary K-theory pairs for amenable groupoid C*-algebras arising from minimal dynamics, providing concrete input for the Elliott classification program in the mean-dimension-zero case and linking dynamical constructions to operator-algebraic invariants via Renault's functor.

major comments (2)
  1. [Proof of first main theorem] Proof of the first main theorem (existence of minimal homeomorphism with prescribed K-theory/cohomology): the argument invokes the authors' prior point-like homeomorphisms together with Glasner-Weiss skew-product existence, yet supplies no explicit verification that the resulting system remains minimal while preserving the target K-theory and cohomology exactly; the independence of these invariants from the base constructions is therefore not checked.
  2. [K-theory realization for orbit-breaking relations] K-theory realization theorem for minimal orbit-breaking relations: the central claim that arbitrary countable abelian G0, G1 can be realized as the K-theory of the groupoid C*-algebra assumes that the orbit-breaking step (via Renault's construction) introduces no relations between K0 and K1; no explicit K-theory exact sequence or direct computation confirming this independence appears in the relevant section.
minor comments (1)
  1. [Abstract] The abstract refers to 'the first main theorem' without indicating its section number or statement location.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the identification of points where additional verification would strengthen the manuscript. We address each major comment below and indicate the revisions that will be incorporated.

read point-by-point responses

  1. Referee: [Proof of first main theorem] Proof of the first main theorem (existence of minimal homeomorphism with prescribed K-theory/cohomology): the argument invokes the authors' prior point-like homeomorphisms together with Glasner-Weiss skew-product existence, yet supplies no explicit verification that the resulting system remains minimal while preserving the target K-theory and cohomology exactly; the independence of these invariants from the base constructions is therefore not checked.

    Authors: We agree that the current text relies on the combination of our earlier point-like constructions and the Glasner-Weiss skew-product theorem without spelling out the verification that minimality is preserved and that the K-theory and cohomology of the total space coincide exactly with those of the base. In the revised manuscript we will insert a short lemma (or subsection) that records the relevant properties of the skew product: the base map remains minimal, the fiberwise action is free and minimal on the fibers, and the K-theory/cohomology groups are unchanged because the skew-product space is a bundle whose fibers are contractible or otherwise contribute trivially to the invariants in question. This will make the independence explicit. revision: yes

  2. Referee: [K-theory realization for orbit-breaking relations] K-theory realization theorem for minimal orbit-breaking relations: the central claim that arbitrary countable abelian G0, G1 can be realized as the K-theory of the groupoid C*-algebra assumes that the orbit-breaking step (via Renault's construction) introduces no relations between K0 and K1; no explicit K-theory exact sequence or direct computation confirming this independence appears in the relevant section.

    Authors: The referee is correct that the manuscript does not display an explicit six-term exact sequence or direct K-theory computation for the orbit-breaking groupoid. While the construction is designed so that the breaking sets can be chosen to control K0 and K1 independently (via the choice of the underlying minimal system and the size of the broken sets), we acknowledge that this independence must be verified rather than assumed. In the revision we will add a proposition that computes the K-theory of the Renault groupoid of the orbit-breaking equivalence relation, showing that the relevant exact sequence splits in a manner that leaves K0 and K1 freely prescribable by the parameters of the construction. revision: yes

Circularity Check

1 steps flagged

Central claim on arbitrary K0/K1 realization rests on self-cited existence of point-like minimal homeomorphisms

specific steps
  1. self citation load bearing [Abstract]
    "The proof relies on the existence of homeomorphisms on point-like spaces constructed by the authors in previous work, together with existence results for skew product systems due to Glasner and Weiss."

    The first main theorem (existence of minimal homeomorphisms on spaces with prescribed K-theory and cohomology) supplies the base systems needed to reach arbitrary G0/G1 via orbit-breaking. This existence is justified solely by citation to the same authors' prior papers rather than re-derived or externally verified within the present manuscript.

full rationale

The paper's strongest result (arbitrary countable abelian G0, G1 realized as K-theory of a minimal orbit-breaking groupoid C*-algebra) is built by first constructing base minimal systems with prescribed K-theory/cohomology, then applying orbit-breaking. The base construction is explicitly justified only by citation to the authors' own prior work on point-like spaces (plus external Glasner-Weiss skew products). This is a load-bearing self-citation but does not reduce the orbit-breaking or Renault groupoid steps to tautology; those steps retain independent content. No self-definitional, fitted-prediction, or renaming circularity is present. The result is therefore partially dependent on self-citation without being fully forced by it.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Central claims rest on two external existence results: homeomorphisms on point-like spaces from the authors' earlier papers and skew-product constructions of Glasner-Weiss. No new free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Existence of minimal homeomorphisms on point-like spaces from authors' prior work
    Invoked to produce the base minimal systems on spaces with prescribed K-theory.
  • domain assumption Existence results for skew product systems due to Glasner and Weiss
    Used to extend the constructions to the required spaces.

pith-pipeline@v0.9.0 · 5747 in / 1171 out tokens · 29398 ms · 2026-05-25T00:16:20.511722+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

45 extracted references · 45 canonical work pages · 3 internal anchors

  1. [1]

    Amenable groupoids, volume 36 of Mono- graphies de L’Enseignement Math´ ematique [Monographs of L’Enseignement Math´ ematique]

    Claire Anantharaman-Delaroche and Jean Renault. Amenable groupoids, volume 36 of Mono- graphies de L’Enseignement Math´ ematique [Monographs of L’Enseignement Math´ ematique]. L’Enseignement Math´ ematique, Geneva, 2000. With a forewo rd by Georges Skandalis and Appendix B by E. Germain

    work page 2000

  2. [2]

    Christopher Phillips

    Dawn Archey, Julian Buck, and N. Christopher Phillips. C entrally large subalgebras and tracial Z absorption. Int. Math. Res. Not. IMRN , (6):1857–1877, 2018

    work page 2018

  3. [3]

    Christopher Phillips

    Dawn Archey and N. Christopher Phillips. Permanence of s table rank one for centrally large subalgebras and crossed products by minimal homeomorphism s. To appear in J. Operator Theory

    work page

  4. [4]

    Groupoid Models of $C^*$-algebras and Gelfand Duality

    Kyle Austin and Atish Mitra. Groupoid models of C ∗-algebras and Gelfand duality. Preprint arXiv:1804.00967, 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  5. [5]

    Cartan subalgebras and the UCT problem

    Sel¸ cuk Barlak and Xin Li. Cartan subalgebras and the UCT problem. Adv. Math. , 316:748– 769, 2017

    work page 2017

  6. [6]

    Cartan subalgebras and the UCT problem, II

    Sel¸ cuk Barlak and Xin Li. Cartan subalgebras and the UCT problem, II. Preprint arXiv:1704.04939, 2017

    work page arXiv 2017

  7. [7]

    K-theory for operator algebras, volume 5 of Mathematical Sciences Research Institute Publications

    Bruce Blackadar. K-theory for operator algebras, volume 5 of Mathematical Sciences Research Institute Publications . Cambridge University Press, Cambridge, second edition, 1 998

    work page

  8. [8]

    Brown, Yasuhiko Sato, Aaron Tiku isis, Stuart White, and Wilhelm Winter

    Joan Bosa, Nathanial P. Brown, Yasuhiko Sato, Aaron Tiku isis, Stuart White, and Wilhelm Winter. Covering dimension of C∗-algebras and 2-coloured classification. Mem. Amer. Math. Soc., 257(1233):vii+97, 2019. CONSTRUCTIONS IN MINIMAL DYNAMICS AND APPLICATIONS TO C ∗ -ALGEBRAS 27

    work page 2019

  9. [9]

    Robert F. Brown. The Lefschetz fixed point theorem . Scott, Foresman and Co., Glenview, Ill.-London, 1971

    work page 1971

  10. [10]

    Nuclear dimension of simple C ∗-algebras

    Jorge Castillejos, Samuel Evington, Aaron Tikuisis, S tuart White, and Wilhelm Winter. Nuclear dimension of simple C ∗-algebras. Preprint arXiv:1901.05853v2, 2019

    work page arXiv 1901

  11. [11]

    Thomas A. Chapman. Homeomorphisms of Hilbert cube mani folds. Trans. Amer. Math. Soc., 182:227–239, 1973

    work page 1973

  12. [12]

    An analogue of the Thom isomorphism for cr ossed products of a C∗-algebra by an action of R

    Alain Connes. An analogue of the Thom isomorphism for cr ossed products of a C∗-algebra by an action of R. Adv. in Math. , 39(1):31–55, 1981

    work page 1981

  13. [13]

    An ame nable equivalence relation is gen- erated by a single transformation

    Alain Connes, Jacob Feldman, and Benjamin W eiss. An ame nable equivalence relation is gen- erated by a single transformation. Ergodic Theory Dynamical Systems , 1(4):431–450 (1982), 1981

    work page 1982

  14. [14]

    Topological dimension and dynamical systems

    Michel Coornaert. Topological dimension and dynamical systems . Universitext. Springer, Cham, 2015. Translated and revised from the 2005 French orig inal

    work page 2015

  15. [15]

    Deeley, Ian F

    Robin J. Deeley, Ian F. Putnam, and Karen R. Strung. Cons tructing minimal homeomor- phisms on point-like spaces and a dynamical presentation of the Jiang–Su algebra. J. Reine Angew. Math. , 742:241–261, 2018

    work page 2018

  16. [16]

    Deeley, Ian F

    Robin J. Deeley, Ian F. Putnam, and Karen R. Strung. Non- homogeneous extensions of Cantor minimal systems. Preprint, 2019

    work page 2019

  17. [17]

    On the construction of non-invertible minimal skew prod- ucts

    Mat´ uˇ s Dirb´ ak and Peter Maliˇ ck´ y. On the construction of non-invertible minimal skew prod- ucts. J. Math. Anal. Appl. , 375(2):436–442, 2011

    work page 2011

  18. [18]

    Elliott, Guihua Gong, Huaxin Lin, and Zhuang N iu

    George A. Elliott, Guihua Gong, Huaxin Lin, and Zhuang N iu. On the classification of simple amenable C ∗-algebras with finite decomposition rank II. Preprint arXiv :1507.03437v2, 2015

    work page arXiv 2015

  19. [19]

    Elliott and Zhuang Niu

    George A. Elliott and Zhuang Niu. The C ∗-algebra of a minimal homeomorphism of zero mean dimension. Duke Math. J. , 166(18):3569–3594, 2017

    work page 2017

  20. [20]

    Albert Fathi and Michael R. Herman. Existence de diff´ eo morphismes minimaux. pages 37–59. Ast´ erisque, No. 49, 1977

    work page 1977

  21. [21]

    Edwin E. Floyd. A nonhomogeneous minimal set. Bull. Amer. Math. Soc. , 55(10):957–960, 10 1949

    work page 1949

  22. [22]

    F. B. Fuller. The existence of periodic points. Ann. of Math. (2) , 57:229–230, 1953

    work page 1953

  23. [23]

    Subshifts and perforation

    Julien Giol and David Kerr. Subshifts and perforation. J. Reine Angew. Math. , 639:107–119, 2010

    work page 2010

  24. [24]

    C ∗-algebras associated to non-homogeneous minimal systems and their K-theory

    Richard Gjerde and Ørjan Johansen. C ∗-algebras associated to non-homogeneous minimal systems and their K-theory. Math. Scand. , 85(1):87–104, 1999

    work page 1999

  25. [25]

    On the construction of minimal skew products

    Shmuel Glasner and Benjamin W eiss. On the construction of minimal skew products. Israel J. Math. , 34(4):321–336, 1980

    work page 1980

  26. [26]

    Classification of finite simple amenable ${\cal Z}$-stable $C^*$-algebras

    Guihua Gong, Huaxin Lin, and Zhuang Niu. Classification of finite simple amenable Z-stable C∗-algebras. Preprint arXiv:1501.00135v6, 2015

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  27. [27]

    Topological invariants of dynamical sys tems and spaces of holomorphic maps

    Misha Gromov. Topological invariants of dynamical sys tems and spaces of holomorphic maps. I. Math. Phys. Anal. Geom. , 2(4):323–415, 1999

    work page 1999

  28. [28]

    Herman, Ian F

    Richard H. Herman, Ian F. Putnam, and Christian F. Skau. Ordered Bratteli diagrams, dimension groups and topological dynamics. Internat. J. Math. , 3(6):827–864, 1992

    work page 1992

  29. [29]

    Constructing Cartan subalgebras in classifiabl e stably finite C ∗-algebras

    Xin Li. Constructing Cartan subalgebras in classifiabl e stably finite C ∗-algebras. Preprint arXiv:1802.01190v2, 2018

    work page arXiv 2018

  30. [30]

    Mean topologic al dimension

    Elon Lindenstrauss and Benjamin W eiss. Mean topologic al dimension. Israel J. Math. , 115:1– 24, 2000

    work page 2000

  31. [31]

    Decomposition rank of U HF-absorbing C ∗-algebras

    Hiroki Matui and Yasuhiko Sato. Decomposition rank of U HF-absorbing C ∗-algebras. Duke Math. J. , 163(14):2687–2708, 2014

    work page 2014

  32. [32]

    Christopher Phillips

    N. Christopher Phillips. Cancellation and stable rank for direct limits of recursive subhomo- geneous algebras. Trans. Amer. Math. Soc. , 359(10):4625–4652, 2007

    work page 2007

  33. [33]

    Large subalgebras

    N. Christopher Phillips. Large subalgebras. Preprint arXiv:1408.5546, 2014

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  34. [34]

    Ian F. Putnam. The C∗-algebras associated with minimal homeomorphisms of the Ca ntor set. Pacific J. Math. , 136(2):329–353, 1989

    work page 1989

  35. [35]

    Ian F. Putnam. An excision theorem for the K-theory of C∗-algebras. J. Operator Theory , 38(1):151–171, 1997

    work page 1997

  36. [36]

    Ian F. Putnam. On the K-theory of C∗-algebras of principal groupoids. Rocky Mountain J. Math., 28(4):1483–1518, 1998

    work page 1998

  37. [37]

    Ian F. Putnam. Some classifiable groupoid C∗-algebras with prescribed K-theory. Math. Ann., 370(3-4):1361–1387, 2018. 28 R.J. DEELEY, I.F. PUTNAM, K.R. STRUNG

    work page 2018

  38. [38]

    A groupoid approach to C∗-algebras, volume 793 of Lecture Notes in Mathe- matics

    Jean Renault. A groupoid approach to C∗-algebras, volume 793 of Lecture Notes in Mathe- matics. Springer, Berlin, 1980

    work page 1980

  39. [39]

    The stable and the real rank of Z-absorbing C∗-algebras

    Mikael Rørdam. The stable and the real rank of Z-absorbing C∗-algebras. Internat. J. Math. , 15(10):1065–1084, 2004

    work page 2004

  40. [40]

    Nucle ar dimension and Z-stability

    Yasuhiko Sato, Stuart White, and Wilhelm Winter. Nucle ar dimension and Z-stability. In- vent. Math. , 202(2):893–921, 2015

    work page 2015

  41. [41]

    Construction of minimal skew products of amenable minimal dynamical sys- tems

    Yuhei Suzuki. Construction of minimal skew products of amenable minimal dynamical sys- tems. Groups Geom. Dyn. , 11(1):75–94, 2017

    work page 2017

  42. [42]

    Quas idiagonality of nuclear C ∗-algebras

    Aaron Tikuisis, Stuart White, and Winter Wilhelm. Quas idiagonality of nuclear C ∗-algebras. Ann. of Math. , 185(1):229–284, 2017

    work page 2017

  43. [43]

    La conjecture de Baum-Connes pour les fe uilletages moyennables

    Jean-Louis Tu. La conjecture de Baum-Connes pour les fe uilletages moyennables. K-Theory, 17(3):215–264, 1999

    work page 1999

  44. [44]

    James E. W est. Hilbert cube manifolds–meeting ground o f geometric topology and absolute neighborhood retracts. Proceedings of the International Congress of Mathematics, Helsinki, pages 497–503, 1978

    work page 1978

  45. [45]

    Minimal but not uniquely ergodic diff eomorphisms

    Alistair Windsor. Minimal but not uniquely ergodic diff eomorphisms. In Smooth ergodic the- ory and its applications (Seattle, WA, 1999) , volume 69 of Proc. Sympos. Pure Math. , pages 809–824. Amer. Math. Soc., Providence, RI, 2001. Department of Mathematics, University of Colorado Boulder C ampus Box 395, Boul- der, CO 80309-0395, USA E-mail address : ro...

    work page 1999