Asymptotic behavior of divergences and Cameron-Martin theorem on loop spaces. (Q1889786)

For a fixed point \(m\) in a compact manifold \(M\), let \(P_m(M)\) and \(L_m(M)\) denote the based path space and loop space, respectively, endowed with the Wiener measure \(\mu\) and the pinned Wiener measure, respectively. Let \(\delta(h)\) denote the divergence associated with any Cameron-Martin vector \(h\). The first results of this very good article are \(L^p(\nu)\)-estimates on \(\delta(h)\) (when \(h\in H_0\), i.e. \(h(1)= 0\)), and the \(\nu\)-integrability of \(\exp[\lambda|\delta(h)|^2]\), for \(\lambda< (2+\|\text{Ric}\|_\infty)^{-1}\times \| h\|^{-1}\). Then these estimates allow to use quasi-sure analysis, to produce an \(\infty\)-quasi-continuous version of the Driver flow \(\varphi^h_t\) on \(P_m(M)\) associated with \(h\in H\). As a consequence, the Driver flow makes also sense on \((L_m(M),\nu)\), and then the quasi-invariance of \(\nu\) under \(\varphi^h_t\) (for \(h\in H_0\)) is re-captured, with the following estimate: \[ \| d(\varphi^h_t)_*\nu/d\nu\|_{L^p(\nu)}\leq \Biggl\|\exp\Biggl({pt\over p-1} |\delta(h)|\Biggr)\Biggr\|_{L^p(\nu)}. \] Finally, the author considers the stochastic anti-development \(x_s\) of the Brownian loop \(\gamma_s\), and shows that \(\exp[(1/2- \varepsilon) \sup_{[0,1]}|x|^2]\) is \(\nu\)-integrable (for any \(\varepsilon> 0\)). All these results are obtained without Doob \(h\)-transform and without any estimate on the heat kernel.