\(C^*\)-convex sets and completely positive maps (Q2629358)

A well-known result from classical functional analysis says that each compact convex set in a linear topological Hausdorff space can be represented as a state space of an operator system. In this work, the author considers an operator-valued analogue of this result. Namely, the author proves that, for every \(C^*\)-algebra \(\mathcal{A}\), each weak\(^*\) compact \(\mathcal{A}\)-convex set \(\mathcal{K}\) of Hilbert space operators can be realized as an operator-valued state space \(S:=UCP_{\mathcal{C}}(\mathcal{X}, \mathbb{B(\mathcal{H})})\) for a universal Hilbert \(\mathcal{A}\)-module \(\mathcal{H}\) and an operator \(\mathcal{C}\)-system \(\mathcal{X}\), where \(\mathcal{C}=\mathbb{B}_{\mathcal{A}}(\mathcal{H})\). Further, the author shows that each weak\(^*\) compact \(\mathcal{A}\)-convex subset of a general normal dual Banach bimodule over a von Neumann algebra \(\mathcal{A}\) can be regarded as an \(\mathcal{A}\)-convex set of Hilbert space operators.