A homotopy rigidity theorem for $\mathcal{Z}_0$-stable $\mathrm{C}^\ast$-algebras

Baukje Debets; Gabor Szabo; Jorge Castillejos

REVIEW 2 major objections 4 minor 25 references

A homotopy rigidity theorem for $\mathcal{Z}_0$-stable $\mathrm{C}^\ast$-algebras

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Two simple, separable, nuclear $\mathcal{Z}_0$-stable C$^*$-algebras that are trace-preservingly homotopy equivalent are isomorphic, with no Universal Coefficient Theorem assumption.

desk verdict A genuinely new UCT-free rigidity theorem for Z0-stable C*-algebras, with a solid proof that has one standard but unstated trace-factorization step worth making explicit. read the letter →

arxiv 2505.04857 v2 pith:DZMDKHWA submitted 2025-05-07 math.OA

Jorge Castillejos , Baukje Debets , Gabor Szabo This is my paper · ORCID

classification math.OA MSC 46L3546L80

keywords C*-algebrasZ0-stabilitystablyprojectionlesshomotopyrigiditytrace-preservingRazak–JacelonalgebraaugmentedCuntzsemigroupUniversalCoefficientTheorem

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

This paper establishes a rigidity theorem: two simple, separable, nuclear $\mathcal{Z}_0$-stable C$^*$-algebras that are trace-preservingly homotopy equivalent must be isomorphic. The result is a tracial, stably projectionless counterpart of the homotopy rigidity theorem for Kirchberg algebras, and it does not require the Universal Coefficient Theorem. The proof works by stabilizing with the Razak–Jacelon algebra $W$, where maps are classified by tracial data, and then transferring the resulting approximate unitary equivalence back to $\mathcal{Z}_0$.

What carries the argument

The proof's engine is Lemma 2.3, a transfer principle from $W$-stabilization to $\mathcal{Z}_0$-stabilization. If $\Phi_s\otimes \mathrm{id}_W$ and $\Phi_t\otimes \mathrm{id}_W$ are approximately unitarily equivalent for all times, then $\Phi_0\otimes \mathrm{id}_{\mathcal{Z}_0}$ and $\Phi_1\otimes \mathrm{id}_{\mathcal{Z}_0}$ are approximately unitarily equivalent. The transfer uses the unique trace-preserving maps between $W$ and $\mathcal{Z}_0$, the automorphism $\sigma$ of $\mathcal{Z}_0$ whose $K_0$ is $-\mathrm{id}$, and a matrix-amplified homomorphism $\Gamma_n$ that alternates $\mathrm{id}$ and $\sigma$ along the diagonal; Robert's classification of $\mathrm{Cu}^\sim$-morphisms guarantees that the needed maps exist and are approximately unique.

What would settle it

Construct a pair of simple separable nuclear Z0-stable algebras with a trace-preserving homotopy equivalence but no isomorphism, or exhibit a trace-preserving homotopy whose W-stabilized endpoint maps are approximately unitarily equivalent while the Z0-stabilized ones are not; either would refute Theorem A or Lemma 2.3.

Watch

Extended reading notes

Core claim

Theorem A states that if $A$ and $B$ are simple, separable, nuclear and $\mathcal{Z}_0$-stable, and there exist maps $\phi:A\to B$, $\psi:B\to A$ whose composites are homotopic to the identities through paths that keep every trace constant, then $A\cong B$. A broader consequence, Theorem 2.7, is that any trace-preserving homotopy equivalence between separable simple nuclear algebras induces an isomorphism $A\otimes \mathcal{Z}_0\cong B\otimes \mathcal{Z}_0$. The central novelty is that the UCT is never invoked; homotopy plus trace preservation replaces it.

Load-bearing premise

The bridge from trace preservation on B to trace preservation on B tensored with W depends on the unstated fact that every lower semicontinuous trace on B tensor W factors as a product trace tau_B tensor tau_W with tau_W the unique trace on W; if that factorization failed, Theorem 1.2 could not be applied.

Editorial extensions

If this is right

