On the inclusion $\cO_2 \subset \cQ_2$

Jacopo Bassi; Roberto Conti

REVIEW 2 major objections 5 minor 24 references

On the inclusion $\cO_2 \subset \cQ_2$

T0 review · 2 major / 5 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 The natural inclusion of O2 in Q2 is C*-irreducible and rigid, making their injective envelopes *-isomorphic.

desk verdict C*-irreducibility is solid; the rigidity proof has a repairable gap; the injective-envelope corollary is not proven as written. read the letter →

arxiv 2505.16759 v1 pith:O7GIC6WA submitted 2025-05-22 math.OA

Jacopo Bassi , Roberto Conti This is my paper · ORCID

classification math.OA MSC 46L0547L40

keywords diadicC*-algebraCuntzalgebraC*-irreducibleinclusionrigidinjectiveenvelopepseudo-expectationCartansubalgebra

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

The paper proves that the canonical inclusion $O_2 \subset Q_2$, where $Q_2$ is the diadic (2-adic) ring $C^*$-algebra and $O_2$ is the Cuntz algebra, is $C^*$-irreducible and rigid. This means every $C^*$-algebra between them is simple, and the only ucp map from $Q_2$ to itself that fixes $O_2$ pointwise is the identity (in fact the only such ucp map into $B(\ell^2(\mathbb{Z}))$). From these two properties the authors deduce that the injective envelopes of $O_2$ and $Q_2$ are $*$-isomorphic, a coincidence they note is otherwise rare outside equivariant settings. The $C^*$-irreducibility argument goes through the diagonal subalgebra and uniqueness of pseudo-expectations; the rigidity argument uses the canonical representation on $\ell^2(\mathbb{Z})$.

What carries the argument

The central objects are the Cuntz algebra $O_2$ (universal on two isometries $S_1, S_2$ with $S_1S_1^* + S_2S_2^* = 1$) and the diadic $C^*$-algebra $Q_2$ (universal on a unitary $U$ and an isometry $S_2$ satisfying $U^2 S_2 = S_2 U$ and $S_2S_2^* + U S_2S_2^* U^* = 1$, with $S_1 := U S_2$). Rigidity is carried by the canonical representation of $Q_2$ on $\ell^2(\mathbb{Z})$ and the projections $p_k = S_1^k S_2 S_2^* (S_1^*)^k$; the relation $U S_1^k S_2 = S_2^k S_1$ lets the paper show that any ucp map fixing $O_2$ fixes each $U p_k$, and the asserted weak convergence $\sum_{k=1}^\infty p_k = 1$ forces $\varphi(U) = U$. $C^*$-irreducibility is carried by the diagonal subalgebra $D_2 \subset O_2$, which is Cartan in $Q_2$; the uniqueness and faithfulness of the pseudo-expectation onto $D_2$ then make the inclusion hereditarily essential.

What would settle it

In the canonical representation on $\ell^2(\mathbb{Z})$, compute the weak limit of the partial sums $\sum_{k=1}^N p_k$. Each $p_k$ projects onto basis vectors at positions $n \equiv 2^k - 1 \pmod{2^{k+1}}$, so the union of these ranges over $k \geq 1$ excludes the even positions; the weak limit is therefore not the identity, directly contradicting the assertion used in the proof of Proposition 2.5.

Watch

Extended reading notes

Core claim

The authors establish that the inclusion $O_2 \subset Q_2$ has two properties: it is $C^*$-irreducible, so every intermediate $C^*$-algebra is simple, and it is rigid, so the only ucp map $Q_2 \to B(H)$ that restricts to the identity on $O_2$ is the identity on $Q_2$. The immediate consequence is that the injective envelopes $I(O_2)$ and $I(Q_2)$ are $*$-isomorphic. The proof of $C^*$-irreducibility uses the fact that the diagonal subalgebra $D_2$ is Cartan in $Q_2$, giving a unique pseudo-expectation from $Q_2$ to $D_2$, and that the known conditional expectation is faithful. The rigidity proof uses the canonical representation on $\ell^2(\mathbb{Z})$ and the projections $p_k = S_1^k S_2 S_2^* (S_1^*)^k$ for $k \geq 1$, which the paper asserts converge weakly to the identity.

