arxiv: 2604.24206 · v2 · submitted 2026-04-27 · 🧮 math.OA

Recognition: no theorem link

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

Aaron Tikuisis, Samuel Evington

Pith reviewed 2026-05-11 01:44 UTC · model grok-4.3

classification 🧮 math.OA

keywords C*-algebrasreal rankstable rankCuntz semigrouptracially completeZ-stable C*-algebrasfactorial C*-algebras

0 comments

The pith

Factorial tracially complete C*-algebras with CPoU have real rank zero and stable rank one.

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

The paper proves that a C*-algebra which is factorial, tracially complete, and satisfies the CPoU property must have real rank zero and stable rank one. These rank conditions are fundamental because they determine how densely finite-spectrum self-adjoint elements sit among all self-adjoints and how stably invertible elements behave under direct sums. As a direct consequence the Cuntz semigroup, which classifies positive elements up to equivalence, receives an essentially complete description in terms of the trace space and K-theory data. The same conclusions apply verbatim to the uniform tracial completions of Z-stable C*-algebras, a large and previously studied class.

Core claim

A factorial tracially complete C*-algebra with CPoU has real rank zero and stable rank one. This yields an essentially complete description of the Cuntz semigroup of these algebras. In particular the results hold for the uniform tracial completions of Z-stable C*-algebras.

What carries the argument

The joint assumption that the algebra is factorial, tracially complete, and possesses CPoU, which together control the possible projections and traces sufficiently to force the rank conditions.

If this is right

The Cuntz semigroup admits an essentially complete description via traces and K-theory.
The conclusions apply directly to uniform tracial completions of any Z-stable C*-algebra.
Such algebras satisfy the regularity conditions commonly used in classification theorems for C*-algebras.

Where Pith is reading between the lines

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

The result may reduce the classification problem for this class of algebras to computing their K-groups and traces.
It would be natural to ask whether the same rank conclusions survive when factoriality is relaxed or when tracial completeness is replaced by a weaker closure condition.

Load-bearing premise

The algebra is required to be factorial, tracially complete, and to satisfy the CPoU property.

What would settle it

An explicit example of a factorial tracially complete C*-algebra with CPoU in which some self-adjoint element cannot be approximated in norm by self-adjoints of finite spectrum.

read the original abstract

We prove that a factorial tracially complete C*-algebra with CPoU has real rank zero and stable rank one. This leads to an essentially complete description of the Cuntz semigroup of these algebras. In particular, the results of this paper hold for the uniform tracial completions of $\mathcal{Z}$-stable C*-algebras.

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

The paper proves real rank zero and stable rank one for factorial tracially complete C*-algebras with CPoU, yielding a clean Cuntz semigroup description that covers uniform tracial completions of Z-stable algebras.

read the letter

The main thing to know is that this paper establishes real rank zero and stable rank one under the stated hypotheses of factoriality, tracial completeness, and CPoU. That immediately gives an essentially complete description of the Cuntz semigroup for these algebras, and it applies in particular to the uniform tracial completions of Z-stable C*-algebras. The result organizes a useful class and removes some obstacles that come up when computing semigroups in classification work. It extends earlier results on Z-stable algebras in a direct way without claiming a new general framework. The abstract is clean, the logical chain from hypotheses to ranks to semigroup description looks straightforward, and the stress-test turned up no internal contradictions or hidden assumptions. The conditions are listed explicitly and the claims follow from them. The techniques appear to rest on existing Cuntz semigroup machinery rather than new methods, so the advance is mainly in identifying the right combination of properties. This is a specialized paper for people already working in operator algebras on classification and Cuntz semigroups. A reader who knows the background on tracially complete algebras and CPoU will get concrete value from the description it provides. It is grounded enough to deserve a serious referee.

Referee Report

0 major / 2 minor

Summary. The paper proves that a factorial tracially complete C*-algebra with the Cuntz-Pedersen property (CPoU) has real rank zero and stable rank one. This yields an essentially complete description of the Cuntz semigroup of such algebras. The results apply in particular to the uniform tracial completions of Z-stable C*-algebras.

Significance. If the central claims hold, the work supplies a clean structural result for an important class of C*-algebras, directly enabling Cuntz-semigroup computations and strengthening the classification toolkit for Z-stable algebras. The manuscript gives credit to the hypotheses (factoriality, tracial completeness, CPoU) and derives the rank conclusions without introducing free parameters or circular reductions, which is a strength.

minor comments (2)

[Abstract] The acronym CPoU is used in the abstract without expansion; a parenthetical definition on first use would improve accessibility for readers outside the immediate subfield.
[Introduction] The introduction would benefit from a short paragraph situating the new rank results against prior work on real/stable rank for simple or nuclear C*-algebras (e.g., references to Rørdam, Toms, or Winter).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the clear summary of the main results on real rank zero, stable rank one, and the Cuntz semigroup for factorial tracially complete C*-algebras with CPoU, as well as the applications to uniform tracial completions of Z-stable algebras. We appreciate the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from stated hypotheses

full rationale

The paper states a theorem that a factorial tracially complete C*-algebra with CPoU has real rank zero and stable rank one, yielding a Cuntz semigroup description, with a corollary for uniform tracial completions of Z-stable algebras. The abstract and reader's summary present this as a direct proof from the listed hypotheses without any reduction of predictions to fitted parameters, self-definitional loops, or load-bearing self-citations that collapse the argument to its inputs. No equations or steps are quoted that exhibit construction by renaming or ansatz smuggling. The central claim remains independent of the paper's own definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard axioms of C*-algebras, the definition of tracial completeness, factoriality, and the CPoU property; without the full text the precise list of invoked background theorems cannot be audited.