A trace-preserving homotopy equivalence between simple separable nuclear $\mathcal{Z}_0$-stable algebras is enough to conclude isomorphism, with no UCT hypothesis.
Separable simple nuclear algebras that are trace-preservingly homotopy equivalent become isomorphic after tensoring with $\mathcal{Z}_0$ (Theorem 2.7).
The homotopy rigidity pattern previously known for purely infinite Kirchberg algebras now has a stably finite, projectionless analogue.
The proof gives a template for replacing trace-preservation by concrete matrix-alternation data in non-unital classification.
In the UCT setting, the result is consistent with Elliott classification: $\mathcal{Z}_0$-stability forces the trace–$K_0$ pairing to vanish.

Reading between the lines

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

A natural next test is whether the trace-preserving hypothesis can be weakened to homotopy equivalence together with a trace-cone bijection that is not constant along the homotopy; if the transfer lemma still works, Theorem A would cover more pairs.
The same $W$-to-$\mathcal{Z}_0$ transfer could be tried in the one-sided embedding setting of Schafhauser's theorem, potentially yielding a non-unital $\mathcal{Z}_0$-stable rigidity statement from a single embedding rather than a two-sided equivalence.
If the unstated trace-factorization fact on $B\otimes W$ were to fail for some exotic simple nuclear $B$, the bridge to Theorem 1.2 would break; checking it for non-monotracial $B$ would delimit the method.

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

The paper proves what it says: simple, separable, nuclear, Z0-stable C*-algebras that are trace-preservingly homotopy equivalent are isomorphic, with no UCT assumption. That is a real new result, and a meaningful step toward classification of stably projectionless algebras outside the UCT world. The proof is short but clever: it reduces approximate unitary equivalence after tensoring with W to the same after tensoring with Z0, via a block-matrix argument (Lemma 2.3) that reuses known classification theorems cleanly. The use of Robert's theorem, EGLN20, and Sza21's Theorem 6.3 is appropriate, and the self-citations are background, not circular. The main soft spot is exactly where the stress-test points. In Theorem 2.5, after assuming equality of traces on B, the authors write "This implies" the corresponding equality on B⊗W, and then apply Theorem 1.2. That step needs that every lower semicontinuous trace on B⊗W is of the form τ_B ⊗ τ_W. The paper does not state, prove, or cite this. The stress-test is correct that monotraciality of W alone is not enough; but W is strongly self-absorbing, and for strongly self-absorbing D with unique trace, traces on A⊗D do tensor-factorize. So I believe the step is true and standard. Still, it is load-bearing for the proof of Theorem 2.5, and a referee should ask the authors to either cite a source (e.g., in Sza21 or EGLN20) or give a one-line argument using an approximate unit of W and the strong self-absorption. This is an exposition gap, not a fatal one. Everything else looks sound. The estimates in Lemma 2.3 are intricate but the pattern is standard; I did not find a hidden error. The comparison with Schafhauser's theorem in Remark 2.8 is honest about the weaker conclusion and stronger hypothesis. Who is this for? Specialists in classification of C*-algebras, especially people working on stably projectionless algebras and the UCT problem. It deserves a serious referee; the result is new and the proof is worth checking carefully. I would recommend sending to a good operator algebra journal, with the request that the trace-factorization point be explicitly addressed. That fix is minor and should not change the substance of the paper.

Referee Report

2 major / 4 minor

Summary. The paper proves a homotopy rigidity theorem in the stably projectionless setting. It defines trace-preserving homotopies between *-homomorphisms and shows (Theorem 2.5) that if φ, ψ : A → B are trace-preservingly homotopic and A, B are simple separable nuclear C*-algebras with traces, then φ ⊗ id_Z0 and ψ ⊗ id_Z0 are approximately unitarily equivalent. The proof first tensors with the Razak–Jacelon algebra W to invoke the classification of KK-contractible stably projectionless algebras (Theorem 1.2), then uses a technical lemma (Lemma 2.3) to upgrade approximate unitary equivalence from W to Z0. Theorem 2.7 applies an Elliott intertwining argument to conclude A ⊗ Z0 ≅ B ⊗ Z0 for trace-preservingly homotopy equivalent separable simple nuclear algebras; for Z0-stable A and B this gives the abstract's Theorem A. The heavy classification inputs are [EGLN20] and [Sza21], and the UCT is not assumed.

