Semiclassical limit of the lowest eigenvalue of a Schrödinger operator on a Wiener space

We study a semiclassical limit of the lowest eigenvalue of a Schrödinger operator on a Wiener space. Key results are semiboundedness theorem of the Schrödinger operator, Laplace-type asymptotic formula and IMS localization formula. We also make a remark on the semiclassical problem of a Schrödinger operator on a path space over a Riemannian manifold.