axioms (2)

standard math Standard axioms and definitions of C*-algebras, tracial states, and Cuntz semigroup
Invoked throughout as the ambient category in which the theorem is stated.
domain assumption Factoriality, tracial completeness, and CPoU are well-defined and sufficient hypotheses
These are the load-bearing conditions listed in the abstract.

pith-pipeline@v0.9.0 · 5338 in / 1365 out tokens · 36881 ms · 2026-05-11T01:44:37.333278+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

[1]

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(1):33–99, 2022

work page 2022
[2]

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

Antoine, F

R. Antoine, F. Perera, H. Thiel, and E. Vilalta. Pure C ∗-algebras. arXiv:2406.11052, 2024

work page arXiv 2024
[4]

Brown and G

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

work page 1991
[5]

Brown and A

N. Brown and A. Ciuperca. Isomorphism of Hilbert modules over stably finite C ∗-algebras. J. Funct. Anal., 257(1):332–339, 2009

work page 2009
[6]

Carri´ on, J

J. Carri´ on, J. Castillejos, S. Evington, J. Gabe, C. Schafhauser, A. Tikuisis, and S. White. Tracially complete C∗-algebras. arXiv:2310.20594, 2023

work page arXiv 2023
[7]

Carri´ on, J

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

work page arXiv 2023
[8]

Castillejos and S

J. Castillejos and S. Evington. Nuclear dimension of simple stably projectionless C ∗-algebras. Anal. PDE, 13(7):2205–2240, 2020

work page 2020
[9]

Castillejos, S

J. Castillejos, S. Evington, A. Tikuisis, and S. White. Classifying maps into uniform tracial sequence algebras.M¨ unster J. Math., 14(2):265–281, 2021

work page 2021
[10]

Castillejos, S

J. Castillejos, S. Evington, A. Tikuisis, and S. White. Uniform property Γ.Int. Math. Res. Not. IMRN, 2022(13):9864–9908, 2022

work page 2022
[11]

Castillejos, S

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

work page 2021
[12]

Coward, G

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

work page 2008
[13]

Evington

S. Evington. W ∗-Bundles. PhD thesis, University of Glasgow, 2018. Available online at http://theses.gla.ac.uk/8650/

work page 2018
[14]

Evington

S. Evington. Traces on the uniform tracial completion ofZ-stable C ∗-algberas.J. London. Math. Soc., 111:e70207, 2025

work page 2025
[15]

X. Fu. From stable rank one to real rank zero: A note on tracial approximate oscillation zero. arXiv:2512.23911, 2025

work page arXiv 2025
[16]

Herman and L

R. Herman and L. Vaserstein. The stable range of C ∗-algebras.Invent. Math., 77(3):553–555, 1984

work page 1984
[17]

R. Kadison. A representation theory for commutative topological algebra.Mem. Amer. Math. Soc., 7:39, 1951

work page 1951
[18]

Kopsacheilis, H.-C

G. Kopsacheilis, H.-C. Liao, A. Tikuisis, and A. Vaccaro. Uniform property Γ and the small boundary property.Trans. Amer. Math. Soc., 379(1):487–509, 2026

work page 2026
[19]

Matui and Y

H. Matui and Y. Sato. Strict comparison andZ-absorption of nuclear C ∗-algebras.Acta Math., 209(1):179–196, 2012

work page 2012
[20]

Matui and Y

H. Matui and Y. Sato. Decomposition rank of UHF-absorbing C ∗-algebras.Duke Math. J., 163(14):2687–2708, 2014

work page 2014
[21]

N. Ozawa. Dixmier approximation and symmetric amenability for C ∗-algebras.J. Math. Sci. Univ. Tokyo, 20(3):349–374, 2013. 14 THE REAL AND STABLE RANK OF TRACIALLY COMPLETE C*-ALGEBRAS

work page 2013
[22]

Pedersen

G. Pedersen. The linear span of projections in simple C ∗-algebras.J. Operator Theory, 4(2):289–296, 1980

work page 1980
[23]

M. Rieffel. Dimension and stable rank in theK-theory of C ∗-algebras.Proc. London Math. Soc. (3), 46(2):301–333, 1983

work page 1983
[24]

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

work page 1992
[25]

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

work page 2004
[26]

Szab´ o and L

G. Szab´ o and L. Wouters. Equivariant property gamma and the tracial local-to-global prin- ciple for C ∗-dynamics.Anal. PDE, 18(6):1385–1432, 2025

work page 2025
[27]

Takesaki.Theory of operator algebras

M. Takesaki.Theory of operator algebras. III, volume 127 ofEncyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin, 2003

work page 2003
[28]

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

work page 2012
[29]

S. Zhang. A property of purely infinite simple C ∗-algebras.Proc. Amer. Math. Soc., 109(3):717–720, 1990. Samuel Evington, Mathematical Institute, University of M ¨unster, Einsteinstrasse 62, 48149 M ¨unster, Germany Email address:evington@uni-muenster.de Aaron Tikuisis, Department of Mathematics and Statistics, University of Ottawa, 585 King Edward, Otta...

work page 1990