Load-bearing premise

The rigidity proof depends on the claim that the projections $p_k = S_1^k S_2 S_2^* (S_1^*)^k$ for $k \geq 1$ converge weakly to the identity of $\ell^2(\mathbb{Z})$; if that partition-of-unity fact fails, the step that forces $\varphi(U) = U$ does not follow.

Editorial extensions

If this is right

Every $C^*$-algebra $E$ with $O_2 \subset E \subset Q_2$ is simple; with additional work, such $E$ is purely infinite.
The inclusion is rigid: in the canonical representation, the identity is the only ucp map $Q_2 \to B(\ell^2(\mathbb{Z}))$ extending the identity on $O_2$.
The injective envelopes of $O_2$ and $Q_2$ are $*$-isomorphic, so both algebras share the same boundary in the injective-envelope sense.
The same Cartan/pseudo-expectation argument proves $C^*$-irreducibility for the diagonal and core UHF inclusions inside the diagram $F_2 \subset B_2$ and $O_2 \subset Q_2$.
The authors expect the results to carry over to the inclusions $O_n \subset Q_n$ for all $n > 2$.

Reading between the lines

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

A direct range computation in $\ell^2(\mathbb{Z})$ shows that the projections $p_k$ for $k \geq 1$ cover only the odd basis positions (with respect to the shift) and miss the even ones, so the asserted weak convergence to $1$ is not automatic; the intended proof may be repaired by adding the $k=0$ term $S_2S_2^*$ or an equivalent argument.
If the rigidity conclusion survives, then any ucp map from $Q_2$ into any containing algebra that fixes $O_2$ must fix all of $Q_2$, which suggests that the two algebras share the same noncommutative boundary and may constrain possible intermediate von Neumann algebras.
The question of whether $O_2 \subset Q_2$ is actually tight (no nontrivial intermediate $C^*$-algebra) is left open; the unitary normalizer of $O_2$ inside $Q_2$ is a concrete candidate to examine.

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

Quick take: the C*-irreducibility proof is sound and new; the rigidity result is probably true but the written proof has a small gap; the injective-envelope corollary is not established by the argument given.

The inclusion O2⊂Q2 being C*-irreducible is a nice addition to the short list of examples. The proof via the Cartan subalgebra D2, unique pseudo-expectations, and Pitts–Zarikian is clean, and the observation that the same argument handles F2⊂B2 and the other inclusions in the square is a good bonus. Credit where it's due: this part is correct and economical.

The rigidity statement is the more original piece. Proposition 2.5 aims to show that any ucp map Q2→B(H) fixing O2 is the identity. The strategy is sound—use the multiplicative domain and a partition of unity—but the partition is written wrong. The projections p_k = S1^k S2 S2* (S1*)^k for k≥1 sum only to the projection onto the odd integers in the canonical ℓ2(Z) representation. You need to include p_0 = S2S2* (or handle the even integers separately) to get the identity. This is a one-line repair and doesn't threaten the rigidity conclusion itself.

The real problem is Corollary 2.6. After constructing ucp maps φ and ψ between I(O2) and I(Q2), the paper says they are complete order isomorphisms and 'thus *-isomorphisms ([12] Theorem II.6.9.17).' That inference is false. Blackadar's theorem gives a Jordan *-isomorphism, not a *-isomorphism; the transpose on M2 is a standard counterexample. Nothing in the argument shows φ or ψ is multiplicative. So the injective-envelope isomorphism is unproven as it stands. Maybe a different theorem connects rigidity of A⊂B to I(A)≅I(B)—the authors cite Suzuki's work on tight inclusions, where something along these lines may exist—but they don't cite or prove it. This is a load-bearing gap in the paper's headline claim.

