A Kirchberg-type tensor theorem for operator systems

DOI10.2140/PJM.2017.286.91MaRDI QIDQ2520786zbMATH OpenOpenAlexFDO

Authors Kyung Hoon Han

Publication date 19 December 2016

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1409.1306

zbMATH Keywords

Kirchberg's theoremoperator systemquotienttensor product

Mathematics Subject Classification ID

Tensor products of (C^*)-algebras (46L06) Operator spaces and completely bounded maps (46L07) Operator spaces (= matricially normed spaces) (47L25)

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 ${\displaystyle }$mathfrak C_I otimes_{min} B(H) = mathfrak C_I otimes_{max} B(H).${\displaystyle }$ 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 ${\displaystyle }$mathfrak C_I otimes_{min} mathfrak C_I =mathfrak C_I otimes_{ m c} mathfrak C_I.${\displaystyle }$ 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.

Recommendations

• Quotients, exactness, and nuclearity in the operator system category
• Operator system quotients of matrix algebras and their tensor products
• Omitting types in operator systems
• Nuclearity related properties in operator systems
• The Kirchberg-Wassermann operator system is unique

Cited in

(6)

• The Kirchberg-Wassermann operator system is unique
• Quotients, exactness, and nuclearity in the operator system category
• Kirchberg's conjecture in the system of Hilbert space factorable mapping spaces
• Operator system quotients of matrix algebras and their tensor products
• Omitting types in operator systems
• Nuclearity related properties in operator systems

This page was built for publication: A Kirchberg-type tensor theorem for operator systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2520786)