Significance. If completed, this is a clean UCT-free rigidity result for simple separable nuclear Z0-stable C*-algebras, extending homotopy rigidity into the stably projectionless world. The paper is concise and makes elegant use of Robert's classification and the interplay between W and Z0. It is honest about relying on substantial classification theorems, and the main theorem is clearly stated and testable. No machine-checked proofs are provided, but the arguments are sufficiently detailed to review. The main unresolved point is the trace-factorization step discussed below.

major comments (2)

[§2, proof of Theorem 2.5] The sentence 'This implies τ ◦ (Φ_t ⊗ id_W) = τ ◦ (Φ_s ⊗ id_W), τ ∈ T+(B ⊗ W)' is not justified by the previous line. The hypothesis gives equality after composing with traces on B, but Theorem 1.2 requires equality for all traces on B ⊗ W. The proof implicitly uses a nontrivial fact about tensoring with the Razak–Jacelon algebra: either every lower semicontinuous trace on B ⊗ W is of the form τ_B ⊗ τ_W, or at least every such trace is a barycenter of product traces, so that the assumed equality for all θ ∈ T+(B) forces the needed equality for all τ ∈ T+(B ⊗ W). This fact is not stated or cited, and it is load-bearing: without it Theorem 1.2 cannot be applied to Φ_t ⊗ id_W and Φ_s ⊗ id_W. Please add a precise statement and reference, or a proof, of the trace-cone identification used here.
[§2, proof of Theorem 2.5] The invocation of Theorem 1.2 also skips the KK-contractibility hypothesis: Theorem 1.2 requires KK(A, A) = 0 and KK(B, B) = 0, and the proof does not verify KK(A ⊗ W, A ⊗ W) = 0 and KK(B ⊗ W, B ⊗ W) = 0. This follows from the KK-contractibility of W together with nuclearity, but as written it is an unstated input and should be recorded in the proof.

minor comments (4)

[§1.1, Eq. (2.1)] The definition of ι_j^A is written with e_ii ⊗ a; the subscript should be j, matching the later usage ι_{2j+1} and ι_{2j}.
[§2, Lemma 2.3] In the first paragraph, the finite set F is written as {a ⊗ z | a ∈ F_A, z ∈ F}; the second occurrence of F should be F_{Z0}.
[§2, Theorem 2.7] In the proof, the second displayed approximate equivalence reads '(ϕ ◦ ψ) ⊗ id_B'; it should be '(ϕ ◦ ψ) ⊗ id_{Z0}' or 'id_{B ⊗ Z0}'.
[§2, Lemma 2.3] The maps θ and θ' are notationally problematic: ϕ_{Z0} ⊗ 1_{M2} is a map from W ⊗ M2 to Z0 ⊗ M2 rather than from W to M2(Z0). The intended map is w ↦ u(ϕ_{Z0}(w) ⊗ 1_{M2})u*, and the notation should be corrected so the displayed equations type-check.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the rigidity theorem is a deduction from independent external classification results.

full rationale

The paper's main claim (Theorem A) is proved by combining Theorem 2.5 with an Elliott intertwining argument. Theorem 2.5 itself invokes Theorem 1.2, a previously published classification result for trace-preserving maps on KK-contractible Z-stable algebras ([Sza21], [EGLN20]), together with an explicit lemma (Lemma 2.3) whose proof is carried out in the paper using Robert's classification theorem and structure maps for W and Z0 from [GL20]. There is no fitted parameter being relabeled as a prediction, and no definition that presupposes the isomorphism being proved. The self-citations present ([Sza21], [GS22], [CE20]) are used as established theorems with independent published proofs, not as self-referential uniqueness imports or as substitutes for the main argument. One genuine gap is that the first implication in the proof of Theorem 2.5 uses, without stating or citing, the fact that every trace on B⊗W factors as a trace on B tensored with the unique trace on W; this is a missing justification and a correctness risk, but it is not circular because the needed trace factorization is not an equivalent reformulation of the theorem's conclusion. Therefore the derivation chain is not circular.

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

