A Kirchberg type tensor theorem for operator systems

TL;DR

This paper constructs universal operator systems with a Kirchberg type tensor theorem, providing new proofs and insights into Kirchberg's conjecture and lifting properties in operator systems.

Contribution

It introduces universal operator systems satisfying a Kirchberg type tensor theorem and offers an operator system approach to key lifting theorems.

Findings

Constructed operator systems $rak C_I$ are universal and satisfy the lifting property.

Proved a Kirchberg type tensor theorem without relying on Kirchberg's original theorem.

Showed universal operator systems are essentially one-dimensional or sums of matrix algebras.

Abstract

We construct operator systems $\mathfrak C_I$ that are universal in the sense that all operator systems can be realized as their quotients. They satisfy the operator system lifting property. Without relying on the theorem by Kirchberg, we prove the Kirchberg type tensor theorem $$\mathfrak C_I \otimes_{\min} B(H) = \mathfrak C_I \otimes_{\max} B(H).$$ Combining this with a result of Kavruk, we give a new operator system theoretic proof of Kirchberg's theorem and show that Kirchberg's conjecture is equivalent to its operator system analogue $$\mathfrak C_I \otimes_{\min} \mathfrak C_I =\mathfrak C_I \otimes_{\rm c} \mathfrak C_I.$$ It is natural to ask whether the universal operator systems $\mathfrak C_I$ are projective objects in the category of operator systems. We show that an operator system from which all unital completely positive maps into operator system quotients can be lifted is necessarily one-dimensional. Moreover, a finite dimensional operator system satisfying a perturbed lifting property can be represented as the direct sum of matrix algebras. We give an operator system theoretic approach to the Effros-Haagerup lifting theorem.