Contractible Cuntz classes in $Z$-stable C$^*$-algebras

Andrew S. Toms; Chrisil Ouseph

REVIEW 2 major objections 5 minor 29 references

Contractible Cuntz classes in $Z$-stable C$^*$-algebras

T0 review · 2 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read Non-compact Cuntz classes are contractible in unital simple Z-stable C*-algebras.

desk verdict A genuine advance: contractible non-compact Cuntz classes in Z-stable algebras, with fixable presentation gaps around stabilization and strict comparison. read the letter →

arxiv 2412.12366 v1 pith:CB62PA6R submitted 2024-12-16 math.OA

Chrisil Ouseph , Andrew S. Toms This is my paper · ORCID

classification math.OA MSC 46L0546L3546L80

keywords CuntzsemigroupclassZ-stabilitypositiveelementshomotopygroupsstrictcomparisondimensionfunctionsstronglyself-absorbingalgebra

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

A unital simple C*-algebra that absorbs the strongly self-absorbing, projectionless algebra $Z$ is called $Z$-stable. Positive elements in such algebras are compared by Cuntz equivalence, a relation generalizing rank for matrices; a Cuntz class is non-compact when its members are not equivalent to a projection, which in the stably finite case means the spectrum accumulates at zero. This paper proves that for any positive element $a$ whose Cuntz class is non-compact, the set $S_a$ of all positive elements Cuntz-equivalent to $a$ is contractible—it can be continuously shrunk to a single element while remaining inside the set—and that the same is true for the class $\langle a\rangle$ in the stabilization $A\otimes K$. This removes earlier assumptions of separability, exactness, and real rank zero while improving the conclusion from vanishing homotopy groups to contractibility. Combined with known compact-class results, it gives the complete homotopy classification of Cuntz classes for unital simple $Z$-stable algebras: compact classes alternate between $K_0$ and $K_1$, non-compact classes have trivial homotopy groups in all dimensions.

What carries the argument

The machinery is the strongly self-absorbing algebra $Z$ together with a designated element $z_1$ whose spectrum is $[0,1]$ and on which the trace is Lebesgue measure. The proof combines three explicit deformations: an asymptotic unitary equivalence moving $S_a$ to $S_a\otimes 1_Z$; the straight-line homotopy $z_t = t z_1 + (1-t)1_Z$, which has dimension function constantly equal to $1$; and the orthogonal split $r_t = (z_1-t)_+$, $s_t = (t-z_1)_+$, which ends at a single element with $s_1 = (1-z_1)_+$. Lemma 2.7, saying that dimension functions on simple tensors factor as products, and the strict-comparison criterion for non-compact elements are the checks that every point of every homotopy remains in the fixed Cuntz class.

What would settle it

Pick a unital simple $Z$-stable algebra $A$ and a non-compact $a\in A_+$, then try to find two elements $b,c\in S_a$ that cannot be joined by a path inside $S_a$; the theorem says none exist. A more structural falsifier is to produce two non-compact positive elements with identical values on every dimension function that are not Cuntz-equivalent, since that would break Proposition 2.2 and the homotopies would have no guarantee of staying in the class.

Watch

Extended reading notes

Core claim

The central claim is Theorem I: for a unital simple $Z$-stable C*-algebra $A$, if $a\in A_+$ has non-compact Cuntz class then $S_a = \{b\in A_+ : b\sim a\}$ is a contractible topological subspace of $A$, and if $a\in (A\otimes K)_+$ has non-compact class then $\langle a\rangle$ is contractible in $A\otimes K$. The proof concatenates three homotopies. First, an asymptotic unitary equivalence deforms $A\otimes Z\otimes Z$ onto $A\otimes Z\otimes 1_Z$ while keeping every point Cuntz-equivalent to its starting element. Second, using an element $z_1$ of $Z$ whose spectrum is $[0,1]$ and whose trace is Lebesgue measure, the interpolation $z_t = t z_1 + (1-t)1_Z$ slides the class to $S_a\otimes z_1$; dimension functions factor across tensor products, and the trace of $z_t$ is constantly equal to the trace of $1_Z$. Third, the orthogonal split $c_b\otimes (z_1-t)_+ + p\otimes (t-z_1)_+$, with $p$ the fixed image of $a$ in $A\otimes Z$, pushes every element to the single element $p\otimes (1-z_1)_+$. The dimension-function criterion for Cuntz equivalence of non-compact elements keeps each intermediate element inside the original class.