The citation pattern is honest, and the self-citations are prior published results, not circular moves. The paper is short and readable, and the main C*-irreducibility result plus the likely-true rigidity result are worth having in the literature. I'd send it to a referee, asking them to verify the corrected partition argument and to demand a valid proof of the injective-envelope claim, or a citation to a theorem that yields it.

For the reading group: this is a good paper to discuss precisely because the final inference is a subtle trap that's easy to miss. Operator algebraists interested in rigidity and injective envelopes will want to see a corrected version.

Referee Report

2 major / 5 minor

Summary. The manuscript studies the canonical inclusion O2 ⊂ Q2 of the Cuntz algebra into the 2-adic ring C*-algebra. It claims three results: that the inclusion is C*-irreducible (Corollary 2.3), that it is rigid (Proposition 2.5), and that the injective envelopes of O2 and Q2 are *-isomorphic (Corollary 2.6 and the last bullet of Theorem 2.7). The proof of C*-irreducibility uses the diagonal subalgebra D2, its Cartan status inside Q2, and unique pseudo-expectations. The rigidity proof uses the canonical representation on ℓ2(Z) and the multiplicative domain of the ucp map. The paper is short and relies on standard external results from Larsen–Li, Aiello–Conti–Rossi, Pitts–Zarikian, Rørdam, and Hamana.

Significance. If the main claims hold, the paper establishes a natural inclusion between two well-studied simple, nuclear, purely infinite C*-algebras that is simultaneously C*-irreducible and rigid; such examples are relatively rare and the rigidity conclusion is strong, since it forces every ucp map Q2 → B(H) fixing O2 pointwise to be the identity. The claimed identification of the injective envelopes of O2 and Q2 would be a notable consequence. The proof of C*-irreducibility is persuasive and well grounded in the literature. However, the written proof of rigidity contains a false partition-of-unity assertion, and the final inference in Corollary 2.6 is invalid as stated; the latter needs an additional argument before the abstract's headline conclusion is justified.

major comments (2)

[§2, Proposition 2.5, Eq. (1)] The assertion that the projections p_k = S1^k S2 S2* (S1*)^k for k ≥ 1 converge weakly to 1 is false. In the canonical representation on ℓ2(Z), these projections are the ranges of S1^k on the even integers and cover the odd congruence classes 2^k − 1 modulo 2^{k+1}, not the even integers. The missing term p_0 = S2 S2* is needed to cover the even integers. Since the conclusion ϕ(U) = U depends on having a partition of unity ∑ p_k = 1, the proof as written has a load-bearing gap. This is easily repaired by including k = 0 in the sum, after verifying the same identity ϕ(U p_0) = U p_0.
[§2, Corollary 2.6] The final step 'they are complete order isomorphisms and thus *-isomorphisms ([12] Theorem II.6.9.17)' is invalid. A complete order isomorphism between C*-algebras is a Jordan *-isomorphism, not necessarily a *-isomorphism; transposition on M2 is a standard counterexample. The cited Blackadar theorem supports only the Jordan version. To obtain a *-isomorphism one needs an additional argument; for example, I(O2) is simple (an essential extension of a unital simple C*-algebra), a Jordan *-isomorphism from a simple C*-algebra is either a *-isomorphism or a *-anti-isomorphism, and the latter is excluded because the maps constructed fix the noncommutative subalgebra Q2 pointwise. This argument is absent, so Corollary 2.6 and the corresponding bullet of Theorem 2.7 are not proved as written.

minor comments (5)

