Induced representations of nonlocally compact groups (Q1907423)

Induced representations were introduced by Mackey in 1949 for locally compact separable groups. One of the main results of the induced representation theory is the imprimitivity theorem characterizing induced representations as those which have an associate imprimitivity system. The author proves the imprimitivity theorem in a nonlocally compact case when a separable topological group \(G\) has a closed subgroup \(K\) such that the quotient space \(G/K\) is compact and there exists a Borel cross section from \(G/K\) to \(G\). The proof is based on the von Neumann direct integral decomposition theory for Hilbert spaces.