The Taylor map on complex path groups

DOI10.1016/J.JFA.2007.09.018MaRDI QIDQ2469824zbMATH OpenOpenAlexFDO

Authors Matthew Cecil

Publication date 11 February 2008

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

Full work available at URL https://escholarship.org/uc/item/96b980b3

zbMATH Keywords

Baker-Campbell-Hausdorff seriesdiffusionsgraded Lie algebraheat kernel measureholomorphic cylinder functionsincrements of pathsmultilinear functionspath groupsimply connected complex Lie groupskeleton theoremsurjectivityTaylor isometryTaylor map

Mathematics Subject Classification ID

Analysis on real and complex Lie groups (22E30) Infinite-dimensional Lie groups and their Lie algebras: general properties (22E65) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10) Heat and other parabolic equation methods for PDEs on manifolds (58J35)

Review text

Let \(\mathcal W(G)\) be the group of paths based at the identity of a simply connected complex Lie group \(G\), i.e. the continuous paths \(\sigma:[0,1]\to G\) such that \(\sigma(0)=e\). Similarly, let \(\mathcal W(\mathfrak g)\) denote the continuous paths \(h:[0,1]\to \mathfrak g\) such that \(h(0)=0\). Let \(\nu_t\) be a heat kernel measure on \(\mathcal W(G)\), the existence of which was shown by M.~Cecil and B.~K.~Driver. The present work establishes an isometric map, the infinite-dimensional Taylor map, from the space of \(L^2(\nu_t)\)-holomorphic functions on \(\mathcal W(G)\) to a subspace of the dual of the universal enveloping Lie algebra, \(H(G)\), where \(H(G)\) is the Lie subgroup of finite energy paths of \(\mathcal W(G)\). This map is shown to be surjective in the case where \(G\) is a simply connected graded Lie group. To this end, the author reviews some preliminary results concerning graded Lie algebras and Lie groups and their application to the path space. In particular, \(\mathcal W(\mathfrak g)\) and \(\mathcal W(G)\) are globally identified via exponential coordinates with multiplication given by the Baker-Campbell-Hausdorff series. The author constructs a function \(u_\alpha\) which has \(\alpha\) as its set of derivatives at the identity path. Holomorphic cylinder functions are introduced associated to \(u_\alpha\) and a partition of \([0, 1]\). The derivatives of these cylinder functions at the identity path are characterized in terms of \(\alpha\) and some projection operator. These cylinder functions are shown to be elements of the \(L^2(\nu_t)\)-closure. Furthermore, the cylinder functions associated to a sequence of refining partitions of \([0,1]\) are shown to be Cauchy and convergent to a function \(F\) with the property that the Taylor map transforms \(F\) into \(\alpha\). Estimates of the increments of multilinear functions, which are essential for the analysis, are proved.

Recommendations

• scientific article; zbMATH DE number 1241992
• Surjectivity of the Taylor map for complex nilpotent Lie groups
• TAYLOR MAP ON GROUPS ASSOCIATED WITH A II₁-FACTOR
• Complex Hénon maps and discrete groups
• On the Teichmüller tower of mapping class groups
• Complexes of nonseparating curves and mapping class groups
• scientific article; zbMATH DE number 4064057
• Schottky group actions in complex geometry
• On Weyl group equivariant maps
• The c-map on groups

Cites work

• Absolute continuity of heat kernel measure with pinned Wiener measure on loop groups
• Generalized functions on infinite dimensional spaces and its applications to white noise calculus
• Heat kernel analysis of Cameron-Martin subgroup for infinite dimensional groups
• HEAT KERNEL MEASURE ON LOOP AND PATH GROUPS
• Holomorphic functions and subelliptic heat kernels over Lie groups
• scientific article; zbMATH DE number 3868162 (Why is no real title available?)
• scientific article; zbMATH DE number 3608593 (Why is no real title available?)
• scientific article; zbMATH DE number 408258 (Why is no real title available?)
• scientific article; zbMATH DE number 1561756 (Why is no real title available?)
• scientific article; zbMATH DE number 3383043 (Why is no real title available?)
• scientific article; zbMATH DE number 956691 (Why is no real title available?)
• Integration by parts and quasi-invariance for heat kernel measures on loop groups
• Lie groups
• Logarithmic Sobolev inequalities for pinned loop groups
• Mathematical characterization of the physical vacuum for a linear Bose- Einstein field
• Nilpotent Lie groups: Structure and applications to analysis
• On a Hilbert Space of Analytie Functions and an Associated Integral Transform. Part II. A Family of Related Function Spaces Application to Distribution Theory
• On the Kakutani-Itô-Segal-Gross and Segal-Bargmann-Hall isomorphisms
• Properties of holomorphic Wiener functions -- skeleton, contraction, and local Taylor expansion
• TAYLOR MAP ON GROUPS ASSOCIATED WITH A II₁-FACTOR
• Tensor Algebras Over Hilbert Spaces. I
• The Segal-Bargmann transform for path-groups
• White noise calculus and Fock space

Cited in

(10)

• The Ricci curvature of finite dimensional approximations to loop and path groups
• A subelliptic Taylor isomorphism on infinite-dimensional Heisenberg groups
• Dimension-independent estimates for heat operators and harmonic functions
• Quasi-invariance for heat kernel measures on sub-Riemannian infinite-dimensional Heisenberg groups
• Taylor formula for Carnot groups and applications
• Surjectivity of the Taylor map for complex nilpotent Lie groups
• TAYLOR MAP ON GROUPS ASSOCIATED WITH A II₁-FACTOR
• Growth of Taylor coefficients over complex homogeneous spaces
• Holomorphic functions and the Itô chaos
• Square integrable holomorphic functions on infinite-dimensional Heisenberg type groups

This page was built for publication: The Taylor map on complex path groups

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