Stochastic Ricci Flow on Compact Surfaces Julien Dub´edat∗ and Hao Shen† January 26, 2021 Abstract In this paper we introduce the stochastic Ricci flow (SRF) in two spatial dimen- sions. The flow is symmetric with respect to a measure induced by Liouville Conformal Field Theory. Using the theory of Dirichlet forms, we construct a weak solution to the associated equation of the area measure on a flat torus, in the full \L1 regime" p σ < σL1 = 2 π where σ is the noise strength. We also describe the main necessary modifications needed for the SRF on general compact surfaces, and list some open questions. Contents 1 Introduction 2 1.1 Gaussian multiplicative chaos (GMC) . .5 1.2 Liouville conformal field theory . .7 1.3 Main result . 10 2 Integration by parts 12 2.1 Test functionals . 13 2.2 Proof of integration by parts . 15 3 Solution via Dirichlet forms 18 3.1 Closability of the Dirichlet form . 20 arXiv:1904.10909v2 [math.PR] 22 Jan 2021 3.2 Existence of diffusion process . 23 3.3 Fukushima decomposition and weak solution . 25 4 Extensions 29 4.1 Compact surfaces . 29 4.2 Insertions . 33 ∗Julien Dub´edat,Columbia University, Email: [email protected] †Hao Shen, University of Wisconsin-Madison, Email: [email protected] 1 5 Questions and open problems 36 1 Introduction The Ricci flow, introduced by Hamilton [Ham88], is an intrinsic evolution of a Rieman- nian metric g = g(t) on a fixed smooth manifold: @tg = −2Rg where Rg is the Ricci curvature of g. Assuming that the manifold is a closed (compact oriented) Riemann surface, we will be interested in a normalized version of the flow: @tg = −2Rg − 2λg : (1.1) The real number λ plays the role of a normalization constant: when λ is chosen to be the minus average Gauss curvature, the flow preserves total area, and converges to the constant curvature metric as proved by [Ham88, Cho91, OPS88]. Up to normalization, the Ricci flow (1.1) is the only intrinsic parabolic (determinis- tic) evolution of the metric. Indeed, the coefficients −2 do not play any essential role; a simple transformg ~(t) = g(at)ebt yields the same equation with generic coefficients. Moreover, classical results in Riemannian geometry (e.g. [Eps75]) show that, under mild assumptions, the only \natural" tensors (i.e. that do not depend on coordinate or other choices) are those generated by the metric and curvature tensor by taking linear combinations, covariant derivatives, tensor products and contractions; in two dimensions the only intrinsic terms are the metric and Ricci curvature. In the present article, we are concerned with constructing intrinsic stochastic evolutions of the metric. Recall the following facts. Let g0 be a metric on a closed Riemann surface. We 2φ consider metrics obtained by Weyl scaling g = e g0, where the function φ is the con- 1 formal factor. The Ricci curvature tensor Rg, the Gauss curvature Kg, the Laplacian operator ∆g and the area form !g for g then satisfy −2φ −2φ 2φ Rg = R0 − ∆0φ g0 ;Kg = e (K0 − ∆0φ) ; ∆g = e ∆0 ;!g = e !0 ; (1.2) where R0, ∆0 and !0 are respectively the Ricci curvature, the Laplacian and area form for g0. Since the dimension is two, the scalar curvature (the trace of the Ricci tensor w.r.t. the metric) equals twice the Gauss curvature, and one always has Rg = Kg g. An important property of the 2d Ricci flow is that the metric evolves within a conformal 2φ(t) class, namely if the initial condition has the above form, then g(t) = e g0 for all t > 0, so that the equation (1.1) can be written in terms of the conformal factor in the following equivalent forms: @ φ = −K − λ = ∆ φ − e−2φK − λ t g g 0 (1.3) −2φ −2φ = e ∆0φ − e K0 − λ : To motivate our stochastic version of the two-dimensional Ricci flow, as well as its connection to the Liouville Conformal Field Theory (LCFT), we recall that String 1In this article the Laplacian is just the trace of the Hessian on functions, without a negative sign. 2 Theory is concerned with surfaces with varying metrics g, and a central quantity is 0 the (\ζ-regularized") determinant of Laplacian formally denoted by det ∆g. This a spectral invariant, i.e. can be computed from the spectrum of ∆g (which is discrete and satisfies Weyl asymptotics). Osgood-Phillips-Sarnak [OPS88] provided an important perspective on the uniformization theorem: in [OPS88, Theorem 1] they proved that among all metrics in a given conformal class and of given area, the constant curvature 0 metric (which exists and is unique up to isometry) has maximum determinant det ∆g. They also showed that [OPS88, Theorem 2.A] when the Euler characteristic is non- positive, the Ricci flow can be realized as a gradient flow, as we now explain. On the Riemann surface Σ, the celebrated Polyakov [Pol81] anomaly formula (see 0 e.g. Section 1 of [OPS88]) for the variation of the quantity log det ∆g under conformal 2φ change g = e g0 reads: Z Z 0 0 1 2 1 Vg log det ∆g − log det ∆0 = − jrg0 φj !0 − K0φ !0 + log (1.4) 12π Σ 6π Σ V0 R R 2φ where V0;Vg are areas of g0 and g, i.e. Vg = Σ !g = Σ e !0; and K0 is the Gauss curvature of g0. Define a \potential" for λ 2 R λ V (g) = − log det0∆ + log V + V : g g 12π g By (1.4) we see that 6π(V (g)−V (g0)) is essentially the (classical) Liouville action S(φ) up to a constant λ 6π(V (g) − V (g )) + V 0 2 0 Z (1.5) 1 2 λ 2φ = S(g0; φ) := jrg0 φj + K0φ + e !0 Σ 2 2 which gives a concrete formula for the action. By a simple change of variables { see (1.17) in Section 1.2 below { this is exactly the same as the probabilists' convention of πγ2 definition of the classical Liouville action, up to an overall constant 2 . The Ricci flow (1.3) turns out to be a gradient flow of S(g0; φ) (and thus 6πV (φ)) given in (1.5) with respect to the a formal Riemannian structure on the infinite- dimensional space of metrics on Σ in a fixed conformal class, where the \tangent 2 space" at g is equipped with the intrinsic inner product L (!g) (rather than the “flat” 2 2 inner product L (!0)!). Here, the metric L (!g) is defined such that for a \tangent" vector δφ at a Riemannian metric g, Z 2 2 kδφk 2 = (δφ) ! : (1.6) L (!g) g Σ This metric is known as the Calabi metric, see [Cal12] (in the context of K¨ahlermetrics, viz. for fixed volume, as well as complex structure). Consider a perturbation g + δg = e2δφg; then by (1.5) and (1.2) Z Z δS(g ; φ) = (K − ∆ φ)δφ ! + λ δφ ! = hK + λ, δφi 2 0 0 0 0 g g L (!g) Σ Σ 3 so that the gradient flow associated to S(g0; φ) = 6πV is indeed the Ricci flow (1.3). In general, associated to, say, a compact Riemannian manifold (M; g) and a po- tential V : M! R, one can consider a (deterministic) gradient flow on M: dXt = − gradg V (Xt) The Langevin flow is a natural stochastic perturbation of the gradient flow associated to the same data (M; g; V); its generator reads 2 σ ∆g − gradg V(Xt) · gradg (1.7) −σ−2V and its invariant measure is / e dVolg. Since the Ricci flow is realized as a gradient flow - where M is the (infinite- dimensional) space of metrics in a conformal class, g is the Calabi metric (1.6) and the potential is given by (1.5), a natural question is to construct the Langevin flow associated to that data. Remark that the (formal !) volume form associated to the Cal- abi metric is central to the treatment of 2D quantum gravity by David{Distler-Kawai ([Dav88, DK89], see also Section 2.1 in [Nak04]). In view of this, the natural and intrinsic noise that we would like to add to equation (1.3) should then be a noise which, in the spatial direction, is \white" with respect to 2 2 L (!g). In fact if ζ0 is a spatial white noise w.r.t. L (!0), and φ is a smooth conformal −φ 2 factor, then ζg := e ζ0 is white with respect to the metric L (!g), namely, by (1.2), Z Z Z Z 2 φ 2 2 2φ 2 E ( fζg!g) = E ( fζ0e !0) = f e !0 = f !g : (1.8) Λ Λ Λ Λ In this paper we focus first on a flat two-dimensional torus Σ = Λ = C=(Z + τZ), =(τ) > 0. We will briefly discuss the case of compact surfaces in Section 4.1, and we will see there that while on the torus the stochastic Ricci flow is the classical Ricci flow (in terms of φ) plus a noise that is white with respect to the metric g, there are complications when the reference is not flat. Let g0 be a flat metric on Λ such that K0 = 0. In the sequel we write ∆= ∆0. The stochastic Ricci flow (SRF) we study in this paper is then formally given by −φ @tg = −2Rg − 2λg + 2σξgg where ξg := e ξ0 ; or (again formally) in terms of the conformal factor @tφ = ∆gφ − λ + σξg −2φ −φ (1.9) = e ∆φ − λ + σe ξ0 ; where σ 2 R and ξ0 is the space-time white noise w.r.t.