pith. sign in

arxiv: 2604.18410 · v1 · submitted 2026-04-20 · 🧮 math.OA · math.DS

Crossed product C*-algebras associated with non-minimal actions on the circle

Jamie Bell This is my paper

Pith reviewed 2026-05-10 03:12 UTC · model grok-4.3

classification 🧮 math.OA math.DS
keywords crossed product C*-algebrasnon-minimal actionscirclenuclear dimensionK-theoryquasidiagonalstable rank oneunique trace
0
0 comments X

The pith

Non-minimal free actions of abelian groups on the circle yield nuclear C*-algebras that are quasidiagonal with stable rank one and a unique trace.

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

The paper examines crossed product C*-algebras arising from free but non-minimal actions of countably infinite discrete abelian groups on the circle, extending prior work limited to minimal actions. It establishes that these yield a large class of unital separable nuclear non-simple C*-algebras which are quasidiagonal, have stable rank one, and admit a unique tracial state. The ideal structure of these algebras is determined and an improved uniform upper bound on their nuclear dimension is obtained. In the special case where the group is Z^d, the ordered K-theory and its pairing with the trace are computed explicitly.

Core claim

We examine crossed product C*-algebras associated with non-minimal free actions of countably infinite discrete abelian groups on the circle. These yield unital separable nuclear non-simple C*-algebras that are quasidiagonal with stable rank one and a unique tracial state. Their ideal structure is determined, nuclear dimension has an improved uniform upper bound, and for G = Z^d the ordered K-theory and trace pairing are computed.

What carries the argument

The crossed product C*(S^1) ⋊_α G where α is a free non-minimal action of a countably infinite discrete abelian group G on the circle.

Load-bearing premise

The assumption that free non-minimal actions of abelian groups on the circle allow the analytic and K-theoretic properties of the crossed products to be derived from the minimal case without new obstructions.

What would settle it

An explicit free non-minimal action of an abelian group on the circle whose crossed product C*-algebra has more than one tracial state would falsify the uniqueness claim.

read the original abstract

We examine crossed product C*-algebras associated with non-minimal free actions of countably infinite discrete abelian groups on the circle, extending the work of Putnam, Schmidt, and Skau. We obtain a large class of unital separable nuclear and non-simple C*-algebras that are quasidiagonal, have stable rank one, and admit a unique tracial state. We determine their ideal structure and establish an improved uniform upper bound for their nuclear dimension. Finally, in the case $G = \mathbb{Z}^d$, we compute the ordered K-theory and its trace pairing.

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

Summary. The paper examines crossed product C*-algebras C(T) ⋊ G arising from free but non-minimal actions of countably infinite discrete abelian groups G on the circle T. Extending results of Putnam-Schmidt-Skau for minimal actions, it shows that these algebras are unital, separable, nuclear, and non-simple; moreover they are quasidiagonal, have stable rank one, and admit a unique tracial state. The ideal structure is determined, an improved uniform upper bound for nuclear dimension is established, and for G = ℤ^d the ordered K-theory together with its trace pairing is computed.

Significance. If the central claims hold, the work supplies a broad new family of non-simple C*-algebras with strong regularity properties (quasidiagonality, stable rank one, unique trace, controlled nuclear dimension) that can serve as test cases for classification conjectures and for understanding how non-simplicity interacts with these invariants. The explicit K-theory computation for ℤ^d actions adds concrete, computable examples to the literature on ordered K-theory of crossed products.

major comments (2)
  1. [§3.2, Theorem 3.4] §3.2, Theorem 3.4: the argument that quasidiagonality and stable rank one persist when minimality is dropped invokes the same approximation techniques as in the minimal case, but does not explicitly address how proper closed invariant subsets (and the corresponding ideals in the crossed product) affect the finite-dimensional approximations; a concrete estimate showing that the non-minimal orbits do not increase the approximation error would strengthen the claim.
  2. [§4.1, Proposition 4.3] §4.1, Proposition 4.3: uniqueness of the tracial state is asserted by showing that every trace on the crossed product restricts to the unique G-invariant measure on C(T); however, non-minimality permits multiple ergodic invariant measures supported on proper subsets, and the proof does not contain an explicit verification that these measures induce the same trace on the crossed product after averaging over G.
minor comments (3)
  1. The notation for the circle alternates between T and S^1; a uniform choice throughout the manuscript would improve readability.
  2. In the introduction, the comparison with the minimal-action results of Putnam-Schmidt-Skau would benefit from a short table listing which properties carry over directly and which require new arguments.
  3. Several citations to earlier works on nuclear dimension bounds appear only in the bibliography; inline references at the points where the improved bound is stated would help the reader.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments on the extension of results from minimal to non-minimal actions. We address each major comment below and will revise the manuscript accordingly to strengthen the relevant arguments.

