Invariance of Fock spaces under the action of the Heisenberg group (Q554229): Difference between revisions

For \(\alpha > 0\) and \(0 < p \leq \infty\), the Fock space \(F_{\alpha}^p\) consists of entire functions \(f\) on \(\mathbb{C}^n\) such that the function \(f(z)e^{- {\alpha}|z|^2/2} \in L^p(\mathbb{C}^n,dV)\), where \(dV\) denotes the Lebesgue volume measure on \(\mathbb{C}^n\). For \(a\in \mathbb{C}^n\), the weighted translation operator \(T_a\) is defined by \[ T_af(z) = e^{\alpha <z, a> - \alpha \frac{|a|^2}{2}} f(z-a) \] for \(a, z \in \mathbb{C}^n\). Each operator \(T_a\) is a unitary operator on \(F_{\alpha}^2\). The author shows that \(F_{\alpha}^2\) is the only non-trivial Hilbert space of entire functions that is invariant under the action of the translations \(T_a\). If \(\mathbb{H} = \mathbb{C}^n \times \mathbb{R}\) is the Heisenberg group, then the mapping \((z, t)\mapsto e^{\alpha it}T_z\) is a unitary representation of \(\mathbb{H}\) on \(F_{\alpha}^2\). Thus the invariance of a Hilbert space of entire functions under the action of the operators \(T_a\) is the same as the invariance of that space under the action of the unitary representation of the Heisenberg group. The author also shows that \(F_{\alpha}^1\) is minimal and \(F_{\alpha}^{\infty}\) is maximal among Heisenberg invariant Banach spaces of entire functions on \(\mathbb{C}^n\).