On the Hilbert-Schmidt semi-norms of \(L^ 1\) of a nilpotent Lie group (Q1059722): Difference between revisions

Let G be a simply connected, connected nilpotent Lie group with Lie algebra \({\mathcal G}\). Let \(\pi\) be an irreducible unitary representation of G and \(O\subset {\mathcal G}^*\) its Kirillov-orbit. We prove first the following theorem: Theorem: The following assertions are equivalent. i) O is flat ii) for every \(f\in {\mathcal D}(G)\), \(x\in G\), \(tr\quad \pi (x)\pi (f)=\int_{0}e^{-i<l,\log x>}(f\circ \exp){\hat{\;}}(l)d\mu_{\pi}(l)\) iii) for every \(f\in L^ 1(G)\), \(tr\quad \pi (f)^*\pi (f)=\int_{0}| (f\circ \exp){\hat{\;}}(l)|^ 2d\mu_{\pi}(l).\) We then construct inductively on the dimension of \({\mathcal G}\) for every G- orbit O in \({\mathcal G}^*\) a polynomial map \(a_ 0: O\times G\to {\mathbb{R}}\) which has the following property. Setting for \(f\in {\mathcal S}(G)\), \(1\in 0:\) \(\tilde f(l)=\int_{G}f(x)e^{-ia_ 0(l,x)}dx\) the map \(f\to \tilde f\) is continuous and surjective from \({\mathcal S}(G)\) onto \({\mathcal S}(O)\) and for every \(f\in {\mathcal S}(G)\), \(tr\quad \pi (f^*)*\pi (f)=\int_{0}| \tilde f(l)|^ 2d\mu_{\pi}(l).\) We finally prove Theorem: Let \(a: O\times G\to {\mathbb{R}}\) be a smooth function. Assume that the map \(f\to \tilde f\), \(\tilde f(l)=\int f(x)e^{-ia(l,x)}dx;\quad f\in L^ 1(G)\) is continuous and surjective from \({\mathcal S}(G)\) onto \({\mathcal S}(O)\). Then the following assertions are equivalent. i) for every \(x\in G\), \(f\in {\mathcal D}(G)\), \(tr\quad \pi (x)\pi (f)=\int_{0}\tilde f(l)e^{-ia(l,\bar x^ 1)}d\mu_{\pi}(l)\) ii) for every \(g\in L^ 1(G)\), \(tr\quad \pi (g)^**\pi (g)=\int_{0}| \tilde g(l)|^ 2d\mu_{\pi}(l).\)