A Non-Commutative Unitary Analogue of Kirchberg's Conjecture (1608.03229v3)

Abstract: 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 if and only if $\mathcal{U}{nc}(2) \otimes{\min} \mathcal{U}{nc}(2)=\mathcal{U}{nc}(2) \otimes_{\max} \mathcal{U}{nc}(2)$. Our results follow from properties of the finite-dimensional operator system $\mathcal{V}_n$ spanned by $1$ and the generators of $\mathcal{U}{nc}(n)$. We show that $\mathcal{V}n$ is an operator system quotient of $M{2n}$ and has the OSLLP. We obtain necessary and sufficient conditions on $\mathcal{V}_n$ for there to be a positive answer to Kirchberg's problem. Finally, in analogy with recent results of Ozawa, we show that a form of Tsirelson's problem related to $\mathcal{V}_n$ is equivalent to Connes' Embedding problem.