A Poincaré inequality on loop spaces

We show that the Laplacian on the loop space over a class of Riemannian manifolds has a spectral gap. The Laplacian is defined using the Levi-Civita connection, the Brownian bridge measure and the standard Bismut tangent spaces.