Load-bearing premise

The entire argument hangs on $Z$-stability implying that two non-compact positive elements are Cuntz-equivalent whenever all their dimension functions agree, a strict-comparison property the paper invokes as Proposition 2.2 but does not list among the theorem's hypotheses, so a failure of that implication would let the homotopies leave the class.

Editorial extensions

If this is right

For every unital simple $Z$-stable C*-algebra $A$ and every non-compact class $\langle a\rangle$, the spaces $S_a$ and $\langle a\rangle$ are contractible, so all homotopy groups $\pi_k(S_a)$ vanish.
Together with the compact-class results, this gives the full homotopy table: $\pi_k(S_a)=K_0(A)$ for even $k$ and $K_1(A)$ for odd $k$ when the class is compact, and $\pi_k(S_a)=0$ for all $k$ when it is non-compact.
The hypotheses are just unital, simple, and $Z$-stable: the earlier separation, exactness, and real rank zero assumptions are no longer needed, and the conclusion is contractibility rather than mere vanishing of homotopy groups.
The same methods prove contractibility of the rank-band sets $\{a\in A_+ : s\le d_\tau(a)\le r \text{ for all } \tau\in K\}$ for a closed face $K$ of the quasitrace space, as noted in Remark 3.1.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Because the proof uses only the dimension-function criterion and the element $z_1$, it is plausible that the contractibility result persists for any unital simple C*-algebra with strict comparison that contains a similar Lebesgue-like positive element; this would be an extension the paper does not claim.
The contractible rank-band sets produced here are the local pieces the introduction sketches as building blocks for realizing arbitrary lower-semicontinuous affine functions as rank functions on the trace space; completing that selection argument could illuminate the remaining open implication among regularity properties of nuclear C*-algebras.
A direct test of the method's limits is to drop unitality: the stabilization statement suggests the argument may work for simple $Z$-stable algebras with a hereditary corner taking the role of the unit, but the paper does not address the non-unital case.

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, and a circularity audit.

Desk Editor's Note

read the letter

Here's the short version: this is a real advance, and the proof is convincing. The paper shows that in a unital simple Z-stable C*-algebra, the set of positive elements in any fixed non-compact Cuntz class is contractible, both in A and in the stabilization. That goes beyond Toms's earlier vanishing results and completes the picture after Zhang/Jiang/Hua's compact case. The three-stage homotopy built from Z is a genuinely new method, and the dimension-function computations that keep the homotopy inside the Cuntz class are correct.

What I like: the theorem is stated in the optimal generality—no separability, exactness, or real rank zero. The proof is structured carefully around the main homotopy, and the supporting lemmas (spectral characterization of compactness, tensor product dimension functions) are appropriate. Corollary 1.1 gives the clean homotopy-group calculation.

The soft spots are real but minor. First, the stabilization case is dismissed with 'the same argument' and a remark about replacing 1_A. A referee will want at least a sketch of how Lemma 2.7(ii) and Corollary 2.5 are used there. Second, and more substantively, the proof invokes Proposition 2.2, which requires strict comparison for A⊗Z⊗Z, but the paper never explicitly states or cites the theorem that simple Z-stable C*-algebras have strict comparison. The introduction gestures at [16], [27], [4] but without a precise statement. I believe the implication is known without a separability assumption, so this is a missing citation rather than a gap, but the authors should nail it down. Third, Lemma 2.3's proof uses the stable-rank-one characterization of compactness, so it doesn't cover the purely infinite case as written; the conclusion is trivially true there, but the proof needs a case split. Also a small typo in the identification of isomorphisms in Section 3, but that's harmless.

Bottom line: the central argument holds. This is a strong paper for operator algebraists working on the Cuntz semigroup and classification. It deserves a serious referee; the issues above are fixable in revision. I'd accept it for peer review.

Referee Report

2 major / 5 minor

Summary. The paper proves that in a unital, simple, Z-stable C*-algebra A, the set S_a of positive elements in A that are Cuntz equivalent to a fixed non-compact positive element a is contractible in the norm topology, and that the analogous statement holds for the Cuntz class of a non-compact positive element in the stabilization A⊗K. The proof constructs an explicit three-step homotopy inside the Cuntz class: a unitary path implementing Z-absorption, a straight-line deformation through z_t with constant dimension function, and a cut-down construction that lands on a single element. Dimension-function computations and Proposition 2.2 are used at each step to guarantee that the homotopy stays within the class. The paper also derives a complete calculation of the homotopy groups of Cuntz classes for unital simple Z-stable algebras, combining the non-compact case with earlier work of Zhang, Jiang, and Hua for compact classes.