The paper introduces no free parameters or new entities. The central claim rests on a stack of prior classification and structure theorems for C∗-algebras, listed above. The only implicit premise is the trace factorization on B⊗W.

assumptions (6)

domain assumption Robert's classification theorem for Cu∼-morphisms from inductive limits of 1-NCCW complexes (Theorem 1.1 of the paper)
Used to turn prescribed augmented Cuntz semigroup maps into ∗-homomorphisms and to get uniqueness up to approximate unitary equivalence; foundational for the maps between Z0 and W and for Lemma 2.1.
domain assumption EGLN20 classification of simple separable KK-contractible stably projectionless C∗-algebras with finite nuclear dimension (Theorem 7.5)
Cornerstone used via [EGLN20, Cor 6.7] for Z0-stability and stably projectionless properties of A⊗W and B⊗W, and cited for the classification of W.
domain assumption Theorem 1.2 ([Sza21, Theorem 6.3], [EGLN20]): maps into KK-contractible algebras are approximately unitarily equivalent if they agree on traces
Bridges trace agreement to approximate unitary equivalence for the homotopy maps after tensoring with W.
domain assumption GL20 structural facts about Z0 and W: existence and uniqueness of trace-preserving maps φ_W: W→Z0 and φ_Z0: Z0→W, automorphism σ with K0(σ) = -id, and Lemma 1.5 (Υ ≈u Ω)
These facts are used as black boxes in the block-matrix construction in Lemma 2.3.
domain assumption [GS22, Lemma 4.3] stable uniqueness lemma used in Lemma 2.2 to approximate unitaries homotopic to 1 by unitaries in U(1+A)
Supplies the approximation of the flip unitary by inner automorphisms.
domain assumption Trace factorization: every lower semicontinuous trace on B⊗W is of the form τ_B⊗τ_W with τ_W the unique trace on W
Implicitly assumed in the proof of Theorem 2.5 when passing from trace equality on B to trace equality on B⊗W. Standard for W monotracial and nuclear, but not stated.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A homotopy rigidity theorem for $\mathcal{Z}_0$-stable $\mathrm{C}^\ast$-algebras." pith.science (2026). https://pith.science/paper/DZMDKHWA

@misc{pith2026250504857,
  author       = {Pith},
  title        = {Pith review of: A homotopy rigidity theorem for $\mathcalZ_0$-stable $\mathrmC^\ast$-algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DZMDKHWA}},
  note         = {Machine review of arXiv:2505.04857}
}

abstract

We show that two simple, separable, nuclear and $\mathcal{Z}_0$-stable $\mathrm{C}^\ast$-algebras are isomorphic if they are trace-preservingly homotopy equivalent. This result does not assume the UCT and can be viewed as a tracial stably projectionless analog of the homotopy rigidity theorem for Kirchberg algebras.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 22 canonical work pages

[1]

Carrión, James Gabe, Christopher Schafhauser, Aaron Tikuisis, and Stuart White

José R. Carrión, James Gabe, Christopher Schafhauser, Aaron Tikuisis, and Stuart White. Classifying ^* -homomorphisms I:\ unital simple nuclear -algebras. Preprint arXiv:2307.06480v3

arXiv
[2]

Nuclear dimension of simple stably projectionless -algebras

Jorge Castillejos and Samuel Evington. Nuclear dimension of simple stably projectionless -algebras. Anal. PDE , 13(7):2205--2240, 2020

work page 2020
[3]

Nuclear dimension of simple -algebras

Jorge Castillejos, Samuel Evington, Aaron Tikuisis, Stuart White, and Wilhelm Winter. Nuclear dimension of simple -algebras. Invent. Math. , 224(1):245--290, 2021

