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

Recognition: unknown

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

Jamie Bell

Authors on Pith no claims yet

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 comments

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.

Desk Editor's Note private letter to a colleague

Bell extends the minimal-action crossed-product results to non-minimal free circle actions, supplying explicit non-simple nuclear C*-algebras with ideal structure, unique trace, and Z^d K-theory.

read the letter

The main point is that this paper takes the Putnam-Schmidt-Skau setup for minimal free actions on the circle and carries the same conclusions over to free but non-minimal actions of countable discrete abelian groups. That produces a supply of unital separable nuclear non-simple C*-algebras that remain quasidiagonal, have stable rank one, admit a unique trace, and satisfy a uniform nuclear-dimension bound. For G = Z^d the ordered K-theory and its trace pairing are computed explicitly as well. The ideal lattice is described directly in terms of the proper closed invariant subsets, which is the clearest new piece of information. The nuclear-dimension improvement and the K-theory calculation are also concrete enough to be usable in classification work. The extension itself is the main novelty; nothing in the cited minimal-action literature already covers the non-minimal case with these invariants. The potential weak point is whether uniqueness of the trace and the dimension bound survive once proper invariant sets appear. Non-minimality could in principle allow extra invariant measures or alter the exact sequences used for K-theory. The manuscript claims the properties hold anyway, and the arguments appear to adapt the minimal-case techniques by using freeness to control the measures and the dimension estimates. If those steps check out, the concern does not become a load-bearing flaw. This is aimed at people working on C*-classification or topological dynamics who need accessible non-simple examples with computable data. It is worth sending to referees because the claims are specific, the extension is not automatic, and the computations are reproducible in principle.

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)

[§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.
[§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)

The notation for the circle alternates between T and S^1; a uniform choice throughout the manuscript would improve readability.
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.
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

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
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)

Reference graph

Works this paper leans on

51 extracted references

[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

2022
[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

1986
[3]

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

2018
[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

2021
[5]

Bratteli

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

1972
[6]

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

1991
[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

2004
[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

2021
[9]

Connes.Noncommutative Geometry

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

1994
[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

1963
[11]

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

1993
[12]

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

1976
[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

1980
[14]

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

2001
[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

1995
[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

1977
[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

1995
[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

1996
[19]

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

Kawamura, H

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

1990
[21]

Kerr and G

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

2020
[22]

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

2020
[23]

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

2003
[24]

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

1970
[25]

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

2015
[26]

Navas.Groups of Circle Diffeomorphisms

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

2011
[27]

Nekrashevych.Groups and Topological Dynamics

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

2022
[28]

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

1987
[29]

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

2006
[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

1980
[31]

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

1980
[32]

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

1983
[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
[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

2016
[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

1986
[36]

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

1989
[37]

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

1981
[38]

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

1983
[39]

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

1988
[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

2000
[41]

Rørdam and W

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

2010
[42]

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

2004
[43]

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

2010
[44]

Schafhauser

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

2020
[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

2019
[46]

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

2015
[47]

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

2017
[48]

Tomiyama

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

2003
[49]

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

1999
[50]

Winter and J

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

2010
[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

1968