Arveson's hyperrigidity conjecture predicts that if the non-commutative Choquet boundary of a separable operator system S is the entire spectrum of its generated C*-algebra B then S is hyperrigid in B. We provide a counterexample to the conjecture with a C*-algebra B of type I generated by a single operator.
No takes yet. Share an insight, caveat, or question.
Bilich et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: