Holomorphic Sobolev spaces associated to compact symmetric spaces (Q2461220)

The author obtains a characterization of the image of \(\mathbb{H}^m(X)\) under the Segal-Bargmann transform as a holomorphic Sobolev space when \(X\) is a compact symmetric space. Using a formula due to Lasalle and called Gutzmer's formula, Faraut obtained a proof of Stentzel's result concerning the characterization of compact symmetric spaces as weighted Bergman space. The author shows how Faraut's arguments can be extended to treat Sobolev spaces as well. The images of the Sobolev spaces turn out to be Bergman spaces defined in terms of certain weight functions. Next the author obtains a characterization of the image of \(C^\infty(X)\) under the heat kernel transform. By using good estimates on the heat kernel on noncompact Riemannian symmetric spaces, he obtains necessary and sufficient conditions on a holomorphic function to be in the image of \(C^\infty(X)\). Then he obtains a characterization of the image of distributions under the heat kernel transform.