$C^\ast$-extreme points of unital completely positive maps invariant under group action

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 $\text{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 $\text{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 $\text{UCP}^{G_τ} \big(\mathcal{A}, \mathcal{B} (\mathcal{H} ) \big)$.