Stable rank one, tracial local homogeneity and uniform property Gamma

Andrea Vaccaro

Pith reviewed 2026-05-07 17:13 UTC · model grok-4.3

classification 🧮 math.OA MSC 46L05

keywords C*-algebrasstable rank onenuclear dimensionuniform property ΓToms-Winter conjectureVilladsen algebrascrossed productsFC-groups

0 comments

The pith

Separable simple stably finite C*-algebras with stable rank one and tracial locally finite nuclear dimension have uniform property Γ.

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

The paper establishes that separable, simple, unital, non-elementary, stably finite C*-algebras possessing stable rank one and locally finite nuclear dimension in a tracial sense must satisfy uniform property Γ. This property ensures a form of homogeneity in the algebra's trace space and representations that supports classification efforts. A reader cares because the result directly implies these algebras satisfy the Toms-Winter conjecture, which seeks to classify them by their K-theoretic and trace data. The argument recovers this conclusion for Villadsen algebras of the first type and for crossed products of free minimal actions of FC-groups on compact metric spaces, using a route based on stable rank one rather than prior methods.

Core claim

We prove that separable, simple, unital, non-elementary, stably finite C*-algebras that have stable rank one, and that have locally finite nuclear dimension in a tracial sense, have uniform property Γ. In particular, Villadsen algebras of the first type and crossed products of free minimal actions of FC (in particular, abelian) groups on compact metric spaces have uniform property Γ. This implies that all these C*-algebras satisfy the Toms-Winter conjecture, a fact already known for C*-algebras with stable rank one and locally finite nuclear dimension, and here recovered via a different approach.

What carries the argument

Tracial local homogeneity, the property that nuclear dimension is locally finite when measured against the trace space, which works together with stable rank one to produce uniform property Γ.

Load-bearing premise

The algebras are separable, simple, unital, non-elementary, stably finite, and possess both stable rank one and tracial local finiteness of nuclear dimension.

What would settle it

Construct or exhibit a separable, simple, unital, non-elementary, stably finite C*-algebra with stable rank one and tracial locally finite nuclear dimension that fails to have uniform property Γ.

read the original abstract

We prove that separable, simple, unital, non-elementary, stably finite C*-algebras that have stable rank one, and that have locally finite nuclear dimension in a tracial sense, have uniform property $\Gamma$. In particular, Villadsen algebras of the first type and crossed products of free minimal actions of FC (in particular, abelian) groups on compact metric spaces have uniform property $\Gamma$. This implies that all these C*-algebras satisfy the Toms-Winter conjecture, a fact already known for C*-algebras with stable rank one and locally finite nuclear dimension, and here recovered via a different approach.

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 proves that stable rank one plus tracial local homogeneity implies uniform property Γ for separable simple unital stably finite C*-algebras, giving a fresh route to the Toms-Winter conjecture that covers Villadsen algebras and certain crossed products.

read the letter

The main point is straightforward: the paper shows that separable, simple, unital, non-elementary, stably finite C*-algebras with stable rank one and locally finite nuclear dimension in the tracial sense have uniform property Γ. This recovers the Toms-Winter conjecture for these algebras by a different method than the earlier locally finite nuclear dimension route, and it directly applies to Villadsen algebras of the first type plus crossed products by free minimal actions of FC-groups on compact spaces. The argument uses stable rank one to manage approximate unitary equivalence of projections and then pulls central sequences from the tracial approximation property. The stress-test note indicates the proof is self-contained with no visible internal contradictions or hidden assumptions that break the implication under the stated hypotheses. That is useful because it widens the class of algebras where uniform Γ is known without needing the stronger global nuclear dimension condition. The extension to the tracial setting is the concrete advance here, even though the Toms-Winter consequence was already established in stricter cases. I see no evidence of circularity or invented entities; the derivation appears independent and the examples are standard. The only soft spot worth noting is that the tracial local homogeneity hypothesis still requires the algebras to be separable, simple, unital, non-elementary, and stably finite, so the result does not immediately apply outside those bounds, but the paper does not claim otherwise. This is squarely for people working on C*-algebra classification, regularity properties, and the Toms-Winter conjecture. A reader already familiar with stable rank one and tracial approximations will get value from the alternative strategy and the explicit corollaries. I would send it to peer review; the result is grounded, the method is distinct, and the applications are concrete enough to justify referee time.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that separable, simple, unital, non-elementary, stably finite C*-algebras with stable rank one and tracial local homogeneity (i.e., locally finite nuclear dimension in the tracial sense) possess uniform property Γ. Corollaries are given for Villadsen algebras of the first type and for crossed products arising from free minimal actions of FC-groups (in particular abelian groups) on compact metric spaces. The result is used to recover the Toms-Winter conjecture for these classes by a route different from the existing literature.

Significance. If the central implication holds, the paper supplies a self-contained proof that recovers a known consequence of the Toms-Winter conjecture via stable rank one and tracial approximation, without relying on prior derivations. This is a useful technical contribution to the structure theory of C*-algebras, as it isolates the role of tracial local homogeneity in producing the required central sequences.

