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

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.