pith. sign in

arxiv: 2605.22683 · v1 · pith:VCIL6OQDnew · submitted 2026-05-21 · 🧮 math.OA

Tracially reflexive C*-algebras

Laurent Cantier This is my paper

Pith reviewed 2026-05-22 03:44 UTC · model grok-4.3

classification 🧮 math.OA
keywords tracially reflexive C*-algebrasCuntz semigrouptopological dimension zeroinductive limitscommutative C*-algebrastrace spaceSchröder-Simpson theorem
0
0 comments X

The pith

Separable topological dimension zero C*-algebras are tracially reflexive.

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

The paper introduces tracially reflexive C*-algebras as a way to study when lower semicontinuous functions on the trace space match those determined by the algebra. It shows that commutative C*-algebras are tracially reflexive and that the property is preserved under inductive limits. Using criteria based on the Cuntz semigroup and a weak version of the Schröder-Simpson theorem, it proves that separable C*-algebras with topological dimension zero are also tracially reflexive.

Core claim

Tracially reflexive C*-algebras are those satisfying the equality L(T(A)) = Lsc_C(T(A)). The paper establishes that this holds for all commutative C*-algebras, that the property is preserved under inductive limits, and that separable topological dimension zero C*-algebras satisfy it, via two criteria derived from the Cuntz semigroup and a weak Schröder-Simpson theorem respectively.

What carries the argument

The definition of tracial reflexiveness via equality of function spaces on the trace space, characterized using the Cuntz semigroup and a weak Schröder-Simpson theorem.

If this is right

  • All commutative C*-algebras are tracially reflexive.
  • Tracial reflexiveness is preserved under inductive limits.
  • Separable C*-algebras of topological dimension zero are tracially reflexive.
  • The Cuntz semigroup and a weak Schröder-Simpson theorem provide usable criteria for checking tracial reflexiveness in these classes.

Where Pith is reading between the lines

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

  • This notion may help settle the motivating question for wider families of separable C*-algebras.
  • Tracial reflexiveness could interact with other structural invariants in the classification of C*-algebras.
  • The permanence properties suggest possible extensions to non-separable cases or algebras with different dimension notions.

Load-bearing premise

A weak version of the Schröder-Simpson theorem together with the Cuntz semigroup supplies valid criteria that characterize tracial reflexiveness for the classes considered.

What would settle it

A separable topological dimension zero C*-algebra where L(T(A)) is not equal to Lsc_C(T(A)) would disprove the main result.

read the original abstract

Motivated by a question of L. Robert, asking whether $\rm L(T(A)) = Lsc_{C}(T(A))$ for any separable C*-algebra A, we introduce and initiate the study of \emph{tracially reflexive C*-algebras}. We first prove that commutative C*-algebras are tracially reflexive. We also prove that tracial reflexiveness satisfies permanence properties, such as being preserved under inductive limits. Subsequently, we expose two criteria for tracial reflexiveness, using the Cuntz semigroup and a weak version of the Schr\"{o}der-Simpson theorem, respectively. In particular, separable topological dimension zero C*-algebras are tracially reflexive. We end the manuscript by closing remarks that could lead to further lines of investigation involving tracial reflexiveness.

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 / 1 minor

Summary. The paper introduces and initiates the study of tracially reflexive C*-algebras, motivated by a question of L. Robert on whether L(T(A)) equals Lsc_C(T(A)) for separable C*-algebras A. It proves that commutative C*-algebras are tracially reflexive, establishes permanence under inductive limits, provides two criteria for tracial reflexiveness (one via the Cuntz semigroup and one via a weak version of the Schröder-Simpson theorem), and concludes in particular that separable topological dimension zero C*-algebras are tracially reflexive.

Significance. If the results hold, the introduction of tracially reflexive C*-algebras provides new criteria linking the Cuntz semigroup to trace-space properties, with the permanence result and the dimension-zero case offering concrete tools for further work on lower semicontinuous functions on traces in both commutative and noncommutative settings.

major comments (1)
  1. [criteria section] The section exposing the two criteria for tracial reflexiveness: the claim that separable topological dimension zero C*-algebras are tracially reflexive rests on applying a weak version of the Schröder-Simpson theorem to the Cuntz semigroup, but the manuscript does not explicitly verify that the required order-theoretic or semigroup completeness hypotheses hold for the Cuntz semigroup of a general separable dimension-zero C*-algebra; if these fail to hold in the noncommutative case, the implication from the criteria to tracial reflexiveness does not go through.
minor comments (1)
  1. The abstract would benefit from a one-sentence definition of 'tracially reflexive' to orient readers before the main results are stated.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting a potential gap in the exposition of the criteria for tracial reflexiveness. We address the major comment below and will revise the manuscript accordingly to strengthen the argument.

