{"id":"6cde31b7-a9ee-4af4-b75e-58e59698243c","arxiv_id":"2501.07544","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"C*-supports are unique exactly when the generated C*-algebra lies in every injective envelope, yielding new characterizations of unique extension and hyperrigidity and a formula for the span of abnormalities.","lead":"Operator systems are small self-adjoint subspaces of operator algebras, and this paper studies when a canonical completion of one is the only possible one. The answer gives new tests for two longstanding properties, the unique extension property and hyperrigidity, and describes the full space of 'abnormalities' that measure non-uniqueness.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified after full trace of Theorem 3.1 and its dependencies; the classification of C*-supports and the resulting characterizations appear sound.","rationale":"The reader identified Theorem 3.1 as the load-bearing structural premise, and I agree that it is the step on which the uniqueness characterization (Corollary 3.4) and the bridge to minimal projections (Theorem 4.4) depend. A careful reading of the proof shows no gap: the minimal X-projection θ provides an injective envelope R of X, the complete isometry α_θ∘Γ into CE(R,θ) is used exactly as in Proposition 2.5, and essentiality of (R,i) over X gives the crucial complete isometry of π. The subsequent identification CE(S,θ) = α_θ(X) uses only that π is injective and that both images generate B under π, so X = α_θ^{-1}(CE(S,θ)) follows. I also checked Proposition 2.6 and Proposition 2.7, which underpin the equivalence of the various conditions in Theorem 3.3 and Corollary 3.4; the rigidity arguments and the comparison of Choi–Effros products are valid. The abnormality results in Section 4 depend on Theorem 3.1 only through the fact that C*-supports are of the form α_θ^{-1}(CE(S,θ)), together with the standard Kakariadis description of the restricted abnormality space; those steps also check out. The paper's reliance on external results (Hamana's existence theory, Choi–Effros lifting, Paulsen's weak expected sections) is explicit and appropriate. No internal inconsistency or unproven hidden assumption surfaced, so the reader's ACCEPT verdict should stand.","tokens_in":17097,"tokens_out":35155,"duration_ms":286697,"concrete_test":"Independently re-derive the essentiality step in Theorem 3.1: for a C*-support X with minimal X-projection θ, verify that the extension ψ of σ∘π∘α_θ is completely isometric on R, so that π is a *-isomorphism, and then confirm the equality CE(S,θ) = α_θ(X) forces X = α_θ^{-1}(CE(S,θ)). If this chain fails, the classification collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I traced the argument from its structural premise through the main conclusions and found no load-bearing flaw. The reader's weakest assumption, Theorem 3.1, is indeed the point on which Corollary 3.4 and the abnormality results rest, but the proof is internally coherent: the construction of the minimal X-projection θ, the use of Proposition 2.5 to obtain the *-homomorphism π, the essentiality argument showing π is completely isometric, and the final identification X = α_θ^{-1}(CE(S,θ)) all check out. I also verified the supporting machinery in Propositions 2.6 and 2.7, including the comparison of Choi–Effros products and the use of rigidity, and found no hidden assumption beyond the standard Hamana/Paulsen framework. Minor presentational shortcuts exist—for instance, Corollary 4.7 silently invokes Arveson's extension theorem to view a ucp map on A as an S-map on B(H)—but these are routine and do not threaten the central claims.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":17283,"tokens_out":15218,"duration_ms":140385,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":"§2.2, Proposition 2.6"},{"comment":"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).","section":"§3.1, Corollary 3.4"},{"comment":"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.","section":"§4, Proposition 4.6"},{"comment":"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.","section":"§4, Corollary 4.7"},{"comment":"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.","section":"§5, Example 1"},{"comment":"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.","section":"Throughout"}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper is in good shape. The genuinely new thing is the definition of C*-support plus the classification in Theorem 3.1: every such support is the inverse Choi–Effros algebra of some S-projection, and minimal projections exactly correspond to C*-envelope copies. That structure earns the uniqueness theorem (Cor 3.4) and the UEP/hyperrigidity characterizations (Cor 3.5, 3.7), and it gives a real new handle on abnormalities: span Ab(S) = C*Ex(S) ∩ ker θ (Thm 4.3) genuinely complements Kakariadis' Ab(S)∩A result. I read the proofs carefully, especially Theorem 3.1 and its use of rigidity and essentiality; the chain is coherent and uses the Hamana/Paulsen framework correctly. The paper does not define its conclusions into its assumptions; external dependencies are visible and legitimate.\n\nSoft spots are at the edges. Some black-boxed external results (Kakariadis Prop 4.2, Paulsen Prop 4.3) are stated without full proof, which is normal, but the reader has to trust them. Example 1's converse rests on a sketched multiplicative-domain argument; it is standard, but it is the kind of thing a referee should ask to see expanded. Corollary 4.7 uses Arveson's extension theorem implicitly to view a ucp map on A as an S-map on B(H); routine, but it should be spelled out. Example 2 leans on the Bilich–Dor-On counterexample to Arveson's hyperrigidity conjecture, so part of its punch is contingent on a very recent and still being scrutinized result. None of that shakes the central theorems.\n\nThis is a subfield-level contribution, not a paradigm shift, but it organizes a chunk of operator system theory in a useful way. Anyone working on injective envelopes, Choquet boundaries, or hyperrigidity will want to cite it. Send it to a serious referee; I would expect it to come back with revisions but be accepted.","headline":"Solid operator system paper with a genuinely new structural notion and sound proofs; send to review.","tokens_in":17788,"tokens_out":2846,"would_cite":true,"duration_ms":25926,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L07","47L25","46L30"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["C*-supports","operator systems","injective envelopes","Choi-Effros product","unique extension property","hyperrigidity","abnormalities","Shilov ideal"],"falsifier":"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.","tokens_in":16922,"feed_emoji":"🎯","tokens_out":6454,"duration_ms":57658,"temperature":0.7,"pith_summary":"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.","feed_headline":"New test for when C*(S) is the only C*-support","feed_subtitle":"Operator systems have a unique C*-algebra generated by S exactly when C*(S) embeds in every injective envelope.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the rigidity and essentiality characterization of injective envelopes and the existence of minimal S-projections, the base theory on which everything else is built.","marker":"[24]"},{"why":"Provides the S-projection toolkit, including the composition trick that produces minimal projections and the fixed-point intersection formula used to prove the unique-extension characterization.","marker":"[33]"},{"why":"Gives the earlier restricted description of abnormalities Ab(S) ∩ A as the Shilov ideal, the result that Theorem 4.3 extends to all abnormalities.","marker":"[26]"},{"why":"Defines the Choi–Effros product under which the range of an idempotent unital completely positive map becomes a C*-algebra, the core construction behind C*-supports.","marker":"[8]"},{"why":"Supplies the invariance principle for the unique extension property used to transfer between containment in injective envelopes and uniqueness of extensions in Corollary 3.5.","marker":"[1]"}],"fun_headline_variants":["C*-support uniqueness iff containment in every injective envelope","Operator systems: unique C*-algebra exactly when embedded in all envelopes","New if-and-only-if for C*-support uniqueness in operator systems","C*-supports: uniqueness characterized by injective-envelope membership"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["C*-support uniqueness iff containment in every injective envelope","Operator systems: unique C*-algebra exactly when embedded in all envelopes","New if-and-only-if for C*-support uniqueness in operator systems","C*-supports: uniqueness characterized by injective-envelope membership"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000384,"raw_usage":{"total_tokens":2081,"prompt_tokens":1043,"completion_tokens":1038,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":659,"completion_tokens_details":{"reasoning_tokens":965}},"tokens_in":659,"tokens_out":1038,"duration_ms":10129,"temperature":1.0,"reasoning_tokens":965,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:39:00.044818+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the rigidity and essentiality characterization of injective envelopes and the existence of minimal S-projections, the base theory on which everything else is built."},{"cited_title":"Paulsen,Weak expectations and the injective envelope, Trans","cited_arxiv_id":null,"evidence_quote":"Provides the S-projection toolkit, including the composition trick that produces minimal projections and the fixed-point intersection formula used to prove the unique-extension characterization."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the earlier restricted description of abnormalities Ab(S) ∩ A as the Shilov ideal, the result that Theorem 4.3 extends to all abnormalities."},{"cited_title":"Functional Analysis24(1977), no","cited_arxiv_id":null,"evidence_quote":"Defines the Choi–Effros product under which the range of an idempotent unital completely positive map becomes a C*-algebra, the core construction behind C*-supports."},{"cited_title":"MR0253059 (40 #6274)","cited_arxiv_id":null,"evidence_quote":"Supplies the invariance principle for the unique extension property used to transfer between containment in injective envelopes and uniqueness of extensions in Corollary 3.5."}],"review_version":1}