Embeddings into the ultrapower of the Jiang-Su algebra

Ben Bouwen; Jennifer Pi

REVIEW 2 major objections 4 minor 8 references

Embeddings into the ultrapower of the Jiang-Su algebra

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

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

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2506.11983 v1 pith:JWVF4NPR submitted 2025-06-13 math.OA

Ben Bouwen , Jennifer Pi This is my paper · ORCID

classification math.OA MSC 46L35

keywords C*-algebrasultrapowersJiang-SualgebraRazak-Jacelonconescontinuousfieldstrace-kernelidealpurelargeness

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 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$.

What carries the argument

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$.

What would settle it

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.

Watch

Extended reading notes

Core claim

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$.

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

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

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.

Share X Bluesky LinkedIn Reddit HN

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

Colleague,

This 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.

Second, 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.

What 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.

Soft 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.

Who 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.

Recommendation: engage with it; it's a solid, useful paper with real new results.

Referee Report

2 major / 4 minor

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).

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 (2)

[Lemma 3.2, Eqs. (14)–(19)] 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.
[Definition 3.1 and Theorem 3.4] 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.

minor comments (4)

[Proposition 2.2, Eq. (8)] 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.
[Corollary 2.5, proof] 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.
[First page, Acknowledgements] The sentence "and by the the ERC grant" contains a duplicated word; it should read "and by the ERC grant".
[Corollary 3.6, proof] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: all load-bearing steps are external theorems or direct constructions; the sole self-citation is not load-bearing.

full rationale

The derivation of Theorem A is self-contained: Proposition 2.2 constructs cone-over-UHF embeddings into Z and W from [RW10, Proposition 3.3] and [Jac13, Lemma 4.1]; Corollary 2.5 then combines Voiculescu's quasidiagonality of cones [Voi91], the explicit double-cone map CA into C(CA), and the ultrapower of the cone-over-Q embedding. No fitted constants, data, or quantities defined in terms of the target conclusion appear anywhere. Theorem 3.4 likewise rests on standard extension-theoretic results ([EK01], [Gab16], [Kas80], [MT06]) and on external classification/embedding theorems. The only self-citation is [BG24, Proposition 4.14] in the paragraph after Definition 3.1, which identifies a simplified pure-largeness condition with the original one. This is not load-bearing: Lemma 3.2 proves the simplified condition directly, and the simplified condition already implies the original pure-largeness hypothesis needed for [Gab16, Theorem 2.1] by choosing a positive lift of a positive quotient element and applying the simplified condition. Thus the absorption argument does not depend on the unresolved part of the self-citation. No renaming of known results, no fitted-input-called-prediction, and no uniqueness assertion imported from the authors' prior work is used to force the conclusion. The paper's logic is therefore not circular.

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

No free parameters or invented entities appear; the results are pure existence theorems. The axioms list the key cited theorems the arguments depend on, none of which are assumed ad hoc for this paper.

assumptions (8)

domain assumption Rordam-Winter [RW10, Prop 3.3]: unital embeddings of dimension-drop algebras Z_{1,n} = (CM_n)^~ into Z exist
Used in Proposition 2.2 to embed the cone over a UHF algebra into Z.
domain assumption Jacelon [Jac13, Lemma 4.1]: existence of trace-preserving injective maps from building blocks W(1,m) into W with approximate unitary equivalence
Used in Proposition 2.2 for the W-embedding of cones over UHF algebras.
domain assumption Voiculescu [Voi91]: cones over separable C*-algebras are quasidiagonal; Brown-Ozawa [BO08, Thm 8.3.5]: separable quasidiagonal iff embeds into Q^omega
Basis for the cone-embedding result in Corollary 2.5.
domain assumption Gabe [Gab20, Theorem A and Corollary C]: for separable exact traceless algebras, quasidiagonality, AF-embeddability, cone-over-O2 embeddability, stable finiteness and stable projectionlessness are equivalent
Used in Corollary 2.6 and to embed the ideal J in Theorem 3.4 into Z^omega.
domain assumption Elliott-Kucerovsky [EK01]: characterization of unitally absorbing extensions via pure largeness; Gabe [Gab16]: purely large extensions are absorbing
Core of Theorem 3.4 showing the relevant extensions are absorbing.
domain assumption Kasparov [Kas80]: Ext(D,J) is isomorphic to KK^1(D,J); O2 is KK-contractible, so KK-contractible ideals give trivial Ext
Used to conclude strong unitary equivalence of absorbing extensions.
domain assumption BG24, Proposition 4.14: simplified pure largeness of Definition 3.1 is equivalent to the original pure largeness for sigma-unital stable ideals
Load-bearing for Lemma 3.2 and Theorem 3.4; cited from a preprint by the first author.
standard math Kirchberg's slice lemma [Ror02, Lemma 4.1.9]: nonzero ideals in tensor products contain nonzero elementary tensors
Used in Proposition 3.3 to prove injectivity of the tensor product embedding.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Embeddings into the ultrapower of the Jiang-Su algebra." pith.science (2026). https://pith.science/paper/JWVF4NPR