[§2, Proposition 2.5] The notation k ∈ N in Eq. (1) is inconsistent with the subsequent sum over k ≥ 1. Please make the convention explicit; if N = {1,2,...}, then p_0 must be defined separately.
[§2, just before Eq. (2)] The relation U S1^k S2 = S2^k S1 is used without derivation; a one-line verification would improve readability.
[§2, Corollary 2.6] If the repair suggested in the major comment is adopted, please cite a theorem on Jordan *-isomorphisms of simple C*-algebras rather than citing [12] II.6.9.17 as if it gave multiplicativity.
[§3] There is a typo in the acknowledgments: 'ackowledges' should be 'acknowledges'.
[Abstract and Theorem 2.7] Until the *-isomorphism of injective envelopes is proved, the abstract and Theorem 2.7 overstate the conclusion; at present only complete order isomorphism of the envelopes is established by the preceding argument.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the derivation rests on external published results plus direct computation; the noted gaps are mathematical errors, not circular reductions.

full rationale

No circular step is present. Corollary 2.3 derives C*-irreducibility from the Cartan-in-Q2 result of the self-cited paper [1] together with the external unique-pseudo-expectation theorem of Pitts-Zarikian [21] and the faithful conditional expectation from Larsen-Li [17]; the self-citation is prior published work with independent content, not an assumption tailored to prove the present claim. Proposition 2.5 attempts a direct computation on the canonical representation using the isometries S1, S2, and Proposition 2.2 is an application of an external theorem. Corollary 2.6 argues from rigidity through the universal property of injective envelopes. The written proof contains two genuine mathematical gaps that are not circularity: the assertion that the projections p_k for k >= 1 sum weakly to 1 is false and needs p_0 = S2S2*; and a complete order isomorphism between C*-algebras need not be a *-isomorphism, so the cited Blackadar theorem does not justify the final conclusion. These are correctness concerns, not instances of a claim reducing to its own input, a fitted parameter being renamed as a prediction, or a load-bearing unverified self-citation. No equation is assumed to prove itself, and the main theorem is not equivalent to its assumptions by definition.

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

The paper contributes no free parameters and no new entities. It rests on standard facts about O2 and Q2, the Cartan subalgebra D2 with its unique faithful pseudo-expectation, the existence and universal property of injective envelopes, and the multiplicative domain theorem for ucp maps. One additional stated assertion, that the projections p_k for k≥1 converge weakly to 1, is actually false and is a load-bearing error in the rigidity proof.

assumptions (5)

domain assumption Q2 is simple, nuclear, purely infinite, with K0 and K1 both Z; O2 is simple, nuclear, purely infinite with trivial K-theory.
Stated in the introduction, attributed to [17] and [13]; used to justify application of Lemma 2.1 and Prop 2.2.
domain assumption The diagonal subalgebra D2 ⊂ O2 is Cartan in Q2 and admits a unique pseudo-expectation from Q2, which is faithful.
Used in Corollary 2.3 to verify the hypothesis of Prop 2.2; cited to [1, Section 3], [21, Theorem 1.4], and [17].
standard math Existence and properties of injective envelopes (Hamana), including the universal property that a ucp map on I(A) fixing A is the identity.
Used in Corollary 2.6 to show the map compositions are identities; cited to [15].
standard math Multiplicative domain theorem for ucp maps (Choi's theorem).
Used in Prop 2.5 to pull O2 elements out of φ; standard C*-algebra result.
ad hoc to paper In the canonical representation of Q2 on ℓ2(Z), the projections p_k for k ≥ 1 converge weakly to 1.
This is stated in Prop 2.5 but is false; the correct statement requires including k=0. This is a load-bearing error in the proof.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the inclusion $\cO_2 \subset \cQ_2$." pith.science (2026). https://pith.science/paper/O7GIC6WA

@misc{pith2026250516759,
  author       = {Pith},
  title        = {Pith review of: On the inclusion $\cO_2 \subset \cQ_2$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/O7GIC6WA}},
  note         = {Machine review of arXiv:2505.16759}
}

abstract

The diadic $C^*$-algebra $\cQ_2$ contains canonically a copy of the Cuntz algebra $\cO_2$. It is shown that the inclusion $\cO_2 \subset \cQ_2$ is $C^*$-irreducible and rigid. It follows that the injective envelopes of these two $C^*$-algebras are $*$-isomorphic.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 21 canonical work pages