read point-by-point responses

  1. Referee: The section exposing the two criteria for tracial reflexiveness: the claim that separable topological dimension zero C*-algebras are tracially reflexive rests on applying a weak version of the Schröder-Simpson theorem to the Cuntz semigroup, but the manuscript does not explicitly verify that the required order-theoretic or semigroup completeness hypotheses hold for the Cuntz semigroup of a general separable dimension-zero C*-algebra; if these fail to hold in the noncommutative case, the implication from the criteria to tracial reflexiveness does not go through.

    Authors: We appreciate the referee drawing attention to this point. For separable C*-algebras of topological dimension zero, the Cuntz semigroup Cu(A) is known to be a countably based algebraic sup-semilattice satisfying the Riesz interpolation property and the requisite completeness conditions (as established in the literature on dimension-zero algebras and their Cuntz semigroups). Nevertheless, the manuscript does not make this verification explicit. We will add a short preliminary lemma or remark in the criteria section that confirms these order-theoretic hypotheses hold for both the commutative and noncommutative cases, thereby ensuring the application of the weak Schröder-Simpson theorem is fully justified. This revision will close the gap without altering the main results. revision: yes

Circularity Check

0 steps flagged

No circularity; claims rest on external theorems applied to new definition

full rationale

The paper defines tracially reflexive C*-algebras motivated by a question of L. Robert and proves basic facts such as commutatives being tracially reflexive and permanence under inductive limits. It then states two criteria, one via the Cuntz semigroup and one via a weak version of the Schröder-Simpson theorem, to conclude that separable topological dimension zero C*-algebras are tracially reflexive. These criteria invoke standard, independently established results in C*-algebra theory whose hypotheses and proofs predate and lie outside the present manuscript; no equation or definition inside the paper reduces the target property to a parameter fitted from the same data or to a self-citation that itself depends on the new notion. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The main addition is the new definition itself. All supporting results rest on standard domain assumptions from C*-algebra theory rather than new free parameters or invented entities.

axioms (2)
  • domain assumption Standard properties of the Cuntz semigroup
    Invoked as one criterion for tracial reflexiveness.
  • domain assumption Existence and applicability of a weak version of the Schröder-Simpson theorem
    Invoked as the second criterion for tracial reflexiveness.

