Pith. sign in

REVIEW 2 major objections 4 minor 29 references

Hyperrigidity III

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

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

Pith's one-line read In separable C*-algebras, hyperrigidity is the same as a weak-to-strong convergence property for representations.

desk verdict Useful representation-only characterization of hyperrigidity, but the proof has a real gap: separable C*-algebras can have nonseparable representations, and the main theorem is incomplete as written, though likely repairable. read the letter →

arxiv 2501.04709 v1 pith:HPZIDPDI submitted 2024-12-25 math.OA math.FAmath.RT

Pawe{l} Pietrzycki , Jan Stochel This is my paper · ORCID
classification math.OAmath.FAmath.RT MSC 46G1047B1547A6344A60
keywords hyperrigiditycompletelypositivemapsrepresentationsweakoperatortopologystrongunitalC*-algebrasStinespringdilationapproximationtheory
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

Every unital C*-algebra has a notion of hyperrigidity: a set G is hyperrigid when the asymptotic behavior of any sequence of unital completely positive maps is fixed by what it does on G. This paper proves that, for separable algebras, this property can be checked using only representations, which are maps that preserve multiplication, rather than all completely positive maps. Concretely, G is hyperrigid exactly when any sequence of representations that converges weakly on every element of G must converge strongly on every element of the algebra. The proof works by turning an arbitrary completely positive map into a weak limit of representations via Stinespring dilation and a unilateral shift, so that the representation-only convergence condition forces the original map to be a representation. The result completes the equivalence that makes hyperrigidity a purely representation-theoretic notion in the separable case.

What carries the argument

The carrying object is a unilateral shift of multiplicity ℵ0 used to build approximations to a completely positive map. Given a UCP map Φ = Pρ(·)|_H from Stinespring dilation, the proof forms the isometry V = I_H ⊕ S on K = H ⊕ (K⊖H), where S shifts the complementary summand, and defines π_m(a) = V^m ρ(a) $V^{{*m}}$ + (I - V^m $V^{{*m}}$)σ∞(a), with σ∞ the infinite direct sum of the tail representation σ. As m tends to infinity, $V^{{*m}}$ tends strongly to the projection onto H, so the weak limit of these representations is Pρ(·)P ⊕ σ ⊕ σ ⊕ ..., which agrees with Φ on G. Because V and $V^{{*m}}$ act diagonally against σ∞, each π_m is a genuine representation, not merely a positive map. The shift is what converts a completely positive map into a weak limit of representations.

What would settle it

Find a unital C*-algebra A and a nonempty subset G such that every sequence of representations that converges weakly on G converges strongly on A, yet some sequence of unital completely positive maps converges weakly on G without converging strongly on all of A; in the separable case the theorem predicts such a pair cannot exist, so any concrete example would refute the characterization.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.1: if A is a unital separable C*-algebra and G is nonempty, then G is hyperrigid if and only if for every Hilbert space H, every representation π: A → B(H), and every sequence of representations π_n: A → B(H), weak-operator convergence of π_n(g) to π(g) for all g ∈ G implies strong-operator convergence of π_n(a) to π(a) for all a ∈ A. The forward direction is inherited from known characterizations of hyperrigidity. The reverse direction is the new contribution: starting from a unital completely positive map Φ that agrees with a representation π on G, Stinespring dilation represents Φ as a compression of a representation ρ, and an amplification plus shift construction produces genuine representations whose weak-operator limit is Φ ⊕ σ ⊕ σ ⊕ ..., so the assumed representation-only property forces π = Φ. Separability enters by guaranteeing that the Hilbert spaces can be taken separable and that an infinite-dimensional separable representation is available to serve as the tail in the construction.

Load-bearing premise

The argument that a purely representation-theoretic convergence condition forces hyperrigidity requires the ambient C*-algebra A to be separable; without separability the proof cannot restrict to separable Hilbert spaces or build the infinite tail representation used in the shift construction.