[12]

Blackadar, Operator algebras

B. Blackadar, Operator algebras. Theory of C ∗-algebras and von Neumann algebras. Encyclopaedia Math. Sci., 122, Oper. Alg. Non-commut. Geom., III Springer-Verlag, Berlin, 2006. xx+517 pp

work page 2006
[1]

Aiello, R

V. Aiello, R. Conti, S. Rossi, A look at the inner structure of the2-adic ring C ∗-algebra and its automorphism groups.Publ. Res. Inst. Math. Sci.54 (2018) 45–87

work page 2018
[2]

Aiello, R

V. Aiello, R. Conti, S. Rossi, A hitchhiker’s guide to endomorphisms and automorphisms of Cuntz algebras,Rend. Mat. Appl.(7) 42 (2021) 61–162

work page 2021
[3]

Aiello, R

V. Aiello, R. Conti, S. Rossi, Normalizers and permutative endomorphisms of the 2-adic ringC ∗-algebra. J. Math. Anal. Appl.481 (2020) no. 1, 123395

work page 2020
[4]

C. A. Akemann, P. A. Ostrand, On a tensor productC ∗-algebra associated with the free group on two generators,J. Math. Soc. Japan27:4 (1975), 589– 599

work page 1975
[5]

Amrutam, J

T. Amrutam, J. Bassi, On relative commutants of subalgebras in group and tracial crossed product von Neumann algebras,Pacific J. Math.331:1 (2024) 1–22

work page 2024
[6]

Amrutam, M

T. Amrutam, M. Kalantar, On simplicity of intermediateC ∗-algebras, Ergodic Theory Dynam. Systems40:12 (2020), 3181–3187

work page 2020
[7]

Amrutam, D

T. Amrutam, D. Ursu, A generalized Powers averaging property for commu- tative crossed products,Trans. Amer. Math. Soc.375:3 (2022), 2237–2254

work page 2022

Show all 24 references

[8]

Bassi, An approach to the study of boundary actions, preprint (2023), https://arxiv.org/abs/2305.16277

J. Bassi, An approach to the study of boundary actions, preprint (2023), https://arxiv.org/abs/2305.16277

2023 arXiv
[9]

Bassi and F

J. Bassi and F. Rădulescu, A mixing property for the action ofSL(3, Z) × SL(3, Z) on the Stone-Čech boundary ofSL(3, Z), Int. Math. Res. Not. IMRN, 2024:1 (2024), 234–283, DOI: 10.1093/imrn/rnad014

2024 doi
[10]

Bassi and F

J. Bassi and F. Rădulescu, Separable boundaries for nonhyperbolic groups,J. Operator Theory 87:2 (2022), 461–470, DOI: 10.7900/jot

2022 doi
[11]

Bédos, T

E. Bédos, T. Omland,C ∗-irreducibility for reduced twisted groupC ∗-algebras. J. Funct. Anal.284 (2023), Paper No. 109795

2023
[13]

Cuntz, Simple C ∗-algebras generated by isometries,Comm

J. Cuntz, Simple C ∗-algebras generated by isometries,Comm. Math. Phys., 57:2 (1977), 173–185

1977
[14]

Echterhoff, M

S. Echterhoff, M. Rørdam, Inclusions ofC ∗-algebras arising from fixed-point algebras, Groups Geom. Dyn.18 (2024), 127–145

2024
[15]

Hamana, Injective envelopes of C ∗-algebras, J

M. Hamana, Injective envelopes of C ∗-algebras, J. Math. Soc. Japan 31:1 (1979), 181–197

1979
[16]

Kalantar, M

M. Kalantar, M. Kennedy, Boundaries of reduced C ∗-algebras of discrete groups, J. Reine Angew. Math.727 (2017), 247–267. ON THE INCLUSION O2 ⊂ Q2 7