minor comments (3)

[§2] §2: The definition of tracial local homogeneity is introduced via nuclear dimension but lacks an explicit sentence comparing it to the usual (non-tracial) nuclear dimension; adding one sentence would improve readability for readers outside the immediate subfield.
[Theorem 4.1] Theorem 4.1: The statement of the main result repeats the full list of hypotheses; a short reference back to the standing assumptions in §1 would shorten the theorem without loss of precision.
[Proof of Proposition 5.3] Proof of Proposition 5.3: The passage from approximate unitary equivalence of projections (via stable rank one) to the construction of the central sequence is clear but would benefit from a one-sentence reminder of why the tracial approximation property supplies the required orthogonality.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and supportive report, including the recommendation for minor revision. No specific major comments were raised in the report, so we interpret this as an indication that the core arguments are sound. We will incorporate any minor editorial or presentational adjustments in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity; self-contained proof of implication

full rationale

The manuscript supplies an independent derivation of the central implication (stable rank one plus tracial local finiteness of nuclear dimension implies uniform property Γ) for separable simple unital non-elementary stably finite C*-algebras. The argument proceeds by using stable rank one to control approximate unitary equivalence of projections and then invoking the tracial approximation property to construct the required central sequences. No step reduces the target statement to a fitted parameter, self-referential definition, or load-bearing self-citation chain; the recovery of the Toms-Winter consequence is explicitly noted as obtained via a different route from prior knowledge. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard axiomatic framework of C*-algebra theory (separability, simplicity, stable finiteness, nuclear dimension) and on previously established results about the Toms-Winter conjecture; no new free parameters or invented entities are introduced.

axioms (2)

domain assumption C*-algebras under consideration are separable, simple, unital, non-elementary and stably finite.
These are the standing hypotheses stated in the abstract; they are standard in the classification program but restrict the scope.
domain assumption Nuclear dimension is locally finite in the tracial sense.
This is the key regularity hypothesis that replaces ordinary locally finite nuclear dimension.

pith-pipeline@v0.9.0 · 5391 in / 1388 out tokens · 70981 ms · 2026-05-07T17:13:18.125930+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages · 1 internal anchor

[1]

[BP91] L

preprint arXiv:2511.20132. [BP91] L. G. Brown and G. K. Pedersen,C∗-algebras of real rank zero, J. Funct. Anal. 99(1991), no. 1, 131–149. STABLE RANK ONE, LOCAL HOMOGENEITY AND UNIFORM PROPERTYΓ23 [CCE+] J. R. Carrión, J. Castillejos, S. Evington, J. Gabe, C. Schafhauser, A. Tikuisis, and S. White,Tracially completeC∗-algebras. preprint arXiv:2310.20594. ...

work page arXiv 1991
[2]

[EN25] ,On the small boundary property and Z-absorption, 2025

Preprint arXiv:2406.09748. [EN25] ,On the small boundary property and Z-absorption, 2025. preprint arXiv:2504.03611. [Eng95] R. Engelking,Theory of dimensions finite and infinite, Sigma Series in Pure Mathematics, vol. 10, Heldermann Verlag, Lemgo, 1995. [ES25] S. Evington and C. Schafhauser,Uniform propertyΓand finite dimensional tracial boundaries, Cana...

work page arXiv 2025
[3]

[LN20] C

preprint arXiv:2410.05967. [LN20] C. G. Li and Z. Niu,Stable rank one of C(X) ⋊ Γ, 2020. preprint arXiv:2008.03361. [LW00] E. Lindenstrauss and B. Weiss,Mean topological dimension, Israel J. Math. 115(2000), 1–24. [McD70] D. McDuff,Central sequences and the hyperfinite factor, Proc. London Math. Soc. (3)21(1970), 443–461. [MvN43] F. J. Murray and J. von N...

work page arXiv 2020
[4]

[Niu21] Z

preprint arXiv:2410.01757. [Niu21] Z. Niu, Z-stability of transformation groupC∗-algebras, Trans. Amer. Math. Soc.374(2021), no. 10, 7525–7551. MR4315611 24 ANDREA VACCARO [Niu22] ,Comparison radius and mean topological dimension: Rokhlin property, comparison of open sets, and subhomogeneousC∗-algebras, J. Anal. Math.146 (2022), no. 2, 595–672. [OPR12] E....

work page arXiv 2021
[5]

Nuclear C*-algebras: 99 problems

preprint arXiv:2506.10902. [Thi16] H. Thiel,The Cuntz semigroup, 2016. Lecture notes from a course at the University of Münster,http://hannesthiel.org/wp-content/OtherWriting/ CuScript.pdf. [Thi20] ,Ranks of operators in simpleC∗-algebras with stable rank one, Comm. Math. Phys.377(2020), no. 1, 37–76. [Tom06] A. S. Toms,Flat dimension growth forC∗-algebra...

work page internal anchor Pith review arXiv 2016