arxiv: 2604.10080 · v1 · submitted 2026-04-11 · 🧮 math.OA

Recognition: unknown

Pureness of Certain Crossed Product C*-Algebras

Apurva Seth, Dawn Archey, Javad Mohammadkarimi, Julian Buck, N. Christopher Phillips

Pith reviewed 2026-05-10 16:22 UTC · model grok-4.3

classification 🧮 math.OA

keywords crossed product C*-algebraspuritystable rank onereal rank zeroRokhlin dimensionminimal homeomorphismsCuntz semigroupcomparison

0 comments

The pith

Crossed products from minimal homeomorphisms or finite-Rokhlin compact-group actions are pure C*-algebras.

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

The paper proves that crossed products of C(X, D) by automorphisms lying over minimal homeomorphisms, or by compact-group actions that have finite Rokhlin dimension with commuting towers or the restricted tracial Rokhlin property with comparison, satisfy comparison and divisibility in the Cuntz semigroup. These two properties together make the crossed products pure. Purity immediately yields stable rank one for all such algebras and real rank zero in the cases where additional structure is present. The argument covers new examples in which the base algebra D is not Z-stable or the underlying space is infinite-dimensional, situations excluded from earlier purity theorems.

Core claim

Under the stated hypotheses on the actions, the associated crossed-product C*-algebras possess comparison and divisibility, are therefore pure, have stable rank one, and in certain cases have real rank zero.

What carries the argument

Comparison and divisibility in the Cuntz semigroup of the crossed product, obtained from the Rokhlin-type regularity assumptions placed on the underlying action.

If this is right

The crossed products have stable rank one.
In the cases with additional structure they also have real rank zero.
The purity results apply even when the coefficient algebra is not Z-stable and when the base space is infinite-dimensional.
New concrete examples of pure crossed products are obtained that lie outside the reach of previous theorems.

Where Pith is reading between the lines

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

Purity may hold for crossed products under still weaker dynamical assumptions.
The new examples enlarge the class of algebras to which classification results that require purity can be applied.
One can test whether real rank zero persists when the extra structure used in the paper is removed.

Load-bearing premise

The automorphisms or group actions must satisfy one of the three listed regularity conditions: lying over a minimal homeomorphism, having finite Rokhlin dimension with commuting towers, or having the restricted tracial Rokhlin property with comparison.

What would settle it

An explicit minimal homeomorphism or compact-group action meeting one of the three hypotheses whose crossed product fails to satisfy comparison, fails to satisfy divisibility, or fails to have stable rank one.

read the original abstract

We establish comparison and divisibility properties for crossed product C*-algebras arising from automorphisms of algebras C (X, D) which lie over minimal homeomorphisms, from actions of compact groups which have finite Rokhlin dimension with commuting towers, and from actions of compact groups which have the restricted tracial Rokhlin property with comparison. We deduce that these crossed products we consider are pure, and conclude they have stable rank one, and in certain cases have real rank zero. We give examples in which these properties do not follow from previous results, in the case of C (X, D) due to the lack of Z-stability of D, the underlying topological spaces not being finite dimensional, or both.

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

This paper gives new examples of pure crossed products by verifying comparison and divisibility directly under relaxed dynamical conditions that drop Z-stability and finite-dimensionality.

read the letter

The core advance is that the authors establish comparison and divisibility in the Cuntz semigroup for three families of crossed products: those from minimal homeomorphisms on C(X,D), compact group actions with finite Rokhlin dimension and commuting towers, and actions with the restricted tracial Rokhlin property plus comparison. From those semigroup facts they deduce purity, then stable rank one via Rørdam’s theorem, and real rank zero in the finite cases. The examples are built to sit outside earlier theorems precisely because D lacks Z-stability or X is infinite-dimensional, so the extension is genuine rather than routine.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes comparison and divisibility in the Cuntz semigroup for crossed products arising from three classes of actions: automorphisms of C(X,D) over minimal homeomorphisms, compact group actions with finite Rokhlin dimension and commuting towers, and compact group actions with the restricted tracial Rokhlin property with comparison. It deduces purity of these crossed products, stable rank one via Rørdam's theorem, and real rank zero in the finite cases. Explicit examples are constructed where prior results fail due to non-Z-stable D or infinite-dimensional X.