2017
[17]

N. S. Larsen and X. Li, The 2-adic ring C*-algebra of the integers and its representations. J. Func. Anal.262 (4) (2012), 1392–1426

2012
[18]

K. Li, E. Scarparo,C ∗-irreducibility of commensurated subgroups.Pacific J. Math. 322 (2023), 369–380

2023
[19]

Ozawa, Boundaries of reduced free groupC ∗-algebras, Bull

N. Ozawa, Boundaries of reduced free groupC ∗-algebras, Bull. Lond. Math. Soc. 39:1 (2007), 35–38

2007
[20]

Ozawa, Solid von Neumann algebras,Acta Math

N. Ozawa, Solid von Neumann algebras,Acta Math. 192:1 (2004), 111–117

2004
[21]

D. R. Pitts, V. Zarikian, Unique pseudo-expectations forC ∗-inclusions. Illinois J. Math. 59:2 (2015), 449–483

2015
[22]

Rørdam, Irreducible inclusions of simpleC ∗-algebras

M. Rørdam, Irreducible inclusions of simpleC ∗-algebras. Enseign. Math. 69 (2023), no. 3-4, 275–314

2023
[23]

Suzuki, Non-amenable tight squeezes by Kirchberg algebras,Math

Y. Suzuki, Non-amenable tight squeezes by Kirchberg algebras,Math. Ann. 382 (2022), no.1-2, 631–653

2022
[24]

Zarikian, Unique pseudo-expectations for hereditarily essential C ∗- inclusions, arXiv:2406.19484

V. Zarikian, Unique pseudo-expectations for hereditarily essential C ∗- inclusions, arXiv:2406.19484. Addresses of the authors: JacopoBassi, Department of Mathematics, University of Tor Vergata, Via della Ricerca Scientifica 1, 00133 Roma, Italy E-mail: bassi@axp.mat.uniroma2....

arXiv

Pith tools

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

[1] [12]

Blackadar, Operator algebras

B. Blackadar, Operator algebras. Theory of C ∗-algebras and von Neumann algebras. Encyclopaedia Math. Sci., 122, Oper. Alg. Non-commut. Geom., III Springer-Verlag, Berlin, 2006. xx+517 pp

work page 2006

[2] [1]

Aiello, R

V. Aiello, R. Conti, S. Rossi, A look at the inner structure of the2-adic ring C ∗-algebra and its automorphism groups.Publ. Res. Inst. Math. Sci.54 (2018) 45–87

work page 2018

[3] [2]

Aiello, R

V. Aiello, R. Conti, S. Rossi, A hitchhiker’s guide to endomorphisms and automorphisms of Cuntz algebras,Rend. Mat. Appl.(7) 42 (2021) 61–162

work page 2021

[4] [3]

Aiello, R

V. Aiello, R. Conti, S. Rossi, Normalizers and permutative endomorphisms of the 2-adic ringC ∗-algebra. J. Math. Anal. Appl.481 (2020) no. 1, 123395

work page 2020

[5] [4]

C. A. Akemann, P. A. Ostrand, On a tensor productC ∗-algebra associated with the free group on two generators,J. Math. Soc. Japan27:4 (1975), 589– 599

work page 1975

[6] [5]

Amrutam, J

T. Amrutam, J. Bassi, On relative commutants of subalgebras in group and tracial crossed product von Neumann algebras,Pacific J. Math.331:1 (2024) 1–22

work page 2024

[7] [6]

Amrutam, M

T. Amrutam, M. Kalantar, On simplicity of intermediateC ∗-algebras, Ergodic Theory Dynam. Systems40:12 (2020), 3181–3187

work page 2020

[8] [7]

Amrutam, D

T. Amrutam, D. Ursu, A generalized Powers averaging property for commu- tative crossed products,Trans. Amer. Math. Soc.375:3 (2022), 2237–2254

work page 2022