Editorial extensions

If this is right

  • Hyperrigidity of a set G in a separable unital C*-algebra is equivalent to a statement about *-homomorphisms alone: any sequence of representations that converges weakly on G must converge strongly everywhere.
  • To certify hyperrigidity, one no longer needs to reason about unital completely positive maps; it is enough to show that representation sequences cannot split in the weak-to-strong sense.
  • The unique extension property, the original hyperrigidity definition, and the representation-only convergence condition all coincide for separable algebras.
  • To disprove hyperrigidity of G, it suffices to exhibit a representation π and representations π_n with π_n(g) → π(g) weakly for all g ∈ G but π_n(a) ↛ π(a) strongly for some a ∈ A.

Reading between the lines

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

  • Editorial inference: a natural testable extension is to seek a proof that avoids the cardinality reduction, which would extend the equivalence to nonseparable C*-algebras; the current proof depends on separability precisely at that reduction.
  • Editorial inference: the representation-only reformulation may give a concrete route toward Arveson's hyperrigidity conjecture in the commutative case, where checking whether any pair of representation sequences splits becomes a potentially computable criterion.
  • Editorial inference: in approximation practice, the theorem suggests a finite-dimensional testing scheme: approximate candidate generators by finite-dimensional representations and look for weak convergence that fails to be strong.
  • Editorial inference: the proof's shift construction is likely adaptable to other settings where a positive map is given by a compression of a representation, such as semispectral measures and moment problems, wherever an infinite-dimensional separable tail representation exists.
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

2 major / 4 minor

Summary. The paper studies hyperrigidity for subsets of unital C*-algebras and proposes, in Theorem 2.1, a characterization of hyperrigidity solely in terms of representations of the algebra, without reference to completely positive maps. Specifically, for a nonempty subset G of a unital separable C*-algebra A, the paper claims that G is hyperrigid if and only if, whenever representations π_n and π on the same Hilbert space satisfy weak-operator convergence of π_n(g) to π(g) for every g in G, they also satisfy strong-operator convergence of π_n(a) to π(a) for every a in A. The proof of the forward direction uses the known characterizations in Theorem 1.2, while the reverse direction uses Stinespring dilation and a unilateral shift construction to convert a putative UCP extension into a sequence of representations.

Significance. If Theorem 2.1 is correct, it is a clean and useful reformulation of hyperrigidity: it eliminates UCP maps entirely from the definition and reduces the checking to a representation-theoretic approximation condition. The proof strategy is standard and builds on established results (Arveson's unique extension property characterization, Kleski's WOT characterization, and Stinespring dilation), and there is no indication of circularity. The paper is a contribution to the ongoing study of hyperrigidity and its characterizations. However, as written, the proof of the reverse implication contains a gap concerning nonseparable Hilbert spaces, and the presentation has several typos that obscure the central argument. The core idea appears sound and the gap is likely repairable, but the manuscript needs substantive revision before it can be accepted.

major comments (2)
  1. [§2, proof of Theorem 2.1, (ii)⇒(i)] The assertion 'We always have that dim H ⩽ ℵ0 as a consequence of the separability of A' is false: a separable C*-algebra admits nonseparable representations, for example A = C([0,1]) acting by multiplication on ℓ²([0,1]). Because of this, the reductions 'without loss of generality dim H = ℵ0', 'dim K = ℵ0', and 'dim(K ⊖ H) = ℵ0' do not cover arbitrary Hilbert spaces, even though condition (ii) quantifies over every Hilbert space. The shift construction and the subsequent appeal to condition (ii) on K are therefore justified only in the separable case. The manuscript should supply a reduction from a nonseparable H to a separable common invariant subspace (for instance, for a fixed vector x, the closed span of {π_n(a)x, π(a)x : n ∈ N, a ∈ A}), or otherwise handle the nonseparable case explicitly.
  2. [§2, after the definition of π_m, Eq. (2.3)–(2.4)] The proof invokes 'Theorem 1.2(v)', but Theorem 1.2 has no condition (v); the intended reference appears to be condition (ii) of Theorem 2.1 itself. In the same passage, Eq. (2.3) writes 'w-lim_{n→∞} Φ_n(a)' although the objects just defined are the representations π_m and the limit should be as m → ∞. These errors are not merely typographical: they concern the exact step in which condition (ii) is applied, so they must be corrected for the argument to be readable and verifiable.
