Stress-Energy in Liouville Conformal Field Theory

We construct the stress-energy tensor correlation functions in probabilistic Liouville conformal field theory (LCFT) on the two-dimensional sphere S2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {S}}^2$$\end{document} by studying the variation of the LCFT correlation functions with respect to a smooth Riemannian metric on S2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {S}}^2$$\end{document}. In particular we derive conformal Ward identities for these correlation functions. This forms the basis for the construction of a representation of the Virasoro algebra on the canonical Hilbert space of the LCFT. In Kupiainen et al. (Commun Math Phys 371:1005–1069, 2019) the conformal Ward identities were derived for one and two stress-energy tensor insertions using a different definition of the stress-energy tensor and Gaussian integration by parts. By defining the stress-energy correlation functions as functional derivatives of the LCFT correlation functions and using the smoothness of the LCFT correlation functions proven in Oikarinen (Ann Henri Poincaré 20(7):2377–2406, 2019) allows us to control an arbitrary number of stress-energy tensor insertions needed for representation theory.

of primary fields V α (z) defined on a compact two-dimensional surface equipped with a smooth Riemannian metric g. In a probabilistic formulation of CFT the angular bracket · ,g is an expectation in a suitable positive (not necessarily probability) measure and the primary fields often are (distribution valued) random fields.
The local conformal symmetry arises from the transformation properties of the correlation functions under the action of the groups of smooth diffeomorphisms and local Weyl transformations of the metric. The former acts by pullback on the metric g → ψ * g and the latter acts by a local scale transformation g → e ϕ g with ϕ ∈ C ∞ ( , R). In axiomatic CFT one postulates 1 where the conformal anomaly is given by A(ϕ, g) = 1 96π (|∇ g ϕ| 2 + 2R g ϕ)dv g (1.4) and the constant c is the central charge of the CFT, which in our case will belong to the interval (25, ∞). The number α is called the conformal weight of the field V α . We denoted by v g the Riemannian volume measure and by R g the curvature scalar (see "Appendix").
The stress-energy tensor field T μν (z) is a symmetric 2 by 2 complex matrix valued field defined indirectly through the formal variation of the (inverse of the) metric at a point z ∈ in the correlation function (1.1) (the precise definition can be found in Sect. 3.2): (1.5) where g μ i ν i denotes a component of the inverse of the metric g. The functions on the righthand side of (1.5) turn out to be analytic or anti-analytic in the variables z i in the complex coordinates (4.14) as long as z i = z j , x i = x j for i = j and z i = x j for all i and j. These functions diverge when two variables merge but for certain choices of the indices μ i and ν i the functions turn out to be meromorphic with poles described by the conformal Ward identities. Let us specialize to the case of the sphere, = S 2 . Then every smooth metric g can be obtained from a given oneĝ by the action of diffeomorphisms and Weyl transformations: This fact together with the symmetries (1.2) and (1.3) yields the tools for defining and computing the functional derivatives on the right-hand side of (1.5). The result is a recursive formula, the conformal Ward identity, that allows to express (1.5) in terms of derivatives (in the x i 's) of (1.1).
Ward identities take an especially simple form in complex coordinates. Recall that a Riemannian metric determines a complex structure on : a system of local coordinates where the metric takes the form g = 1 2 e σ (dz ⊗ dz + dz ⊗ dz). In such coordinates consider the zz-component of the stress-energy, i, j=1 are the components of T in the Euclidean coordinates of the plane. We define (1.7) Then for distinct points {z i , x j } the Ward identity in the case = S 2 reads (1.8) The definition (1.6) was already introduced in [8], and it is natural in the sense that it makes T (z) meromorphic also in the regions where there are curvature, which is essential for the Virasoro algebra discussed in Sect. 4. Iterating this identity, the left-hand side of (1.5) in the case (μ i , ν i ) = (z, z) will be expressed in terms of the functions (1.1) and their derivatives in the x i 's. A corollary of this identity is that the functions (1.5) are holomorphic in the variables The conformal Ward identities have been studied before with theoretical physics level of rigour. For a flat background metric the conformal Ward identities were initially derived in [3]. For a general metric and surface the identities were derived in [8], where also a term dealing with variation of the moduli of the surface appears. This term originates from the fact that compact Riemann surfaces with positive genus have non-trivial moduli spaces, so variation of the metric can also vary the conformal class of the surface.

Path Integrals and Liouville Conformal Field Theory
In constructive quantum field theory one attempts to construct the expectation as a path integral F ,g := F(φ)e −S(φ,g) Dφ, (1.9) over some space of fields φ : → R (in the scalar case). The symmetries (1.2) and (1.3) should then arise from the corresponding symmetries of the action functional S with the anomaly (1.4) arising from the singular nature of the integral in (1.9). A case where this program can be carried out is the Liouville conformal field theory (LCFT hereafter) which was introduced in 1981 by Polyakov [18] in the context of developing a path integral theory for two-dimensional Riemannian metrics.
Liouville field theory is described by the Liouville action functional, which for γ ∈ (0, 2) and μ > 0 is given by (1.10) The term Q is given by The primary fields for LCFT are the vertex operators V α (z) = e αφ (z) where α ∈ C. Their conformal weights are given by A rigorous construction of the path integral, and in particular the correlation functions of the vertex operators, was given in [5] and will be recalled in Sect. 2 in the present setup. In [13] the conformal Ward identities (1.8) were derived in the case of one or two T -insertions (n = 1, 2). Instead of deriving the conformal Ward identities by varying the background metric, the authors of [13] defined (the zz-component of) the stress-energy tensor directly as the field and computed the correlation functions (1.5) for n = 1, 2 for a specific metric by Gaussian integration by parts. Generalizing this approach to arbitrary n was obstructed by a lack of proof of smoothness of the correlation functions (1.1) (which was later proven [17]) and the difficulty of simplifying the expressions coming from the integration by parts. It is however necessary to have (1.8) for arbitrary n in order to construct the representation of the Virasoro algebra for LCFT. This is the motivation and the objective of the present paper. Its main technical input is the recent proof of smoothness of the LCFT correlation functions by the second author [17].

Main Result
Our main result is a proof of the conformal Ward identities for arbitrarily many T -insertions for arbitrary metrics on the sphere by varying the background metric. The precise result is formulated in Propositions 2.3, 3.3 and 3.6. The content of the article is as follows. In Sect. 2 we recall the definition of the correlation functions (1.1) and formulate and prove the diffeomorphism and Weyl covariance of LCFT on a compact surface . In Sect. 3 we prove the Ward identities (1.8) for = S 2 and in Sect. 4 we discuss future work on the construction of the Virasoro representation of LCFT. The appendix collects the elementary definitions and notations from Riemannian geometry used in the paper.

Covariant Formulation of LCFT
In this section we recall the construction of LCFT correlation functions given in [5] and extend it to include the diffeomorphism covariance (1.2). Similar discussion can be found in [10], Sects. 3 and 4, where the authors work on compact Riemann surfaces with genus 2 or higher, but the cases of the sphere and the torus work almost the same way. The main mathematical objects appearing in the construction are the Gaussian Free Field and Gaussian Multiplicative Chaos which we need to define in a covariant way. The appendix collects the elementary definitions and notations from Riemannian geometry used in this section.

Gaussian Free Field
Let ( , g) be a two-dimensional smooth compact Riemannian manifold and g be the Laplace-Beltrami operator. It is well-known that g is a positive self-adjoint operator on L 2 ( , dv g ). The set of of orthonormal eigenfunctions e g,n , n = 0, 1, . . . , − g e g,n = λ g,n e g,n , is complete in the sense that the L 2 -closure of span(e g,n ) ∞ n=0 is the whole space L 2 ( , dv g ). It holds that λ g,n > 0 for n > 0 and λ g,0 = 0 with e g,0 the constant function.
The Gaussian Free Field (GFF) X g on the Riemannian surface ( , g) is defined as the random generalised function ∞ n=1 a n e g,n λ g,n , where a n are independent and identically distributed standard Gaussians. The series converges in the negative order Sobolev space H −s ( , dv g ) for any s > 0 (see e.g. Sect. 4.2 of [7]). The covariance of X g has an integral kernel where v g is the volume measure of g, and (X g , f ) g denotes the dual bracket, so formally (X g , f ) g = X g f dv g . This justifies the notation EX g (x)X g (y) := G g (x, y), even though X g is almost surely not a function. An application of the Plancherel theorem gives y) is the Green function of − g having zero average on : Define the average in the metric g as Then the GFF satisfies the following covariance under diffeomorphisms and Weyl transformations: Let g and g be conformally equivalent, that is, g = e ϕ g with ϕ ∈ C ∞ ( , R). Then Proof (a) Follows from covariance of the Laplacian: where ψ * acts on functions by ψ * f = f • ψ. Hence ψ * e n,g = e n,ψ * g from which (2.2) follows.
(b) We have g = e ϕ g for some ϕ ∈ C ∞ ( , R). Since m g (X g ) = 1 v g ( ) (X g , e ϕ ) g the field X = X g − m g (X g ) has covariance Since e ϕ g = e −ϕ g we get from (2.1) This implies that EX (z)X (z ) = G g (z, z ), meaning that X has the same covariance as X g . Since the fields are Gaussian, the equality in distribution follows.
Choose now a local conformal coordinate z on U ⊂ so that the metric is Then Eq. (2.1) becomes where is the standard Laplacian. Hence, for z, z ∈ U we have where h g is a smooth function ensuring that G g has zero v g -mean over both in z and z . For later purpose we note that if ψ is conformal on U then In particular for = S 2 we take U = C and have (2.8)

