A note on induced group representations and covariant representations of C *-algebras (Q1098386)

The author generalizes the theory of induced group representations and Hilbert-G-bundles [see: \textit{G. W. Mackey}, Unitary Representations in Physics, Probability and Number Theory (1978; Zbl 0401.22001); or: \textit{D. J. Simms}, Lie Groups and Quantum Mechanics, Lect. Notes Math. 52 (1968; Zbl 0161.240)] to \(G\)-covariant representations of \(C^*\)-dynamical systems \(<{\mathcal A},\tau,G>.\) Let G be a separable localy compact topological group acting transitively on a standard Borel space \(S\), let \(m\) be a \(G\)-invariant measure on \(S\) and let \(\Xi:=<X,S,p>\) be a Hilbert-G-bundle, i.e. there are continuous actions of \(G\) on \(X\) and on \(S\) such that the pair \(\alpha_ g:\) \(X\to X\), \(x\mapsto \alpha_ g(x)\), and \(\beta_ g:S\to S\), \(s\mapsto \beta_ g(s)\), is a Hilbert bundle autormorphisms \(<\alpha_ g,\beta_ g>\) of \(\Xi\) for each \(g\in G\). Denote the fibre \(p^{-1}(\{s\})\) by \(H_ s\) (s\(\in S)\) and let the unitary operator \(L\) \(s_ g:\) \(H_ s\to H_{\beta_ g(s)}\) be the restriction of the mapping \(\alpha_ g\) to the fibre \(H_ s.\) Consider a \(C^*\)-dynamical system \(<{\mathcal A},\tau,G>\), the stability group \(K_{s_ 0}\) of an element \(s_ 0\in S\) and the unitary representation \(L^{s_ 0}:\) \(K_{s_ 0}\to B(H_{s_ 0})\), \(k\mapsto L_ k^{s_ 0}\), of \(K_{s_ 0}\) associated to the Hilbert bundle \(\Xi\). Assume that \(<H_{s_ 0},\pi_{s_ 0},L^{s_ 0}>\) is a \(K\)-covariant repesentation of the restriction \(<{\mathcal A},\tau |_{K_{s_ 0}},K_{s_ 0}>\) of the original \(C^*\)-dynamical system. From this K- covariant representation the author constructs a fully \(G\)-covariant representation \(<H,\Pi,U>\) of \(<{\mathcal A},\tau,G>\), which is given by \[ <H,\Pi,U>=<\int^{\oplus}_{S}H_ sdm(s),\quad \int^{\oplus}_{S}\pi_ sdm(s),U> \] where the representation \(\pi_ s\) of the C *-algebra \({\mathcal A}\) in \(H_ s\) is given by \(\pi_ s(a):=(L s_ g)^{-1}\pi_{s_ 0}(\tau_ g(a))L s_ g\) \((a\in {\mathcal A}\); \(s=\beta_ g(s_ 0)\in S,g\in G\) suitable, and the representation \(\Pi\) is unitarily implemented by the unitary group representation induced by the action of G on the Hilbert-bundle \[ \Xi: U:G\to B(\int^{\oplus}_{S}H_ sdm(s)),g\mapsto U(g), \] with \((U(g)\Phi)(s):=L_ g^{\beta_ g(s)} \Phi(\beta_ g(s))\) \((g\in G,\Phi \in \int^{\oplus}_{S}H_ sdm(s)\), \(m\)-almost every \(s\in S).\) Using standard arguments the author shows the equivalence of this fully \(G\)-covariant representation with a representation \(<\tilde H,{\tilde \Pi},\tilde U>\) of \(<{\mathcal A},\tau,G>\) which stems from the familiar group representation of \(G\) induced by the stability group \(K_{s_ 0}.\) The last result provides a method for constructing fully G-covariant representations of a C *-dynamical system out of K-covariant ones without referring to Hilbert-G-bundles as carrier spaces. Finally the author uses these results to show that two previously given methods [\textit{P. Basarab-Howarth}, \textit{R. F. Streater}, \textit{J. R. Wright}, Commun. Math. Phys. 68, 195-207 (1979); \textit{K. Kraus} and the author, J. Phys. A 15, 2041-2052 (1982; Zbl 0491.46059)] of constructing G-covariant representations from representations which are only covariant under suitable subgroups \(K\subset G\) are in fact equivalent.