read point-by-point responses

  1. Referee: [§3.2, Theorem 3.4] §3.2, Theorem 3.4: the argument that quasidiagonality and stable rank one persist when minimality is dropped invokes the same approximation techniques as in the minimal case, but does not explicitly address how proper closed invariant subsets (and the corresponding ideals in the crossed product) affect the finite-dimensional approximations; a concrete estimate showing that the non-minimal orbits do not increase the approximation error would strengthen the claim.

    Authors: We agree that the proof of Theorem 3.4 would benefit from an explicit discussion of the role of proper closed invariant subsets. The finite-dimensional approximations are constructed using the freeness of the action on the circle, which permits uniform control via partitions of unity subordinate to orbit segments; these constructions are compatible with the conditional expectations onto the ideals corresponding to invariant subsets, so the approximation error does not increase. To make this fully transparent, we will add a short lemma or remark in §3.2 providing a concrete uniform estimate (independent of the choice of invariant subset) that bounds the error by the same quantity appearing in the minimal case. revision: yes

  2. Referee: [§4.1, Proposition 4.3] §4.1, Proposition 4.3: uniqueness of the tracial state is asserted by showing that every trace on the crossed product restricts to the unique G-invariant measure on C(T); however, non-minimality permits multiple ergodic invariant measures supported on proper subsets, and the proof does not contain an explicit verification that these measures induce the same trace on the crossed product after averaging over G.

    Authors: The referee correctly notes that non-minimality allows multiple ergodic G-invariant measures on C(T). The manuscript establishes uniqueness of the trace on the crossed product by showing that any trace restricts to a G-invariant measure and then invoking the averaging formula over G. While the freeness of the action ensures that the resulting averaged traces coincide (as the supports are unions of orbits and the abelian group action forces equivalence of the induced functionals), the verification is not written out explicitly for measures supported on proper subsets. We will revise the proof of Proposition 4.3 to include a direct argument showing that any two such measures, after G-averaging, define the same trace on C(T) ⋊ G. revision: yes

Circularity Check

0 steps flagged

No circularity: results framed as extensions of independent prior literature on minimal actions.

full rationale

The paper's central claims (quasidiagonality, stable rank one, unique trace, ideal structure, nuclear dimension bound, and K-theory for G=ℤ^d) are presented as direct extensions of results by Putnam-Schmidt-Skau and standard crossed-product constructions. No equations, definitions, or predictions reduce by construction to fitted inputs or self-citations; the non-minimal case is handled by invoking freeness and existing C*-algebraic tools without self-referential loops. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, invented entities, or ad-hoc axioms are stated. The work relies on the standard theory of crossed-product C*-algebras and on the cited results of Putnam-Schmidt-Skau.

axioms (1)
  • domain assumption Standard functoriality and exactness properties of crossed products by discrete abelian group actions on compact spaces
    Invoked implicitly when claiming nuclearity, quasidiagonality, and stable rank one for the constructed algebras.

pith-pipeline@v0.9.0 · 5384 in / 1374 out tokens · 31436 ms · 2026-05-10T03:12:34.263978+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

