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.

Nonstable K–theory for Extension Algebras of the Simple Purely Infinite C^–algebra by Certain C^–algebras

On unital absorbing extensions of C$^*$-algebras of stable rank one and real rank zero

A latticed total K-theory

Extensions of C*-algebas by a small ideal

Some classifiable groupoid C*-algebras with prescribed K-theory

Total Cuntz semigroup, Extension and Elliott Conjecture with Real rank zero

Total Cuntz semigroup, extension, and Elliott Conjecture with real rank zero

$K$-stability of $C^*$-algebras generated by isometries and unitaries with twisted commutation relations

A Simple Separable Exact C*-Algebra not Anti-isomorphic to Itself

C*-Algebras over Topological Spaces: Filtrated K-Theory

Non-unital algebraic $K$-theory and almost mathematics

Relative $K$-theory for $C^*$-algebras

E-theory is a special case of KK-theory

On the K-theory of the AF core of a graph C*-algebra

$K$-theory of co-existentially closed continua

A linearization map for genuine equivariant algebraic $K$-theory

Categorical properties and homological conjectures for bounded extensions of algebras

Separable commutative algebras and Galois theory in stable homotopy theories

K-stability of Z-stable C*-algebras

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

$K$-theory of rings of continuous functions

Nonstable K–theory for Extension Algebras of the Simple Purely Infinite C^*–algebra by Certain C^*–algebras