The Complex-Time Segal-Bargmann Transform

TL;DR

This paper introduces a new complex-time Segal-Bargmann transform for compact Lie groups, extending heat kernel analyticity and establishing isometric isomorphisms between function spaces with novel holomorphic properties.

Contribution

It defines a new complex-time Segal-Bargmann transform for compact Lie groups, generalizing previous versions and demonstrating its isometric properties with explicit kernel constructions.

Findings

The heat kernel admits a space-time holomorphic extension.

The transform is an isometric isomorphism between L^2 spaces.

Special cases recover known Segal-Bargmann transforms.

Abstract

We introduce a new form of the Segal--Bargmann transform for a Lie group $K$ of compact type. We show that the heat kernel $(\rho_{t}(x))_{t>0,x\in K}$ has a space-time analytic continuation to a holomorphic function \[ (\rho_{\mathbb{C}}(\tau,z))_{\mathrm{Re}\,\tau>0,z\in K_{\mathbb{C}}} \] where $K_{\mathbb{C}}$ is the complexification of $K$. The new transform is defined by the integral \[ (B_{\tau}f)(z)=\int_{K}\rho_{\mathbb{C}}(\tau,zk^{-1})f(k)\,dk,\quad z\in K_{\mathbb{C}}. \] If $s>0$ and $\tau\in\mathbb{D}(s,s)$ (the disk of radius $s$ centered at $s$), this integral defines a holomorphic function on $K_{\mathbb{C}}$ for each $f\in L^{2}(K,\rho_{s})$. We construct a heat kernel density $\mu_{s,\tau}$ on $K_{\mathbb{C}}$ such that, for all $s,\tau$ as above, $B_{s,\tau}:=B_{\tau}|_{L^{2}(K,\rho_{s})}$ is an isometric isomorphism from $L^{2}(K,\rho_{s})$ onto the space of holomorphic functions in $L^{2}(K_{\mathbb{C}},\mu_{s,\tau})$. When $\tau=t=s$, the transform $B_{t,t}$ coincides with the one introduced by the second author for compact groups and extended by the first author to groups of compact type. When $\tau=t\in (0,2s)$, the transform $B_{s,t}$ coincides with the one introduced by the first two authors.