Gaussian Multiplicative Chaos
Next, we want to define the measure e γ X g dv g . We regularise the GFF by setting Hence it is natural to consider the measure If ψ ∈ Diff(6) then the properties ψ * e g,n = e ψ * g,n and λ ψ * g,n = λ g,n imply ψ * X g,N = X ψ * g,N .
Hence ψ * m γ,g,N = m γ,ψ * g,N . (2.10) Let N be the sigma-algebra generated by a 1 , . . . , a N . Then, for M < N and any continuous that is, the integrals against continuous functions are martingales. This leads to the almost sure existence of the weak limit m γ,g = lim N →∞ m γ,g,N and the limiting measure is non-trivial for γ < 2 (see e.g. [4]) which is the origin of the parameter range γ ∈ (0, 2) that we mentioned in the introduction. The critical value γ = 2 also leads to a non-trivial measure (see e.g. [6]), but requires a different renormalisation so we choose not to include it. The limiting measure is an instance of the Gaussian Multiplicative Chaos and it inherits the property (2.10) ψ * m γ,g = m γ,ψ * g . (2.11)

Weyl Invariance
To have the Weyl transformation law for LCFT we need to modify the chaos measure a bit. Fix conformal coordinates so that (2.4) holds and consider the circle average regularization of X g given by where o(1) stands for terms that vanish as → 0. It is known that the limit exists in the sense of weak convergence in probability (see e.g. [4]). By uniqueness of the Gaussian Multiplicative Chaos measure (see [4]), we have the equality where d 2 z denotes the two-dimensional Lebesgue measure. Let (2.14) and define the measure M γ,g := ρ γ,g m γ,g . (2.15) This definition ensures that we get the transformation law under g → e ϕ g in Proposition 2.2, which will later turn out to be the correct one for the Liouville expectation in Sect. 2.4 in the sense that it leads to the property (1.3). We have From this formula and the fact that X e ϕ g law = X g −m e ϕ g (X g ) we infer the Weyl transformation law Note that our definition of ρ γ,g so far depends on the choice of conformal coordinates. Let ψ be a diffeomorphism. We want to define ρ in different coordinates by ρ γ,ψ * g := ρ γ,g • ψ. (2.16) We have to check that this is well-defined, meaning that the above formula is consistent with (2.14) in the case when ψ * g is also a conformal metric. Hence suppose we have a metric g and two different conformal coordinates are given by the diffeomorphisms ψ 1 and ψ 2 . Thus we have g = ψ * 1 g 1 and g = ψ * 2 g 2 with 1 is a conformal map and where ψ denotes the complex derivative. Using the above formula and (2.7) we conclude and this implies that (2.14) does not depend on the choice of conformal coordinates and (2.16) is consistent with it. Now from Proposition 2.1 we infer We can summarize these considerations to Proposition 2.2 Let ψ ∈ Diff( ) and ϕ ∈ C ∞ ( ). Then we have the following equality of joint probability distributions where the random variable c g (ϕ) is given by

