On the behaviour of sequences in the dual of a nilpotent Lie group (Q1122009): Difference between revisions

Let G be a nilpotent Lie group with Lie algebra \({\mathfrak g}\). For an integer d, let \(\hat G_ d\) be the subset of \(\hat G,\) consisting of all the representations \(\pi\in \hat G\) whose Kirillov orbits are of dimension d. Denote by L (resp. by C) the set of all the limit points (resp. of the cluster points) of a sequence \(\{\pi_ k\}\) in \(\hat G_ d\). We show first that L is finite (although C may be a continuum). Assuming now that \(C=L\) (which is true at least for some well-chosen subsequence of \(\{\pi_ k\}\), since \(\hat G\) is a separable space), we can define for any \(\sigma\in L\) and for any \(k\in {\mathbb{N}}\) an integer \(i_{\sigma,k}\), which depends on the geometrical configuration of the Kirillov orbit \(\Omega_ k\) of \(\pi_ k\), such that the sequences \(\{i_{\sigma,k}\}\) describe the way in which the orbits \(\Omega_ k\) approach the limit orbit \(\Omega_{\sigma}\) of \(\sigma\). Especially we show that \(\lim_{k\to \infty} tr \pi_ k(f)\) exists for every f in the minimal dense ideal \(j_ d\) of the \(C^*\)-algebra associated with \(\hat G_ d\), if and only if for every \(\sigma\in L\), the sequence \(\{i_{\sigma,k}\}\) is stationary, i.e. \(i_{\sigma,k}=i_{\sigma}\) for almost all k, and that in this case we have: \[ \lim_{k\to \infty} tr \pi_ k(x)=\sum_{\sigma \in L}i_{\sigma}tr \sigma (x),\quad x\in j_ d. \]