Significance. If the proof is fully justified, this is a substantial strengthening of earlier results by Toms, which assumed separability, exactness, and real rank zero; the present theorem removes those hypotheses and strengthens the conclusion from vanishing of homotopy groups to contractibility. The proof is conceptually clean and uses standard machinery (Z-stability, strict comparison, dimension functions) in a transparent way. The explicit homotopies and dimension-function computations are a strength, and the derivation of Corollary 1.1 gives a satisfying complete picture of the homotopy type of Cuntz classes in this class of algebras. The main caveats are technical completeness: the use of strict comparison is not explicitly justified, and the stabilization case is treated in a single sentence. These issues appear fixable, but they are load-bearing for the stated theorem.

major comments (2)

[Section 3, 'The Second Homotopy' and 'The Third Homotopy' (also Lemma 2.3)] Proposition 2.2 is applied to A⊗Z⊗Z after computing dimension-function equalities, but the proof never verifies that A⊗Z⊗Z has strict comparison of positive elements. The theorem assumes only unital, simple, Z-stable A; the introduction's strict-comparison discussion is in the Toms-Winter context and cites [16], [27], [4] without stating a general theorem for nonseparable Z-stable algebras. The authors should explicitly cite (and, if necessary, state the precise form of) the result that every unital simple Z-stable C*-algebra has strict comparison and stable rank one, and verify that it applies to A⊗Z⊗Z. If the available theorem requires separability, the nonseparable generality of Theorem I needs an additional argument.
[End of Section 3, second statement of Theorem I] The proof for A⊗K is dismissed with the sentence 'The same argument with A⊗K instead of A proves the second statement as well after replacing 1_A with the unit of M_n(A) in Equations (3) and (4).' This is not a complete argument: A⊗K is non-unital, and the first homotopy in Section 3.1 uses the unit 1_A explicitly in Equations (3) and (4). The replacement by 'the unit of M_n(A)' is not defined as a fixed operator on A⊗K, and the application of Proposition 2.2 and Proposition 2.1 to the non-unital algebra A⊗K requires a non-unital formulation of strict comparison and compactness. Please provide the missing details, e.g., by working with multiplier units, finite-matrix approximations, and stated non-unital versions of the comparison results used.

minor comments (5)

[Section 2, first paragraph] The word 'surverys' should be 'surveys'.
[Lemma 2.7(ii) proof] The displayed computation uses 'dτ(a ⊗b)' where the statement concerns 'a ⊗z'; also 'dimension functions and preserve suprema' should read 'dimension functions preserve suprema'.
[Section 3.1] The continuity of the homotopy at t = 1 is not explicitly justified; the authors should state that H_t is pointwise norm-continuous on each fixed b, which is what the strong asymptotic unitary equivalence provides.
[Section 3.2] The notation 'c_b ∈ S_a ⊂ A⊗Z' abuses notation, since S_a was originally defined as a subset of A; the authors should say that c_b lies in the image of S_a under the isomorphism (id_A ⊗ θ)∘α, or introduce a name for that image.
[Lemma 2.6] The statement attributes the embedding ψ:C[0,1]→Z with prescribed trace to Theorem 2.1 of [16]; the attribution should be checked, as this type of embedding is often associated with the Jiang-Su construction in [13].

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is proved by explicit homotopies from standard Z-stability and comparison results, not by assuming its conclusion.

full rationale

The central claim, Theorem I, is established by constructing three explicit homotopies (Sections 3.1–3.3) and concatenating them. The dimension-function computations show that each deformed element has the same dimension functions as the original element, and Proposition 2.2 is then invoked to conclude Cuntz equivalence. Proposition 2.2 is a restatement of a standard comparison theorem from [1, Proposition 5.9], not of the paper's target contractibility claim, so the argument does not reduce to its own input. The compact-class homotopy results of Zhang, Jiang, and Hua are used only in Corollary 1.1, not in the proof of contractibility for non-compact classes. The only self-citation, [1], is a survey reference for basic Cuntz semigroup facts; the cited proposition is an established external result rather than an unverified premise unique to the authors. The proof's reliance on strict comparison for the (possibly nonseparable) algebras A and A⊗Z⊗Z is a possible omitted justification or correctness concern, but it is not a circular step: the paper does not define or derive contractibility from that comparison property. No fitted parameter is renamed as a prediction, no ansatz is smuggled in via citation, and no known result is merely relabeled. Accordingly, no circularity is present.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof relies on several deep results from the Cuntz semigroup and Z-stability literature, all standard or from cited prior work. No free parameters or new entities are introduced.

