Related papers: Embeddings and $C^*$-envelopes of exact operator s…
An operator system modulo the kernel of a completely positive linear map of the operator system gives rise to an operator system quotient. In this paper, operator system quotients and quotient maps of certain matrix algebras are considered.…
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…
We show that the class of 1-exact operator systems is not uniformly definable by a sequence of types. We use this fact to show that there is no finitary version of Arveson's extension theorem. Next, we show that WEP is equivalent to 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 study the issue of issue of purity (as a completely positive linear map) for identity maps on operators systems and for their completely isometric embeddings into their C$^*$-envelopes and injective envelopes. Our most general result…
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…
A notion of super operator system is defined which generalizes the usual notion of operator systems to include certain unital involutive operator spaces which cannot be represented completely isometric as a concrete operator system on some…
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 concept of a relatively weakly injective pair of operator systems is introduced and studied in this paper, motivated by relative weak injectivity in the C*-algebra category. E. Kirchberg \cite{Kr} proved that the C*-algebra…
The purpose of the present paper is to lay the foundations for a systematic study of tensor products of operator systems. After giving an axiomatic definition of tensor products in this category, we examine in detail several particular…
Kirchberg's Embedding Problem (KEP) asks whether every separable C$^*$ algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In this paper, we use model theory to show that this conjecture is equivalent to a local…
This work is motivated by Radulescu's result on the comparison of C*-tensor norms on C*(F_n) x C*(F_n). For unital C*-algebras A and B, there are natural inclusions of A and B into their unital free product, their maximal tensor product and…
In this paper, we construct, for a certain class of semigroup dynamical systems, two operator algebras that are universal with respect to their corresponding covariance conditions: one being self-adjoint, and another being non-self-adjoint.…
We study the relationship between $C^*$-envelopes and inductive limit of operator systems. Various operator system nuclearity properties of inductive limit for a sequence of operator systems are also discussed.
We reformed the tensor product theory of vertex operator algebras developed by Huang and Lepowsky so that we could apply it to all vertex operator algebras satisfying C_2-cofiniteness. We also showed that the tensor product theory develops…
We define $\Delta$-equivalence for operator systems and show that it is identical to stable isomorphism. We define $\Delta$-contexts and bihomomorphism contexts and show that two operator systems are $\Delta$-equivalent if and only if they…
We establish the dual equivalence of the category of (potentially nonunital) operator systems and the category of pointed compact nc (noncommutative) convex sets, extending a result of Davidson and the first author. We then apply this dual…
Embedding discrete Markov chains into continuous ones is a famous open problem in probability theory with many applications. Inspired by recent progress, we study the closely related questions of embeddability of real and positive operators…
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…
Let $(G, P)$ be an abelian, lattice ordered group and let $X$ be a compactly aligned product system over $P$. We show that the C*-envelope of the Nica tensor algebra $\mathcal{N}\mathcal{T}^+_X$ coincides with both Sehnem's covariance…