Pith. sign in

REVIEW 1 major objections 2 minor 42 references

Divisibility and Real Rank Zero

T0 review · 1 major / 2 minor · reviewed 2026-05-22 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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.

desk verdict Equivalences tie real rank zero of the quotient to tracial divisibility properties and give a hyperfinite model for tracial completions of certain AH-algebras. read the letter →

arxiv 2605.21655 v1 pith:F7XETGJK submitted 2026-05-20 math.OA

Xuanlong Fu This is my paper · ORCID
classification math.OA
keywords C*-algebrasrealrankzerotracialdivisibilitytracekernelidealAH-algebrasstrictcomparisonProperty(TM)uniformcompletion
checked against Cost.FunctionalEquation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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.

Watch

Extended reading notes

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 τ,

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 2 assumptions · 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.

assumptions (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)).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Divisibility and Real Rank Zero." pith.science (2026). https://pith.science/paper/F7XETGJK

@misc{pith2026260521655,
  author       = {Pith},
  title        = {Pith review of: Divisibility and Real Rank Zero},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F7XETGJK}},
  note         = {Machine review of arXiv:2605.21655}
}
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.$

Discussion (0). Continue with ORCID to comment.

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

  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

Show all 42 references
  1. [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

  2. [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

    2022

  3. [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

    2021

  4. [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

    2024

  5. [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

    1979

  6. [14]

    Dadarlat and A

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

    2010

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

    2020

  8. [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

    2009

  9. [17]

    Elliott and Z

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

  10. [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

    2011

  11. [19]

    Evington, A

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

    arXiv

  12. [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

  13. [21]

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

    2022

  14. [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

    2022

  15. [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

    2022

  16. [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

    2025

  17. [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

    2014

  18. [26]

    Hirshberg and J

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

    2013

  19. [27]

    Li and Z

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

    2008

  20. [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

    2007

  21. [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

    2025

  22. [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

    2024

  23. [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

    1997

  24. [32]

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

    1979

  25. [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

    2013

  26. [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

    1991

  27. [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

    1992

  28. [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

    2020

  29. [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

    2014

  30. [38]

    Vaccaro,Stable rank one, tracial local homogeneity and uniform propertyΓ

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

    arXiv

  31. [39]

    Villadsen,SimpleC ∗-algebras with perforation.J

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

    1998

  32. [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

    2012

  33. [41]

    Winter and J

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

    2009

  34. [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 Scienc...

    1991

Pith tools

Reviewed May 22, 2026 · model on record in the stance chip above.