assumptions (5)

domain assumption Every unital simple Z-stable C*-algebra has strict comparison of positive elements (equivalent to almost unperforation of the Cuntz semigroup).
Used to apply Proposition 2.2 in Sections 3.2 and 3.3 to show the homotopy maps preserve Cuntz equivalence; not explicitly stated in the paper's hypotheses.
standard math Strong asymptotic unitary equivalence between θ^{-1} and id_Z ⊗ 1_Z for the Jiang-Su algebra (Dadarlat-Winter [7, Theorem 2.2]).
Needed to construct the first homotopy in Section 3.1; a known theorem about strongly self-absorbing C*-algebras.
standard math A simple Z-stable C*-algebra is either purely infinite or stably finite (Gong-Jiang-Su dichotomy, [10, Theorem 3]).
Used at the start of the proof of Theorem I to reduce to the stably finite case.
standard math Existence of a unital embedding of C[0,1] into Z whose induced trace is Lebesgue measure (Rørdam [16, Theorem 2.1]).
Used in Lemma 2.6 to produce z_1 with the spectral and trace properties driving the second and third homotopies.
domain assumption Unital simple Z-stable C*-algebras have stable rank one, so Proposition 2.1's characterization of compact Cuntz classes applies.
Proposition 2.1 assumes stable rank one; the paper uses it in Lemma 2.3 without re-deriving stable rank one for Z-stable algebras.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Contractible Cuntz classes in $Z$-stable C$^*$-algebras." pith.science (2026). https://pith.science/paper/CB62PA6R

@misc{pith2026241212366,
  author       = {Pith},
  title        = {Pith review of: Contractible Cuntz classes in $Z$-stable C$^*$-algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CB62PA6R}},
  note         = {Machine review of arXiv:2412.12366}
}

abstract

Let $A$ be a unital, simple and Z-stable C$^*$-algebra. We show that the set of positive elements in $A$ (resp. $A \otimes K$) belonging to a fixed non-compact Cuntz class is contractible as a topological subspace of $A$ (resp. $A \otimes K$). In light of earlier work by Zhang, Jiang and Hua in the compact case, we deduce a complete calculation of the homotopy groups of Cuntz classes for these algebras.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 26 canonical work pages

[16]

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

work page 2004
[27]

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

work page 2012
[4]

Castillejos, S

J. Castillejos, S. Evington, A. Tikuisis, S. White, and W. Winter. Nu clear dimension of simple C ∗ -algebras. Invent. Math. , 224(1):245–290, 2021. 12 CHRISIL OUSEPH AND ANDREW S. TOMS

work page 2021
[1]

P. Ara, F. Perera, and A. S. Toms. K-theory for operator algebras. Classiﬁcation of C∗ -algebras. In Aspects of Operator Algebras and Applications , volume 534 of Con- temp. Math. , pages 1–71. 2011

work page 2011
[2]

Blackadar and D

B. Blackadar and D. Handelman. Dimension functions and traces o n C ∗ -algebras. J. Funct. Anal., 45(3):297–340, 1982

work page 1982
[3]

Brown and C

A. Brown and C. Pearcy. Spectra of tensor products of opera tors. Proc. Amer. Math. Soc., 17(1):162–166, 1966

work page 1966
[5]

Coward, G

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

work page 2008
[6]

J. Cuntz. Dimension functions on simple C ∗ -algebras. Math. Ann., 233:145–154, 1978

work page 1978

Show all 29 references

[7]

Dadarlat and W

M. Dadarlat and W. Winter. On the KK -theory of strongly self-absorbing C ∗ - algebras. Math. Scand. , 104(1):95–107, 2009

2009
[8]

Gardella and F

E. Gardella and F. Perera. The modern theory of Cuntz semigrou ps of C ∗ -algebras. EMS Surv. Math. Sci. (to appear) DOI: 10.4171/EMSS/84, 2024, 2022

2024 doi
[9]

M. C. Godfrey and M. Sion. On product of Rad´ on Measures. Canad. Math. Bull. , 12(4):427–444, 1969

1969
[10]

