Operator space and operator system analogs of Kirchberg's nuclear embedding theorem

DOI10.1016/J.JMAA.2015.05.051MaRDI QIDQ2352173zbMATH OpenOpenAlexWikidataFDO

Authors Martino Lupini

Publication date 30 June 2015

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

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

zbMATH Keywords

Gurarij spacehomogeneitynuclearityoperator spaceoperator systemuniversality

Mathematics Subject Classification ID

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

Abstract: The Gurarij operator space $mathbbNG$ introduced by Oikhberg is the unique separable $1$-exact operator space that is approximately injective in the category of $1$-exact operator spaces and completely isometric linear maps. We prove that a separable operator space $X$ is nuclear if and only if there exist a linear complete isometry $varphi:XightarrowmathbbNG$ and a completely contractive projection from $mathbbNG$ onto the range of $varphi$. This can be seen as the operator space analog of Kirchberg's nuclear embedding theorem. We also establish the natural operator system analog of Kirchberg's nuclear embedding theorem involving the Gurarij operator system $mathbbGS$.

Review text

The Kirchberg nuclear embedding theorem asserts that (up to *-isomorphism) the separable nuclear \(C^*\)-algebras are precisely the \(C^*\)-subalgebras of the Cuntz algebra \(O_2\) that are the range of a (completely) contractive projection. Many intrinsic properties of fundamental importance in the category of \(C^*\)-algebras, including nuclearity and exactness, have been extended to operator spaces over the years. Moreover, \textit{A. S. Kavruk} et al. [Adv. Math. 235, 321--360 (2013; Zbl 1325.46060)] have extended the notions of 1-exact and nuclear operator systems for operator spaces by replacing complete contractions with ucp maps. \textit{T. Oikhberg} [Arch. Math. 86, No.~4, 356--364 (2006; Zbl 1119.46045)] introduced a separable 1-exact operator space, denoted by NG, which is approximately injective in the category of 1-exact operator spaces with completely isometric maps, and its uniqueness was proved by the author in an earlier paper. Later, the author [Adv. Math. 298, 286--324 (2016; Zbl 1348.46058)], in a similar fashion, established the existence and uniqueness of the Gurarij operator system GS, which is universal among separable 1-exact operator systems. In this article, the author proves an operator space analog of Kirchberg's nuclear embedding theorem, that a separable operator space is nuclear if and only if there exist a linear complete isometry \(\phi : X\to NG\) and a complete contractive projection from NG onto the range of \(\phi\). Using similar methods, the author establishes the natural operator system analog of Kirchberg's nuclear embedding theorem involving the Gurarij operator system GS.

Recommendations

• EMBEDDINGS AND -ENVELOPES OF EXACT OPERATOR SYSTEMS
• An approximation theorem for nuclear operator systems
• Quotients, exactness, and nuclearity in the operator system category
• \(C^*\)-algebras generated by operator systems
• On Kirchberg's embedding problem

Cites work

• C^*-algebras and finite-dimensional approximations
• A characterization of retracts in certain Fraïssé limits
• A proof of uniqueness of the Gurariĭ space
• An approximation theorem for nuclear operator systems
• Classification of nuclear C^*-algebras. Entropy in operator algebras
• Embedding of exact C* -algebras in the Cuntz algebra 𝒪2
• FRAÏSSÉ LIMITS OF METRIC STRUCTURES
• scientific article; zbMATH DE number 1302971 (Why is no real title available?)
• scientific article; zbMATH DE number 1993745 (Why is no real title available?)
• scientific article; zbMATH DE number 1544066 (Why is no real title available?)
• scientific article; zbMATH DE number 1849957 (Why is no real title available?)
• scientific article; zbMATH DE number 2117180 (Why is no real title available?)
• scientific article; zbMATH DE number 850028 (Why is no real title available?)
• scientific article; zbMATH DE number 3267048 (Why is no real title available?)
• Injective objects and retracts of Fraïssé limits
• Injectivity and operator spaces
• Metric characterizations of isometries and of unital operator spaces and systems
• On injectivity and nuclearity for operator spaces
• Operator spaces with few completely bounded maps
• Quotients, exactness, and nuclearity in the operator system category
• Simple \(C^*\)-algebras generated by isometries
• Subspaces of \(C^ *\)-algebras
• The Gurarij spaces are unique
• The non-commutative Gurarii space
• The super operator system structures and their applications in quantum entanglement theory
• Uniqueness, universality, and homogeneity of the noncommutative Gurarij space

Cited in

(15)

• \(C^*\)-algebras generated by operator systems
• Model-theoretic aspects of the Gurarij operator system
• The Kirchberg-Wassermann operator system is unique
• Fraïssé limits in functional analysis
• On injectivity and nuclearity for operator spaces
• The Ramsey property for operator spaces and noncommutative Choquet simplices
• Purity of the embeddings of operator systems into their C^ - and injective envelopes
• Kirchberg's conjecture in the system of Hilbert space factorable mapping spaces
• The non-commutative Gurarii space
• Uniqueness, universality, and homogeneity of the noncommutative Gurarij space
• OPERATOR SYSTEM NUCLEARITY VIA -ENVELOPES
• Nuclearity of operator spaces
• Omitting types in operator systems
• EMBEDDINGS AND -ENVELOPES OF EXACT OPERATOR SYSTEMS
• An approximation theorem for nuclear operator systems

This page was built for publication: Operator space and operator system analogs of Kirchberg's nuclear embedding theorem

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