Liouville Expectation
The GFF X g is almost surely an element of H −s ( , dv g ) for any s > 0. Let F : H −s ( , dv g ) → C. The Liouville expectation of F, initially defined in Sect. 3 of [5], is given by where we use the notation M g,γ ( f ) = f d M g,γ so that M g,γ (1) denotes the total mass of the measure M γ,g . The factor Z ( , g) is the "partition function of the GFF", explicitly 1 2 where the zeta function is defined as for real part of s small enough and ζ ,g (0) is defined by analytic continuation, see Sect. 1 of [20] for details. We include Z ( , g) in the definition (2.18) to match physics literature conventions. Especially this has the effect of shifting the central charge of the theory from 6Q 2 to 1 + 6Q 2 , see Proposition 2.3. For a diffeomorphism ψ ∈ Diff(6) the property λ ψ * g,n = λ g,n implies and furthermore, Eq. (1.13) in [20] gives Then we have the diffeomorphism covariance where (ψ * F)(X ) := F(X • ψ) and the Weyl covariance where ϕ ∈ C ∞ ( , R) and c = 1 + 6Q 2 .
Proof The first claim follows directly from the identities which follow from Proposition 2.2, and the fact that R g is a scalar function (a 0-form). The second claim follows along the same lines as in [5]. For completeness we give the main steps. Let g = e ϕ g. By Proposition 2.2 and a shift c = c − c g (ϕ) in the c integral we have dc .
Using R g v g = (R g − g ϕ)v g and dropping the prime from c this becomes Next we apply the Girsanov theorem to the factor e Q 4π (X g , g ϕ) g . Denoting the rest of the integrand by H (X g , M g,γ ) we have After a shift in the c-integral we obtain The claim follows since

