Finite-dimensionality in the non-commutative Choquet boundary: peaking phenomena and $\mathrm{C}^*$-liminality

TL;DR

This paper investigates the finite-dimensional boundary representations of non-commutative operator algebras, introducing new topological and peaking phenomena tools to detect such representations and connect them with residual finite-dimensionality and C*-liminality.

Contribution

It develops a topological framework using peaking representations and projections to identify finite-dimensional boundary representations in non-commutative settings, linking to residual finite-dimensionality and C*-liminality.

Findings

Identifies mechanisms to detect finite-dimensional boundary representations.

Connects peaking phenomena with residual finite-dimensionality.

Introduces the concept of C*-liminality in this context.

Abstract

We explore the finite-dimensional part of the non-commutative Choquet boundary of an operator algebra. In other words, we seek finite-dimensional boundary representations. Such representations may fail to exist even when the underlying operator algebra is finite-dimensional. Nevertheless, we exhibit mechanisms that detect when a given finite-dimensional representation lies in the Choquet boundary. Broadly speaking, our approach is topological and requires identifying isolated points in the spectrum of the $\mathrm{C}^*$-envelope. This is accomplished by analyzing peaking representations and peaking projections, both of which being non-commutative versions of the classical notion of a peak point for a function algebra. We also connect this question with the residual finite-dimensionality of the $\mathrm{C}^*$-envelope and to a stronger property that we call $\mathrm{C}^*$-liminality. Recent developments in matrix convexity allow us to identify a pivotal intermediate property, whereby every matrix state is locally finite-dimensional.