Pith. sign in

REVIEW 6 minor 39 references

$C^*$-supports and abnormalities of operator systems

T0 review · 0 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read The paper characterizes when an operator system's generated C*-algebra is the unique C*-support, and describes the full space of abnormalities via minimal S-projections.

desk verdict Solid operator system paper with a genuinely new structural notion and sound proofs; send to review. read the letter →

arxiv 2501.07544 v2 pith:GYV4ETQN submitted 2025-01-13 math.OA math.FA

Raphaël Clouâtre , Colin Krisko This is my paper · ORCID
classification math.OAmath.FA MSC 46L0747L2546L30
keywords C*-supportsoperatorsystemsinjectiveenvelopesChoi-EffrosproductuniqueextensionpropertyhyperrigidityabnormalitiesShilovideal
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 studies concrete operator systems $S \subset B(H)$ and the $C^*$-algebras they generate inside injective operator systems that contain them, called $C^*$-supports. The main structural result is that every $C^*$-support is obtained from an $S$-projection via the Choi\--Effros product, and that $C^*(S)$ is the unique $C^*$-support exactly when $C^*(S)$ sits inside every copy of the injective envelope of $S$ acting on $H$. This equivalence gives new tests for the unique extension property of $*$-representations and for hyperrigidity. In a second direction, the paper describes the full subspace spanned by all abnormalities $\varphi(a)-a$, not just those lying in $C^*(S)$, as the intersection of the $C^*$-expanse of $S$ with the kernel of any minimal $S$-projection. If correct, this settles when the canonical $C^*$-envelope construction is unique and provides the first complete description of the abnormality space, complementing Kakariadis's earlier restricted result.

What carries the argument

