[Paper Review] The noncommutative Choquet boundary II: Hyperrigidity

William Arveson|ArXiv.org|Oct 15, 2008

Advanced Operator Algebra Research12 references4 citations

TL;DR

This paper establishes a characterization of hyperrigidity in C*-algebras using the noncommutative Choquet boundary, showing that a set of generators is hyperrigid if and only if every representation of the C*-algebra has the unique extension property for unital completely positive maps restricted to the operator space spanned by the generators and their adjoints. The key contribution is a general criterion linking hyperrigidity to boundary representations, with applications to operator algebras and noncommutative approximation theory.

ABSTRACT

A (finite or countably infinite) set G of generators of an abstract C*-algebra A is called hyperrigid if for every faithful representation of A on a Hilbert space $A\subseteq \mathcal B(H)$ and every sequence of unital completely positive linear maps $ϕ_1, ϕ_2,...$ from $\mathcal B(H)$ to itself, $$ \lim_{n o\infty}\|ϕ_n(g)-g\|=0, \forall g\in G \implies \lim_{n o\infty}\|ϕ_n(a)-a\|=0, \forall a\in A. $$ We show that one can determine whether a given set G of generators is hyperrigid by examining the noncommutative Choquet boundary of the operator space spanned by $G\cup G^*$. We present a variety of concrete applications and discuss prospects for further development.

Motivation & Objective

• To develop a noncommutative analog of classical approximation theory by studying hyperrigidity in C*-algebras.
• To determine when a set of generators of a C*-algebra is hyperrigid, meaning that pointwise convergence of UCP maps on generators implies convergence on the entire algebra.
• To establish a connection between hyperrigidity and the noncommutative Choquet boundary, particularly through boundary representations.
• To provide a general criterion for hyperrigidity based on the unique extension property of UCP maps.
• To apply the theory to concrete examples, including self-adjoint operators and isometries, and to analyze the role of operator convex functions and multiplicative domains.

Proposed method

• Introduces the concept of hyperrigidity for a set of generators of a C*-algebra, defined via the limit behavior of sequences of unital completely positive (UCP) maps on a faithful representation.
• Establishes that a separable operator system S generating a C*-algebra A is hyperrigid if and only if every representation of A has the unique extension property: the only UCP map extending the identity on S is the identity itself.
• Uses the noncommutative Choquet boundary to analyze the obstruction to hyperrigidity, particularly through the structure of boundary representations and the ideal of null operators.
• Applies the Stinespring representation and Schwarz inequality to derive norm estimates for UCP maps, especially in the context of operator convex functions and multiplicative domains.
• Employs a minimax principle and Hahn-Banach type duality to analyze points in the Choquet boundary and their role in unique extension.
• Proves that if the C*-algebra has countable spectrum, then hyperrigidity is equivalent to the unique extension property, and uses this to derive new hyperrigidity results.

Experimental results

Research questions

• RQ1 Under what conditions does a set of generators of a C*-algebra remain hyperrigid under all faithful representations?
• RQ2 How can hyperrigidity be characterized in terms of the noncommutative Choquet boundary and boundary representations?
• RQ3 What is the relationship between hyperrigidity and the unique extension property of unital completely positive maps?
• RQ4 Can hyperrigidity be determined by analyzing the multiplicative domains of UCP maps?
• RQ5 What role do operator convex functions and functional calculus play in characterizing equality in the Choi-Davis-Petz inequality, and how does this relate to hyperrigidity?

Key findings

• A separable operator system S generating a C*-algebra A is hyperrigid if and only if every representation of A has the unique extension property: the only UCP map extending the identity on S is the identity itself.
• The set G = {X, X²} is hyperrigid for the C*-algebra generated by a self-adjoint operator X, generalizing a noncommutative version of Korovkin's theorem.
• The set G = {V₁,…,Vₙ, V₁V₁* + ⋯ + VₙVₙ*} is hyperrigid for the C*-algebra generated by n isometries, including the standard generators of the Cuntz algebra On.
• For a unital C*-algebra with countable spectrum, hyperrigidity is equivalent to the unique extension property, and this leads to a complete characterization via the noncommutative Choquet boundary.
• If every point of a compact metric space X belongs to the Choquet boundary ∂ₛX relative to a function system S ⊆ C(X), then any UCP map φ satisfying φ(s) − π(s) ∈ 𝒩_π for all s ∈ S must satisfy φ(f) − π(f) ∈ 𝒩_π for all f ∈ C(X).
• The paper proves that for a function f vanishing at a boundary point p, the norm of φ(f)E(B₁/n(p)) tends to zero as n → ∞, which implies that the difference φ(f) − π(f) is in the null ideal of the representation π.