The Taylor map on complex path groups (Q2469824): Difference between revisions

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.