The central objects are $S$-projections: unital completely positive idempotent maps $\theta : B(H) \to B(H)$ that fix $S$ pointwise. Their ranges are injective operator systems, and with the Choi\--Effros product $s *_\theta t = \theta(st)$ each range becomes a $C^*$-algebra $CE(R,\theta)$; the $C^*$-support generated by $S$ in that range is $\alpha_\theta^{-1}(CE(S,\theta))$. Minimal $S$-projections (under Hamana's partial order) are exactly the injective envelopes of $S$. The machinery works by showing all $C^*$-supports arise from some $S$-projection, that minimal ones correspond to the $C^*$-envelope, and that the span of $\theta(A)$ over minimal $\theta$ — the $C^*$-expanse — is the right ambient space in which the abnormalities sit.

What would settle it

Look for an operator system S where C*(S) is contained in every injective envelope in B(H) but one can exhibit an S-projection θ with $\alpha_\theta^{-1}(CE(S,\theta)) \neq C^*(S)$: Corollary 3.4 would then be false. The simplest place to look is a finite-dimensional S, where all S-projections can be computed by hand and the condition can be checked exactly.

Watch

Extended reading notes

Core claim

The paper's central claim is that the configuration of all injective envelopes of $S$ inside $B(H)$ relative to $C^*(S)$ determines the uniqueness of $C^*$-supports: $C^*(S)$ is the unique $C^*$-support if and only if $C^*(S)$ is contained in every injective operator system $R \subset B(H)$ containing $S$, equivalently in every injective-envelope copy. This is proven by classifying $C^*$-supports as sets of the form $\alpha_\theta^{-1}(CE(S,\theta))$ for an $S$-projection $\theta$, where $CE(S,\theta)$ is the $C^*$-algebra obtained from the Choi\--Effros product on the range of $\theta$, and then comparing these sets with $C^*(S)$. For the abnormality side, the paper proves $\operatorname{span} Ab(S) = C^*\!\operatorname{Ex}(S) \cap \ker \theta$ for every minimal $S$-projection $\theta$, where $C^*\!\operatorname{Ex}(S)$ is the span of $\theta(A)$ over all minimal $S$-projections. Since the right-hand side is independent of $\theta$, this yields a coordinate-free description of the subspace generated by all failures of unique extension. The paper also derives characterizations: an injective $*$-representation $\pi$ has the unique extension property iff $\pi(A)$ is the unique $C^*$-support of $\pi(S)$, and hyperrigidity of $S$ iff every injective representation has this property.

Load-bearing premise

Everything rests on the classification (Theorem 3.1) that every C*-support of S has the form $\alpha_\theta^{-1}(CE(S,\theta))$ for some S-projection $\theta$; an exotic C*-support outside this class would break both the uniqueness characterization and the abnormality computation.

Editorial extensions

If this is right

  • The uniqueness question for $C^*$-supports is reduced to a containment check: $C^*(S)$ is the unique $C^*$-support iff $C^*(S)$ lies in every injective-envelope copy inside $B(H)$.
  • Injective $*$-representations have the unique extension property precisely when their image is the unique $C^*$-support of the represented system, so boundary phenomena can be detected by support uniqueness.
  • Hyperrigidity of $S$ is equivalent to every injective $*$-representation producing a unique $C^*$-support.
  • The subspace generated by all abnormalities is computable as $C^*\!\operatorname{Ex}(S) \cap \ker \theta$ and is independent of the chosen minimal $S$-projection $\theta$, giving the first full description of $\operatorname{span} Ab(S)$.
  • When the Shilov ideal is trivial, the quotient of $B(H)$ by the closure of $\operatorname{span} Ab(S)$ is completely isometric on every $\varphi(A)$ and identifies all extensions of the identity.

Reading between the lines

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

  • Because $C^*\!\operatorname{Ex}(S)$ depends only on minimal $S$-projections, one could try to package the deviation of $\operatorname{span} Ab(S)$ from $\{0\}$ as a numerical invariant of $S$, for instance the dimension of $C^*\!\operatorname{Ex}(S)/(C^*\!\operatorname{Ex}(S) \cap C^*(S))$ in finite-dimensional examples.
  • The quotient result suggests looking for a universal operator-system quotient that detects all failures of unique extension simultaneously; if such a quotient exists, it may give a new route to Arveson-style boundary theorems without compactness assumptions.
  • Theorem 4.3 leaves open whether $Ab(S)$ itself is a subspace; testing a finite-dimensional example where $C^*\!\operatorname{Ex}(S) \cap \ker \theta$ has dimension greater than the maximum number of independent single abnormalities could settle that.
  • When the Shilov ideal is trivial, Corollary 4.5 says every abnormality is $\theta(a)-a$ for a minimal $S$-projection; a direct algorithm for computing minimal $S$-projections on matrix convex sets could turn the abnormality space into an explicit computational object.
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.

Referee Report

0 major / 6 minor

Summary. The paper introduces and studies C*-supports of a concrete operator system S⊂B(H): operator systems X⊂B(H) containing S that are completely isometric images of C*-extensions of S. The central result, Theorem 3.1, classifies all C*-supports as preimages α_θ^{-1}(CE(S,θ)) for some S-projection θ, and Corollary 3.4 characterizes when C*(S) is the unique C*-support in terms of containment in every injective envelope of S inside B(H). These results are applied to give new characterizations of the unique extension property for injective *-representations and of hyperrigidity. In Section 4, the authors introduce the C*-expanse and prove Theorem 4.3, which describes span Ab(S) as Ex(S)∩kerθ for every minimal S-projection θ, complementing Kakariadis's restricted formula Ab(S)∩A=Σ. The paper closes with two examples illustrating the sharpness of the abnormality results.

Significance. If correct, the paper delivers a genuinely useful structural description: Theorem 3.1 reduces the seemingly abstract notion of C*-support to data attached to S-projections, and Corollary 3.4 turns uniqueness into a transparent containment condition. Theorem 4.3 is a real improvement over the earlier restricted description of abnormalities, and the quotient application in Corollary 4.7 is a natural and nontrivial consequence. The proofs are detailed and largely self-contained modulo standard Hamana, Paulsen, and Kakariadis theorems; I traced the main dependencies and found no load-bearing gap. The UEP and hyperrigidity characterizations are likely to be of independent interest. The paper is written in a clear style and the examples are instructive.

minor comments (6)
  1. [§2.2, Proposition 2.6] The sentence 'Applying the argument of the previous paragraph with θ instead of π' is terse; it would help to state explicitly that one repeats the rigidity argument with the S-map θ itself to conclude that α_θ∘θ|_A is a *-homomorphism.
  2. [§3.1, Corollary 3.4] In the proof of (iii)⇒(i), the invocation of Theorem 3.3 uses only the 'some injective envelope' part of the hypothesis; the authors should explicitly note that the hypothesis of Corollary 3.4(iii) implies the hypothesis of Theorem 3.3(iii).
  3. [§4, Proposition 4.6] The claim that q_θ is completely isometric on the range of θ would be clearer if the authors noted that q_θ restricted to R equals λ_θ^{-1}, where λ_θ is the completely isometric isomorphism constructed in the proof.
  4. [§4, Corollary 4.7] The inequality ||δ^(n)(b)|| ≥ ||q_θ^(n)(b)|| follows because D⊂kerθ allows q_θ to factor through δ; since this is a standard but nontrivial quotient-space step, a one-sentence justification would improve readability.
  5. [§5, Example 1] The multiplicative domain argument is only sketched; adding the two-step verification using ψ(1−Σλ_jλ_j*)=0 and the Schwarz inequality to show that each λ_j lies in the multiplicative domain would make the example fully self-contained.
  6. [Throughout] There are several minor typographical issues, including 'satisfing' in Proposition 2.5 and the line breaks 'C∗-SUPPOR TS' and 'OPERA TOR' in the header; these should be corrected in the final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the C*-support classification and abnormality description are derived from Hamana/Paulsen theory, not from their own conclusions.

full rationale

I traced the derivation chain from the definition of C*-supports through Theorem 3.1, Corollaries 3.2–3.4, and the abnormality results in Section 4. The classification in Theorem 3.1 is not definitional: although the (ii)⇒(i) direction is immediate from the Choi–Effros construction, the (i)⇒(ii) direction is proven using Hamana's injective envelope theory, Proposition 2.5, and an essentiality argument; no equation is equated to itself by construction. The uniqueness characterization in Corollary 3.4 follows from Theorem 3.3 and Proposition 2.7, and the unique extension property characterization in Corollary 3.5 is a genuine bridge using Paulsen's [33, Proposition 4.3] as external support. Theorem 4.3's description of span Ab(S) uses Kakariadis' Proposition 4.2 and the minimal projection calculus, and it does not presuppose the conclusion. The only self-citation is [11, Lemma 2.8] inside Lemma 3.6, used to reduce hyperrigidity to injective representations; this is a standard direct-sum fact, the lemma is otherwise proved in the paper, and the citation is not load-bearing for the central claims. I find no step that reduces by definition or by fitted data, so there is no significant circularity.

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

No numerical parameters or invented physical entities appear. The paper's inputs are standard operator algebra background, plus two cited theorems from Kakariadis and Paulsen that are not re-derived.

assumptions (5)
  • standard math Hamana's theory of injective envelopes; every operator system has an injective envelope and minimal S-projections have injective ranges
    Used throughout, especially Theorem 2.2 and Theorem 2.3, to identify minimal projections with injective envelopes.
  • standard math Arveson's extension theorem; injective systems are precisely ranges of unital completely positive idempotents on B(H)
    Used in Section 2.1 to connect injectivity to S-projections and in Section 3 to choose projections for C*-supports.
  • standard math Choi-Effros theorem; range of a ucp idempotent is a C*-algebra under the deformed product
    Used in Section 2.2 to define CE(S,theta), the central object in all C*-support statements.
  • domain assumption Kakariadis's equality Sigma = Ab(S) intersect A (Proposition 4.2)
    External theorem from [26] used in the proof of Theorem 4.3; the paper extends it but does not reprove it.
  • domain assumption Paulsen's results on weak expectations and injective envelopes, including [33, Prop 2.11 and Prop 4.3]
    Used for composing projections in Theorem 4.4 and for the F = intersection R identification in Corollary 3.5.

how reviews work

0 comments
Cite this review

Pith. "Pith review of $C^*$-supports and abnormalities of operator systems." pith.science (2026). https://pith.science/paper/GYV4ETQN

@misc{pith2026250107544,
  author       = {Pith},
  title        = {Pith review of: $C^*$-supports and abnormalities of operator systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GYV4ETQN}},
  note         = {Machine review of arXiv:2501.07544}
}
abstract

