Craig Kleski, Miami University, Oxford Ohio
“Hyperrigidity of operator systems”
In 2009, Arveson formulated a conjecture related to Korovkin-type properties for certain noncommutative function spaces and the C*-algebras they generate. The truth of this ”hyperrigidity conjecture” was unknown even in the commutative case. We discuss a proof of the conjecture for separable Type I C*-algebras.