Significance. If the derivations hold, the work meaningfully enlarges the class of known pure crossed-product C*-algebras by removing the Z-stability or finite-dimensionality hypotheses that limited earlier theorems. The direct passage from dynamical hypotheses to Cuntz-semigroup properties, followed by standard implications for ranks, is technically clean and supplies falsifiable examples outside the previous literature.

minor comments (2)

[§1] §1, paragraph 3: the phrase 'restricted tracial Rokhlin property with comparison' is introduced without an immediate forward reference to its precise definition (presumably in §4); adding the section number would improve readability.
[§5] The examples in §5 are stated to violate Z-stability of D, but the verification that the crossed product itself satisfies the new hypotheses is only sketched; a short explicit check for one concrete case would strengthen the claim that the results are genuinely new.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript, as well as for recognizing its significance in enlarging the class of known pure crossed-product C*-algebras. We appreciate the recommendation for minor revision and will incorporate any necessary editorial improvements.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds by directly verifying comparison and divisibility in the Cuntz semigroup from the stated dynamical hypotheses (minimal homeomorphisms on C(X,D), finite Rokhlin dimension with commuting towers, restricted tracial Rokhlin property with comparison). These semigroup properties are then mapped to purity via the standard ideal correspondence in the positive cone, after which stable rank one follows from Rørdam’s theorem and real rank zero in finite cases from known criteria. No equation or step reduces a claimed output to an input by construction, no parameter is fitted and renamed as a prediction, and no load-bearing uniqueness or ansatz is imported solely via self-citation. The explicit examples satisfy the hypotheses while lying outside prior results, confirming the chain is self-contained against external C*-algebra benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies entirely on standard background results from C*-algebra theory and crossed-product constructions; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)

standard math Standard axioms and properties of C*-algebras, crossed products, and Rokhlin-type properties for actions.
Invoked throughout to establish comparison and divisibility from the action hypotheses.

pith-pipeline@v0.9.0 · 5425 in / 1266 out tokens · 68345 ms · 2026-05-10T16:22:06.997307+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

43 extracted references · 9 canonical work pages

[1]

C. A. Akemann and F. Shultz,Perfect C*-algebras, Memoirs Amer. Math. Soc., vol. 55 no.326(1985)

1985
[2]

Amrutam, D

T. Amrutam, D. Gao, S. Kunnawalkam Elayavalli, and G. Patchell,Strict comparison in reduced group C*-algebras, Invent. Math.242(2025), 639–657

2025
[3]

Antoine, J

R. Antoine, J. Bosa, and F. Perera,The Cuntz Semigroup of Continuous Fields, Indiana Univ. Math. J.62, 1105–1131
[4]

Antoine, F

R. Antoine, F. Perera, H. Thiel, and E. Vilalta,Pure C*-algebras, preprint (arXiv:2406.11052v3 [math.OA])

work page arXiv
[5]

P. Ara, F. Perera, and A. S. Toms, P. Ara, F. Perera, and A. S. Toms,K-theory for operator algebras. Classification of C*-algebras, pages 1–71 in:Aspects of Operator Algebras and Applications, P. Ara, F Lled´ o, and F. Perera (eds.), Contemporary Mathematics vol. 534, Amer. Math. Soc., Providence RI, 2011

2011
[6]

Archey, J

D. Archey, J. Buck, and N. C. Phillips,The structure of crossed products by automorphisms ofC(X, D), preprint (arXiv: 2009.12365v1 [math.OA]). 36 D. ARCHEY, J. BUCK, J. MOHAMMADKARIMI, N.C. PHILLIPS AND A. SETH

