{"id":"51ec40b8-72e4-4857-9aad-0fa5ab3c8d76","arxiv_id":"2506.11983","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Cones over separable C*-algebras, and certain extensions and continuous fields of them, embed into ultrapowers of the Jiang-Su and Razak-Jacelon algebras.","lead":"Mathematicians proved that the cone over any separable C*-algebra can be embedded into ultrapowers of the Jiang-Su and Razak-Jacelon algebras, two key building blocks for stably projectionless operator algebras. The result extends to continuous fields with one well-behaved fiber, offering new embedding permanence tools for the classification program.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"The reader's verdict is ACCEPT with moderate confidence, based mainly on the unverified dependence on [BG24, Proposition 4.14]. My pass through the paper suggests that this dependence, while real in the text, is not actually load-bearing: Definition 3.1 is a universal condition over all positive elements of the extension outside the ideal, and therefore automatically implies the existential original pure largeness condition needed for [Gab16, Theorem 2.1]. Lemma 3.2 proves Definition 3.1 directly. So even if [BG24, Prop. 4.14] were false or unverified, the absorption conclusion for the extension f would remain valid. The main Theorem A depends only on Proposition 2.2 and standard properties of ultrapowers, cones, and quasidiagonality; I found no concrete error in those arguments. The W-embedding step uses a one-sided intertwining argument that is standard in the cited literature, and the explicit h_i construction in Lemma 3.2 is consistent once the evident subscript typo (e_n should be the partial sum of g_i) is taken into account. Consequently, I do not see a load-bearing concern that would change the reader's verdict. The strongest residual risk is external: some citations, especially [BG24], are preprints by the first author, but the role they play here is not essential in the way the reader suggested.","tokens_in":3,"tokens_out":53953,"duration_ms":1432597,"concrete_test":"As a verification step worth running, read [Gab16, Theorem 2.1] and check whether its pure largeness hypothesis is implied by Definition 3.1 via positive lifts of elements of the quotient. If the implication holds, the [BG24, Proposition 4.14] equivalence is not needed for Theorem 3.4; if it fails, the cited equivalence becomes genuinely load-bearing and should be independently verified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The central claim of Theorem A is supported by Proposition 2.2, Voiculescu's quasidiagonality of cones, and the functoriality of cones and ultrapowers; I found no gap in that chain. The reader's concern about the dependence of Theorem 3.4 on [BG24, Proposition 4.14] does not appear to be load-bearing: Lemma 3.2 proves the stronger 'simplified' pure largeness from Definition 3.1 directly, and any extension satisfying Definition 3.1 satisfies the original pure largeness condition used in [Gab16, Theorem 2.1] by choosing a positive lift of a given quotient element. Thus the absorption step goes through even without the cited equivalence. I also checked the main constructions: the cone-over-UHF embeddings into Z and W, the cone-over-Q^omega step, and the continuous-field argument in Theorem 3.4. The only points that require external citations are standard and were not found to contain an internal inconsistency.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies embeddings into ultrapowers of the Jiang-Su algebra Z and the Razak-Jacelon algebra W. Its main result, Theorem A, states that the cone over any separable C*-algebra embeds into both Z^ω and W^ω; the proof combines an embedding of cones over UHF algebras into Z and W with Voiculescu's quasidiagonality of cones. A second result, Theorem C, asserts that a separable exact continuous field of C*-algebras over a connected compact metrizable space is Z^ω-embeddable provided one fiber is simple, nuclear, and Z^ω-embeddable; this is derived from an extension theorem (Theorem 3.4). The paper also gives a list of equivalences for separable exact traceless algebras (Corollary 2.6) and a homotopy-invariance corollary (Corollary D).","tokens_in":9906,"tokens_out":48480,"duration_ms":540699,"significance":"If correct, Theorem A is an elegant and rather surprising result: it exhibits many non-nuclear, projection-containing C*-algebras as subalgebras of the projectionless ultrapowers Z^ω and W^ω. The proof strategy is transparent and uses standard tools, and the paper is clearly written. The extension theorem, if fully established, would be a useful addition to the embedding theory of continuous fields. However, the proof of the key technical lemma (Lemma 3.2) behind the extension theorem is too terse and contains an identity that is not justified; this affects the secondary results, while the main Theorem A is independent of that lemma.","major_comments":[{"comment":"The key estimate for the elements h_i, namely h_i^*h_j = h_i^*(1-e_k)h_j = δ_ij e_n, is not proved and appears to be false with the stated definitions. Since e_n is constructed from an approximate unit {g_n} satisfying only g_{n+1}g_n = g_n, the elements g_n are not projections (indeed, a stable C*-algebra need not contain any nonzero projections), and the diagonal coefficients of h_i^*h_i are products such as g_j g_n, not g_n. Consequently the equality w^*w = a^{1/2}e_n a^{1/2} ⊗ Σ b_j^*b_j in Eq. (16) is not established, and the Cuntz subequivalence a⊗b ≲ y in Eq. (19) does not follow from the displayed estimates. This is load-bearing for Theorem 3.4 and hence for Theorem C; the proof needs either a corrected construction with explicit estimates or a complete derivation of the claimed identities.","section":"Lemma 3.2, Eqs. (14)–(19)"},{"comment":"The paper relies on [BG24, Proposition 4.14] to identify the simplified pure largeness condition of Definition 3.1 with the original pure largeness used in [Gab16, Theorem 2.1]. This is a cited preprint result by the first author, and it is used in a load-bearing way: if the identification fails, the absorption argument for the extension f collapses. The authors should either include a proof of this equivalence or show directly that the simplified condition implies the original condition used in [Gab16, Theorem 2.1]. A brief argument would make the paper self-contained at this point.","section":"Definition 3.1 and Theorem 3.4"}],"minor_comments":[{"comment":"The inclusion C Q^ω ⊆ (C Q)^ω is used without comment; it relies on exactness of C_0(0,1], and this should be stated explicitly.","section":"Proposition 2.2, Eq. (8)"},{"comment":"The notation C(CA) for the double cone is potentially confusing; define it as C_0((0,1]^2, A) or as C(CA)=C_0(0,1]⊗C_0(0,1]⊗A at first use.","section":"Corollary 2.5, proof"},{"comment":"The sentence \"and by the the ERC grant\" contains a duplicated word; it should read \"and by the ERC grant\".","section":"First page, Acknowledgements"},{"comment":"The proof implicitly uses that unitality of one fiber in a continuous field over a connected base implies that the total algebra E is unital; this should be mentioned, as it is needed to apply the unital case of Theorem 3.4.","section":"Corollary 3.6, proof"}],"recommendation":"major_revision","confidential_remarks":"The main Theorem A is sound and valuable. The problems are concentrated in the proof of Lemma 3.2 and the reliance on the first author's preprint [BG24] for the pure-largeness equivalence. If Lemma 3.2 can be repaired or replaced, the paper would be publishable. The dependence on an unpublished first-author preprint for a load-bearing step may also be a policy concern for the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis paper does two things. First, it shows the cone over any separable C*-algebra embeds into Z^omega and W^omega. That is new and useful. The proof is a nice combination: cone over UHF embeds into Z via Rordam-Winter, into W via Jacelon's building blocks; then quasidiagonality of cones (Voiculescu) and the double-cone trick reduce the general case to Q^omega. Clean and convincing.\n\nSecond, it proves Z^omega-embeddability passes to extensions under reasonable hypotheses, and applies that to continuous fields. The extension theorem is the heavier part. It uses Elliott-Kucerovsky absorption, Gabe's absorbing extension result, and O_2-stability to show the relevant extensions are strongly unitarily equivalent. The continuous-field corollary is a standard pushout, and homotopy equivalence to Z is a nice consequence.\n\nWhat I like: the paper is honest about what is known, the statements are crisp, and the proof strategy is transparent. The traceless equivalence corollary is a good advertisement for Gabe's results, not an overclaim.\n\nSoft spots. Lemma 3.2 is the densest estimate in the paper, and the reader flagged that it relies on [BG24] for the identification of \"simplified pure largeness\" with the original notion. On reading it, I don't think this is load-bearing: the lemma proves the simplified condition directly, and any extension satisfying it is purely large by lifting a quotient element to a positive contraction. So that concern looks manageable, though the authors should spell out that step. The other dependency, on [Gab20] for traceless AF embeddings, is standard and published. There are minor presentation issues—a few typos, and the proof of Proposition 3.3's injectivity via Kirchberg's slice lemma is a bit compressed—but nothing that undermines the argument. No fitted constants, no invented entities; this is a straight theorem-proving paper.\n\nWho it is for: anyone working on classification of stably projectionless C*-algebras, or on embeddability into ultrapowers. It deserves a serious referee. I'd send it to review and expect it to be accepted after the authors clarify the pure-largeness step and maybe expand Lemma 3.2 a little. I'd cite it if I were writing in the area.\n\nRecommendation: engage with it; it's a solid, useful paper with real new results.","headline":"A short, well-built paper with genuinely new embedding results; the only real caveat is a dense lemma that depends on a preprint, and that dependency looks removable.","tokens_in":10395,"tokens_out":1778,"would_cite":true,"duration_ms":20116,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L35"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the cone over any separable C*-algebra embeds into the ultrapowers of both the Jiang-Su algebra and the Razak-Jacelon algebra, and that embeddability passes through extensions.","keywords":["C*-algebras","ultrapowers","Jiang-Su algebra","Razak-Jacelon algebra","cones","continuous fields","trace-kernel ideal","pure largeness"],"falsifier":"Look for a specific $\\sigma$-unital stable ideal $J$ and a positive element $y$ outside $J$ inside the unitization that satisfies the paper's simplified largeness condition but not the original one; such a pair would invalidate Lemma 3.2 and the extension theorem. Alternatively, find a separable C*-algebra $A$ whose cone does not embed into $Z^\\omega$, which would contradict Theorem A.","tokens_in":2274,"feed_emoji":"🧮","tokens_out":5987,"duration_ms":192168,"temperature":0.7,"pith_summary":"This paper proves that for every separable C*-algebra $A$, the cone $CA=C_0((0,1],A)$ embeds into the ultrapowers $Z^\\omega$ and $W^\\omega$ of the Jiang-Su algebra and the Razak-Jacelon algebra. This is a general existence result for a class of algebras that is otherwise hard to characterize. It also proves that $Z^\\omega$-embeddability is preserved under certain extensions, which yields embeddability of separable exact continuous fields with one suitable fiber and of separable exact algebras homotopy equivalent to $Z$.","feed_headline":"Every separable C*-algebra cone fits in two ultrapowers","feed_subtitle":"The Jiang-Su and Razak-Jacelon ultrapowers both contain all such cones, and more.","key_machinery":"The central objects are the cone $CA=C_0((0,1],A)$, the ultrapower $B^\\omega$ of a C*-algebra along a free ultrafilter, and the trace-kernel ideal $J_B$ inside $B^\\omega$. The first half of the proof embeds the cone over the universal uniformly hyperfinite algebra $Q$ into $Z$ and into $W$, then uses quasidiagonality of cones and a double-cone map $CA\\to C(CA)$ to obtain all cones. The second half relies on pure largeness of certain extensions: an extension is purely large when every positive element of the ideal is Cuntz-subequivalent to every positive element outside the ideal. Purely large extensions are absorbing, and the vanishing of the extension group forces the original extension to be strongly unitarily equivalent to a model extension whose middle algebra embeds into $Z^\\omega$.","core_discovery":"The paper's central discovery is that the cone over any separable C*-algebra sits inside both $Z^\\omega$ and $W^\\omega$; more generally, the paper establishes a permanence result: $Z^\\omega$-embeddability passes through extensions when the ideal is separable and exact, the quotient is simple and nuclear, and a mild unitality condition holds. The proof works by showing that the relevant extension is purely large, hence absorbing, and then using triviality of the corresponding extension group to identify it with a model extension whose middle algebra is known to embed into $Z^\\omega$. As a corollary, separable exact continuous fields over connected bases inherit $Z^\\omega$-embeddability from a single well-behaved fiber, and every separable exact algebra homotopy equivalent to $Z$ embeds into $Z^\\omega$.","pith_inferences":["The proof route suggests that the ultrapower $Z^\\omega$ contains a much wider variety of subalgebras than just the simple nuclear ones, since cones over arbitrary separable algebras are generally neither simple nor nuclear.","The equivalence in Corollary B indicates that the trace-kernel ideals $J_Z$ and $J_W$ play, for traceless algebras, a role comparable to the role that the Cuntz algebra $O_2$ plays for separable exact algebras.","A natural further question is whether the fiber in the continuous-field theorem can be relaxed from simple nuclear to merely traceless; the paper's use of simplicity is concentrated in the absorption step, so the machinery might extend."],"forward_implications":["Every cone over a separable C*-algebra is now known to be a subalgebra of both $Z^\\omega$ and $W^\\omega$.","For separable, exact, traceless C*-algebras, embedding into the trace-kernel ideals $J_Z$ or $J_W$ is equivalent to AF-embeddability, quasidiagonality, stable finiteness, and stable projectionlessness.","A separable exact continuous field over a connected base embeds into $Z^\\omega$ if one fiber is simple, nuclear, and $Z^\\omega$-embeddable, under the stated unitality condition.","Every separable exact C*-algebra homotopy equivalent to $Z$ embeds into $Z^\\omega$.","If the embedding of the chosen fiber is unital, the induced embedding of the continuous field can also be chosen unital."],"supporting_citations":[{"why":"Supplies the result that the cone over any separable C*-algebra is quasidiagonal, used to embed the cone into a cone over Q.","marker":"[Voi91]"},{"why":"Provides the embedding of the unitization of a cone over a UHF algebra into Z, giving the first step of the cone embeddings.","marker":"[R W10]"},{"why":"Constructs W and its building blocks, used to embed cones over UHF algebras into W.","marker":"[Jac13]"},{"why":"Contains Proposition 4.14 identifying the simplified pure largeness condition with the original for sigma-unital stable ideals, on which Lemma 3.2 depends.","marker":"[BG24]"},{"why":"Supplies the Voiculescu-Brown-Douglas-Fillmore absorption theorem characterizing unitally absorbing extensions, used to compare extensions.","marker":"[EK01]"},{"why":"Provides the result that purely large extensions are absorbing, a key step in the extension theorem.","marker":"[Gab16]"},{"why":"Gives traceless AF-embedding equivalences and an embedding of the ideal into a suitable ASH algebra used in the extension proof.","marker":"[Gab20]"},{"why":"Computes Ext(D,J) as KK^1(D,J), and its vanishing forces the two absorbing extensions to be strongly unitarily equivalent.","marker":"[Kas80]"},{"why":"The O2-absorption theorem, used to show J tensor D is isomorphic to J.","marker":"[KP00]"}],"fun_headline_variants":["Every separable C*-algebra cone embeds in Z^ω and W^ω","Separable cones universal: all fit into Z and W ultrapowers","Ultrapowers of Z and W contain all separable C*-cones","Cone theorem: separable C*-algebras embed in two ultrapowers"],"cache_read_input_tokens":12672,"weakest_assumption_plain":"The load-bearing step is a technical property, taken from an earlier preprint, that identifies two ways of defining 'large' extensions for certain infinite-dimensional ideals; if that identification is wrong, the proof that extensions stay embeddable collapses.","fun_headline_variants_meta":{"raw":{"variants":["Every separable C*-algebra cone embeds in Z^ω and W^ω","Separable cones universal: all fit into Z and W ultrapowers","Ultrapowers of Z and W contain all separable C*-cones","Cone theorem: separable C*-algebras embed in two ultrapowers"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000448,"raw_usage":{"total_tokens":2190,"prompt_tokens":801,"completion_tokens":1389,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":417,"completion_tokens_details":{"reasoning_tokens":1308}},"tokens_in":417,"tokens_out":1389,"duration_ms":13282,"temperature":1.0,"reasoning_tokens":1308,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T01:03:00.407266+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Look for a specific $\\sigma$-unital stable ideal $J$ and a positive element $y$ outside $J$ inside the unitization that satisfies the paper's simplified largeness condition but not the original one; such a pair would invalidate Lemma 3.2 and the extension theorem. Alternatively, find a separable C*-algebra $A$ whose cone does not embed into $Z^\\omega$, which would contradict Theorem A.","supporting_citations":[],"review_version":1}