Separation of unitary representations of connected Lie groups by their moment sets (Q2573418): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jfa.2004.11.013 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1999791063 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4831732 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4517068 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The convexity of the moment map of a Lie group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analytic vectors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5682517 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convexity and unitary representations of nilpotent Lie groups / rank | |||
Normal rank |
Latest revision as of 13:12, 11 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Separation of unitary representations of connected Lie groups by their moment sets |
scientific article |
Statements
Separation of unitary representations of connected Lie groups by their moment sets (English)
0 references
22 November 2005
0 references
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.
0 references
Lie group
0 references
Unitary representation
0 references
Moment set
0 references