work page arXiv 2009
[7]

Barlak and G

S. Barlak and G. Szab´ o,Sequentially split *-homomorphisms between C*-algebras, Interna- tional J. Math.27(2016), 1650105, 48 pp

2016
[8]

Dadarlat,Continuous fields of C*-algebras over finite dimensional spaces, Advances in Math.222(5), 1850-1881

M. Dadarlat,Continuous fields of C*-algebras over finite dimensional spaces, Advances in Math.222(5), 1850-1881
[9]

G. A. Elliott, L. Robert, and L. Santiago,The cone of lower semicontinuous traces on a C*-algebra, Amer. J. Math.133(2011), 969–1005

2011
[10]

G. A. Elliott and Z. Niu, G. A. Elliott and Z. Niu,The C*-algebra of a minimal homeomor- phism of zero mean dimension, Duke Math. J.166(2017), 3569–3594

2017
[11]

Castillejos, S

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

2021
[12]

K. T. Coward, G. A. Elliott, and C. Ivanescu,The Cuntz semigroup as an invariant for C*-algebras, J. reine angew. Math.623(2008), 161–193

2008
[13]

Gardella,Regularity properties and Rokhlin dimension for compact group actions, Houston J

E. Gardella,Regularity properties and Rokhlin dimension for compact group actions, Houston J. Math.43(2017), 861–889

2017
[14]

Gardella,Rokhlin dimension for compact group actions, Indiana Univ

E. Gardella,Rokhlin dimension for compact group actions, Indiana Univ. Math. J.66(2017), 659–703

2017
[15]

Gardella, I

E. Gardella, I. Hirshberg, and L. Santiago,Rokhlin dimension: duality, tracial properties, and crossed products, Ergodic Th. Dynam. Syst.41(2021), 408–460

2021
[16]

Gardella and F

E. Gardella and F. Perera,The modern theory of Cuntz semigroups of C*-algebras, EMS Surv. Math. Sci.13(2026), 133–214

2026
[17]

Giol and D

J. Giol and D. Kerr,Subshifts and perforation, J. reine angew. Math.639(2010), 107–119

2010
[18]

Giordano, D

T. Giordano, D. Kerr, N. C. Phillips, and A. Toms,Crossed Products of C*-Algebras, Topo- logical Dynamics, and Classification, edited by Francesc Perera, Advanced Courses in Math- ematics, CRM Barcelona, Birkh¨ auser/Springer, Cham, 2018

2018
[19]

Amrutam, D

B. Hayes, S. Kunnawalkam Elayavalli, and L. Robert,Selfless reduced free product C*- algebras, preprint (arXiv:2505.13265v2 [math.OA])

work page arXiv
[20]

Hua,Crossed products byα-simple automorphisms on C*-algebrasC(X, A), preprint (arXiv: 0910.3299v2 [math.OA])

J. Hua,Crossed products byα-simple automorphisms on C*-algebrasC(X, A), preprint (arXiv: 0910.3299v2 [math.OA])

work page arXiv
[21]

Hirshberg and J

I. Hirshberg and J. Orovitz,TraciallyZ-absorbing C*-algebras, J. Funct. Anal.265(2013), 765–785

2013
[22]

Lin,Strict comparison and stable rank one, J

H. Lin,Strict comparison and stable rank one, J. Funct. Anal.289(2025), 111–065

2025
[23]

Lin and N

H. Lin and N. C. Phillips,Crossed products by minimal homeomorphisms, J. reine angew. Math.641(2010), 95–122

2010
[24]

Lin and N

Q. Lin and N. C. Phillips,Ordered K-theory for C*-algebras of minimal homeomorphisms, pages 289–314 in:Operator Algebras and Operator Theory, L. Ge, etc. (eds.), Contemporary Mathematics vol. 228, Amer. Math. Soc., Providence RI, 1998

1998
[25]

Lin and N