Let $S$ be a concrete operator system represented on some Hilbert space $H$. A $C^*$-support of $S$ is the $C^*$-algebra generated (via the Choi--Effros product) by $S$ inside an injective operator system acting on $H$. By leveraging Hamana's theory, we show that such a $C^*$-support is unique precisely when $C^*(S)$ is contained in every copy of the injective envelope of $S$ that acts on $H$. Further, we demonstrate how the uniqueness of certain $C^*$-supports can be used to give new characterizations of the unique extension property for $*$-representations, as well as the hyperrigidity of $S$. In another direction, we utilize the collection of all $C^*$-supports of $S$ to describe the subspace generated by the so-called abnormalities of $S$, thereby complementing a result of Kakariadis.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 36 canonical work pages

  1. [1]

    MR0253059 (40 #6274)

    William Arveson,Subalgebras ofC ∗-algebras, Acta Math.123(1969), 141–224. MR0253059 (40 #6274)

    work page 1969

  2. [2]

    II, Acta Math.128(1972), no

    ,Subalgebras ofC ∗-algebras. II, Acta Math.128(1972), no. 3-4, 271–308. MR0394232 (52 #15035)

    work page 1972

  3. [3]

    ,The noncommutative Choquet boundary, J. Amer. Math. Soc.21(2008), no. 4, 1065–

    work page 2008

  4. [4]

    Math.184(2011), 349–385

    ,The noncommutative Choquet boundary II: hyperrigidity, Israel J. Math.184(2011), 349–385. MR2823981

    work page 2011

  5. [5]

    Math.462(2025), Paper No

    Boris Bilich,Maximality of correspondence representations, Adv. Math.462(2025), Paper No. 110097. MR4846033

    work page 2025

  6. [6]

    Boris Bilich and Adam Dor-On,Arveson ’s hyperrigidity conjecture is false, arXiv preprint arXiv:2404.05018 (2024)

    arXiv 2024

  7. [7]

    Effros,The completely positive lifting problem forC ∗- algebras, Ann

    Man Duen Choi and Edward G. Effros,The completely positive lifting problem forC ∗- algebras, Ann. of Math. (2)104(1976), no. 3, 585–609. MR417795

    work page 1976

  8. [8]

    Functional Analysis24(1977), no

    ,Injectivity and operator spaces, J. Functional Analysis24(1977), no. 2, 156–209. MR430809

    work page 1977

Show all 39 references
  1. [9]

    Rapha¨ el Clouˆ atre and Michael Hartz,Multiplier algebras of complete Nevanlinna-Pick spaces: dilations, boundary representations and hyperrigidity, J. Funct. Anal.274(2018), no. 6, 1690–

    2018

  2. [10]

    Rapha¨ el Clouˆ atre and Hridoyananda Saikia,A boundary projection for the dilation order, arXiv preprint arXiv:2310.17601 (2023)

    2023 arXiv

  3. [11]

    Rapha¨ el Clouˆ atre and Ian Thompson,Finite dimensionality in the non-commutative Choquet boundary: peaking phenomena andC ∗-liminality, Int. Math. Res. Not. IMRN20(2022), 16046–16093. MR4498170

    2022

  4. [12]

    Rapha¨ el Clouˆ atre and Ian Thompson,Minimal boundaries for operator algebras, Trans. Amer. Math. Soc. Ser. B10(2023), 807–832. MR4611189

    2023

  5. [13]

    ,Rigidity of operator systems: tight extensions and noncommutative measurable struc- tures, arXiv preprint arXiv:2406.16806 (2024)

    2024

  6. [14]

    Kristin Courtney,Completely positive approximations and inductive systems, arXiv:2304.02325 (2025)

    2025 arXiv

  7. [15]

    Sigma 13(2025), Paper No

    Kristin Courtney and Wilhelm Winter,Nuclearity andCPC ∗-systems, Forum Math. Sigma 13(2025), Paper No. e59, 24. MR4880920

    2025

  8. [16]

    Davidson and Matthew Kennedy,The Choquet boundary of an operator system, Duke Math

    Kenneth R. Davidson and Matthew Kennedy,The Choquet boundary of an operator system, Duke Math. J.164(2015), no. 15, 2989–3004. MR3430455

    2015

  9. [17]

    ,Noncommutative Choquet theory, preprint arXiv:1905.08436 (2019)

    2019 arXiv

  10. [18]

    Kenneth R Davidson and Matthew Kennedy,Choquet order and hyperrigidity for function systems, Advances in Mathematics385(2021), 107774

    2021

  11. [19]

    Adam Dor-On and Ian Thompson,The Hao-Ng isomorphism theorem for reduced crossed products, arXiv:2505.00587 (2025)

    2025 arXiv

  12. [20]

    Dritschel and Scott A

    Michael A. Dritschel and Scott A. McCullough,Boundary representations for families of representations of operator algebras and spaces, J. Operator Theory53(2005), no. 1, 159–

    2005

  13. [21]

    Effros and Zhong-Jin Ruan,Theory of operator spaces, AMS Chelsea Publishing, Providence, RI, 2022

    Edward G. Effros and Zhong-Jin Ruan,Theory of operator spaces, AMS Chelsea Publishing, Providence, RI, 2022. Corrected reprint of the 2000 original [1793753]. MR4420075

    2022

  14. [22]

    William Helton,Arveson extreme points span free spectrahedra, Math

    Eric Evert and J. William Helton,Arveson extreme points span free spectrahedra, Math. Ann. 375(2019), no. 1-2, 629–653. MR4000252 18 RAPHA ¨EL CLOUˆATRE AND COLIN KRISKO

    2019

  15. [23]

    William Helton, Igor Klep, and Scott McCullough,Extreme points of matrix convex sets, free spectrahedra, and dilation theory, J

    Eric Evert, J. William Helton, Igor Klep, and Scott McCullough,Extreme points of matrix convex sets, free spectrahedra, and dilation theory, J. Geom. Anal.28(2018), no. 2, 1373–

    2018

  16. [24]

    Masamichi Hamana,Injective envelopes of operator systems, Publ. Res. Inst. Math. Sci.15 (1979), no. 3, 773–785. MR566081 (81h:46071)

    1979

  17. [25]

    7, 2156–2193

    Samuel J Harris and Se-Jin Kim,Crossed products of operator systems, Journal of Functional Analysis276(2019), no. 7, 2156–2193

    2019

  18. [26]

    Evgenios T. A. Kakariadis,The ˇSilov boundary for operator spaces, Integral Equations Operator Theory76(2013), no. 1, 25–38. MR3041719

    2013

  19. [27]

    Katsoulis and Christopher Ramsey,The hyperrigidity of tensor algebras ofC ∗- correspondences, J

    Elias G. Katsoulis and Christopher Ramsey,The hyperrigidity of tensor algebras ofC ∗- correspondences, J. Math. Anal. Appl.483(2020), no. 1, 123611, 10. MR4023882

    2020

  20. [28]

    Kavruk, Vern I

    Ali S. Kavruk, Vern I. Paulsen, Ivan G. Todorov, and Mark Tomforde,Quotients, exactness, and nuclearity in the operator system category, Adv. Math.235(2013), 321–360. MR3010061

    2013

  21. [29]

    4, Paper No

    Se-Jin Kim,Hyperrigidity of C*-correspondences, Integral Equations Operator Theory93 (2021), no. 4, Paper No. 47, 17. MR4292770

    2021

  22. [30]

    Eberhard Kirchberg and Simon Wassermann,C ∗-algebras generated by operator systems, J. Funct. Anal.155(1998), no. 2, 324–351. MR1624549

    1998

  23. [31]

    Operator The- ory71(2014), no

    Craig Kleski,Boundary representations and pure completely positive maps, J. Operator The- ory71(2014), no. 1, 45–62. MR3173052

    2014

  24. [32]

    78, Cambridge University Press, Cambridge, 2002

    Vern Paulsen,Completely bounded maps and operator algebras, Cambridge Studies in Ad- vanced Mathematics, vol. 78, Cambridge University Press, Cambridge, 2002. MR1976867 (2004c:46118)

    2002

  25. [33]

    Paulsen,Weak expectations and the injective envelope, Trans

    Vern I. Paulsen,Weak expectations and the injective envelope, Trans. Amer. Math. Soc.363 (2011), no. 9, 4735–4755. MR2806689

    2011

  26. [34]

    Gelu Popescu,Non-commutative disc algebras and their representations, Proc. Amer. Math. Soc.124(1996), no. 7, 2137–2148. MR1343719 (96k:47077)

    1996

  27. [35]

    ,Operator theory on noncommutative varieties, Indiana Univ. Math. J.55(2006), no. 2, 389–442. MR2225440 (2007m:47008)

    2006

  28. [36]

    Marcel Scherer,The hyperrigidity conjecture for compact convex sets inR 2, arXiv:2411.11709 (2024)

    2024 arXiv

  29. [37]

    Ian Thompson,An approximate unique extension property for completely positive maps, J. Funct. Anal.286(2024), no. 1, Paper No. 110193, 32. MR4654017 Department of Mathematics, University of Manitoba, Winnipeg, Manitoba, Canada R3T 2N2 Email address:raphael.clouatre@umanitoba.c...

    2024

  30. [167]

    MR2132691 (2006a:47095)

  31. [1084]

    MR2425180 (2009g:46108)

Pith tools

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