Heat kernel transform for nilmanifolds associated to the Heisenberg group (Q935487): Difference between revisions

The authors study the heat kernel transform on a nilmanifold \(M\) of the Heisenberg group and show that the image of \(L^2(M)\) under this transform is a direct sum of weighted Bergman spaces which are related to twisted Bergman and Hermite-Bergman spaces. Let us denote by \({\mathbb H}^n = {\mathbb R}^n \times {\mathbb R}^n \times {\mathbb R}\) the \((2n+1)\)-dimensional Heisenberg group and by \({\mathbb H}_{{\mathbb C}} ={\mathbb C}^n \times {\mathbb C}^n \times {\mathbb C}\) the universal complexification of \({\mathbb H}\). We denote by \(k_{t}\) the heat kernel of the standard left Laplacian on \({\mathbb H}\), namely \[ k_{t}(x, u, \xi) = \int^{\infty}_{-\infty} e^{-i\lambda \xi} e^{-t\lambda^2}p_{t}^{\lambda}(x,u) d\lambda \] where \(p_{t}^{\lambda}(x,u)= c_{n}\lambda^n (\sinh (\lambda t))^{-n} e^{-\frac{1}{4}\lambda \coth (\lambda t) (x^2 + u^2)}\), \(c_{n}\) a constant and \(x^2 = \sum_{j=1}^{n} x_{j}^2, \;u^2 = \sum_{j=1}^n u_{j}^2 \). It is clear that \(k_{t}\) can be extended to a holomorphic function \(\tilde{k_{t}}\) in \({\mathcal O}({\mathbb H}_{{\mathbb C}})\), namely \[ \tilde{k_{t}}(z,w, \zeta) = \int^{\infty}_{-\infty} e^{-i\lambda \zeta}e^{-t \lambda^2}p_{t}^{\lambda}(z, w) d\lambda \] where \(z^2 = \sum_{j=1}^{n} z_{j}^2\) and \(\;w^2 =\sum_{j=1}^{n} w_{j}^2\). For \(t> 0\) the heat kernel transform \(T_{t}\) on \({\mathbb H}\) is defined by \[ T_{t} : L^2({\mathbb H}) \to {\mathcal O}({\mathbb H}_{{\mathbb C}}), \;f \to (f * k_{t}{\tilde)}. \] Let \(\Gamma = {\mathbb Z}^n \times {\mathbb Z}^n \times \frac{1}{2} {\mathbb Z}\) be a lattice in \({\mathbb H}\). The quotient nilmanifold \(M= \Gamma \backslash {\mathbb H}\) is a non-trivial circle bundle over the \(2n\)-torus \({\mathbb T}^n \times {\mathbb T}^n\). We define \({\mathfrak B}^{4\pi k}_{t, \Gamma}, \;k \in {\mathbb Z}\), to be the space of all entire functions \(G(z,w)\) on \({\mathbb C}^n \times {\mathbb C}^n\) having the transformation property \[ G(z+{\mathbf m}, w+{\mathbf n}) = e^{2\pi ik(w\cdot {\mathbf m}-z\cdot {\mathbf n})} G(z,w) \] for all \({\mathbf m}, {\mathbf n} \in {\mathbb Z}^n\) which are square integrable with respect to \(W_{t}^{-4\pi k}(x+iy,u+iv) = e^{-4\pi k (u\cdot y - v \cdot x)}p_{2t}^{-4\pi k}(2y, 2v)\), i.e. \[ \int_{{\mathbb R}^n \times {\mathbb R}^n}\int_{{\mathbb T}^n \times {\mathbb T}^n} |G(z,w)|^2 W_{t}^{-4\pi k}(z,w)\;dx\;du\;dy\;dv < \infty. \] Main theorem. The image of \(L^2(M) \) under \(T_{t} \) is the direct sum of all \({\mathfrak B}^{4\pi k}_{t, \Gamma}\), \(k \in {\mathbb Z}\). More precisely, \[ T_{t}(L^2(M)) = \sum_{k \in {\mathbb Z}}e^{2t(4\pi k)^2} {\mathfrak B}^{4\pi k}_{t, \Gamma}. \]