G. Gong, X. Jiang, and H. Su. Obstructions to Z-stability for unital simple C ∗ - algebras. Canad. Math. Bull. , 43(4):418–426, 2000

2000
[11]

S. Hua. K-stability of Z-stable C ∗ -algebras. arXiv:2406.11084 [math.OA] , 2024

2024 arXiv
[12]

X. Jiang. Nonstable K-theory for Z-stable C ∗ -algebras. arXiv:math/9707228 [math.OA], 1997

1997 arXiv
[13]

Jiang and H

X. Jiang and H. Su. On a simple unital projectionless C ∗ -algebra. Amer. J. Math. , 121(2):359–413, 1998

1998
[14]

Kirchberg and M

E. Kirchberg and M. Rørdam. Inﬁnite non-simple C ∗ -algebras: Absorbing the Cuntz algebra O∞ . Adv. Math. , 167(2):195–264, 2002

2002
[15]

F. Perera. The structure of positive elements for C ∗ -algebras with real rank zero. Internat. J. Math. , 08(03):383–405, 1997

1997
[17]

Rørdam and E

M. Rørdam and E. Kirchberg. Central sequence C ∗ -algebras and tensorial absorption of the jiang-su algebra. J. Reine Angew. Math. , 695:175–214, 2014

2014
[18]

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

1992
[19]

Y. Sato. Trace spaces of simple nuclear C ∗ -algebras with ﬁnite-dimensional extreme boundary. arXiv 1403:0747 , 2014

2014
[20]

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

2020
[21]

A. S. Toms. On the classiﬁcation problem for nuclear C ∗ -algebras. Ann. of Math. (2) , 167(3):1029–1044, 2008

2008
[22]

A. S. Toms. Homotopies of constant Cuntz class. Int. Math. Res. Not. IMRN , 2023(18):15358–15369, 2022

2023
[23]

A. S. Toms. Higher homotopy groups of Cuntz classes. Adv. Math., 443:109593, 2024

2024
[24]

A. S. Toms, S. White, and W. Winter. Z-stability and ﬁnite-dimensional tracial boundaries. Int. Math. Res. Not. IMRN , (10):2702–2727, 2015

2015
[25]

Villadsen

J. Villadsen. On the stable rank of simple C ∗ -algebras. J. Amer. Math. Soc. , 12(4):1091–1102, 1999. CONTRACTIBLE CUNTZ CLASSES IN Z-STABLE C ∗ -ALGEBRAS 13

1999
[26]

J. S. Villadsen. On the stable rank of simple C ∗ -algebras. J. Amer. Math. Soc. , 12:1091–1102, 1999

1999
[28]

W. Winter. Structure of nuclear C ∗ -algebras: from quasidiagonality to classiﬁcation and back again. In Proceedings of the International Congress of Mathematicia ns—Rio de Janeiro 2018. Vol III. Invited lectures , pages 1801–1823. World Sci. Publ., 2018

2018
[29]

S. Zhang. Matricial structure and homotopy type of simple C ∗ -algebras with real rank zero. J. Operator Theory , 26(2):283–312, 1991. Department of Mathematics, Purdue University, 150 N Univer sity St, West Lafayette IN 47907, USA Email address : couseph@purdue.edu Department...

1991

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [16]

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

work page 2004

[2] [27]

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

work page 2012

[3] [4]

Castillejos, S

J. Castillejos, S. Evington, A. Tikuisis, S. White, and W. Winter. Nu clear dimension of simple C ∗ -algebras. Invent. Math. , 224(1):245–290, 2021. 12 CHRISIL OUSEPH AND ANDREW S. TOMS

work page 2021

[4] [1]

P. Ara, F. Perera, and A. S. Toms. K-theory for operator algebras. Classiﬁcation of C∗ -algebras. In Aspects of Operator Algebras and Applications , volume 534 of Con- temp. Math. , pages 1–71. 2011

work page 2011

[5] [2]

Blackadar and D

B. Blackadar and D. Handelman. Dimension functions and traces o n C ∗ -algebras. J. Funct. Anal., 45(3):297–340, 1982

work page 1982

[6] [3]

Brown and C

A. Brown and C. Pearcy. Spectra of tensor products of opera tors. Proc. Amer. Math. Soc., 17(1):162–166, 1966

work page 1966

[7] [5]

Coward, G

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

work page 2008

[8] [6]

J. Cuntz. Dimension functions on simple C ∗ -algebras. Math. Ann., 233:145–154, 1978

work page 1978