work page 2021
[4]

Elliott, Guihua Gong, Huaxin Lin, and Zhuang Niu

George A. Elliott, Guihua Gong, Huaxin Lin, and Zhuang Niu. The classification of simple separable KK -contractible -algebras with finite nuclear dimension. J. Geom. Phys. , 158:103861, 51, 2020

work page 2020
[5]

Elliott, Guihua Gong, Huaxin Lin, and Zhuang Niu

George A. Elliott, Guihua Gong, Huaxin Lin, and Zhuang Niu. On the classification of simple amenable C^ * -algebras with finite decomposition rank, II . J. Noncommut. Geom. , June 2024

work page 2024
[6]

Loring, and Gert K

S ren Eilers, Terry A. Loring, and Gert K. Pedersen. Stability of anticommutation relations: an application of noncommutative CW complexes. J. reine angew. Math. , 499:101--143, 1998

work page 1998
[7]

On classification of non-unital amenable simple -algebras, II

Guihua Gong and Huaxin Lin. On classification of non-unital amenable simple -algebras, II . J. Geom. Phys. , 158:103865, 102 pp., 2020

work page 2020
[8]

A classification of finite simple amenable Z -stable -algebras, I : -algebras with generalized tracial rank one

Guihua Gong, Huaxin Lin, and Zhuang Niu. A classification of finite simple amenable Z -stable -algebras, I : -algebras with generalized tracial rank one. C. R. Math. Acad. Sci. Soc. R. Can. , 42(3):63--450, 2020

work page 2020

Show all 25 references

[9]

A classification of finite simple amenable Z -stable C ^* -algebras, II : C ^ -algebras with rational generalized tracial rank one

Guihua Gong, Huaxin Lin, and Zhuang Niu. A classification of finite simple amenable Z -stable C ^* -algebras, II : C ^ -algebras with rational generalized tracial rank one. C. R. Math. Acad. Sci. Soc. R. Can. , 42(4):451--539, 2020

2020
[10]

The stable uniqueness theorem for equivariant K asparov theory

James Gabe and Gábor Szabó. The stable uniqueness theorem for equivariant K asparov theory. Amer. J. Math. , to appear, 2022. arXiv:2202.09809v4

2022 arXiv
[11]

A simple, monotracial, stably projectionless -algebra

Bhishan Jacelon. A simple, monotracial, stably projectionless -algebra. J. Lond. Math. Soc. (2) , 87(2):365--383, 2013

2013
[12]

://www.uni-muenster.de/imperia/md/content/MathematicsMuenster/ekneu1.pdf

Eberhard Kirchberg: The C lassification of P urely I nfinite - A lgebras U sing K asparov's T heory. ://www.uni-muenster.de/imperia/md/content/MathematicsMuenster/ekneu1.pdf. Preprint
[13]

Christopher Phillips

Eberhard Kirchberg and N. Christopher Phillips. Embedding of exact -algebras in the C untz algebra O_2 . J. reine angew. Math. , 525:17--53, 2000

2000
[14]

Christopher Phillips

N. Christopher Phillips. Approximate unitary equivalence of homomorphisms from odd C untz algebras. In Operator algebras and their applications ( W aterloo, ON , 1994/1995) , volume 13 of Fields Inst. Commun. , pp. 243--255

1994
[15]

Christopher Phillips

N. Christopher Phillips. A classification theorem for nuclear purely infinite simple -algebras. Doc. Math. , 5:49--114, 2000

2000
[16]

On the classification of simple stably projectionless -algebras

Shaloub Razak. On the classification of simple stably projectionless -algebras. Canad. J. Math. , 54(1):138--224, 2002

2002
[17]

Classification of inductive limits of 1-dimensional NCCW complexes

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

2012
[18]

The K \"unneth theorem and the universal coefficient theorem for K asparov's generalized K -functor

Jonathan Rosenberg and Claude Schochet. The K \"unneth theorem and the universal coefficient theorem for K asparov's generalized K -functor. Duke Math. J. , 55(2):431--474, 1987