@misc{pith2026250611983,
  author       = {Pith},
  title        = {Pith review of: Embeddings into the ultrapower of the Jiang-Su algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JWVF4NPR}},
  note         = {Machine review of arXiv:2506.11983}
}

abstract

We study existence of embeddings into ultrapowers of the Jiang-Su algebra $\mathcal{Z}$ and the Razak-Jacelon algebra $\mathcal{W}$. More specifically, we show that the cone over any separable $C^*$-algebra embeds into the ultrapowers of both $\mathcal{Z}$ and $\mathcal{W}$. We also show that the result for $\mathcal{Z}$ generalizes to separable and exact continuous fields of $C^*$-algebras for which one of the fibers embeds into the ultrapower of $\mathcal{Z}$, if this fiber is suitably well-behaved.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 7 canonical work pages

[126]

A purely infinite AH-algebra and an application to AF-embeddability

Encyclopaedia Math. Sci. Springer, Berlin, 2002, pp. 1–145.isbn: 3- 540-42305-X.doi:10 . 1007 / 978 - 3 - 662 - 04825 - 2 \ _1.url:https : //doi.org/10.1007/978-3-662-04825-2_1. [Rør04] Mikael Rørdam. “A purely infinite AH-algebra and an application to AF-embeddability”. In:Israel J. Math.141 (2004), pp. 61–82.issn: REFERENCES 11 0021-2172,1565-8511.doi:1...

work page doi:10.1007/978-3-662-04825-2_1 2004
[231]

A simple, monotracial, stably projectionlessC ∗-algebra

[Jac13] Bhishan Jacelon. “A simple, monotracial, stably projectionlessC ∗-algebra”. In:J. Lond. Math. Soc. (2)87.2 (2013), pp. 365–383.issn: 0024-6107,1469- 7750.doi:10.1112/jlms/jds049.url:https://doi.org/10.1112/ jlms/jds049. [JS99] Xinhui Jiang and Hongbing Su. “On a simple unital projectionlessC ∗- algebra”. In:American journal of mathematics121.2 (19...

work page doi:10.1112/jlms/jds049.url:https://doi.org/10.1112/ 2013
[413]

The operatorK-functor and extensions ofC ∗- algebras

[Kas80] Gennadi G. Kasparov. “The operatorK-functor and extensions ofC ∗- algebras”. In:Izv. Akad. Nauk SSSR Ser. Mat.44.3 (1980), pp. 571–636, 719.issn: 0373-2436. [KP00] Eberhard Kirchberg and N. Christopher Phillips. “Embedding of exact C ∗-algebras in the Cuntz algebraO 2”. In:Journal f¨ ur die reine und angewandte Mathematik(2000). [KR00] Eberhard Ki...

work page 1980
[666]

Purely infiniteC ∗-algebras: ideal-preserving zero homotopies

[KR05] Eberhard Kirchberg and Mikael Rørdam. “Purely infiniteC ∗-algebras: ideal-preserving zero homotopies”. In:Geometric & Functional Analysis GAF A15.2 (2005), pp. 377–415. [Lin01] Huaxin Lin.An introduction to the classification of amenableC ∗-algebras. World Scientific Publishing Co., Inc., River Edge, NJ, 2001, pp. xii+320. isbn: 981-02-4680-3.doi:1...

work page doi:10.1142/9789812799883 2005
[1998]

The nuclear dimension ofO ∞-stableC ∗-algebras

[Bos+22] Joan Bosa, James Gabe, Aidan Sims, and Stuart White. “The nuclear dimension ofO ∞-stableC ∗-algebras”. In:Advances in Mathematics401 (2022), p. 108250. [BG24] Ben Bouwen and James Gabe.A unified approach for classifying simple nuclearC ∗-algebras

work page 2022
[2008]

An abstract Voiculescu–Brown– Douglas–Fillmore absorption theorem

[EK01] George A. Elliott and Dan Kucerovsky. “An abstract Voiculescu–Brown– Douglas–Fillmore absorption theorem”. In:Pacific Journal of Mathe- matics198.2 (2001), pp. 385–409. [Far+21] Ilijas Farah, Bradd Hart, Martino Lupini, Leonel Robert, Aaron Tikui- sis, Alessandro Vignati, and Wilhelm Winter.Model Theory ofC ∗- Algebras. Vol

work page 2001
[2021]

A note on nonunital absorbing extensions

10 REFERENCES [Gab16] James Gabe. “A note on nonunital absorbing extensions”. In:Pacific J. Math.284.2 (2016), pp. 383–393.issn: 0030-8730,1945-5844.doi: 10.2140/pjm.2016.284.383.url:https://doi.org/10.2140/pjm. 2016.284.383. [Gab20] James Gabe. “Traceless AF embeddings and unsuspended E-theory”. In:Geometric and Functional Analysis30.2 (2020), pp. 323–33...

