Integration by parts in loop spaces (Q1380083)

Let \(M\) be a \(n\)-dimensional compact Riemannian manifold and \(O(M)\) be its orthonormal frame bundle. Given \(o\in M\) denote by \(W_o(M)\) and \(L_o(M)\) the path space and the loop space on \(M\), respectively. Let \(\nu\) be a Wiener measure on \(W_o(M)\) generated by \(L=\frac 1 2 \Delta\), where \(\Delta\) is the Beltrami-Laplace operator, and \(\nu_o\) be its restriction to \(L_o(M)\). Let \(w_s\) be the coordinate Wiener process in \(W_0(\mathbb{R}^n)\) and \(U_s\) be a solution of the stochastic equation in \(O(M)\) \[ dU_s=G_{U_s}\circ dw_s, \quad U_0=u_0, \] where \(G=(G_i)_{i=1}^d\) are the canonical horizontal vector fields in \(O(M)\) and \(\gamma_s=\pi(U_s)\) is the projection of \(U\) to \(W_o(M)\). Denote by \(H\) the \(\mathbb{R}^d\) Cameron-Martin space over \([0,1]\) with zero initial values and by \(H_0\) its subspace with zero values at 1 . The author proves the integration by parts formula \((D_hF, G)=(F,D^*_hG)\) in \(L^2(\nu_0)\) for \(h\in H_0\) and a pair of cylindrical functions \(F,G\) on \(L_o(M)\) where \(D^*_h=-D_h+l_h,\) \[ l_h(\gamma)=\int_0^1(\dot h_s+{\textstyle\frac 1 2} \text{Ric}_{U_s}h_s,dw_s) \] and \(\text{Ric}_u: \mathbb{R}^n\to \mathbb{R}^n\) is the Ricci transform at \(u\in O(M)\). Using properties of the logarithmic derivative of the heat kernel, the author proves that \(l_h\) is a well defined element in \(L^2(\nu_0)\) if \(h\in H_0\) which yields the integration by part formula in \(L_o(M)\) as a consequence of the corresponding formula in \(W_o(M)\).