minor comments (4)
  1. [§2, proof of Theorem 2.1, finite-dimensional reduction] The sentence 'Suppose dim H < ℵ0 ... we infer from the ℵ0-version of the proof' refers to a case that has not yet been established at that point in the proof. This is not circular if the finite-dimensional case is treated after the ℵ0 case is proved, but the order of exposition should be made explicit.
  2. [§2, definition of K_min] The notation '¯A0 = A with cardA0 ≤ ℵ0, and ¯H0 = H with cardH0 ≤ ℵ0' is confusing; it should say that A0 and H0 are countable dense subsets of A and H respectively. This matters because the separability of K_min depends on choosing such sets.
  3. [§2, definition of σ∞] The definition of σ∞ is ambiguous: it should be a representation on K ⊖ H, but the text says 'Define the representation σ∞ : A → B(K) by σ∞ = σ ⊕ σ ⊕ ...' with K decomposed as H ⊕ (K ⊖ H). Clarify how σ∞ acts on the first summand or define it only on K ⊖ H and extend by zero on H.
  4. [Throughout] There are several spelling and grammar errors: 'faithfull' should be 'faithful', 'without loos of generality' should be 'without loss of generality', 'In view of beging of the proof' should be 'In view of the beginning of the proof', and Theorem 2.1 states 'every representations' instead of 'every representation'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the representation-only characterization is derived from established theorems and Stinespring dilation.

full rationale

Theorem 2.1's hard direction (ii)->(i) does not build its conclusion into an assumption. It starts with a UCP map Phi satisfying pi|G = Phi|G, uses Stinespring to get a representation rho on K, constructs approximating representations pi_m via a shift V, obtains WOT convergence of pi_m on G, and then invokes condition (ii) itself (the assumption being proved) to upgrade this to SOT convergence on A. The remaining inference pi(a) = P rho(a)|_H = Phi(a) is direct. The final step to hyperrigidity is justified by the previously established Theorem 1.2 (Arveson's unique-extension characterization, Kleski's weak-operator characterization, and the authors' prior Theorem B.2 in Hyperrigidity I). That prior theorem is not identical to the new result and is not fitted to it, so citing it is legitimate independent evidence, not circularity. The proof does contain a genuine non-circular gap: the assertion "We always have that dim H <= aleph_0 as a consequence of the separability of A" is false, since a separable C*-algebra can have nonseparable representations; hence the reductions to dim H = aleph_0 do not cover every Hilbert space as condition (ii) requires. This is a correctness/repair concern, not a circularity concern, and does not raise the circularity score.

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

The central claim rests on standard theorems in operator algebras and on the separability of the ambient C*-algebra. No free parameters or invented entities are introduced.

assumptions (5)
  • domain assumption Theorem 1.2 (Arveson, Kleski, Pietrzycki-Stochel): hyperrigidity is equivalent to the unique extension property and to the WOT/SOT convergence property for UCP maps.
    Used in both implications of Theorem 2.1; the new proof directly invokes the known equivalence between hyperrigidity and unique extension property.
  • standard math Stinespring dilation theorem: every UCP map from a unital C*-algebra to B(H) compresses to a representation.
    Used in (ii)⇒(i) to write Φ(a)=Pρ(a)|_H.
  • domain assumption Separability of A implies every representation space can be chosen separable, and any finite-dimensional representation can be embedded in a separable infinite-dimensional one via direct sums.
    Used to reduce to dim H = ℵ0; this is why the theorem is stated for separable A.
  • standard math Properties of the unilateral shift of multiplicity ℵ0: S^{*m} converges strongly to 0, and V=I_H⊕S has s-lim V^{*m}=P.
    Used to construct representations π_m and compute their weak operator limit in Eq. (2.3).
  • standard math A direct sum of a UCP map and a representation is UCP; a direct sum of representations is a representation.
    Used in the reductions to infinite-dimensional Hilbert spaces.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hyperrigidity III." pith.science (2026). https://pith.science/paper/HPZIDPDI

