Abstract:Through the lens of noncommutative function theory, we study restrictions of pure states to unital subspaces of $C^*$-algebras, in the spirit of the Kadison--Singer question. More precisely, given a unital subspace $M$ of a $C^*$-algebra $B$, the fundamental problem is to describe those pure states $\omega$ on $B$ for which $E_\omega=\{\omega\}$, where $E_\omega$ is the set of states on $B$ extending $\omega|_M$. In other words, we aim to understand when $\omega|_M$ admits a unique extension to a state on $B$. We find that the obvious necessary condition that $\omega|_M$ also be pure is sufficient in some naturally occurring examples, but not in general. Guided by classical results for spaces of continuous functions, we then turn to noncommutative peaking phenomena, and to the several variations on noncommutative peak points that have previously appeared in the literature. We perform a thorough analysis of these various notions, illustrating that all of them are in fact distinct, addressing their existence and, in some cases, their relative abundance. Notably, we find that none of the pre-existing notions provide a solution to our main problem. We are thus naturally led to introduce a new type of peaking behaviour for $\omega$, namely that the set $E_\omega$ be what we call a "pinnacle set". Roughly speaking, our main result is that $\omega|_M$ admits a unique extension to $B$ if and only if $E_\omega$ is an $M$-pinnacle set.

Uniqueness of extremal almost periodic states on the injective type III$_{1}$ factor

Uniqueness of Rankin–Selberg Periods

Arithmetic quantum unique ergodicity for products of hyperbolic $2$- and $3$-manifolds

Existence of Approximately Macroscopically Unique States

Arithmetic unique ergodicity for infinite dimensional flat bundles

Uniqueness up to Inner Automorphism of Regular Exact Borel Subalgebras

Vinberg's T-Algebras. From Exceptional Periodicity to Black Hole Entropy

A class of II_1 factors with many non conjugate Cartan subalgebras

General solidity phenomena and anticoarse spaces for type $\mathrm{III}_1$ factors

Classification of a family of non almost periodic free Araki-Woods factors

Restrictions of pure states to subspaces of $C^*$-algebras

Existential closedeness and the structure of bimodules of II$_1$ factors

Uniqueness of Extremal Kähler Metrics

Approximation properties and absence of Cartan subalgebra for free Araki-Woods factors

Operator spaces and Araki-Woods factors --A quantum probabilistic approach--

Restricted shtukas and $Ψ$-factorizable sheaves

Host-Kra factors for $\bigoplus_{p\in P}\mathbb{Z}/p\mathbb{Z}$ actions and finite dimensional nilpotent systems

Quasi-invariant states

Non-Abelian Factors for Actions of $\mathbb{Z}$ and Other Non-$C^*$-Simple Groups

On characterizations of unique extremality

Unique Factorization for Tensor Products of Parabolic Verma Modules