Table of Contents
Fetching ...

Boundary representations, geometry of matrix ranges, and C$^*$-envelopes of finite-dimensional operator systems

Douglas Farenick, Chi-Kwong Li, Sushil Singla

Abstract

An analysis of the boundary representations and C$^*$-envelopes of some finite-dimensional operator systems $\mathcal R$ is undertaken by considering relationships between operator-theoretic properties of a $d$-tuple $\mathfrak x=(x_1,\dots, x_d)$ of elements in a unital C$^*$-algebra $\mathcal A$ and operator-system properties of the linear span $\mathcal O_{\mathfrak x}$ of $\{1_\mathcal A,x_1,x_1^*,\dots,x_d,x_d^*\}$. This approach lends itself well to the study of certain phenomena in single- and several-variable operator theory, such as the Smith-Ward property. The matrix range of a $d$-tuple of elements $\mathfrak x$ is matrix-affinely homeomorphic to the matrix state space of the operator system determined by $\mathfrak x$, and many of our methods connect the geometry of these compact matrix convex sets to operator system properties, including various forms of nuclearity and lifting properties.

Boundary representations, geometry of matrix ranges, and C$^*$-envelopes of finite-dimensional operator systems

Abstract

An analysis of the boundary representations and C-envelopes of some finite-dimensional operator systems is undertaken by considering relationships between operator-theoretic properties of a -tuple of elements in a unital C-algebra and operator-system properties of the linear span of . This approach lends itself well to the study of certain phenomena in single- and several-variable operator theory, such as the Smith-Ward property. The matrix range of a -tuple of elements is matrix-affinely homeomorphic to the matrix state space of the operator system determined by , and many of our methods connect the geometry of these compact matrix convex sets to operator system properties, including various forms of nuclearity and lifting properties.

Paper Structure

This paper contains 23 sections, 44 theorems, 71 equations.

Key Result

Theorem 2.3

If ${\mathcal{R}}$ is an operator system, then there exists a unital C$^*$-algebra ${\rm C}_{\rm min}^*({\mathcal{R}})$ and unital complete order embedding $\iota_{\rm e}:{\mathcal{R}}\rightarrow{\rm C}_{\rm min}^*({\mathcal{R}})$ with the following universal property: for any C$^*$-cover $({\mathca

Theorems & Definitions (103)

  • Definition 2.1
  • Definition 2.2
  • Theorem 2.3: Hamana
  • Definition 2.4
  • Theorem 2.5: Arveson-Davidson-Kennedy
  • Definition 2.6
  • Definition 2.7
  • Definition 2.8
  • Definition 2.9
  • Definition 2.10
  • ...and 93 more