Continuous Dependence on the Initial Data in the Kadison Transitivity Theorem and GNS Construction
We consider how the outputs of the Kadison transitivity theorem and Gelfand-Naimark-Segal construction may be obtained in families when the initial data are varied. More precisely, for the Kadison transitivity theorem, we prove that for any nonzero irreducible representation (H,π) of a C∗-algebra A and n∈N, there exists a continuous function A:X→A such that π(A(x,y))xi=yi for all i∈{1,…,n}, where X is the set of pairs of n-tuples (x,y)∈Hn×Hn such that the components of x are linearly independent. Versions of this result where A maps into the self-adjoint or unitary elements of A are also presented. Regarding the Gelfand-Naimark-Segal construction, we prove that given a topological C∗-algebra fiber bundle p:A→Y, one may construct a topological fiber bundle P(A)→Y whose fiber over y∈Y is the space of pure states of Ay (with the norm topology), as well as bundles H→P(A) and N→P(A) whose fibers Hω and Nω over ω∈P(A) are the GNS Hilbert space and closed left ideal, respectively, corresponding to ω. When p:A→Y is a smooth fiber bundle, we show that P(A)→Y and H→P(A) are also smooth fiber bundles; this involves proving that the group of ∗-automorphisms of a C∗-algebra is a Banach-Lie group. In service of these results, we review the geometry of the topology and pure state space. A simple non-interacting quantum spin system is provided as an example.