Related papers: Operator space and operator system analogs of Kirc…

By means of Fra\"{i}ss\'{e} theory for metric structures developed by Ben Yaacov, we show that there exists a separable $1$-exact operator system $\mathbb{GS}$---which we call the Gurarij operator system---of almost universal disposition.…

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…

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 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…

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…

We continue our study of tensor products in the operator system category. We define operator system quotients and exactness in this setting and refine the notion of nuclearity by studying operator systems that preserve various pairs of…

In this paper, we study {\it operator spaces\/} in the sense of the theory developed recently by Blecher-Paulsen [BP] and Effros-Ruan [ER1]. By an operator space, we mean a closed subspace $E\subset B(H)$, with $H$ Hilbert. We will be…

We construct non-exact operator spaces satisfying the Weak Expectation Property (WEP) and the Operator space version of the Local Lifting Property (OLLP). These examples should be compared with the example we recently gave of a…

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…

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…

Operator systems are the unital self-adjoint subspaces of the bounded operators on a Hilbert space. Complex operator systems are an important category containing the C*-algebras and von Neumann algebras, which is increasingly of interest in…

Let X be a real Banach space. We prove that the existence of an injective, positive, symmetric and not strictly singular operator from X into its dual implies that either X admits an equivalent Hilbertian norm or it contains a nontrivially…

We describe how self-adjoint ordered operator spaces, also called non-unital operator systems in the literature, can be understood as $*$-vector spaces equipped with a matrix gauge structure. We explain how this perspective has several…

The Nekrasov partition function in supersymmetric quantum gauge theory is mathematically formulated as an equivariant integral over certain moduli spaces of sheaves on a complex surface. In ``Seiberg-Witten Theory and Random Partitions'',…

The $C^{\ast}$-algebra $\mathcal{U}_{nc}(n)$ is the universal $C^{\ast}$-algebra generated by $n^2$ generators $u_{ij}$ that make up a unitary matrix. We prove that Kirchberg's formulation of Connes' embedding problem has a positive answer…

These notes have the intent to introduce the study of the nonlinear aspects of operator space theory. We investigate some results on the nonlinear theory of Banach spaces which remain valid in the noncommutative case. In particular, we show…

It was shown by M. I. Zelikin (2007) that the spectrum of a nuclear operator in a separable Hilbert space is central-symmetric iff the spectral traces of all odd powers of the operator equal zero. The criterium can not be extended to the…

We prove that for operator spaces $V$ and $W$, the operator space $V^{**}\otimes_h W^{**}$ can be completely isometrically embedded into $(V\otimes_h W)^{**}$, $\otimes_h$ being the Haagerup tensor product. It is also shown that, for exact…

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…

Let $\Omega$ be a compact Hausdorff space, let $E$ be a Banach space, and let $C(\Omega, E)$ stand for the Banach space of all $E$-valued continuous functions on $\Omega$ under supnorm. In this paper we study when nuclear operators on…