{"id":"3afea3af-1e0e-42c5-a9e4-d53aa6c8d177","arxiv_id":"2505.04857","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Trace-preserving homotopy equivalence implies isomorphism for simple, separable, nuclear Z0-stable C*-algebras, without assuming the UCT.","lead":"Two simple, separable, nuclear C*-algebras that absorb the special building block Z0 are shown to be isomorphic whenever they are homotopy equivalent in a trace-preserving way. The result is a classification step that avoids the technical UCT assumption used by most similar theorems.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Trace factorization on B⊗W is used without proof in Theorem 2.5; the central rigidity theorem depends on this unstated step.","rationale":"The reader identified exactly the step I consider most load-bearing: the passage from trace-preserving homotopy on B to trace-preserving homotopy on B⊗W in Theorem 2.5. That step is necessary for the application of Theorem 1.2, which is the engine of the paper. I checked the surrounding argument: the statement is not cited or proved in the paper, and the surrounding text only establishes that W is simple, nuclear, monotracial, and self-absorbing—facts that do not by themselves justify trace factorization. The likely fix is standard, since W is believed to be strongly self-absorbing in a suitable non-unital sense, and for strongly self-absorbing algebras the trace space of a tensor product is canonically identified with the trace space of the other factor. But the manuscript does not supply that theorem or a reference. I also examined Lemma 2.3 for algebraic gaps; one displayed equality involving θ(u_{j-1})(Φ⊗ϕ_W)θ(u_{j-1})* appears to have a missing inner θ, but the intended application of (2.10) is clear and the step is readily repairable, so I do not treat it as the central concern. Because the reader's conditional verdict already reflects this missing trace-factorization step, my stress-test does not change the verdict.","tokens_in":11903,"tokens_out":27441,"duration_ms":279576,"concrete_test":"Write out the missing factorization lemma for T+(B⊗W) and check whether it follows from the hypotheses as stated. Concretely: (1) locate in [EGLN20, Cor. 6.7] or [Sza21, §6] a statement that W is strongly self-absorbing in the non-unital sense, or that τ_B↦τ_B⊗τ_W is a bijection T+(B)→T+(B⊗W); (2) if no such statement is present, attempt a direct proof: for any τ∈T+(B⊗W), define τ_B(b)=lim_i τ(b⊗h_i) for an approximate unit (h_i) of W, and show τ=τ_B⊗τ_W. If the proof cannot be completed without additional assumptions, Theorem 2.5 is unsupported as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 2.5, after assuming τ∘Φ_t=τ∘Φ_s for all τ∈T+(B), the paper asserts 'This implies τ∘(Φ_t⊗id_W)=τ∘(Φ_s⊗id_W), τ∈T+(B⊗W)' and then invokes Theorem 1.2. This implication is valid only if every lower semicontinuous trace on B⊗W has the form τ_B⊗τ_W. The paper does not state, prove, or cite this trace-factorization fact. W is monotracial and self-absorbing, but monotraciality alone does not force a positive linear functional on W to be a multiple of the trace, and non-product traces can occur in tensor products with noncommutative factors. The needed input is a genuine theorem: W is strongly self-absorbing in the non-unital sense, or the map τ_B↦τ_B⊗τ_W is a bijection T+(B)→T+(B⊗W). If this step fails, Theorem 1.2 cannot be applied to Φ_t⊗id_W and Φ_s⊗id_W, so Theorem 2.5, and hence Theorem A, does not follow. The missing fact is probably standard in the classification literature, but it is load-bearing and absent from the manuscript.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":12074,"tokens_out":24230,"duration_ms":244778,"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":[{"comment":"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.","section":"§2, proof of Theorem 2.5"},{"comment":"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.","section":"§2, proof of Theorem 2.5"}],"minor_comments":[{"comment":"The definition of ι_j^A is written with e_ii ⊗ a; the subscript should be j, matching the later usage ι_{2j+1} and ι_{2j}.","section":"§1.1, Eq. (2.1)"},{"comment":"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}.","section":"§2, Lemma 2.3"},{"comment":"In the proof, the second displayed approximate equivalence reads '(ϕ ◦ ψ) ⊗ id_B'; it should be '(ϕ ◦ ψ) ⊗ id_{Z0}' or 'id_{B ⊗ Z0}'.","section":"§2, Theorem 2.7"},{"comment":"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.","section":"§2, Lemma 2.3"}],"recommendation":"major_revision","confidential_remarks":"The paper is well written and the result is likely correct. The main issue is the unstated trace-factorization step in Theorem 2.5; if the authors supply a standard citation or a short proof, I would support publication. The reliance on the authors' own prior classification work is natural for this line and does not appear inappropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.","headline":"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.","tokens_in":773,"tokens_out":858,"would_cite":true,"duration_ms":52985,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L35","46L80"],"pacs":[],"model":"deepseek-v4-flash","headline":"Two simple, separable, nuclear $\\mathcal{Z}_0$-stable C$^*$-algebras that are trace-preservingly homotopy equivalent are isomorphic, with no Universal Coefficient Theorem assumption.","keywords":["C*-algebras","Z0-stability","stably projectionless","homotopy rigidity","trace-preserving homotopy","Razak–Jacelon algebra","augmented Cuntz semigroup","Universal Coefficient Theorem"],"falsifier":"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.","tokens_in":11644,"feed_emoji":"🔄","tokens_out":6629,"duration_ms":58752,"temperature":0.7,"pith_summary":"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$.","feed_headline":"Trace-preserving homotopy forces C*-algebra isomorphism","feed_subtitle":"For Z0-stable simple nuclear C*-algebras, homotopy plus trace preservation is enough—no UCT assumed.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies Robert's classification of augmented Cuntz semigroup morphisms from inductive limits of 1-NCCW complexes, guaranteeing the special maps between W and Z0 and their approximate uniqueness.","marker":"[Rob12]"},{"why":"Computes the augmented Cuntz semigroup from K0 and lower semicontinuous traces, identifying the morphisms used throughout the proof.","marker":"[RS21]"},{"why":"Proves that maps into KK-contractible stably projectionless Z-stable algebras are classified by traces, the W-stabilized step.","marker":"[Sza21]"},{"why":"Classifies KK-contractible simple stably projectionless C*-algebras and establishes properties of W used to apply Theorem 1.2.","marker":"[EGLN20]"},{"why":"Introduces Z0, proves it is self-absorbing and Z-stable, and constructs the trace-preserving maps and the automorphism sigma.","marker":"[GL20]"},{"why":"Provides the lemma that homotopic unitaries can be approximated by unitaries in the forced unitisation, used in Lemma 2.2.","marker":"[GS22]"},{"why":"Constructs the Razak–Jacelon algebra W, the monotracial stably projectionless algebra that receives the trace-preserving homotopy.","marker":"[Jac13]"},{"why":"Origin of the reduction argument for homotopic maps that Lemma 2.3 adapts to the non-unital stably finite setting.","marker":"[Phi97]"}],"fun_headline_variants":["Homotopy + traces = C*-isomorphism in Z0-stable algebras","No UCT: trace-preserving homotopy forces C*-isomorphism","Trace-preserving homotopy rigidity without UCT","Z0-stable simple: homotopy with trace invariance implies isomorphism"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Homotopy + traces = C*-isomorphism in Z0-stable algebras","No UCT: trace-preserving homotopy forces C*-isomorphism","Trace-preserving homotopy rigidity without UCT","Z0-stable simple: homotopy with trace invariance implies isomorphism"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001232,"raw_usage":{"total_tokens":4954,"prompt_tokens":733,"completion_tokens":4221,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":349,"completion_tokens_details":{"reasoning_tokens":4143}},"tokens_in":349,"tokens_out":4221,"duration_ms":29966,"temperature":1.0,"reasoning_tokens":4143,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T23:20:15.697894+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}