pith. sign in

arxiv: 2605.21655 · v1 · pith:F7XETGJKnew · submitted 2026-05-20 · 🧮 math.OA

Divisibility and Real Rank Zero

Xuanlong Fu This is my paper

Pith reviewed 2026-05-22 08:12 UTC · model grok-4.3

classification 🧮 math.OA
keywords C*-algebrasreal rank zerotracial divisibilitytrace kernel idealAH-algebrasstrict comparisonProperty (TM)uniform tracial completion
0
0 comments X

The pith

For simple separable exact C*-algebras with traces, real rank zero of the trace-kernel quotient is equivalent to tracial almost divisibility and several related properties.

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

The paper proves that five regularity conditions on a simple separable exact C*-algebra A possessing traces are logically equivalent. These conditions are that the quotient l^∞(A)/J_A has real rank zero, that A is tracially almost divisible, that A is tracially m-almost divisible for some fixed m, that A has tracial approximate oscillation zero, and that A satisfies Property (TM). A reader cares because the equivalences collapse several technical notions into one verifiable property, which then feeds into comparison and classification results. The paper further shows that the uniform tracial completion of an algebraically simple separable stable rank one algebra B with compact trace space and locally finite nuclear dimension is a hyperfinite II_1 factor that is pure and has real rank zero and stable rank one while preserving the trace space. This yields tracial strict comparison for every simple separable unital diagonal AH-algebra.

Core claim

For a simple separable exact C*-algebra A with traces, l^∞(A)/J_A has real rank zero if and only if A is tracially almost divisible if and only if A is tracially m-almost divisible for some m if and only if A has tracial approximate oscillation zero if and only if A has Property (TM). For an algebraically simple separable stable rank one C*-algebra B with non-empty compact T(B) and locally finite nuclear dimension, the uniform tracial completion is hyperfinite of type II_1, pure, has real rank zero and stable rank one, and satisfies T(ol B^{T(B)}) = T(B). Consequently every simple separable unital diagonal AH-algebra V has tracial strict comparison: whenever d_τ(a) < d_τ(b) for all traces τ,

What carries the argument

The trace kernel ideal J_A together with the quotient l^∞(A)/J_A, which captures asymptotic tracial behavior, serves as the central mechanism that equates real rank zero with the listed divisibility and oscillation properties.

If this is right

  • Whenever A has Property (TM), the quotient l^∞(A)/J_A necessarily has real rank zero.
  • Tracially almost divisible algebras admit the same tracial comparison and approximation results that follow from real rank zero of the quotient.
  • The uniform tracial completion of B is hyperfinite II_1 and therefore satisfies all regularity properties that hold for the hyperfinite II_1 factor.
  • Diagonal AH-algebras satisfy the stated tracial strict comparison in the 2-norm coming from the trace space.

Where Pith is reading between the lines

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

  • The equivalences may allow proofs of real rank zero for the quotient to replace direct verification of divisibility conditions in classification arguments.
  • One could check whether Property (TM) implies finite nuclear dimension or other regularity conditions that are not addressed in the paper.
  • The result on the uniform tracial completion suggests that similar completions might preserve purity and real rank zero for algebras outside the locally finite nuclear dimension assumption.

Load-bearing premise

The C*-algebra is assumed to be simple, separable, exact, and to have traces, so that the trace kernel ideal and the quotient are well-defined.

What would settle it

A single simple separable exact C*-algebra with traces for which l^∞(A)/J_A lacks real rank zero while A still satisfies tracial approximate oscillation zero would disprove the claimed equivalence.

read the original abstract

Let $A$ be a simple separable exact $C^*$-algebra that has traces. We show the following existed regularity properties are equivalent: \quad(1) $l^\infty(A)/J_A$ has real rank zero, where $J_A$ is the trace kernel ideal. \quad(2) $A$ is tracially almost divisible. \quad(3) $A$ is tracially $m$-almost divisible for some $m\in\N\cup\{0\}.$ \quad(4) $A$ has tracial approximate oscillation zero. \quad(5) $A$ has Property (TM). We also show that for an algebraically simple separable stable rank one \CA\ $B$ with non-empty compact ${\rm T}(B)$ and locally finite nuclear dimension, its uniform tracial completion $(\ol B^{\rT(B)}, \rT(B))$ is hyperfinite, type ${\rm II_1},$ and isomorphic to $({\cal R}_{\rT(B)},\rT(B))$. Furthermore, $\ol{B}^{{\rm T}(B)}$ is pure, has real rank zero and stable rank one, and satisfies $\rT (\ol B^{\rT(B)} )= \rT(B).$ Consequently, every simple separable unital diagonal AH-algebra $V$ (e.g. Villadsen algebras of the first type) has the following tracial strict comparison: For every $a,b\in V_+,$ if $d_\tau(a)<d_\tau(b)$ holds for all traces $\tau\in\rT(V),$ then there is a sequence $\{r_n\}\subset V$ such that $\lim_n\|a-r_n^*br_n\|_{2,\rT(V)}=0.$

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

