On the generalized moment separability theorem for type 1 solvable Lie groups (Q1793971)

Let \(G\) be a connected and simply connected real Lie group, and \(\pi \) a unitary representation of \(G\) on a Hilbert space \(\mathcal H_\pi\). Let us denote by \(\mathfrak g\) the Lie algebra of \(G\) and by \(\mathfrak A(\mathfrak g)\) the complex universal enveloping algebra of \(\mathfrak g\). The associative algebra \(\mathfrak A(\mathfrak g)\) acts naturally on the space \(\mathcal H^\infty_\pi\) of \(C^\infty\) vectors in \(\mathcal H_\pi\). We denote by \(d\pi\) the corresponding representation. Let \(f\) be a nonvanishing \(C^\infty\) vector in \(\mathcal H_\pi\). The moment of \(\pi\) in \(f\) is defined by: \[ \Psi_\pi(f)(A)=\mathfrak{Re}\Big(\frac{1}{i}\frac{\langle d\pi(A)f,f\rangle}{\langle f,f\rangle}\Big). \] The map \(\Psi_\pi:\mathcal H^\infty_\pi\setminus\{0\}\rightarrow (\mathfrak A(\mathfrak g))_\mathbb R^\star\) is the generalized moment map of the representation \(\pi\). One can define the range \(I(\pi) = \Psi(\mathcal H_\pi^\infty \setminus \{ 0\})\) of the map \(\Psi \) and the generalized moment set of \(\pi\) by the convex hull \(J(\pi) = \text{Conv}( I(\pi))\) of \(I(\pi)\). In [J. Funct. Anal. 228, No. 1, 189--206 (2005; Zbl 1085.22007)], \textit{L. Abdelmoula} et al. defined the complete moment set \(\tilde{J}(\pi)\) for a unitary representation \(\pi\) of \(G\) as the generalized moment set of some representation \(\tilde{\pi} = \aleph _0 \pi\) and proved the following results: If \(\pi\) and \(\rho\) are two irreducible unitary representations of \(G\), then \(\pi\) and \(\rho\) are equivalent if and only if \(J(\pi)=J(\rho)\), if and only if \(\tilde{J}(\pi) = \tilde{J}(\rho)\). In this paper, the authors provide a second proof of the generalized moment separability theorem for a connected and simply connected solvable Lie group \(G\) where its irreducible unitary representations are assumed to be associated to integral orbits. The proof uses the Auslander- Kostant orbit methods by a discussion on the dimension of \(\mathfrak z(\mathfrak g)\). Indeed, if \(\mathfrak g^*\) is the dual vector space of the Lie algebra \(\mathfrak g\), define \(\mathfrak gV^*_{\text{int}}\) as the set of all integral linear forms \(f\) in \(\mathfrak g^*\). The Auslander-Kostant dual of \(G\) is the set of irreducible unitary representations associated to the integral coadjoint orbits \[ \vee G = \{ \pi_f \in \hat{G} : f \in \mathfrak g^*_{\text{int}}\}. \] More precisely, one says that \(\widehat{G} \), the dual of \(G\), is generalized moment separable when the generalized moment sets differ for any pair of distinct irreducible unitary representations. The authors prove that, if \(G \) is a connected and simply connected solvable Lie group, \(\pi_f\) and \(\rho_g \) are two irreducible unitary representations of \(G\), respectively associated to the integral coadjoint orbits \(\mathcal O_f\) and \(\mathcal O_g\). Then \(\pi_f= \rho_g\) if and only if \(J(\pi_f ) = J(\rho_g)\). As a consequence of this, if \(G\) is a type 1 connected and simply connected solvable Lie group, and \(\widehat{ G}= \vee G\), then \( \widehat{G}\) is generalized moment separable.