2025/02/21 by R, Anand O., Sumesh, K., Sutradhar, Arindam · 1 citation
#46L05 #46L07 #46L30 #FOS: Mathematics #Functional Analysis (math.FA) #Operator Algebras (math.OA)
paper · doi:10.48550/arxiv.2502.15362
In this paper, we investigate the general properties and structure of C^*-extreme points within the C^*-convex set UCP(A,B(H)) of all unital completely positive (UCP) maps from a unital real C^*-algebra A to the algebra B(H) of all bounded real linear maps on a real Hilbert space H. We analyze the differences in the structure of C^*-extreme points between the real and complex C^*-algebra cases. In particular, we show that the necessary and sufficient conditions for a UCP map between matrix algebras to be a C^*-extreme point are identical in both the real and complex matrix algebra cases. We also observe significant differences in the structure of C^*-extreme points when A is a commutative real C^*-algebra compared to when A is a commutative complex C^*-algebra. We provide a complete classification of the C^*-extreme points of UCP(A,B(H)), where A is a unital commutative real C^*-algebra and H is a finite-dimensional real Hilbert space. As an application, we classify all C^*-extreme points in the C^*-convex set of all contractive skew-symmetric real matrices in Mn(ℝ).