Q. Lin and N. C. Phillips,Direct limit decomposition for C*-algebras of minimal diffeo- morphisms, pages 107–133 in:Operator Algebras and Applications(Adv. Stud. Pure Math. vol. 38), Math. Soc. Japan, Tokyo, 2004

2004
[26]

Lin and N

Q. Lin and N. C. Phillips,The structure of C*-algebras of minimal diffeomorphisms, draft preprint
[27]

Lindenstrauss and B

E. Lindenstrauss and B. Weiss,Mean topological dimension, Israel J. Math.115(2000), 1–24

2000
[28]

Mohammadkarimi and N

J. Mohammadkarimi and N. C. Phillips,Compact group actions with the tracial Rokhlin property. I: Permanence properties, J. Operator Theory94(2025), 293–337

2025
[29]

Mohammadkarimi and N

J. Mohammadkarimi and N. C. Phillips,Compact Group Actions with the Tracial Rokhlin Property II: Examples and Nonexistence Theorems, preprint (arXiv:2505.04661 [math.OA])

work page arXiv
[30]

Niu and Q

Z. Niu and Q. Wang, Z. Niu and Q. Wang,A tracially AF algebra which is notZ-absorbing. With an appendix by Caleb Eckhardt, M¨ unster J. Math.14(2021), 41–57

2021
[31]

Perera, H

F. Perera, H. Thiel, and E. Vilalta,Centrally pure C*-algebras, preprint (arXiv:2512.17261 [math.OA])

work page arXiv
[32]

Perera, H

F. Perera, H. Thiel, and E. Vilalta,Extensions of pure C*-algebras, preprint (arXiv:2506.10529v1 [math.OA])

work page arXiv
[33]

N. C. Phillips,The tracial Rokhlin property for actions of finite groups on C*-algebras, Amer. J. Math.133(2011), 581–636

2011
[34]

N. C. Phillips,Large subalgebras, preprint (arXiv: 1408.5546v1 [math.OA])

work page arXiv
[35]

Robert,Selfless C*-algebras, Adv

L. Robert,Selfless C*-algebras, Adv. Math.478(2025), Paper No. 110409, 28 pp

2025
[36]

Robert and A

L. Robert and A. Tikuisis,Nuclear dimension andZ-stability of non-simple C*-algebras, Trans. Amer. Math. Soc.369(2017), 4631–4670. PURENESS OF CROSSED PRODUCTS 37

2017
[37]

Rørdam,The stable and the real rank ofZ-absorbing C*-algebras, Internat

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

2004
[38]

Seth and E

A. Seth and E. Vilalta,Continuous functions over a pure C*-algebra, preprint (arXiv:2602.14809 [math. OA])

work page arXiv
[39]

A. S. Toms,Flat dimension growth for C*-algebras, J. Funct. Anal.238(2006), 678–708

2006
[40]

A. S. Toms and W. Winter,Minimal dynamics and K-theoretic rigidity: Elliott’s conjecture, Geom. Funct. Anal.23(2013), 467–481

2013
[41]

Villadsen,Simple C*-algebras with perforation, J

J. Villadsen,Simple C*-algebras with perforation, J. Funct. Anal.154(1998), 110–116

1998
[42]

Villadsen,On the stable rank of simple C*-algebras, J

J. Villadsen,On the stable rank of simple C*-algebras, J. Amer. Math. Soc.12(1999), 1091– 1102

1999
[43]

Winter,Nuclear dimension andZ-stability of pure C*-algebras, Invent

W. Winter,Nuclear dimension andZ-stability of pure C*-algebras, Invent. Math.187(2012), 259–342. Dawn Archey, University of Detroit Mercy, Department of Mathematics, 4001 W. McNichols Rd., Detroit MI 48221, USA. Email address:archeyde@udmercy.edu Julian Buck, Department of Mathematics, Okanagan College, 1000 KLO Road, Kelowna BC, V1Y 4X8 Canada. Email add...

2012