The noncommutative Choquet boundary III: Operator systems in matrix algebras

Abstract

We classify operator systems $S\subseteq \mathcal{B}(H)$ that act on finite dimensional Hilbert spaces by making use of the noncommutative Choquet boundary. S is said to be {\em reduced} when its boundary ideal is 0. In the category of operator systems, that property functions as semisimplicity does in the category of complex Banach algebras. We construct explicit examples of reduced operator systems using sequences of "parameterizing maps" ${\Gamma }_k:{\mathbb{C}}^r\to \mathcal{B}(H_k)$, $k=1,...,N$. We show that every reduced operator system is isomorphic to one of these, and that two sequences give rise to isomorphic operator systems if and only if they are "unitarily equivalent" parameterizing sequences. Finally, we construct nonreduced operator systems $S$ that have a given boundary ideal $K$ and a given reduced image in $C^{\ast }(S)/K$, and show that these constructed examples exhaust the possibilities.

13 pages

References in corpus (1)

• The noncommutative Choquet boundary II: Hyperrigidity

Cited by in corpus (8)

• Dilations, inclusions of matrix convex sets, and completely positive maps
• The classification problem for finitely generated operator systems and spaces
• The Extension of Unital Completely Positive Semigroups on Operator Systems to Semigroups on $C^{\ast }$-algebras
• Quasi Hyperrigidity and Weak Peak Points for Non-Commutative Operator Systems
• Berezin Quantization From Ergodic Actions of Compact Quantum Groups, and Quantum Gromov-Hausdorff Distance
• Boundaries, Bundles and Trace Algebras
• On Arveson's Boundary Theorem
• Arveson's criterion for unitary similarity