The Segal-Bargmann ``coherent state'' transform for compact Lie groups (Q1328309)

The Segal-Bargmann transform is an integral transform \(A\) that maps \(L^2(\mathbb{R}^n)\) isometrically onto \({\mathcal H}(\mathbb{C}^n)\cap L^2(\mathbb{C}^n, \mu)\), where \(\mu\) is the Gaussian measure on \(\mathbb{C}^n\); \(A\) can be expressed in the standard heat kernel on \(\mathbb{R}^n\), \(\rho_t(x)= (2\pi t)^{- n/2} \exp(- \sum_i x^2_i/2t)\), at \(t= 1\). Here \({\mathcal H}(\cdots)\) denotes the space of holomorphic functions. In the present paper a similar transform is investigated, with \(\mathbb{R}^n\) replaced by a compact connected Lie group \(K\), and \(\mathbb{C}^n\) replaced by a complexification \(G\) of \(K\). Suitable heat kernels \(\rho_t\) on \(K\) and \(\mu_t\) on \(G\) are defined, and isometric isomorphisms \[ A_t: L^2(K)\to {\mathcal H}(G)\cap L^2(G, \mu_t),\;B_t: L^2(K, \rho_t)\to {\mathcal H}(G)\cap L^2(G, \mu_t), \] \[ C_t: L^2(K)\to {\mathcal H}(G)\cap L^2(G, \nu_t) \] are obtained, for \(t> 0\); here \(\nu_t\) is the \(K\)-average of \(\mu_t\). In section 10 some Paley-Wiener type theorems are proved, in section 11 transforms on quotient spaces are considered, and in an appendix the main results are described in the language of creation operators, annihilation operators, and coherent states. The paper is well organized, and the proofs are transparent, even where things become rather technical.