work page doi:10.2140/pjm.2016.284.383.url:https://doi.org/10.2140/pjm 2016
[2024]

[BO08] Nathanial P

arXiv:2412.15968 [math.OA].url:https: //arxiv.org/abs/2412.15968. [BO08] Nathanial P. Brown and Narutaka Ozawa.C ∗-Algebras and Finite-Dimensional Approximations. Vol

arXiv

Pith tools

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

[1] [126]

A purely infinite AH-algebra and an application to AF-embeddability

Encyclopaedia Math. Sci. Springer, Berlin, 2002, pp. 1–145.isbn: 3- 540-42305-X.doi:10 . 1007 / 978 - 3 - 662 - 04825 - 2 \ _1.url:https : //doi.org/10.1007/978-3-662-04825-2_1. [Rør04] Mikael Rørdam. “A purely infinite AH-algebra and an application to AF-embeddability”. In:Israel J. Math.141 (2004), pp. 61–82.issn: REFERENCES 11 0021-2172,1565-8511.doi:1...

work page doi:10.1007/978-3-662-04825-2_1 2004

[2] [231]

A simple, monotracial, stably projectionlessC ∗-algebra

[Jac13] Bhishan Jacelon. “A simple, monotracial, stably projectionlessC ∗-algebra”. In:J. Lond. Math. Soc. (2)87.2 (2013), pp. 365–383.issn: 0024-6107,1469- 7750.doi:10.1112/jlms/jds049.url:https://doi.org/10.1112/ jlms/jds049. [JS99] Xinhui Jiang and Hongbing Su. “On a simple unital projectionlessC ∗- algebra”. In:American journal of mathematics121.2 (19...

work page doi:10.1112/jlms/jds049.url:https://doi.org/10.1112/ 2013

[3] [413]

The operatorK-functor and extensions ofC ∗- algebras

[Kas80] Gennadi G. Kasparov. “The operatorK-functor and extensions ofC ∗- algebras”. In:Izv. Akad. Nauk SSSR Ser. Mat.44.3 (1980), pp. 571–636, 719.issn: 0373-2436. [KP00] Eberhard Kirchberg and N. Christopher Phillips. “Embedding of exact C ∗-algebras in the Cuntz algebraO 2”. In:Journal f¨ ur die reine und angewandte Mathematik(2000). [KR00] Eberhard Ki...

work page 1980

[4] [666]

Purely infiniteC ∗-algebras: ideal-preserving zero homotopies

[KR05] Eberhard Kirchberg and Mikael Rørdam. “Purely infiniteC ∗-algebras: ideal-preserving zero homotopies”. In:Geometric & Functional Analysis GAF A15.2 (2005), pp. 377–415. [Lin01] Huaxin Lin.An introduction to the classification of amenableC ∗-algebras. World Scientific Publishing Co., Inc., River Edge, NJ, 2001, pp. xii+320. isbn: 981-02-4680-3.doi:1...

work page doi:10.1142/9789812799883 2005

[5] [1998]

The nuclear dimension ofO ∞-stableC ∗-algebras

[Bos+22] Joan Bosa, James Gabe, Aidan Sims, and Stuart White. “The nuclear dimension ofO ∞-stableC ∗-algebras”. In:Advances in Mathematics401 (2022), p. 108250. [BG24] Ben Bouwen and James Gabe.A unified approach for classifying simple nuclearC ∗-algebras

work page 2022

[6] [2008]

An abstract Voiculescu–Brown– Douglas–Fillmore absorption theorem

[EK01] George A. Elliott and Dan Kucerovsky. “An abstract Voiculescu–Brown– Douglas–Fillmore absorption theorem”. In:Pacific Journal of Mathe- matics198.2 (2001), pp. 385–409. [Far+21] Ilijas Farah, Bradd Hart, Martino Lupini, Leonel Robert, Aaron Tikui- sis, Alessandro Vignati, and Wilhelm Winter.Model Theory ofC ∗- Algebras. Vol

work page 2001

[7] [2021]

A note on nonunital absorbing extensions

10 REFERENCES [Gab16] James Gabe. “A note on nonunital absorbing extensions”. In:Pacific J. Math.284.2 (2016), pp. 383–393.issn: 0030-8730,1945-5844.doi: 10.2140/pjm.2016.284.383.url:https://doi.org/10.2140/pjm. 2016.284.383. [Gab20] James Gabe. “Traceless AF embeddings and unsuspended E-theory”. In:Geometric and Functional Analysis30.2 (2020), pp. 323–33...

work page doi:10.2140/pjm.2016.284.383.url:https://doi.org/10.2140/pjm 2016

[8] [2024]

[BO08] Nathanial P

arXiv:2412.15968 [math.OA].url:https: //arxiv.org/abs/2412.15968. [BO08] Nathanial P. Brown and Narutaka Ozawa.C ∗-Algebras and Finite-Dimensional Approximations. Vol

arXiv