Related papers: A universal nuclear operator system
The Gurarij operator space $\mathbb{NG}$ 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…
We establish some of the basic model theoretic facts about the Gurarij operator system $\mathbb{GS}$ recently constructed by the second-named author. In particular, we show: (1) $\mathbb{GS}$ is the unique separable 1-exact existentially…
We realize the noncommutative Gurarij space $\mathbb{NG}$ defined by Oikhberg as the Fra\"{\i}ss\'{e} limit of the class of finite-dimensional $1$-exact operator spaces. As a consequence we deduce that the concommutative Gurarij space is…
The Gurari\u{\i} space is the unique separable Banach space $\mathbb{G}$ which is of almost universal disposition for finite-dimensional Banach spaces, which means that for every $\varepsilon>0$, for all finite-dimensional normed spaces $E…
We prove that an operator system $\mathcal S$ is nuclear in the category of operator systems if and only if there exist nets of unital completely positive maps $\phi_\lambda : \cl S \to M_{n_\lambda}$ and $\psi_\lambda : M_{n_\lambda} \to…
We compare two types of universal operators constructed relatively recently by Cabello S\'anchez, and the authors. The first operator $\Omega$ acts on the Gurarii space, while the second one $P_S$ has values in a fixed separable Banach…
The noncommutative Gurarij space $\mathbb{\mathbb{\mathbb{NG}}}$, initially defined by Oikhberg, is a canonical object in the theory of operator spaces. As the Fra\"{\i}ss\'{e} limit of the class of finite-dimensional nuclear operator…
An operator system $\cl S$ with unit $e$, can be viewed as an Archimedean order unit space $(\cl S,\cl S^+,e)$. Using this Archimedean order unit space, for a fixed $k\in \bb N$ we construct a super k-minimal operator system OMIN$_k(\cl S)$…
Using Fra\" iss\' e theoretic methods we enrich the Urysohn universal space by universal and homogeneous closed relations, retractions, closed subsets of the product of the Urysohn space itself and some fixed compact metric space,…
Let $S$ be a complete operator system with a generating cone; i.e. $S_\sa = S_+ - S_+$. We show that there is a matrix norm on the dual space $S^*$, under which, and the usual dual matrix cone, $S^*$ becomes a dual operator system with a…
A unital $C^*$-algebra is called $N$-subhomogeneous if its irreducible representations are finite dimensional with dimension at most $N$. We extend this notion to operator systems, replacing irreducible representations by boundary…
We construct a nonexpansive linear operator on the Gurarii space that "captures" all nonexpansive linear operators between separable Banach spaces. Some additional properties involving its restrictions to finite-dimensional subspaces…
We give an order-theoretic characterization of the essential image of the forgetful functor from the category of real/complex unital C*-algebras to the category of real/complex unital operator systems. It is based on the characterization of…
Answering a question of Garbuli\'nska-W\c{e}grzyn and Kubi\'s, we prove that Gurarii operators form a dense $G_\delta$-set in the space $\mathcal B(\mathbb G)$ of all nonexpansive operators on the Gurarii space $\mathbb G$, endowed with the…
The counterparts of the Urysohn universal space in category of metric spaces and the Gurarii space in category of Banach spaces are constructed for separable valued Abelian groups of fixed (finite) exponents (and for valued groups of…
We study the question of when the space of embeddings of a separable Banach space $E$ into the separable Gurarij space $\mathbf G$ admits a generic orbit under the action of the linear isometry group of $\mathbf G$. The question is recast…
The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…
A sequence in a $C^*$-algebra $A$ is called completely Sidon if its span in $A$ is completely isomorphic to the operator space version of the space $\ell_1$ (i.e. $\ell_1$ equipped with its maximal operator space structure). The latter can…
The nonlinear geometry of operator spaces has recently started to be investigated. Many notions of nonlinear embeddability have been introduced so far, but, as noticed before by other authors, it was not clear whether they could be…
We prove that an operator system is (min, ess)-nuclear if its C*-envelope is nuclear. This allows us to deduce that an operator system associated to a generating set of countable discrete group by Farenick et al. is (min, ess)-nuclear if…