Another proof for the continuity of the Lipsman mapping (Q2214152)

Let \(G\) be a second countable locally compact group, with Lie algebra \(\mathfrak{g}\), such that \(\exp(\mathfrak{g})=G\) (hence, in particular, for a simply connected nilpotent Lie group \(G\)); let \(\mathfrak{g}^\ddag\) the space of \emph{admissible} linear forms \(\psi\), that is, such that there exists a unitary character \(\chi\) of the identity component of \(G\) such that \(d\chi= i\psi_{|\mathfrak{g}\psi}\); let \(\widehat{G}\) be the unitary dual of \(G\), that is, the space of equivalence classes of its irreducible unitary representations. By holomorphic induction, every irreducible unitary representation is induced by an admissible linear form \(\psi\) of the Lie algebra \(\mathfrak{g}\) of \(G\). Thus we get a map from the set \(\mathfrak{g}^\ddag\) onto the dual space \(\widehat{G}\) of \(G\). The authors provide an alternative proof of the fact that the orbit map \(\Theta : \mathfrak{g}^\ddag/G\longrightarrow \widehat{G}\), is continuous. The paper also frames these arguments providing a well written description of the intervening objects.