A new obstruction to Arveson's hyperrigidity conjecture
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914052484104192 |
|---|---|
| author | Clouâtre, Raphaël |
| author_facet | Clouâtre, Raphaël |
| contents | Let $A$ be a unital $C^*$-algebra containing a closed two-sided ideal $J$ and an operator system $X$. We enlarge $X$ to an operator system $\mathcal{S}(X,J)$ in $\mathbb{M}_2(A)$, and show that in order for $\mathcal{S}(X,J)$ to be hyperrigid, each $*$-representation of $C^*(X)$ annihilating $C^*(X)\cap J$ must admit a unique contractive completely positive extension from $X$ to the larger $C^*$-algebra $C^*(X)+J$. We leverage this implicit additional rigidity constraint to construct counterexamples to Arveson's hyperrigidity conjecture. A key condition in our construction is the mutual orthogonality of the atomic projection of $C^*(X)$ and the support projection of $J$, which we interpret as a new obstruction to the conjecture. Specializing to the case where $J$ is the ideal of compact operators on a Hilbert space, we recover as a by-product of our general construction the recent counterexample of Bilich and Dor-On. On the other hand, we find that such a pathology cannot be implemented using our construction when $A$ admits only finite-dimensional irreducible $*$-representations, thereby illustrating that the obstruction only manifests itself in noncommutative settings. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_19238 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A new obstruction to Arveson's hyperrigidity conjecture Clouâtre, Raphaël Operator Algebras Functional Analysis Let $A$ be a unital $C^*$-algebra containing a closed two-sided ideal $J$ and an operator system $X$. We enlarge $X$ to an operator system $\mathcal{S}(X,J)$ in $\mathbb{M}_2(A)$, and show that in order for $\mathcal{S}(X,J)$ to be hyperrigid, each $*$-representation of $C^*(X)$ annihilating $C^*(X)\cap J$ must admit a unique contractive completely positive extension from $X$ to the larger $C^*$-algebra $C^*(X)+J$. We leverage this implicit additional rigidity constraint to construct counterexamples to Arveson's hyperrigidity conjecture. A key condition in our construction is the mutual orthogonality of the atomic projection of $C^*(X)$ and the support projection of $J$, which we interpret as a new obstruction to the conjecture. Specializing to the case where $J$ is the ideal of compact operators on a Hilbert space, we recover as a by-product of our general construction the recent counterexample of Bilich and Dor-On. On the other hand, we find that such a pathology cannot be implemented using our construction when $A$ admits only finite-dimensional irreducible $*$-representations, thereby illustrating that the obstruction only manifests itself in noncommutative settings. |
| title | A new obstruction to Arveson's hyperrigidity conjecture |
| topic | Operator Algebras Functional Analysis |
| url | https://arxiv.org/abs/2509.19238 |