@misc{pith2026250104709,
  author       = {Pith},
  title        = {Pith review of: Hyperrigidity III},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HPZIDPDI}},
  note         = {Machine review of arXiv:2501.04709}
}
abstract

In this paper, we study hyperrigidity for $C^*$-algebras. We will show that hyperrigidity can be expressed solely in terms of representations, without the need to involve general unital completely positive maps.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 25 canonical work pages

  1. [1]

    Altomare, M

    F. Altomare, M. Campiti, Korovkin type approximation theory and its applications , de Gruyter Studies in Mathmatics, Berlin, New York, 1994

    work page 1994

  2. [2]

    Altomare, Korovkin-type theorems and approximation by positive linear operators, Sur- veys in Approximation Theory , Vol

    F. Altomare, Korovkin-type theorems and approximation by positive linear operators, Sur- veys in Approximation Theory , Vol. 5, 2010, pp. 92-164

    work page 2010

  3. [3]

    Arveson, The noncommutative Choquet boundary II: hyp errigidity, Israel J

    W. Arveson, The noncommutative Choquet boundary II: hyp errigidity, Israel J. Math. 184(2011), 349-385

    work page 2011

  4. [4]

    Berens, G

    H. Berens, G. G. Lorentz, Geometric theory of Korovkin se ts, J. Approx. Theory, 15 (1975), 161-189

    work page 1975

  5. [5]

    Maximality of correspondence representations

    B. Bilich, Maximality of correspondence representatio ns, arXiv: 2407.04278

    work page Pith review arXiv

  6. [6]

    Bilich, A

    B. Bilich, A. Dor-On, Arveson’s hyperrigidity conjectu re is false, arXiv: 2404.05018

    arXiv

  7. [7]

    L. G. Brown, Convergence of functions of self-adjoint op erators and applications, Publ. Mat. 60 (2016), 551–564

    work page 2016

  8. [8]

    Clouˆ atre, Unperforated pairs of operator spaces and hyperrigidity of operator sys- tems,Canad

    R. Clouˆ atre, Unperforated pairs of operator spaces and hyperrigidity of operator sys- tems,Canad. J. Math 70 (2018), 1236-1260

    work page 2018

