The complex-time Segal-Bargmann transform

DOI10.1016/J.JFA.2019.108303MaRDI QIDQ2334570zbMATH OpenOpenAlexFDO

Authors Bruce K. Driver, Brian C. Hall, Todd Kemp

Publication date 7 November 2019

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1610.00090

heat kernel analysis Lie groups Segal-Bargmann transform

Analysis on real and complex Lie groups (22E30) Heat kernel (35K08) Other transforms and operators of Fourier type (43A32)

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

(h o_{t} (x))_{t > 0, x i n K}

has a space-time analytic continuation to a holomorphic function [ ( ho_{mathbb{C}}( au,z))_{mathrm{Re}, au>0,zin K_{mathbb{C}}} ] where

K_{m a t h b b C}

is the complexification of

K

. The new transform is defined by the integral [ (B_{ au}f)(z)=int_{K} ho_{mathbb{C}}( au,zk^{-1})f(k),dk,quad zin K_{mathbb{C}}. ] If

s > 0

and

a u i n m a t h b b D (s, s)

(the disk of radius

s

centered at

s

), this integral defines a holomorphic function on

K_{m a t h b b C}

for each

f i n L^{2} (K, h o_{s})

. We construct a heat kernel density

m u_{s, a u}

on

K_{m a t h b b C}

such that, for all

s, a u

as above,

B_{s, a u} := B_{a u} |_{L^{2} (K, h o_{s})}

is an isometric isomorphism from

L^{2} (K, h o_{s})

onto the space of holomorphic functions in

L^{2} (K_{m a t h b b C}, m u_{s, a u})

. When

a u = 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

a u = t i n (0, 2 s)

, the transform

B_{s, t}

coincides with the one introduced by the first two authors.

Review text

The paper deals with a generalization of the Segal-Bargmann transform over a connected compact type Lie group \(K\), that allows the time parameter of the transform to be complex. After constructing a space-time analytic continuation of the heat kernel \((\rho_t(x))_{t>0,x\in K}\) to a holomorphic function \((\rho_{\mathbb{C}}(\tau,z))_{\Re\tau>0,z\in K_{\mathbb{C}}}\) with \(K_{\mathbb{C}}\) being the complexification of \(K\), the authors define the new transform by \[ (B_\tau f)(z) = \int_K \rho_{\mathbb{C}}(\tau, z k^{- 1}) f(k) d k,\quad z \in K_{\mathbb{C}}. \] The integral defines a holomorphic function on \(K_{\mathbb{C}}\) for each \(f \in L^2(K, \rho_s)\) when \(\tau\) belongs to the complex disc of radius \(s>0\) and centered at \(s\). The central result of the paper provides a construction of a heat kernel density \(\mu_{s,\tau}\) on \(K_{\mathbb{C}}\) with the property that \(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})\) for all \(s\) and \(\tau\) as above. In particular, if \(\tau = t = s\), then the transform \(B_{t, t}\) coincides with the one introduced in [\textit{B. C. Hall}, J. Funct. Anal. 122, No. 1, 103--151 (1994; Zbl 0838.22004)] for compact groups and extended in [the first author, J. Funct. Anal. 133, No. 1, 69--128 (1995; Zbl 0846.43001)] to groups of compact type. In the case \(\tau = t \in(0, 2 s)\), the transform \(B_{s, t}\) coincides with the one introduced by the first two authors in [Commun. Math. Phys. 201, No. 2, 249--290 (1999; Zbl 0960.53043)].

Recommendations

Cites work

Cited in

(25)

This page was built for publication: The complex-time Segal-Bargmann transform

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2334570)