1987
[19]

A revised augmented Cuntz semigroup

Leonel Robert and Luis Santiago. A revised augmented Cuntz semigroup. Math. Scand. , 127(1):131–160, 2021

2021
[20]

Classification of Nuclear -Algebras

Mikael R rdam. Classification of Nuclear -Algebras. Encyclopaedia of Mathematical Sciences, Springer, 2001

2001
[21]

KK -rigidity of simple nuclear -algebras

Christopher Schafhauser. KK -rigidity of simple nuclear -algebras. Preprint arXiv:2408.02745v2

arXiv
[22]

Une notion de nucl\'earit\'e en K -th\'eorie (d'apr\`es J .\ C untz)

Georges Skandalis. Une notion de nucl\'earit\'e en K -th\'eorie (d'apr\`es J .\ C untz). K -Theory , 1(6):549--573, 1988

1988
[23]

The classification of R okhlin flows on -algebras

G\' a bor Szab\' o . The classification of R okhlin flows on -algebras. Comm. Math. Phys. , 382(3):2015--2070, 2021

2015
[24]

La conjecture de B aum- C onnes pour les feuilletages moyennables

Jean-Louis Tu. La conjecture de B aum- C onnes pour les feuilletages moyennables. K -Theory , 17(3):215--264, 1999

1999
[25]

Quasidiagonality of nuclear -algebras

Aaron Tikuisis, Stuart White, and Wilhelm Winter. Quasidiagonality of nuclear -algebras. Ann. of Math. (2) , 185(1):229--284, 2017

2017

Pith tools

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

[1] [1]

Carrión, James Gabe, Christopher Schafhauser, Aaron Tikuisis, and Stuart White

José R. Carrión, James Gabe, Christopher Schafhauser, Aaron Tikuisis, and Stuart White. Classifying ^* -homomorphisms I:\ unital simple nuclear -algebras. Preprint arXiv:2307.06480v3

arXiv

[2] [2]

Nuclear dimension of simple stably projectionless -algebras

Jorge Castillejos and Samuel Evington. Nuclear dimension of simple stably projectionless -algebras. Anal. PDE , 13(7):2205--2240, 2020

work page 2020

[3] [3]

Nuclear dimension of simple -algebras

Jorge Castillejos, Samuel Evington, Aaron Tikuisis, Stuart White, and Wilhelm Winter. Nuclear dimension of simple -algebras. Invent. Math. , 224(1):245--290, 2021

work page 2021

[4] [4]

Elliott, Guihua Gong, Huaxin Lin, and Zhuang Niu

George A. Elliott, Guihua Gong, Huaxin Lin, and Zhuang Niu. The classification of simple separable KK -contractible -algebras with finite nuclear dimension. J. Geom. Phys. , 158:103861, 51, 2020

work page 2020

[5] [5]

Elliott, Guihua Gong, Huaxin Lin, and Zhuang Niu

George A. Elliott, Guihua Gong, Huaxin Lin, and Zhuang Niu. On the classification of simple amenable C^ * -algebras with finite decomposition rank, II . J. Noncommut. Geom. , June 2024

work page 2024

[6] [6]

Loring, and Gert K

S ren Eilers, Terry A. Loring, and Gert K. Pedersen. Stability of anticommutation relations: an application of noncommutative CW complexes. J. reine angew. Math. , 499:101--143, 1998

work page 1998

[7] [7]

On classification of non-unital amenable simple -algebras, II

Guihua Gong and Huaxin Lin. On classification of non-unital amenable simple -algebras, II . J. Geom. Phys. , 158:103865, 102 pp., 2020

work page 2020

[8] [8]

A classification of finite simple amenable Z -stable -algebras, I : -algebras with generalized tracial rank one

Guihua Gong, Huaxin Lin, and Zhuang Niu. A classification of finite simple amenable Z -stable -algebras, I : -algebras with generalized tracial rank one. C. R. Math. Acad. Sci. Soc. R. Can. , 42(3):63--450, 2020

work page 2020