Show all 29 references
  1. [9]

    Clouˆ atre, Non-commutative peaking phenomena and a l ocal version of the hyperrigidity conjecture Proc

    R. Clouˆ atre, Non-commutative peaking phenomena and a l ocal version of the hyperrigidity conjecture Proc. Lond. Math. Soc. 117 (2018), 221–245

    2018

  2. [10]

    Clouˆ atre, M

    R. Clouˆ atre, M. Hartz, Multiplier algebras of complet e Nevanlinna-Pick spaces: dilations, boundary representations and hyperrigidity, J. Funct. Anal. 274 (2018), 1690-1738

    2018

  3. [11]

    Clouˆ atre, E

    R. Clouˆ atre, E. J. Timko, Gelfand transforms and bound ary representations of complete Nevanlinna-Pick quotients, Trans. Amer. Math. Soc. 374 (2021), 2107–2147

    2021

  4. [12]

    Clouˆ atre, I

    R. Clouˆ atre, I. Thompson, Rigidity of operator system s: tight extensions and noncommuta- tive measurable structures, arXiv:2406.16806

  5. [13]

    Davidson, R

    K. Davidson, R. Kenneth, M. Kennedy, Noncommutative ch oquet theory, arXiv preprint arXiv:1905.08436 (2019)

    2019 arXiv

  6. [14]

    K. R. Davidson, M. Kennedy, Choquet order and hyperrigi dity for function systems, Adv. Math. 385 (2021), 107774

    2021

  7. [15]

    S. J. Harris, S.-J. Kim, Crossed products of operator sy stems, J. Funct. Anal. 276 (2019), 2156–2193

    2019

  8. [16]

    Katsoulis,C

    Elias G. Katsoulis,C. Ramsey, The hyperrigidity of ten sor algebras of C∗ -correspondences, J. Math. Anal. Appl. 483 (2020), 123611, 10 pp

    2020

  9. [17]

    E. T. A. Kakariadis, O. M. Shalit, Operator algebras of m onomial ideals in noncommuting variables, J. Math. Anal. Appl. 472 (2019), 738–813

    2019

  10. [18]

    Kennedy, O

    M. Kennedy, O. M. Shalit, Essential normality, essenti al norms and hyperrigidity, J. Funct. Anal. 268 (2015), 2990-3016

    2015

  11. [19]

    Kim, Hyperrigidity of C∗ -correspondences, Integr

    S.-J. Kim, Hyperrigidity of C∗ -correspondences, Integr. Equ. Oper. Theory 93 (2021), Paper No. 47, 17 pp

    2021

  12. [20]

    Kleski, Korovkin-type properties for completely po sitive maps, Illinois J

    C. Kleski, Korovkin-type properties for completely po sitive maps, Illinois J. Math. 58 (2014), 1107-1116

    2014

  13. [21]

    P. P. Korovkin, On convergence of linear positive opera tors in the space of continuous func- tions. (Russian) Doklady Akad. Nauk SSSR (N.S.) 90 (1953), 961-964

    1953

  14. [22]

    Pietrzycki, J

    P. Pietrzycki, J. Stochel, Hyperrigidity I: singly gen erated commutative C∗ -algebras, arXiv:2405.20814

  15. [23]

    Pietrzycki, J

    P. Pietrzycki, J. Stochel, Hyperrigidity II: R-dilations and ideals, arXiv:2411.04860

  16. [24]

    Salomon, Hyperrigid subsets of Cuntz-Krieger algeb ras and the property of rigidity at zero, J

    G. Salomon, Hyperrigid subsets of Cuntz-Krieger algeb ras and the property of rigidity at zero, J. Operator Theory 81 (2019), 61-79

    2019

  17. [25]

    J. A. ˇSaˇ skin, The Milman-Choquet boundary and the theory of appr oximations.Funkcional. Anal. i Priloˇ zen.1 (1967), 95-96

    1967

  18. [26]

    Scherer, The Hyperrigidity Conjecture for compact c onvex sets in R2, arXiv:2411.11709

    M. Scherer, The Hyperrigidity Conjecture for compact c onvex sets in R2, arXiv:2411.11709

    arXiv

  19. [27]

    Shankar, Hyperrigid generators in C∗ -algebras, J

    P. Shankar, Hyperrigid generators in C∗ -algebras, J. Anal. 28 (2020), 791–797

    2020

  20. [28]

    W. F. Stinespring, Positive functions on C∗ -algebras, Proc. Amer. Math. Soc. 6 (1955), 211–216

    1955

  21. [29]

    Thompson, An approximate unique extension property for completely positive maps, J

    I. Thompson, An approximate unique extension property for completely positive maps, J. Funct. Anal. 286 (2024) 110193. 6 P. PIETRZYCKI AND J. STOCHEL Wydzia/suppress l Matematyki i Informatyki, Uniwersytet Jagiello´nski, ul. /suppress Lojasiewicza 6, PL-30348 Krak´ow, Poland. ...

    2024

Pith tools

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