51 extracted references · 51 canonical work pages

  1. [1]

    Antoine, F

    R. Antoine, F. Perera, L. Robert, and H. Thiel.C ∗-algebras of stable rank one and their Cuntz semigroups.Duke Math. J.171(2022), 33–99

    work page 2022

  2. [2]

    Bellissard.K-theory ofC ∗-algebras in solid state physics

    J. Bellissard.K-theory ofC ∗-algebras in solid state physics. In:Statistical Mechan- ics and Field Theory: Mathematical Aspects. Lecture Notes in Phys.257, 99–156. Springer-Verlag, Berlin, 1986

    work page 1986

  3. [3]

    M. T. Benameur and V. Mathai. Gap-labelling conjecture with nonzero magnetic field.Adv. Math.325(2018), 116–164

    work page 2018

  4. [4]

    Bezuglyi, Z

    S. Bezuglyi, Z. Niu, and W. Sun.C ∗-algebras of a Cantor system with finitely many minimal subsets: structures,K-theories, and the index map.Ergodic Theory Dynam. Systems41(2021), 1296–1341

    work page 2021

  5. [5]

    Bratteli

    O. Bratteli. Inductive limits of finite dimensionalC ∗-algebras.Trans. Amer. Math. Soc.171(1972), 195–234

    work page 1972

  6. [6]

    L. G. Brown and G. K. Pedersen.C ∗-algebras of real rank zero.J. Funct. Anal.99 (1991), 131–149

    work page 1991

  7. [7]

    N. P. Brown and M. D˘ ad˘ arlat. Extensions of quasidiagonalC ∗-algebras andK- theory. In:Operator Algebras and Applications. Adv. Stud. Pure Math.38, 65–84. Math. Soc. Japan, Tokyo, 2004

    work page 2004

  8. [8]

    Castillejos, S

    J. Castillejos, S. Evington, A. Tikuisis, S. White, and W. Winter. Nuclear dimension of simpleC ∗-algebras.Invent. Math.224(2021), 245–290

    work page 2021

  9. [9]

    Connes.Noncommutative Geometry

    A. Connes.Noncommutative Geometry. Academic Press, San Diego CA, 1994

    work page 1994

  10. [10]

    Dixmier and A

    J. Dixmier and A. Douady. Champs continus d’espaces hilbertiens et deC ∗-alg` ebres. Bull. Soc. Math. France91(1963), 227–284

    work page 1963

  11. [11]

    G. A. Elliott and D. E. Evans. The structure of the irrational rotationC ∗-algebra. Ann. of Math. (2)138(1993), 477–501

    work page 1993

  12. [12]

    G. A. Elliott. On the classification of inductive limits of sequences of semisimple finite-dimensional algebras.J. Algebra38(1976), 29–44

    work page 1976

  13. [13]

    G. A. Elliott. On theK-theory of theC ∗-algebra generated by a projective repre- sentation of a torsion-free discrete abelian group. In:Operator Algebras and Group Representations, Vol. 1 (Neptun, 1980). Monogr. Stud. Math.17, 157–184. Pitman, Boston MA, 1984

    work page 1980

  14. [14]

    ´E. Ghys. Groups acting on the circle.Enseign. Math.47(2001), 329–407

    work page 2001

  15. [15]

    Giordano, I

    T. Giordano, I. F. Putnam, and C. F. Skau. Topological orbit equivalence andC ∗- crossed products.J. Reine Angew. Math.469(1995), 51–112

    work page 1995

  16. [16]

    Green.C ∗-algebras of transformation groups with smooth orbit space.Pacific J

    P. Green.C ∗-algebras of transformation groups with smooth orbit space.Pacific J. Math.72(1977), 71–97

    work page 1977

  17. [17]

    N. E. Hassan. Rang r´ eel de certaines extensions.Proc. Amer. Math. Soc.123(1995), 3067–3073. C∗-ALGEBRAS ASSOCIATED WITH NON-MINIMAL ACTIONS ON THE CIRCLE 17

    work page 1995

  18. [18]

    H¨ older

    O. H¨ older. The axioms of quantity and the theory of measurement.J. Math. Psych. 40(1996), 235–252. Translated from the 1901 German original by J. Michell and C. Ernst

    work page 1996

  19. [19]

    S. Hurder. Dynamics of expansive group actions on the circle. Unpublished

    work page

  20. [20]

    Kawamura, H

    S. Kawamura, H. Takemoto, and J. Tomiyama. State extensions in transformation groupC ∗-algebras.Acta Sci. Math. (Szeged)54(1990), 191–200

    work page 1990

  21. [21]

    Kerr and G

    D. Kerr and G. Szab´ o. Almost finiteness and the small boundary property.Comm. Math. Phys.374(2020), 1–31

    work page 2020

  22. [22]

    D. Kerr. Dimension, comparison, and almost finiteness.J. Eur. Math. Soc.22(2020), 3697–3745

    work page 2020

  23. [23]

    H. Lin. Classification of simpleC ∗-algebras and higher dimensional noncommutative tori.Ann. of Math. (2)157(2003), 521–544

    work page 2003

  24. [24]

    N. G. Markley. Homeomorphisms of the circle without periodic points.Proc. Lond. Math. Soc. (3)20(1970), 688–698

    work page 1970

  25. [25]

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

    work page 2015

  26. [26]

    Navas.Groups of Circle Diffeomorphisms

    A. Navas.Groups of Circle Diffeomorphisms. Univ. Chicago Press, Chicago IL, 2011

    work page 2011

  27. [27]

    Nekrashevych.Groups and Topological Dynamics

    V. Nekrashevych.Groups and Topological Dynamics. Grad. Stud. Math.223, Amer. Math. Soc., Providence RI, 2022

    work page 2022

  28. [28]

    V. Nistor. Stable rank for a certain class of type IC ∗-algebras.J. Operator Theory 17(1987), 365–373

    work page 1987

  29. [29]

    N. C. Phillips. Every simple higher dimensional noncommutative torus is an AT algebra. arXiv:0609783 (2006)

    work page 2006

  30. [30]

    M. V. Pimsner and D. Voiculescu. Exact sequences forK-groups and Ext-groups of certain cross-productC ∗-algebras.J. Operator Theory4(1980), 93–118

    work page 1980

  31. [31]

    M. V. Pimsner and D. Voiculescu. Imbedding the irrational rotationC ∗-algebra into an AF-algebra.J. Operator Theory4(1980), 201–210

    work page 1980

  32. [32]

    M. V. Pimsner. Embedding some transformation groupC ∗-algebras into AF- algebras.Ergodic Theory Dynam. Systems3(1983), 613–626

    work page 1983

  33. [33]

    Poincar´ e

    H. Poincar´ e. Sur le probl` eme des trois corps et les ´ equations de la dynamique.Acta Math.13(1890), 1–270

    work page

  34. [34]

    Prodan and H

    E. Prodan and H. Schulz-Baldes.Bulk and Boundary Invariants for Complex Topo- logical Insulators. FromK-Theory to Physics.Math. Phys. Stud. Springer, Cham, 2016

    work page 2016

  35. [35]

    I. F. Putnam, K. Schmidt, and C. F. Skau.C ∗-algebras associated with Denjoy homeomorphisms of the circle.J. Operator Theory16(1986), 99–126

    work page 1986

  36. [36]

    I. F. Putnam. TheC ∗-algebras associated with minimal homeomorphisms of the Cantor set.Pacific J. Math.136(2) (1989), 329–353

    work page 1989

  37. [37]

    M. A. Rieffel.C ∗-algebras associated with irrational rotations.Pacific J. Math.93 (1981), 415–429

    work page 1981

  38. [38]

    M. A. Rieffel. Dimension and stable rank in theK-theory ofC ∗-algebras.Proc. London Math. Soc. (3)46(1983), 301–333

    work page 1983

  39. [39]

    M. A. Rieffel. Projective modules over higher-dimensional non-commutative tori. Canad. J. Math.40(1988), 257–338

    work page 1988

  40. [40]

    Rørdam, F

    M. Rørdam, F. Larsen, and N. J. Laustsen.An Introduction toK-Theory forC ∗- Algebras. London Math. Soc. Stud. Texts49, Cambridge Univ. Press, Cambridge, 2000

    work page 2000

  41. [41]

    Rørdam and W

    M. Rørdam and W. Winter. The Jiang–Su algebra revisited.J. Reine Angew. Math. 642(2010), 129–155

    work page 2010

  42. [42]

    M. Rørdam. The stable and the real rank ofZ-absorbingC ∗-algebras.Internat. J. Math.15(2004), 1065–1084

    work page 2004

  43. [43]

    H. L. Royden and P. Fitzpatrick.Real Analysis, 4th Ed.Pearson, London, 2010

    work page 2010

  44. [44]

    Schafhauser

    C. Schafhauser. Subalgebras of simple AF-algebras.Ann. of Math. (2)192(2020), 309–352

    work page 2020

  45. [45]

    Szab´ o, J

    G. Szab´ o, J. Wu, and J. Zacharias. Rokhlin dimension for actions of residually finite groups.Ergodic Theory Dynam. Systems39(2019), 2248–2304. 18 JAMIE BELL

    work page 2019

  46. [46]

    G. Szab´ o. The Rokhlin dimension of topologicalZ m-actions.Proc. London Math. Soc. (3)110(2015), 673–694

    work page 2015

  47. [47]

    A. P. Tikuisis, S. A. White, and W. Winter. Quasidiagonality of nuclearC∗-algebras. Ann. of Math. (2)185(2017), 229–284

    work page 2017

  48. [48]

    Tomiyama

    J. Tomiyama. Non-wandering sets of topological dynamical systems andC∗-algebras. Ergodic Theory Dynam. Systems23(2003), 1611–1621

    work page 2003

  49. [49]

    J.-L. Tu. La conjecture de Baum–Connes pour les feuilletages moyennables.K- Theory17(1999), 215–264

    work page 1999

  50. [50]

    Winter and J

    W. Winter and J. Zacharias. The nuclear dimension ofC ∗-algebras.Adv. Math.224 (2010), 461–498

    work page 2010

  51. [51]

    Zeller-Meier

    G. Zeller-Meier. Produits crois´ es d’uneC∗-alg` ebre par un groupe d’automorphismes. J. Math. Pures Appl.47(1968), 101–239. (Jamie Bell)Mathematical Institute, University of M ¨unster, Einsteinstrasse 62, 48149 M ¨unster, Germany. Email address:jbell@uni-muenster.de

    work page 1968