Liouville Correlation Functions
Choose a local conformal coordinate. We define and we define the regularized vertex operators by Again we set which is well defined by the same argument as with α = γ earlier.
Hence (6) is the Euler characteristic. Furthermore they satisfy the diffeomorphism and Weyl transformation laws (1.2) and (1.

exist and are non-zero if and only if the α i 's satisfy the Seiberg bounds
The strategy for the proof of convergence is the following. We first switch the integration order and argue that the c-integral converges. Then we evaluate the c-integral which then yields a different representation of the correlation function in terms of an expectation of a moment of a GMC integral with no c-integral remaining. Consider (2.18) with For the scalar curvature the Gauss-Bonnet theorem takes the form 2 R g dv g = 4πχ( ), so we get where we used Fubini's theorem and defined (2.25) and after evaluating the c-integral we get Finally a shift in the Gaussian integral (Girsanov theorem) gives For the correlation functions we take Then, the condition (2.25) becomes the first of the conditions (2.23). As N → ∞ in a neighborhood of z i (1) and the condition α i < Q is needed for the M γ,g integrability of this singularity, see Lemma 3.3 in [5].
Diffeomorphism covariance follows from (2.22) in the limit.
For the Weyl covariance let us again choose conformal coordinates around the insertion points z i and use the circle average regularization (2.26)

Conformal Ward Identities
We will now specialize to the case = S 2 =Ĉ and consider the metric dependence of the vertex correlation functions: where from now on we drop the from the notation. Our objective is to construct the derivatives (1.5) and prove the identities (1.8). The identities (1.2) and (1.3) make the dependence on the metric quite explicit since the sphere has only one conformal class (see below for the definition), a fact we will recall next.

Beltrami Equation
Let M be the set of smooth metrics inĈ. We may work on the coordinate chart C and identify g ∈ M with a smooth function g(z) = {g αβ (z)} taking values in positive matrices such that The sphere has only one conformal class of metrics, which means that for a fixed metriĉ g ∈ M, any other metric g ∈ M can be written as g = e ϕ ψ * ĝ , where ϕ ∈ C ∞ (Ĉ) and ψ ∈ Diff(Ĉ). We aim to prove the conformal Ward identities by varying the metricĝ and seeing how this affects the correlation function To this end, we want to compute how ϕ and ψ depend on the perturbed metric g, or more concretely, if g is roughly of the form g =ĝ + f , what is the f dependency of ϕ and ψ in the first order in . The purpose of this section is to find the relation between the perturbation f and the functions ψ and ϕ, and we will see that the equation g = e ϕ ψ * ĝ will lead us to the Beltrami equation.
Let g ∈ M and setĝ where σ ∈ C ∞ (Ĉ) and δ denotes the Euclidean metric. Let us look for a function ϕ and a diffeomorphism ψ such that where the second equality comes from (4.9). By taking determinants we get and by plugging this back into the equation we get It is readily checked that Indeed, we have Above we used (4.15) (note that γzz = γ zz always in the complex coordinates), det γ = 1, and the fact that γ zz is always real (to simplify the denominator) and positive, which follows from the facts that γ is positive definite and 4γ zz = tr γ . Now μ ∞ < 1 follows. The Beltrami equation is solved by writing To solve this recall the Cauchy transform C : and the Beltrami transform B : [2] for basic properties of these integral transforms). We have ∂zC f = C∂z f = f so that (3.7) can be written for u ∈ C ∞ (C) as and then as a Neumann series where v n := (μB) n μ.
We will also denote u n := Cv n . (3.10) The convergence of this series is classical and for what follows we state it in a slightly more general setup for a smooth family of Beltrami coefficients μ(z, ). Our proof is a slight variation of the proof [2], Sects. 5.1 and 5.2, so we will be brief. For a multi-index Then the series (3.9) converges uniformly together with all its derivatives and setting u n = Cv n we have for p close enough to 2. For the rest of the proof we fix any such p, say p = 2. 3 It follows that the series ∞ n=0 (μB) n μ converges in L 2 (C) uniformly in . Next we show that the limit belongs to the Sobolev space W k,2 (C) for all k and . By applying the product rule of the derivative and ∂ z Bμ = B∂ z μ, ∂zBμ = B∂zμ, we get for v n = (μB) n μ for all k and , and since μ(·, ) ∈ C ∞ 0 (C) we conclude v n (·, ) ∈ C ∞ 0 (C) and v(·, ) ∈ C ∞ 0 (C). For the bounds (3.11) recall that u n = Cv n and u = Cv. Since C maps C ∞ 0 (C) into C ∞ (C), the functions z → u n (z, ) and z → u(z, ) belong to C ∞ (C) and are bounded on compact sets. Now we get the bound where supp v denotes the support of v. Same argument yields the same bound for u n . Now we have shown that ψ(z, ) = z+u(z, ) belongs to C ∞ (C) for each and ψ(z, ) = z+O(1/z) as z → ∞. Theorems 5.2.3 and 5.2.4 in [2] then imply that ψ(z, ) = z + u(z, ) is a smooth diffeomorphism ofĈ for each .
Next we want to argue that the function ϕ in (3.2) is smooth. Equation (3.3) implies that ϕ is given by where we used det Dψ = |∂ z ψ| 2 − |∂zψ| 2 and ψ(z) = z + u(z). Since g is a metric on the Riemann sphereĈ, the volume density √ det g must be smooth at infinity. This means that √ det ζ * g is a smooth (and positive) function at the origin, where ζ(z) = 1 z . Thus we can write Thus we get ln det g(z, ) = −4 ln |z| + ρ(1/z, ).
On compact sets this function is bounded, and as z → ∞ the absolute value is dominated by C|z| −1 . Thus the bound (3.11) holds when we replace u by ln √ det g or σ (by the same argument). We conclude then |D l ϕ(z)| ≤ C l (1 + |z|) −1 . (3.12) Thus ϕ(·, ) ∈ W k, p (C) for all k and p > 2 and we conclude ϕ ∈ C ∞ (C × R).

