The minimal primal ideal space of a separable \(C^*\)-algebra (Q1330155): Difference between revisions

Let \(\mathcal A\) be a \(C^*\)-algebra, \(\text{Id}({\mathcal A})\) the set of closed two-sided ideals of \(\mathcal A\) with the weak topology generated by sets of the form \(I\in \text{Id}({\mathcal A}): I\not\supset J\), where \(J\) runs through \(\text{Id}({\mathcal A})\). The restriction of this topology to the set \(\text{Prim}({\mathcal A})\) of primitive ideals coincides with the Jacobson topology. The set \(\text{Primal}({\mathcal A})\) is the closure of \(\text{Prim}({\mathcal A})\). Let \(\text{PI}({\mathcal A})\) be \(\text{Primal}({\mathcal A})\) without the trivial primal ideal \(\mathcal A\). Let, finally, \(\text{MP}({\mathcal A})\) denote the space of all minimal primal ideals. This paper is concerned with the linearity of continuous quasistates and with representations of \(C^*\)-algebras by Borel sections living on the Gelfand space \(T\) of the center of \(\mathcal A\). Let \(T_ \infty\) be the one-point compactification of \(T\). Consider the map \(\Phi: \text{PI}({\mathcal A})\to T_ \infty\) defined as follows: for \(a\) in the center of \({\mathcal A}\) let \(\widehat a: \text{Prim}({\mathcal A})\to \mathbb{C}\) be the Dauns-Hoffmann transformation of \(a\), which is a continuous map vanishing at infinity if \(\text{Prim}({\mathcal A})\) carries the weak topology. For any \(P\in \text{Prim}({\mathcal A})\) the map \(a\to \widehat a(P)\) determines a unique point \(t\in T_ \infty\) such that \(\widehat a(P)= a(t)\), where the center of \(\mathcal A\) is identified with its Gelfand representation. Define \(\Phi(P)= t\). A result by \textit{R. J. Archbold} [J. Lond. Math. Soc., II. Ser. 35, No. 3, 524-542 (1987; Zbl 0613.46048)] implies that \(\Phi\) can be extended to a map \(\text{PI}({\mathcal A})\to T_ \infty\), which is also called \(\Phi\). The author proves that for certain \(C^*\)-algebras, for any cross section \(\phi: T\to \text{MP}({\mathcal A})\) of \(\Phi: \text{MP}({\mathcal A})\to T_ \infty\) it holds \(\phi(T)\) is dense in \(\text{MP}({\mathcal A})\). There are also some results proving that for certain \(C^*\)-algebras every continuous quasistate is linear. Finally, the author presents some topological properties of the space \(\text{MP}({\mathcal A})\), e.g. \(\text{MP}({\mathcal A})\) is a Polish space if \(\mathcal A\) is separable and there is a Borel measurable map \(\psi: T\to \text{MP}({\mathcal A})\) such that \(\Phi\circ\psi= \text{id}_ T\).