Track the frontier, from condensed matter to cosmology.
Search papers, labs, and topics across Lattice.
The authors provide the first semiclassical path-integral derivation of the exact Liouville one-point function on the real projective plane, reconciling a long-standing gap with the conformal bootstrap. Because every constant-curvature metric on the real projective plane is positively curved whereas classical Liouville theory requires negative curvature, standard real classical solutions do not exist. By identifying a convergent integration contour that sums contributions across infinitely many complex saddles with negative-definite metrics, the semiclassical calculation precisely reproduces the non-perturbative bootstrap result.
Real classical solutions fail to exist on the real projective plane, yet summing over an infinite family of complex saddles exactly reproduces Liouville theory's bootstrap one-point function.
The exact one-point function of Liouville theory on the real projective plane was derived long ago from the bootstrap, yet it has never been verified against a semiclassical path-integral computation. The check is less straightforward than one might expect. On the real projective plane every constant-curvature metric is positively curved, whereas classical Liouville theory produces metrics of constant negative curvature, so no real classical solution exists. Instead, as we show, the semiclassical path integral receives contributions from infinitely many complex saddles with a negative-definite metric. Once the integration contour is chosen so that the path integral converges, these saddles reproduce the exact one-point function. Complex saddles arise in the same way in timelike Liouville theory and in two-dimensional de~Sitter gravity, and the example treated here offers a rare opportunity to test their use against a known exact answer. \end{abstract