Decomposition of quasi-regular representations induced from discrete subgroups of nilpotent Lie groups (Q1013595)

Let \(G\) be a nilpotent Lie group with Lie algebra \(\mathfrak g\), \(\Gamma\) a discrete subgroup of \(G\) and let \(N\) be the unique syndetic hull of \(\Gamma\) in \(G\), let further \(\mathcal E(N,\Gamma)\) be a cross-section of \(G\)-orbits in \(\mathcal B(G,\Gamma) = G.\mathcal A(G,\Gamma)\), \(\mathcal A(G,\Gamma) = p(\mathcal F(G,\Gamma))\), and \(\mathcal F(G,\Gamma) = \{ (\ell, M[\ell]); \ell \in \mathfrak g^*, M[\ell]\}\) where \(M[\ell]\) is the (maximal) \(M\)-group of a polarization \(\mathfrak m\) of the integral orbit \(G.\ell\) and \(p: \mathcal F(G,\Gamma) \to \mathfrak g^*\) is the canonical projection. The main result of the paper (Theorem 3.4) is an exact decomposition formula of the quasi-regular representation induced from the discrete subgroup \(\Gamma \subset G\) \[ R = Ind_\Gamma^G \mathbf 1 = \int^\oplus_{G.p^{-1}_{\mathfrak g,\pi}(\mathcal E(N,\Gamma))/G} m(\pi_\Phi,G,\Gamma,1)\pi_\Phi d\mu_{G,\Gamma}(\Phi), \] for some multiplicity function \[ m(\pi_\Phi,G,\Gamma,1) = \sum_{\ell\in\mathcal E(N,\Gamma) \cap p_{\mathfrak g,\pi}(\mathcal O^G_\Phi)} m(\sigma_\ell, N, 1) m(\pi_\Phi,G,N,\sigma_\ell) \] and some spectral measure \(\mu_{G,\Gamma}(\Phi)\) associated to coadjoint orbits.