Decomposing an arbitrary unitary representation of a connected nilpotent Lie group in terms of its irreps - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T07:14:38Z http://mathoverflow.net/feeds/question/48760 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/48760/decomposing-an-arbitrary-unitary-representation-of-a-connected-nilpotent-lie-grou Decomposing an arbitrary unitary representation of a connected nilpotent Lie group in terms of its irreps Mark Schwarzmann 2010-12-09T13:51:25Z 2011-03-08T04:42:21Z <p>For a locally compact (Hausdorff) abelian group $G$ we have following theorem (see e.g. Folland):</p> <p>"For every (strongly continuous) unitary representation $(\pi,\mathcal{H_{\pi}})$ of $G$, there exists a unique regular $\mathcal{H}_{\pi}$-<a href="http://en.wikipedia.org/wiki/Projection-valued_measure" rel="nofollow">projection-valued measure</a> $P$ on $\hat{G}$ such that $\pi$ decomposes as:</p> <p>$\pi (g)=\int_{\hat{G}}\left\langle g,\chi\right\rangle dP\left(\chi\right)$ for every $g \in G$."</p> <p>To which extent is this theorem true for nilpotent Lie groups (say, connected and simply connected)? That is, do we have a canonical decomposition of a unitary representation of such a group in terms of its irreducible unireps and some sort of measure on the unitary dual? </p> <p>The proof of the above theorem has two major ingredients: the identification of the spectrum of $L^1 (G)$ with $\hat{G}$ when $G$ is abelian and the spectral theory of commutative Banach algebras. It is not clear to me whether any of these ingredients has a suitable analogue in the nilpotent case. Furthermore, in this case $\hat{G}$ is not a group or even a Hausdorff space, plus one would have to integrate an operator-valued function which assumes operators acting on <em>different</em> Hilbert spaces as its values. Thus I am not so sure if the standard theory of projection-valued measures can be so easily applied in this case.</p> http://mathoverflow.net/questions/48760/decomposing-an-arbitrary-unitary-representation-of-a-connected-nilpotent-lie-grou/49579#49579 Answer by Hadi for Decomposing an arbitrary unitary representation of a connected nilpotent Lie group in terms of its irreps Hadi 2010-12-15T23:03:19Z 2010-12-15T23:03:19Z <p>First some bad news : such a decomposition only exists for groups which are said to be of Type I (some notion coming from the theory of von Neumann algebras). There are examples of topological groups which are not of Type I, and have representations which can be decomposed in two different way (even with disjoint support).</p> <p>Next the good news : luckily, every connected nilpotent Lie group is of Type I. The spectral measure you are looking for indeed does exist, and in some cases (e.g., the regular representation) it is understood explicitly. See the book by Corwin and Greenleaf or the book by Pukanszky. (It is easy to find them on MathSciNet.)</p> http://mathoverflow.net/questions/48760/decomposing-an-arbitrary-unitary-representation-of-a-connected-nilpotent-lie-grou/57774#57774 Answer by Vignon for Decomposing an arbitrary unitary representation of a connected nilpotent Lie group in terms of its irreps Vignon 2011-03-08T04:42:21Z 2011-03-08T04:42:21Z <p>Brad Currey has actually obtained a pretty explicit description of the Plancherel measure for general exponential solvable Lie groups which is used to decompose the representation into direct integral of irreducibles. Notice that nilpotent Lie groups are part of this larger class of exponential Lie groups. He uses the technique of jump indexes and orbit method. Here is his paper</p> <p><a href="http://mathcs.slu.edu/~currey/030401-Currey-1.pdf" rel="nofollow">http://mathcs.slu.edu/~currey/030401-Currey-1.pdf</a></p> <p>Vignon S. Oussa</p>