[論文レビュー] $C^\ast$-extreme points of unital completely positive maps invariant under group action

Chaitanya J. Kulkarni|arXiv (Cornell University)|Jan 22, 2026

Advanced Operator Algebra Research被引用数 0

ひとこと要約

The paper analyzes C*-extreme points of the G-invariant unital completely positive maps from a unital C*-algebra to B(H) under a group action, and establishes a Krein–Milman type theorem in C*-convexity.

ABSTRACT

In this work, we study a sub-collection of unital completely positive maps from a unital $C^\ast$-algebra $\mathcal{A}$ to $\mathcal{B}(\mathcal{H})$, the algebra of bounded linear operators on a Hilbert space $\mathcal{H}$ in the setting of $C^\ast$-convexity. Let $τ$ be an action of a group $G$ on the $C^\ast$-algebra $\mathcal{A}$ through $C^\ast$-automorphisms. We focus our attention to the set of all unital completely positive maps from $\mathcal{A}$ to $\mathcal{B}(\mathcal{H})$, which remain invariant under $τ$. We denote this collection by the notation $ ext{UCP}^{G_τ} \big(\mathcal{A}, \mathcal{B} (\mathcal{H} ) \big)$. This collection forms a $C^\ast$-convex set. We characterize the set of $C^\ast$-extreme points of $ ext{UCP}^{G_τ} \big(\mathcal{A}, \mathcal{B} (\mathcal{H} ) \big)$. Further, we conclude the article by proving the Krein--Milman type theorem in the setting of $C^\ast$-convexity for the set $ ext{UCP}^{G_τ} \big(\mathcal{A}, \mathcal{B} (\mathcal{H} ) \big)$.

研究の動機と目的

• Motivate and study a G-invariant subcollection of UCP maps from a unital C*-algebra to B(H) within the framework of C*-convexity.
• Characterize the C*-extreme points of UCP^G(A,B(H)) and understand their structure.
• Develop sufficient conditions that guarantee a map is a C*-extreme point.
• Establish a Krein–Milman type theorem for the set UCP^G(A,B(H)) in the C*-convex setting.

提案手法

• Use Stinespring’s dilation to obtain minimal representations (π,V,K) for maps in UCP^G(A,B(H)).
• Apply Radon–Nikodym type results (via positive operators in π(A)′ or its commutant) to describe [0,φ] in CP^G(A,B(H)).
• Introduce and utilize C*-convex combinations φ(·)=∑ T_i* _i(·) T_i with ∑ T_i* T_i = Id_H.
• Provide sufficient conditions (inflation of a pure state, multiplicativity, VH invariant under the commutant, pure CP map) ensuring C*-extremity.
• Prove a characterization theorem for C*-extreme points and develop a Krein–Milman type result in this setting.

実験結果

リサーチクエスチョン

• RQ1 What are the C*-extreme points of UCP^G(A,B(H)) under a G-action?
• RQ2 How can Stinespring dilations and Radon–Nikodym derivatives be used to characterize C*-extreme points?
• RQ3 What sufficient conditions guarantee that a map in UCP^G(A,B(H)) is C*-extreme?
• RQ4 Can a Krein–Milman type theorem be established for UCP^G(A,B(H)) in the C*-convex framework?

主な発見

• Identifies and proves sufficient conditions that guarantee a map in UCP^G(A,B(H)) is a C*-extreme point (inflation of a pure state, multiplicativity, invariant commutant, pure CP map).
• Shows that a C*-extreme point is preserved under unitary equivalence within the G-invariant setting and relates C*-extremity to linear extremity in finite dimensions.
• Provides a criterion (Theorem 4.1) that reduces the check of C*-extremity to two-term C*-convex decompositions.
• Establishes a Krein–Milman type theorem for UCP^G(A,B(H)) within the C*-convex framework.