Duality in Segal-Bargmann spaces (Q639530)

Let \(\alpha>0\) and let \(\gamma_\alpha\) denote the Gaussian measure on \({\mathbb C}^n\): \[ \gamma_\alpha(dz)=\left(\frac\alpha\pi\right)^n e^{-\alpha|z|^2} \,\lambda(dz), \] where \(\lambda\) is the Lebesgue measure on \({\mathbb C}^n\). Let \(1\leq p<\infty\), \(L^p({\mathbb C}^n, \gamma_\alpha)\) be the usual Lebesgue space and \(L^p_{hol}({\mathbb C}^n, \gamma_\alpha)\) be the space of all holomorphic functions in \(L^p({\mathbb C}^n, \gamma_\alpha)\). The space \(L^p_{hol}({\mathbb C}^n, \gamma_\alpha)\) is called the Segal-Bargmann space. In particular, \(L^2({\mathbb C}^n, \gamma_\alpha)\) is a Hilbert space and \(L^2_{hol}({\mathbb C}^n, \gamma_\alpha)\) is the Fock space. The Bargmann projection \(P_\alpha\) is the orthogonal projection from \(L^2({\mathbb C}^n, \gamma_\alpha)\) onto \(L^2_{hol}({\mathbb C}^n, \gamma_\alpha)\). In the paper under review the authors show that \(P_\alpha\) extends to a bounded operator on \(L^p({\mathbb C}^n, \gamma_{\alpha p/2})\), and calculate the exact norm of this scaled \(L^p\) Bargmann projection. They use this to show that the dual space of the \(L^p\)-Segal-Bargmann space \(L^p_{hol}({\mathbb C}^n, \gamma_{\alpha p/2})\) is an \(L^{p'}\)-Segal-Bargmann space, but with the Gaussian measure scaled differently: \((L^p_{hol}({\mathbb C}^n, \gamma_{\alpha p/2}))^*\cong L^{p'}_{hol}({\mathbb C}^n, \gamma_{\alpha {p'}/2})\).