The noncommutative Choquet boundary

Abstract

Let S be an operator system -- a self-adjoint linear subspace of a unital C*-algebra A such that contains 1 and A=C*(S) is generated by S. A boundary representation for S is an irreducible representation πof C*(S) on a Hilbert space with the property that $\pi {\upharpoonright }_S$ has a unique completely positive extension to C*(S). The set ${\partial }_S$ of all (unitary equivalence classes of) boundary representations is the noncommutative counterpart of the Choquet boundary of a function system $S\subseteq C(X)$ that separates points of X. It is known that the closure of the Choquet boundary of a function system S is the Silov boundary of X relative to S. The corresponding noncommutative problem of whether every operator system has "sufficiently many" boundary representations was formulated in 1969, but has remained unsolved despite progress on related issues. In particular, it was unknown if ${\partial }_S$ is nonempty for generic S. In this paper we show that every separable operator system has sufficiently many boundary representations. Our methods use separability in an essential way.

22 pages. A significant revision, including a new section and many clarifications. No change in the basic mathematics

Cited by in corpus (24)

• The Choquet boundary of an operator system
• Spectral truncations in noncommutative geometry and operator systems
• The matricial relaxation of a linear matrix inequality
• Multiplier algebras of complete Nevanlinna-Pick spaces: dilations, boundary representations and hyperrigidity
• Measurement theory in local quantum physics
• Extremal Quantum Correlations and Cryptographic Security
• Extreme points of matrix convex sets, free spectrahedra and dilation theory
• Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets
• Choquet order and hyperrigidity for function systems
• Arveson extreme points span free spectrahedra
• Matrix Convex Sets Without Absolute Extreme Points
• Full Cuntz-Krieger dilations via non-commutative boundaries
• Non-commutative peaking phenomena and a local version of the hyperrigidity conjecture
• Strongly peaking representations and compressions of operator systems
• Compressions of compact tuples
• Crossed products of operator systems
• Semidefinite programming in matrix unknowns which are dimension free
• Circular Free Spectrahedra
• Empirical properties of optima in free semidefinite programs
• Rational Cuntz states peak on the free disk algebra
• Matrix convex sets over the Euclidean ball and polar duals of real free spectrahedra
• Normal coactions extend to the C*-envelope
• Extreme points of matrix convex sets and their spanning properties
• Matrix Extreme Points and Free extreme points of Free spectrahedra