pith-pipeline@v0.9.0 · 5652 in / 1357 out tokens · 68002 ms · 2026-05-22T03:44:48.471587+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

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

  1. [1]

    M. Alfsen. Compact convex sets and boundary integrals. Springer-Verlag, New York, 1971. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 57

    work page 1971

  2. [2]

    Antoine, F

    R. Antoine, F. Perera, L. Robert, and H. Thiel. Edwards’ condition for quasitraces on C ∗-algebras. Proc. Roy. Soc. Edinburgh Sect. A, 151(2):525–547, 2021

    work page 2021

  3. [3]

    Antoine, F

    R. Antoine, F. Perera, L. Robert, and H. Thiel. C ∗-algebras of stable rank one and their Cuntz semi- groups.Duke Math. J., 171(1):33–99, 2022

    work page 2022

  4. [4]

    Antoine, F

    R. Antoine, F. Perera, and H. Thiel. Tensor products and regularity properties of Cuntz semigroups. Mem. Amer. Math. Soc., 251(1199):viii+191, 2018

    work page 2018

  5. [5]

    L. Cantier. A unitary Cuntz semigroup for C ∗-algebras of stable rank one.J. Funct. Anal., 281(9):109175, 2021

    work page 2021

  6. [6]

    L. Cantier. On the Nielsen-Thomsen sequence. Preprint. arXiv:2412.11975, 2024 18 LAURENT CANTIER

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  7. [7]

    L. Cantier. Towards a classification of unitary elements of C ∗-algebras.Int. Math. Res. Not. IMRN, 7, 1–19, 2025

    work page 2025

  8. [8]

    J. R. Carri´ on, J. Gabe, C. Schafhauser, A. Tikuisis and S. White Classifying *-homomorphisms I: Unital simple nuclear C∗-algebras Preprint. arXiv:2307.06480, 2023

    work page arXiv 2023

  9. [9]

    K. T. Coward, G. A. Elliott, and C. Ivanescu. The Cuntz semigroup as an invariant for C ∗-algebras.J. Reine Angew. Math., 623:161–193, 2008

    work page 2008

  10. [10]

    J. Cuntz. Dimension functions on simple C ∗-algebras.Math. Ann., 233(2):145–153, 1978

    work page 1978

  11. [11]

    Cuntz and G

    J. Cuntz and G. K. Pedersen Equivalence and traces on C ∗-algebras.J. Funct. Anal., 33(2):135–164, 1979

    work page 1979

  12. [12]

    G. A. Elliott, G. Gong, H. Lin and Z. Niu. On the classification of simple amenable C*-algebras with finite decomposition rank, II.J. Noncommut. Geom.. In press.10.4171/JNCG/560, 2024

    work page doi:10.4171/jncg/560 2024

  13. [13]

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

    work page 2011

  14. [14]

    A. Fiech. Colimits in the category CPO. Technical Report, Kansas State University, 1992

    work page 1992

  15. [15]

    Gabe and A

    J. Gabe and A. Miller. Self-adjoint traces on the Pedersen ideal of C ∗-algebras.Publ. Mat., 2026. To appear

    work page 2026

  16. [16]

    Gardella and F

    E. Gardella and F. Perera. The modern theory of Cuntz semigroups of C ∗-algebras.EMS Surv. Math. Sci., 2024

    work page 2024

  17. [17]

    Gierz, K

    G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott Continuous lat- tices and domains. Encyclopedia of Mathematics and its Applications 93, Cambridge University Press, Cambridge, 2003

    work page 2003

  18. [18]

    G. Gong, H. Lin, and Z. Niu. A classification of finite simple amenableZ-stable C*-algebras. I: C*- algebras with generalized tracial rank one.C. R. Math. Acad. Sci. Soc. R. Canada, 42, pp. 63-450, 2020

    work page 2020

  19. [19]

    G. Gong, H. Lin and Z. Niu. A classification of finite simple amenableZ-stable C*-algebras, II: C*- algebras with rational generalized tracial rank one.C. R. Math. Acad. Sci. Soc. R. Canada, 42, pp. 451-539, 2020

    work page 2020

  20. [20]

    B. Jacelon. Quantum metric Choquet simplices.Publ. Math., 2025. To appear

    work page 2025

  21. [21]

    K. Keimel. Weak upper topologies and duality for cones.Log. Methods Comput. Sci., Vol. 11(3:21), pp. 1–14, 2015

    work page 2015

  22. [22]

    K. Keimel. The Cuntz semigroup and domain theory.Soft Comput., 21:2485–2502, 2017

    work page 2017

  23. [23]

    Moodie and L

    M. Moodie and L. Robert. Cones of traces arising from AF C ∗-algebras.Doc. Math., 28(6):1279–1321, 2023

    work page 2023

  24. [24]

    P. W. Ng, H. Thiel, E. Vilalta. The Global Glimm Property for C*-algebras of topological dimension zero. Bull. London Math. Soc, 2026. (To appear)

    work page 2026

  25. [25]

    Pasnicu and M

    C. Pasnicu and M. Rørdam. Purely infinite C ∗-algebras of real rank zero. J. Reine Angew. Math. 613, 51–73, 2007

    work page 2007

  26. [26]

    G. K. Pedersen. C∗-algebras and their automorphism groups. Academic Press, London, 1979

    work page 1979

  27. [27]

    L. Robert. On the Comparison of Positive Elements of a C ∗-algebra by lower-semicontinuous Traces. Indiana Univ. Math. J., 58(6):2509–2515, 2009

    work page 2009

  28. [28]

    L. Robert. Classification of inductive limits of 1-dimensional NCCW complexes.Adv. Math., 231(5):2802–2836, 2012

    work page 2012

  29. [29]

    L. Robert. The cone of functionals on the Cuntz semigroup.Math. Scand., 113(2):161–186, 2013

    work page 2013

  30. [30]

    Robert and L

    L. Robert and L. Santiago. Classification ofC ∗-homomorphisms fromC 0(0,1] to a C∗-algebra.J. Funct. Anal., 258(3):869–892, 2010

    work page 2010

  31. [31]

    Reduction of the dimension of nuclear C*-algebras

    L. Santiago. Reduction of the dimension of nuclearC ∗-algebras. Preprint. arXiv:1211.7159, 2012

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  32. [32]

    Tikuisis and A

    A. Tikuisis and A. Toms. On the structure of Cuntz semigroups in (possibly) nonunital C ∗-algebras. Canad. Math. Bull.58, 402–414, 2015. TRACIALLY REFLEXIVEC ∗-ALGEBRAS 19

    work page 2015

  33. [33]

    H. Thiel. The Cuntz Semigroup. Lecture notes from a course at the University of M¨ unster, winter semes- ter 2016-17. Available at:https://ivv5hpp.uni-muenster.de/u/h_thie08/teaching/CuScript.pdf

    work page 2016

  34. [34]

    W. Winter. Structure of nuclearC ∗-algebras: from quasidiagonality to classification and back again. Proceedings of the International Congress of Mathematicians-Rio de Janeiro, Vol. III. Invited lectures, pp 1801-1823, 2018. Laurent Cantier Departamento de Matem´aticas, Universidad de Zaragoza, C/Pedro Cerbuna 12, 50009 Zaragoza, Spain Email address:lncan...

    work page 2018