Separation of unitary representations of connected Lie groups by their moment sets (Q2573418): Difference between revisions

Let \(G\) be a real Lie group with Lie algebra \(\mathfrak g\), \((\pi,{ \mathcal{H}}_\pi)\) a unitary representation of \(G\) and \({\mathcal{H}}_\pi^\infty\) the space of \(C^\infty\) vectors of \(\pi\). Let \({\mathfrak g}^*\) be the dual space of \({\mathfrak g}\). \textit{N. J. Wildberger} [Invent. Math. 98, No.~2, 281--292 (1989; Zbl 0684.22005)] has introduced the moment map \(\Psi_\pi\) \[ \Psi_\pi:{\mathcal{H}}^\infty\setminus \{0\}\longrightarrow \mathfrak g^* \] of \(\pi\). For all \(\xi\) in \({\mathcal{H}}_\pi^\infty\setminus\{0\}\), \(\Psi_\pi(\xi)\) in \(\mathfrak g^*\) is defined by: \[ \Psi_\pi (\xi) (X) = {1\over i} { \over <\xi, \xi>}, \quad X \in \mathfrak g, \] where \(d\pi\) denotes the derived representation of \(\mathfrak g\). The moment set \(I_\pi\) of the representation \(\pi\) is defined as the closure in \(\mathfrak g^*\) of the image of the moment map. Wildberger has given an explicit description of the moment set \(I_\pi\) when \(G\) is a connected, simply connected nilpotent Lie group. More precisely, he shows that \(I_\pi\) is the closure of the convex hull of the coadjoint orbit \({\mathcal{O}}_\pi\) associated with \(\pi\) via Kirillov theory, i.e. \[ I_\pi=\overline{\hbox{conv}({ \mathcal{O}}_{\pi})}. \] This result has been generalized to encompass connected solvable Lie groups by \textit{D. Arnal} and \textit{J. Ludwig} in [J. Funct. Anal. 105, No.~2, 256--300 (1992; Zbl 0763.22006)]. However, the moment set does not characterize in general unitary and irreducible representations of solvable Lie groups. Let \({\mathcal{U}}(\mathfrak g)\) be the complex universal enveloping algebra of \(\mathfrak g\). Later, the moment map was extended to the dual of \({\mathcal {U}}(\mathfrak g)\). The generalized moment map \(\Psi_\pi\) of a representation \(\pi\) is defined for all \(\xi\) in \({\mathcal{H}}_\pi^\infty\setminus\{0\}\) by \[ \tilde{\Psi}_\pi(\xi)(A) =\mathfrak {Re }\left({1\over i} { \over <\xi, \xi>}\right),~~\xi \in { \mathcal{H}}^\infty\setminus\{0\}, \;A \in {\mathcal {U}}(\mathfrak g). \] The convex hull of its image is called the generalized moment set and denoted \({J}(\pi)\): \[ { J}(\pi)=\hbox{conv}\left( \tilde{\Psi}_\pi({\mathcal{H}}^\infty\setminus\{0\}) \right). \] Define \(J(\pi)^n=\{f_{|_{{\mathcal {U}}_n(\mathfrak g)}},~f\in J(\pi)\}\), where \({\mathcal {U}}_n(\mathfrak g)\) denotes the space of elements of degree less than or equal to \(n\) for a given integer \(n\). Then it was shown that the set \({J}(\pi)\) is weakly closed in \({\mathcal {U}}(\mathfrak g)^*\), and there exists an integer \(n\) (which depends only on the group \(G\)) such that, for any unitary and irreducible representations \(\pi\) and \(\rho\), one has \(J(\pi)^n=J(\rho)^n\) if and only if \(\pi\) and \(\rho\) are equivalent. For an exponential solvable Lie group \(G =\exp\mathfrak g\), it has been shown that \(\pi\) and \(\rho\) are equivalent if and only if \(J(\pi)=J(\rho)\). The aim of the paper under review is to generalize such result for general connected Lie groups. The authors single out the notion of complete moment set to each irreducible and unitary representation of the group in question. Using this notion, they show that the complete moment set characterizes the unitary representations up to quasi-equivalence. They show even more that the complete moment set characterizes the unitary and irreducible representations up to equivalence.