The Stress-Energy Tensor
In this section we give the precise definition of the derivatives (1.5).
If it also holds that the derivative is linear and continuous in f , we denote by δS These derivatives are also known as the Gateaux differentials. If δS δh can be realized as a continuous function, that is, if we have for some s ∈ C(C), then we define δS δh(z) := s(z).
The Liouville correlation functions (1.1) are functions of the metric g. As was explained in the beginning of Sect. 3, we identify g with a positive matrix valued smooth function g(z) = {g μν (z)} on C such that also Dζ T (g • ζ )Dζ is smooth, where ζ(z) = z −1 . We denote the inverse matrices by {g μν (z)}. In this picture the correlation functions are functions of the smooth functions g μν and by perturbing these functions we may compute derivatives of the form where this derivative is to be understood in the way that was explained above. Note that we have to show that the derivatives Once the existence of these derivatives is established, they are shown to be given by distributions evaluated at the perturbation functions f μν . Then we prove that these distributions can be represented by functions, which will be denoted by be a smooth function with compact support in C x and taking values in symmetric 2 × 2 matrices. Consider the perturbed metric g(z, ) with the inverse given by g μν =ĝ μν + f μν (3.13) whereĝ is given by (3.1) so thatĝ μν = e −σ δ μν . It follows that g defines a metric (i.e. is positive definite) if is small enough. We will also use the notation (3.14) Then we have is smooth in a neighbourhood of the origin. Furthermore, for any positive integer n we have where the n-linear function T n defines a distribution T n ∈ ( . . , n have disjoint compact supports and set 4 The function F also depends on the points x i , but we omit this from the notation. 5 That is, T n is a complex valued continuous linear map, taking as arguments functions from the n-fold tensor product n k=1 C ∞ 0 (C x , M 2 ). We use the notation T n ( f 1 , . . . , Then for the function F(ĝ, ·) : where we sum over repeated indices and Fĝ μ 1 ν 1 ...μ n ν n (z 1 , . . . , z n ) are smooth functions in the region z i ∈ C x with z i = z j when i = j.
Proof By Proposition 3.1 for small enough we have g = e ϕ ψ * ĝ .
Writing (3.18) and the function ϕ is given by Now by the diffeomorphism and Weyl transformation laws in Proposition 2.4 (3.20) We will now argue that smoothness of Fĝ in will follow from smoothness of ϕ and u in (recall that ψ(z) = z + u(z)). First, to prove smoothness of the expectation on the righthand side of (3.20) we use the result of the second author [17] that the correlation function smooth in the region of non-coinciding points. Since ψ is a diffeomorphism the points ψ(x i ) are non-coinciding as well and smoothness of the expectation in follows. Smoothness of the anomaly term follows from the bounds (3.11) and (3.12) which guarantee convergence of the integrals over C.
We will now deduce from Eqs. (3.6), (3.19) and (3.20) that to compute the derivative (3.15) it is fundamental to compute ∂ m u| =0 and ∂ m ζ μν | =0 for m ≤ n. Before starting the computations it is useful to remark that ζ can be written in terms of the functions f αβ by combining (3.13) and (3.17). This yields where f −1 is the matrix with entries { f αβ } andĝ f −1 is a matrix product. It follows that ∂ m ζ μν | =0 is a homogeneous polynomial of degree m in the variables { f αβ (z)} and Hence μ = O( ) and from (3.10) we get

From (3.18) and (3.21) we have
where p l (z) is a homogeneous polynomial of degree l in the variables { f αβ (z)}. In particular Now we know how the basic terms ∂ m u| =0 and ∂ m ζ μν | =0 look like. Let us now look at the various contributions to the derivative (3.15). From (3.20) we see that we get derivatives of the form with k ≤ n. The anomaly term equals By recalling that (ψ * ĝ ) αβ = (Dψ(ĝ • ψ)Dψ T ) αβ , dv ψ * ĝ = | det Dψ|dvĝ and R ψ * ĝ = Rĝ • ψ we see that to compute ∂ A(ϕ, ψ * ĝ ) it suffices to compute ∂ ϕ and ∂ ψ = ∂ u. For the derivatives ∂ k ϕ(x i ) it suffices to know ∂ k u because of (3.19) and (3.21). Finally, for the last term in (3.23) we note that Thus, we see that all the derivatives in (3.23) reduce to computing derivatives of u and derivatives of ζ μν . The derivatives of u we already computed above and the derivatives of ζ are easily read off of (3.21). Next we argue that the left-hand side of (3.15) can really be expressed in terms of a distribution. Let l be a positive integer and fix a set of positive integers (l i ) k i=1 such that i l i = l. Let m i l i ( f ) denote a monomial of degree l i in the variables {D K f αβ (x)} where D = ∂ x , ∂x and K ≤ 2. We will now explain that the above and (3.19) imply that the derivative (3.15) consists of products and sums of terms that are l-linear functionals of { f αβ (x)} of the form with p = 0, 1 and l = (l 1 , . . . , l k ). The fact that the above expression can be written in terms of an l-linear functional T p,l follows from the definition of m i l i . The derivatives containing the integral over z arise from taking derivatives of A(ϕ, ψ * ĝ ) in (3.20) and the terms with the x i 's come from the derivatives of ϕ(x i ) and Then the expressions (3.24) come from the observation above that everything reduces to derivatives of u and ζ and using (3.21) and (3.22).
We conclude that T p,l is continuous in its arguments and by the nuclear theorem defines a distribution in D (C l x ). The fact that the derivative (3.15) can be expressed in terms of an n-linear functional T n then comes from the fact that we take n-derivatives, so that the result is a sum of terms of the form with j |l j | + k |l k | = n, where |l| = i l i . From the definitions of T p,l and m i l i it follows that such integrals can be written in terms of an n-linear functional on C ∞ 0 (C x , M 2 ) and in the end we define T n to be the resulting sum of such functionals.
For the third claim let f i ∈ C ∞ 0 (C x , M 2 ), i = 1, . . . , n have disjoint supports and consider the perturbed metric Next we explain that from the definition of T n and the fact that the f i 's have disjoint support we get (3.25) To see this note that in the previous computation with (3.13) for example the term ∂ 2 μ| =0 (z) was a homogeneous polynomial of degree 2 in the variables { f αβ (z)}. If we were to do the same computation with the perturbation 1 f 1 + 2 f 2 of the metric and then compute ∂ 1 | 0 ∂ 2 | 0 μ(z) the result vanishes if f 1 and f 2 have disjoint support. On the other hand, the term (∂ μ| 0 )(∂ μ| 0 ) (meaning we hit different terms with the derivatives) is a 2linear functional S on C ∞ 0 (C x , M 2 ) so can be written as S( f , f ) and in this case we have S( f 1 , f 2 ) = (∂ 1 μ| 0 )(∂ 2 μ| 0 ). Applying the same logic for all the terms appearing in the computation of the derivatives we end up with (3.25).
From the assumption that the f i 's have disjoint supports it follows (as in (3.21)) that In particular, this implies ∂ i ∂ j μ(z)| ( 1 ,..., n )=0 = 0 for i = j so that l i = 1 in (3.24) for all i. Furthermore

From (3.19) we also get terms which contain the derivatives of
Thus the derivatives of ζ in the anomaly term in (3.20) give contributions of the form.
To avoid confusion with the notations in the following computations, we now carefully explain what the previous result says about the functional derivatives of the LCFT correlation function. Recall that we are denoting First of all, we want to interpret (3.16) using the functional derivative from Definition 3.2. Note that we can think ofĝ → F(ĝ, 0) as being a function of the four smooth functions given by the components of the inverse metricĝ μν . Denote g μν 1 =ĝ μν + 1 f μν k . Now, provided that the functional derivatives δ F(·,0) δĝ μν exist, we have The right-hand side of the above equation has four terms, which arise from the fact that on the left-hand side F(ĝ, 1 ) is a function of all the four components g μν 1 , and the derivative ∂ 1 has to operate on all these four arguments. By taking more derivatives we get Now comparing with (3.16) and noting that n k=1 ∂ k F(ĝ, 1 , . . . , n )| ( 1 ,..., n ) F(ĝ, 1 , . . . , n ) we get , (3.27) where the factor e k σ (z k ) comes from the fact that in (3.16) the right-hand side contains the volume forms dvĝ(z k ) = e σ (z k ) d 2 z k . This shows that Proposition 3.3 gives the existence of the functional derivatives of the LCFT correlation functions with respect to the metric and that these functional derivatives are given in terms of the functions Fĝ μ 1 ν 1 ...μ n ν n . Thus, we introduce the notation We add the factor of (4π) n to match conventions of physics literature. This means that the left-hand side on the above expression is not the Liouville expectation of some function, but rather it is just a function of the z k 's and x i 's. At this point we remark that Proposition 3.3 applies to an arbitrary metricg on the Riemann sphereĈ, although in the proof we considered a diagonal metricĝ = e σ δ. Indeed, there exists a smooth diffemorphismψ ofĈ such thatg =ψ * (eσ δ) whereσ :Ĉ → R is a smooth function. Now a perturbed metricg μν =g μν + f μν can be written in the form After using the diffeomorphism transformation law from Proposition 2.4 the more general result follows. Then, using (3.16) for the metric g = f where we sum over repeated indices. Comparing this with (3.16) gives Fĝ μ 2 ν 2 ...μ n ν n (z 2 , . . . , z n ). (3.31) We will use this equation later.

Definition 3.4 It is natural to define the notations
where a ∈ C and f : C → C is a smooth function. We will also denote where ψ :Ĉ →Ĉ is a smooth diffeomorphism. Denotẽ The notation (3.34) has an obvious generalisation for multipleT μ i ν i + f i -insertions, where f i : C → C is a smooth function, given recursively by For the time being let us consider the variation of these T -correlation functions under diffeomorphisms and Weyl transformations. Let us define a αβ (ϕ, g, z) := 4πc δ δg(z) αβ A(ϕ, g). (3.36) In conformal coordinatesĝ αβ = e σ δ αβ we have from a computation similar to Lemma 4.2

Proof For the first claim let
where the f i 's have disjoint supports. Then Thus by (3.16), (3.28) and the diffeomorphism covariance in Proposition 2.4 we get (we sum over repeated indices) In the last equality we did a change of variables z i → ψ(z i ) and used where we used Dψ −1 (ψ(z)) = (Dψ T )(z) and the symmetry of T and f . Now the first claim is proven.
The second claim follows from the Weyl transformation law in Proposition 2.4 in the following way. Let where the first equality comes from (3.16) and (3.28), and the second equality uses the Weyl transformation law from Proposition 2.4. To compute the derivative on the last line we apply the locality (3.38). Indeed, it implies where we sum over repeated indices. Now differentiating the product and using (3.42) gives Using (3.16) and (3.28) again gives Plugging the result back into (3.41) yields The claim now follows from e ϕ v g = v e ϕ g .

Ward Identities
In this section we will demonstrate that Propositions 3.3 and 3.5 allow us to compute Tcorrelations inductively. By Proposition 3.5 it suffices to do this in the conformal coordinates. Furthermore, only T zz and Tzz correlations are non-trivial and they may be computed separately (see Remark 3.7 below). We have then Proof Letĝ = e σ δ, where δ denotes the Euclidean metric, and consider the perturbed metric g with the inverse metric having the components where f is real and has compact support outside the points {z i } n i=2 and {x j } N j=1 , and ∈ C (so that g¯z¯z =¯ f ). We will denote = 1 + i 2 , 1 , 2 ∈ R and ∂ = 1 2 (∂ 1 − i∂ 2 ) so that ∂ ¯ = 0. By (3.28) and (3.31) Next we apply Definition 3.2 and (3.28) To compute the -derivative we want to utilize the Weyl and diffeomorphism transformation laws from Proposition 3.5. To this end we write (see Sect. 3.1) Note that the dependence on is in ϕ and ψ. Using the Weyl transformation law from Proposition 3.5 we get Note that the last line uses the notation introduced in Definition 3.4. We can further simplify this by using the diffeomorphism transformation law from Proposition 3.5 (and again using notations from Definition 3.4) We arrive at (3.43) To proceed with the computation we now compute ψ and ϕ to first order in . First, recall Eqs. (3.17) and (3.18). To first order in the metric is gzz = − 4 e 2σ f . Hence and ζ zz = 0. Then, for the γ appearing in (3.5) Thus Based on these formulas we remark that The latter equation together with (3.37) further imply a zz (ϕ, ψ * ĝ , z)| =0 = 0. Thus, continuing from (3.43) we get (3.46) Next we evaluate all the derivatives appearing above. Since ϕ = (−u∂ z σ − ∂ z u) + O( 2 ) and e σ R e σ δ = −4∂ z ∂zσ we get where t is defined in (1.7). The second term on the right-hand side of (3.46) is readily evaluated by using (3.45) For the third term on the right-hand side of (3.46) we have where we again used a zz (ϕ, ψ * ĝ , z i )| =0 = 0. Denote b(z j , f ) = ∂ 0 a zz (ϕ, ψ * ĝ , z j ). Using ϕ = O( ), (3.36) and (3.45 The derivative is calculated in Lemma 4.2: Some algebra then gives Next we compute (recalling Definition 3.4) where we used ψ(z)| =0 = z. We have Thus where in the second equality we used ∂zC(e σ f ) = e σ f and the assumption that the support of f does not intersect {z 2 , . . . , z k } and in the third and the fourth equalities we used ∂ ¯ = 0. We get By the chain rule the last term on the right-hand side of (3.46) takes the form Collecting all the derivatives we computed together we get Remark 3.7 Using the computations from the proofs of Propositions 3.3 and 3.6 it is simple to check that whenever z i = z j for i = j and z i = x j for all i and j, where t is the function from (1.7).
In similar fashion it is also possible to compute that whenever z i = z j for i = j and z i = x j for all i and j, but we skip this computation since the identity is not relevant from the point of view of the Virasoro algebra discussed in the next section. These formulae motivate the focus on the T zz correlations: the Tzz correlations are obtained from T zz correlations by complex conjugation, and the other correlations are rather trivial.
We finish this section with a formulation of the Ward identity for the case where the vertex operators are replaced by a smooth version as follows.
(1) We call the support of F, denoted by supp F, the smallest closed set K satisfying F(X ) = 0 whenever supp X ⊂ K c . Here supp X denotes the support of X , which is the usual notion of the support of a distribution. (2) We say that F is smooth if the derivatives exist for all X ∈ H −s (Ĉ) and all f ∈ C ∞ 0 (Ĉ) and they can be written as Let F : H −s (Ĉ) → C be smooth and g andĝ be as in the beginning of proof of Proposition 3.6, except now we assume that the support of f does not intersect the support of F (in the previous setting this assumption corresponded to assuming that support of f does not overlap with the points z i and x i ). By Proposition 2.3 we have so that recalling (3.44) and (3.45) we get where the last term was computed in (3.47) and we denoted . (3.50) Integrating by parts and using (3.44) we get We conclude using ∂ | 0 F g =: 1 where T is given by (1.6). Note that all the terms are well-defined since F is smooth and if x is outside the support of F, then F x = 0, which especially means that in the above integrals F x vanishes in a neighbourhood of z.
In what follows we are interested in F of the form where N ≥ 0 and the functions h j are complex valued and smooth with compact support and X (h i ) = h i (z)X (z)d 2 z. Furthermore we require C h 0 > 2Q, where z denotes the real part of z, so that |F| ĝ < ∞, as was discussed in the proof of Proposition 2.4. Let V denote the linear span of such F. Then by the definition of the functional derivative Definition 3.8 we get (e X (h 0 ) ) z = h 0 (z)e X (h 0 ) and X (h 0 ) z = h 0 (z). We conclude Note that supp F is the union of the supports of the h j 's.
where T z F is determined by plugging (3.53) into (3.51) and integrating by parts. Explicitly (3.55) It is simple to check that T z F ∈ V and supp(T z F) ⊂ supp F. Now to get the Ward identities for the observables (3.52) we proceed as in the proof of Proposition 3.6 where the diffeomorphism and Weyl transformation laws from Proposition 3.5 were used. A direct consequence of Proposition 2.3 and the computations in the proof of Proposition 3.5 is that the transformation laws (3.39) and (3.40) in this case take the form Now we get the Ward identity almost identically as in the proof of Proposition 3.6 by using the above transformation laws and the computations leading to (3.51). The result is whenever F is as in (3.52), z i = z j for i = j and z i / ∈ supp F for all i.

Prospects: Representation Theory
The Ward identities have well known algebraic consequences. To formulate these note that by iterating (3.56) for F ∈ V we get with G ∈ V. This can be viewed as an action T (z) : V → V. This action gives rise to a representation of the Virasoro algebra on the physical Hilbert space H which is canonically related to LCFT. To describe the latter (see [16] for details) it is convenient to choose the metric g = e σ |dz| 2 with σ = −2 ln(zz)1 |z|≥1 (4.1) i.e. the metric is Euclidean |dz| 2 on the unit disc D and |z| −4 |dz| 2 on D c . The curvature of g is concentrated on the equator: R g (z) = 4δ(|z| − 1). We denote the GFF X g simply by X . It has the covariance The function (2.14) becomes in this metric ρ γ,g = e σ and thus the chaos measure is where the volume is dv(z) = e σ d 2 z. The Liouville expectation is then given by Since ( C ( f +f θ )) = 2 D f > 2Q this is well defined. Reflection positivity is the following statement: For proof see [16]. It is simple to check that (F, G) = (G, F) by using a decomposition of the GFF described in Proposition 2.2 of [16], but we skip the computation to keep this discussion short. We define the Hilbert space H of LCFT as the completion of F D /N , where N = {F ∈ F D | (F, F) = 0}.
Let F and G have supports in the disc D r with r < 1 and let C i be circles of radii 1 > r 1 > r 2 · · · > r k > r . Define the objects   Note that the left-hand side is just a notation and as such does not define the operators L n 1 . . . L n k : F D → F D . Even if we can guess what the definition of the L n i 's is supposed to be (which is readable from the above notation), showing that L n 1 . . . L n k maps F D into F D seems difficult. As a consequence of iterating the Ward identities, the integrand on the right-hand side of (4.7) is analytic in z i ∈ D \ D r , z i = z j , the right-hand side depends on the contours C i only through their order, meaning that the value of the integral possibly changes if one swaps C i and C j for i = j. The Ward identities then imply (see [9]) that the commutator where δ i, j is the Kronecker delta, in the obvious sense as a relation among the objects (4.7). However we would like to realize the L n 's as operators acting on a suitable dense domain in H with the adjoints satisfying L * n = L −n and construct a representation of the Virasoro algebra (4.8). This will be the subject of the forthcoming publication [15].
Let us denote the inverse of the matrix g(x) by g αβ (x). The reason for the upper indices is that the tensor field g αβ ∂ α ⊗ ∂ β is invariantly defined. It allows us to define the Dirichlet form D g ( f , h) := g αβ ∂ α f ∂ β h dv g (4.10) and the Sobolev space H 1 ( , g) = { f ∈ L 2 ( , g) : D g ( f , f ) < ∞}. The Dirichlet form gives rise to a positive self-adjoint operator − g by On smooth functions f by integration by parts one gets the formula for the Laplace-Beltrami operator as The Dirichlet form satisfies the diffeomorphism invariance which implies The Laplace-Beltrami operator has a discrete spectrum (λ g,n ) ∞ n=0 , 0 = λ 0 < λ 1 ≤ λ 2 . . . , and a complete (in L 2 ( , g)) set of smooth eigenfunctions (e g,n ) ∞ n=0 with e g,0 the constant function. The property (4.11) implies e g,n • ψ = e ψ * g,n , λ g,n = λ ψ * g,n . (4.12) The zero-mean Green's function is defined by the formula G g (x, y) = ∞ n=1 e g,n (x)e g,n (y) λ g,n .
Then (4.12) implies G ψ * g (x, y) = G g (ψ(x), ψ(y)). (4.13) We can view the diffeomorphisms also passively as changes of coordinates. Then locally we can find a coordinate so that g αβ = e σ δ αβ with a smooth σ (the proof is a small variation of Proposition 3.1). An atlas of such coordinates defines a complex structure on since the transition functions are easily seen to be analytic. Indeed, if on R 2 we have g = ψ * h with g and h diagonal matrices then ψ(x 1 , x 2 ) = (u(x 1 , x 2 ), v(x 1 , x 2 )) where u, v satisfy the Cauchy-Riemann equations. We can then introduce complex coordinates z = x 1 + i x 2 ,z = x 1 − i x 2 and write tensors using them. E.g. T = T αβ dx α ⊗ dx β becomes T = T zz dz ⊗ dz + Tzzdz ⊗ dz + T zz dz ⊗ dz + Tz z dz ⊗ dz, (4.14) where T zz = 1 4 (T 11 − T 22 − 2i T 12 ), T zz = Tz z = 1 4 (T 11 + T 22 ) and Tzz = T zz . Furthermore, for a 2 × 2 symmetric matrix f the formulae for the determinant and the trace in complex coordinates are det f = 4 f 2 zz − 4 f zz fzz, (4.15) tr f = 4 f zz . (4.16) See for example Sect. 2.9.1 in [2] for some other basic properties of the complex coordinates. We denote the scalar curvature of g by R g . It is defined by contracting the Ricci tensor R μν R g := g μν R μν , (4.17) where the Ricci tensor comes from contracting the Riemann tensor Finally, the Riemann tensor is defined by the formula where the 's are the Christoffel symbols α βγ = 1 2 g αδ (∂ β g δγ + ∂ γ g δβ − ∂ δ g βγ ).
As R g is defined by contractions of the metric and its derivatives, under diffeomorphisms it transforms as In coordinates where g αβ = e σ δ αβ we have the formula R g = −4e −σ ∂ z ∂zσ.
From this together with (4.18) and the existence of conformal coordinates it is easy to infer that in general R e ϕ g = e −ϕ (R g − g ϕ). (4.19) As an application of these definitions we have the Lemma used in the text: Then F (z) := δ δg zz (z) F(g)| g=e σ δ = −∂ 2 z h + ∂ z σ ∂ z h in coordinates where g αβ = e σ δ αβ .