Rigidity of operator systems: tight extensions and noncommutative measurable structures

Raphaël Clouâtre, Ian Thompson

Let $A$ be a unital $C^{\ast }$-algebra generated by some separable operator system $S$. More than a decade ago, Arveson conjectured that $S$ is hyperrigid in $A$ if all irreducible repr…