1 major / 2 minor

Summary. The paper establishes equivalences among five regularity properties for simple separable exact C*-algebras A with traces: (1) the quotient l^∞(A)/J_A has real rank zero, (2) A is tracially almost divisible, (3) A is tracially m-almost divisible for some m, (4) A has tracial approximate oscillation zero, and (5) A has Property (TM). It further proves that for an algebraically simple separable stable rank one C*-algebra B with non-empty compact T(B) and locally finite nuclear dimension, the uniform tracial completion (B̄^{T(B)}, T(B)) is a hyperfinite II_1 factor that is pure, has real rank zero and stable rank one, and satisfies T(B̄^{T(B)}) = T(B). As a consequence, every simple separable unital diagonal AH-algebra V satisfies tracial strict comparison: if d_τ(a) < d_τ(b) for all τ in T(V), then there exists a sequence {r_n} in V with lim ||a - r_n^* b r_n||_{2,T(V)} = 0.

Significance. If the equivalences and the uniform tracial completion result hold, the work unifies several tracial approximation and divisibility notions via real rank zero of a canonical quotient, which may simplify arguments in the classification of C*-algebras with finite nuclear dimension. The identification of the uniform tracial completion with a hyperfinite II_1 factor while preserving the trace space provides a concrete link to the hyperfinite factor and supports tracial strict comparison for diagonal AH-algebras such as Villadsen algebras of the first type. The constructions appear to rely on standard exactness and separability hypotheses.

major comments (1)
  1. The equivalence chain (1) ⇔ (2) ⇔ (5) in the main theorem relies on trace-preserving approximate units and oscillation control; it is not immediately clear from the abstract whether the exactness assumption is used to ensure that the quotient map preserves the necessary approximate units without additional nuclearity hypotheses.
minor comments (2)
  1. The notation for the uniform tracial completion (ol B^{rT(B)}, rT(B)) is introduced without an explicit reference to its prior definition in the literature; adding a citation or brief recap in the introduction would improve readability.
  2. In the consequence statement for diagonal AH-algebras, the sequence {r_n} is asserted to satisfy the 2-norm limit, but the dependence on the specific choice of diagonal AH structure is not highlighted; a remark clarifying independence from the particular Villadsen construction would strengthen the claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for recommending minor revision. We address the major comment below.

read point-by-point responses

  1. Referee: The equivalence chain (1) ⇔ (2) ⇔ (5) in the main theorem relies on trace-preserving approximate units and oscillation control; it is not immediately clear from the abstract whether the exactness assumption is used to ensure that the quotient map preserves the necessary approximate units without additional nuclearity hypotheses.

    Authors: We appreciate the referee's observation regarding clarity. The exactness of A is used in an essential way: it guarantees that the quotient map l^∞(A) → l^∞(A)/J_A admits trace-preserving approximate units that lift appropriately and that the oscillation control can be carried out directly in the quotient without additional nuclearity assumptions. This is established in Lemma 2.5 and the subsequent arguments in Section 3, where exactness supplies the necessary completely positive liftings. We will revise the abstract to state explicitly that exactness is employed to preserve these approximate units and to control oscillation in the quotient. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper proves equivalences among regularity properties (real rank zero of the quotient, tracial almost divisibility, oscillation zero, Property (TM)) via direct constructions that link trace-preserving approximate units and oscillation control to the stated hypotheses of simplicity, separability, exactness and traces. The uniform tracial completion argument invokes locally finite nuclear dimension to obtain an AF approximation yielding the hyperfinite II_1 factor while preserving the trace space; these steps rest on external C*-algebraic facts and the paper's explicit assumptions rather than self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation remains self-contained against the given benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard background from C*-algebra theory (exactness, traces, nuclear dimension) and the definitions of the new or specialized notions (J_A, uniform tracial completion, Property (TM)). No free parameters or invented entities are visible in the abstract.

axioms (2)
  • domain assumption A is simple, separable, exact C*-algebra with traces (so T(A) nonempty and J_A defined)
    Invoked to state the equivalences in the first paragraph of the abstract.
  • domain assumption B is algebraically simple separable stable rank one with compact T(B) and locally finite nuclear dimension
    Required for the uniform tracial completion statement and the isomorphism to (R_{T(B)}, T(B)).

pith-pipeline@v0.9.0 · 5856 in / 1969 out tokens · 51443 ms · 2026-05-22T08:12:41.495439+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages · 2 internal anchors

  1. [1]

    Amini, N

    M. Amini, N. Golestani, S. Jamali, and N. C. Phillips,Non-unital traciallyZ- absorbingC ∗-algebras

    work page

  2. [2]

    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), no. 1, 33–99

    work page 2022

  3. [3]

    Antoine, F

    R. Antoine, F. Perera, L. Robert and H. Thiel,Traces on ultrapowers ofC ∗-algebras. J. Funct. Anal.286(2024), no. 8, Article 110341, 65 pp

    work page 2024

  4. [4]

    Blackadar and D

    B. Blackadar and D. Handelman,Dimension functions and traces onC ∗-algebra.J. Funct. Anal.45(1982), 297–340

    work page 1982

  5. [5]

    Blackadar, A

    B. Blackadar, A. Kumjian, and M. Rørdam,Approximately central matrix units and the structure of noncommutative tori.K-Theory6(1992) 267–284

    work page 1992

  6. [6]

    L. G. Brown,Stable isomorphism of hereditary subalgebras ofC ∗-algebras.Pacific J. Math.71(1977), no. 2, 335–348

    work page 1977

  7. [7]

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

    work page 1991

  8. [8]

    N. P. Brown, F. Perera, and A. Toms,The Cuntz semigroup, the Elliott conjecture, and dimension functions onC ∗-algebras.J. Reine Angew. Math.621(2008), 191– 211

    work page 2008

  9. [9]

    Carri´ on, J

    J. Carri´ on, J. Castillejos, S. Evington, J. Gabe, C. Schafhauser, A. Tikuisis, S. White, Tracially completeC ∗-algebras.preprint, arXiv:2310.20594v4

    work page arXiv

  10. [10]

    Castillejos1, S

    J. Castillejos1, S. Evington, A. Tikuisis, and S. White,Uniform PropertyΓ.Int. Math. Res. Not., Vol. 2022, No.13, pp. 9864–9908

    work page 2022

  11. [11]

    Castillejos1, S

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

    work page 2021

  12. [12]

    Castillejos, K

    J. Castillejos, K. Li, G. Szab´ o,On tracialZ-stability of simple non-unitalC ∗-algebras. Canad. J. Math.76(2024), no. 4, 1285–1303

    work page 2024

  13. [13]

    Cuntz and G

    J. Cuntz and G. K. Pedersen,Equivalence and traces onC ∗-algebras.J. Funct. Anal. 33(1979), no. 2, 135–164. 28

    work page 1979

  14. [14]

    Dadarlat and A

    M. Dadarlat and A. Toms,Ranks of operators in simpleC ∗-algebras.J. Funct. Anal. 259(2010), 1209–1229

    work page 2010

  15. [15]

    Elliott, G

    G. Elliott, G. Gong, H. Lin and Z. Niu,The classification of simple separable KK- contractibleC ∗-algebras with finite nuclear dimension.J. Geom. Phys.158(2020), 103861, 51 pp

    work page 2020

  16. [16]

    Elliott, T

    G. Elliott, T. Ho, and A. Toms,A class of simpleC ∗-algebras with stable rank one. J. Funct. Anal.256(2009), no. 2, 307–322

    work page 2009

  17. [17]

    A class of simple C*-algebras with stable rank one

    G. Elliott and Z. Niu,On the small boundary property and Z-absorption, II.preprint, arXiv: 2504.03611v1

    work page arXiv

  18. [18]

    Elliott, L

    G. Elliott, L. Robert, and L. Santiago,The cone of lower semicontinuous traces on aC ∗-algebra.Amer. J. Math133(2011), 969–1005

    work page 2011

  19. [19]

    The real and stable rank of tracially complete C*-algebras

    S. Evington, A. Tikuisis,The real and stable rank of tracially completeC ∗-algebras, preprint, arXiv:2604.24206

    work page internal anchor Pith review Pith/arXiv arXiv

  20. [20]

    Fu,From stable rank one to real rank zero: a note on tracial approximate oscilla- tion zero.preprint, arXiv: 2512.23911

    X. Fu,From stable rank one to real rank zero: a note on tracial approximate oscilla- tion zero.preprint, arXiv: 2512.23911

    work page arXiv

  21. [21]

    X. Fu, K. Li, and H. Lin,Tracial approximate divisibility and stable rank one.J. London Math. Soc.106(2022), 3008–3042

    work page 2022

  22. [22]

    Fu and H

    X. Fu and H. Lin,Tracial approximation in simpleC ∗-algebras.Canadian Journal of Mathematics, Volume74, Issue 4 , August 2022 , pp. 942–1004

    work page 2022

  23. [23]

    Fu and H

    X. Fu and H. Lin,Nonamenable simpleC ∗-algebras with tracial approximation.(En- glish summary) Forum Math. Sigma10(2022), Paper No. e14, 50 pp

    work page 2022

  24. [24]

    Fu and H

    X. Fu and H. Lin,Tracial oscillation zero and stable rank one.Canad. J. Math.77 (2025), no. 2, 563–630

    work page 2025

  25. [25]

    Haagerup,Quasitraces on exactC ∗-algebras are traces.C

    U. Haagerup,Quasitraces on exactC ∗-algebras are traces.C. R. Math. Rep. Acad. Sci. Canada Vol.36(2-3) 2014, pp. 67–92

    work page 2014

  26. [26]

    Hirshberg and J

    I. Hirshberg and J. Orovitz,TraciallyZ-absorbingC ∗-algebras.J. Funct. Anal.265 (2013), 765–785

    work page 2013

  27. [27]

    Li and Z

    C. Li and Z. Niu.Stable rank ofC(X)⋊Γ.preprint, arXiv:2008.03361v2. 2020

    work page arXiv 2008

  28. [28]

    Lin,Simple nuclearC ∗-algebras of tracial topological rank one.J

    H. Lin,Simple nuclearC ∗-algebras of tracial topological rank one.J. Funct. Anal. 251(2007), 601–679

    work page 2007

  29. [29]

    Lin,Strict comparison and stable rank one.J

    H. Lin,Strict comparison and stable rank one.J. Funct. Anal.289(2025), no. 9, Paper No. 111065, 25 pp

    work page 2025

  30. [30]

    Lin,Tracial oscillation zero andZ-stability.Adv

    H. Lin,Tracial oscillation zero andZ-stability.Adv. Math.439(2024), Paper No. 109462, 51 pp. 29

    work page 2024

  31. [31]

    T. A. Loring,Lifting solutions to perturbing problems inC ∗-algebras.Fields Inst. Monogr.,8. American Mathematical Society, Providence, RI, 1997, x+165 pp. ISBN: 0-8218-0602-5

    work page 1997

  32. [32]

    G. K. Pedersen,C ∗-algebras and their automorphism groups.London Mathematical Society Monographs, 14. Academic Press, Inc. London/New York/San Francisco, 1979

    work page 1979

  33. [33]

    Robert and M

    L. Robert and M. Rørdam,Divisibility properties forC ∗-algebras.Proc. Lond. Math. Soc., vol.106, no. 6 (2013), 1330–1370

    work page 2013

  34. [34]

    Rørdam,On the structure of simpleC ∗-algebras tensored with a UHF-algebra.J

    M. Rørdam,On the structure of simpleC ∗-algebras tensored with a UHF-algebra.J. Funct. Anal.100(1991), 1–17

    work page 1991

  35. [35]

    Rørdam,On the structure of simpleC ∗-algebras tensored with a UHF-algebra, II

    M. Rørdam,On the structure of simpleC ∗-algebras tensored with a UHF-algebra, II. J. Funct. Anal.107(1992), 255–269

    work page 1992

  36. [36]

    Thiel,Ranks of operators in simpleC ∗-algebras with stable rank one.Comm

    H. Thiel,Ranks of operators in simpleC ∗-algebras with stable rank one.Comm. Math. Phys.377(2020), no. 1, 37–76

    work page 2020

  37. [37]

    Tikuisis,Nuclear dimension,Z-stability, and algebraic simplicity for stably pro- jectionlessC ∗-algebras.Math

    A. Tikuisis,Nuclear dimension,Z-stability, and algebraic simplicity for stably pro- jectionlessC ∗-algebras.Math. Ann. (2014)358: 729–778

    work page 2014

  38. [38]

    Stable rank one, tracial local homogeneity and uniform property $\Gamma$

    A. Vaccaro,Stable rank one, tracial local homogeneity and uniform propertyΓ. preprint, arXiv:2604.24682v2

    work page internal anchor Pith review Pith/arXiv arXiv

  39. [39]

    Villadsen,SimpleC ∗-algebras with perforation.J

    J. Villadsen,SimpleC ∗-algebras with perforation.J. Funct. Anal.154(1998), no. 1, 110–116

    work page 1998

  40. [40]

    Winter,Nuclear dimension andZ-stability of pureC ∗-algebras.Invent

    W. Winter,Nuclear dimension andZ-stability of pureC ∗-algebras.Invent. Math. 187(2012), no. 2, 259–342

    work page 2012

  41. [41]

    Winter and J

    W. Winter and J. Zacharias,Completely positive maps of order zero.M¨ unster J. Math.2(2009), 311–324

    work page 2009

  42. [42]

    Zhang,Matricial structure and homotopy type of simpleC ∗-algebras with real rank zero.J

    S. Zhang,Matricial structure and homotopy type of simpleC ∗-algebras with real rank zero.J. Operator Theory26(1991), no. 2, 283–312. Xuanlong Fu Key Laboratory of Intelligent Computing and Applications (Tongji University), Min- istry of Education, School of Mathematical Sciences, Tongji University, 1239 Siping Road, Yangpu District, Shanghai, China, 20009...

    work page 1991