arxiv: v2 [hep-th] 3 Sep 2016

Transcription

1 D quantum gravity on compact Riemann surfaces with non-conformal matter arxiv: v [hep-th] 3 Sep 16 del Bilal and Lætitia Leduc Laboratoire de Physique Théorique de l École Normale Supérieure PSL Research University, CNRS, Sorbonne Universités, UPMC Paris 6 4 rue Lhomond, F-7531 Paris Cedex 5, France Institut für Theoretische Physik, Universität zu Köln Zülpicher Straße 77, 5937 Köln, Germany We study the gravitational action induced by coupling two-dimensional non-conformal, massive matter to gravity on a compact Riemann surface. We express this gravitational action in terms of finite and well-defined quantities for any value of the mass. small-mass expansion gives back the Liouville action in the massless limit, the Mabuchi and ubin-yau actions to first order, as well as an infinite series of higher-order contributions written in terms of purely geometric quantities. Contents 1 Introduction and generalities Introduction and motivation Massive versus massless matter Mabuchi and ubin-yau actions Some technical tools 5.1 The heat kernel Local -functions and Green s function at coinciding points Perturbation theory The gravitational action Variation of the determinant The massless case The massive case Small mass expansion

2 1 Introduction and generalities 1.1 Introduction and motivation Ever since the seminal paper by Polyakov [1] it has been known that conformal matter coupled to D gravity gives rise to an effective gravitational action that is the Liouville action S L [g, g] S L [g, σ] = d x ( g σ σ + R σ, g = e σ g. (1.1 More precisely, the Liouville action captures the dependence on the metric of the partition function Z (c mat of conformal matter of central charge c. If we consider two metrics g and g = e σ g then ln Z(c mat[g] Z mat[g (c ] = c 4π S L[g, g]. (1. For more general matter (plus ghost partition functions one defines a general gravitational action as ln Z mat[g] Z mat [g ] = S grav[g, g]. (1.3 Being defined as the logarithm of a ratio of partition functions computed with two different metrics, any gravitational action satisfies a cocycle identity S grav [g 1, g ] + S grav [g, g 3 ] = S grav [g 1, g 3 ]. (1.4 The simplest example of a gravitational action satisfying this cocycle identity is the cosmological constant action S c [g, g] = µ d x( g g = µ (. (1.5 s we will recall below, this action must be present as a counterterm to renormalize the divergences that are present in (1. in addition to S L. Gravitational actions other than the Liouville or cosmological constant actions can be constructed and have been studied mainly in the mathematical literature, like the Mabuchi and ubin-yau actions [, 3]. These latter functionals crucially involve not only the conformal factor σ but also directly the Kähler potential φ and do admit generalizations to higher-dimensional Kähler manifolds. In the mathematical literature they appear in relation with the characterization of constant scalar curvature metrics [3]. Their rôles as two-dimensional gravitational actions in the sense of (1.3 have been discussed in some detail in [4]. In particuler, ref. [4] has studied the metric dependence of the partition function of non-conformal matter like a massive scalar field and shown that a gravitational action defined by (1.3 contains these Mabuchi and ubin-yau actions as first-order corrections (first order in m where m is the mass and the area of the Riemann surface to the Liouville action. The partition function of quantum gravity at fixed area, with a gravitational action being a combination of the Liouville and Mabuchi actions, has been studied at one loop in [5] and at two and three loops in [6]. While the results of [4] concerned the first order in an expansion in m, in the present note we will derive a few results that are valid exactly at finite m. Ideally one would like to study some 1

3 general matter action where non-conformal terms c i O i have been added to some conformal theory and obtain exact results in these couplings c i. We are going to be much less ambitious and simply study a single massive scalar field with action S mat [g, X] = 1 d x g [ g ab a X b X + m X ] = 1 d x g X( g + m X, (1.6 and try to establish some exact results valid for finite m. Here g is the Laplace operator for the metric g, defined with a minus sign, so that its eigenvalues are non-negative: g = 1 g a (g ab g b. (1.7 In the remainder of this section, we discuss some basic differences between the massive and massless cases and define the matter partition functions in both cases. Then we briefly recall the Mabuchi and ubin-yau actions and their variations. In section, we summarize some technical tools involving heat kernels, zeta functions and their perturbation theory. Section 3 then gives the computation of the gravitational action for the massive scalar field, providing explicit formulae for its dependence on the metric in terms of manifestly finite and well-defined quantities. Maybe not too surprisingly, some of our massive formulae will look somewhat similar to those that can be found in [4] for the massless case. However, let us insist that our results are exact in m and valid for any finite mass. Nevertheless, we will write them in a way that immediately allows for a small mass expansion, thus recovering the Liouville action in the zero-mass limit and the Mabuchi and ubin-yau actions as the first-order corrections. The higher-order corrections are similarly expressed in terms of purely geometric objects, but do not seem to have any known counterparts in the mathematical literature. 1. Massive versus massless matter One should keep in mind that adding the mass term is not just a perturbation by some operator that has a non-zero conformal weight. This is due to the (would-be zero-mode of the scalar field that is absent from the action for zero mass but obviously plays an important rôle for non-zero mass. In particular, this means that the relevant quantities of the massive theory are not simply given by those of the massless theory plus order m corrections. This is most clearly examplified by the Green s function G(x, y of the operator g + m. The latter is hermitian and has a complete set of eigenfunctions ϕ n with eigenvalues λ n m : ( g + m ϕ n (x = λ n ϕ n (x, n =, 1,,.... (1.8 Clearly, the eigenfunctions ϕ n do not depend on m (i.e. ϕ n = ϕ ( n, while λ n = λ ( n + m. The eigenfunctions which may be chosen to be real, are orthonormalized as d x g ϕ n (xϕ k (x = δ nk. (1.9 s is clear from (1.7, g always has a zero mode and, hence, λ = m, ϕ = 1. (1.1

4 We always refer to ϕ as the zero-mode, even in the massive case. The Green s function for m is given by G(x, y = n ϕ n (xϕ n (y λ n, ( g + m G(x, y = 1 g δ(x y. (1.11 In general, if B is any quantity defined for m, we will denote by B ( the corresponding quantity for m =. But, for m =, the Green s function is not simply G ( since λ ( = and, obviously, the zero-mode must be excluded from the sum. Then G ( (x, y = n> ϕ n (xϕ n (y λ ( n, g G( (x, y = 1 g δ(x y 1. (1.1 The subtraction of 1 on the r.h.s. ensures that, when integrated d x g..., one correctly gets zero. We will consistently put a tilde over the various quantities we will encounter if the zeromode is excluded from the sum. 1 In particular, using (1.1, we can write for the massive Green s function G(x, y = 1 m + G(x, y, ( g + m G(x, y = 1 δ(x y 1 g, (1.13 where G has a smooth limit as m. Moreover, the smallest eigenvalue contributing in G is λ 1 = λ ( 1 + m with λ ( 1 > being of order 1. Thus, if m 1, one can expand = mr r= ( r, resulting in r+1 1 λ n where (λ ( n G(x, y = 1 m + G ( (x, y + G r (x, y = n ϕ n (xϕ n (y λ r n r=1 ( m r G( r+1(x, y, (1.14, G( r (x, y = ϕ n (xϕ n (y. (1.15 n> (λ ( n r Clearly, the massive Green s function does not equal the massless one plus order-m corrections: 1 their is a crucial term in (1.13 and (1.14. m The matter partition function is defined with respect to the decomposition X = n c nϕ n as Z mat [g] = D g Xe Smat[g,X] dc n = e 1 n λnc n = ( det( g + m 1/. (1.16 π n= In the massless case, since λ ( =, the integration over c would be divergent and instead one replaces it by a factor. Thus Z mat[g] ( = D g ( Xe S( mat [g,x] = n=1 dc n π e 1 n> λ( n c n = ( det g 1/. ( Except for determinants missing the zero-mode, where we will write det following the usual notation. 3

5 Of course, the determinants det and det are ill-defined and need to be regularized. We will use the very convenient regularization-renormalization in terms of the spectral -functions: (s = n= λ s n, (s = n=1 λ s n, (1.18 and similarly for ( (s. By Weil s law (see e.g. [7], the asymptotic behaviour of the eigenvalues for large n is λ n n and, hence the spectral -functions are defined by converging sums for Re s > 1, and by analytic continuations for all other values. In particular, they are well-defined meromorphic functions for all s with a single pole at s = 1 with residue 1 (see e.g. [7]. 4π straightforward formal manipulation shows that ( d (s ds s= provides a formal definition of n ln λ n, i.e. of ln det( g + m : ( 1 Z mat [g] = exp ( (, Z mat[g] ( 1 = 1/ exp ( ( (. (1.19 There is a slight subtlety one should take into account, see e.g. [7]. While the field X is dimensionless, the ϕ n scale as 1/ µ where µ is some arbitrary mass scale (even if m =, and the c n as µ 1. It follows that one should write D g X = µdc n n. This results in π Z mat = ( λ n 1/, n µ so that every ( is changed into ( ( + ( ln µ. (1. The regularization-renormalization of determinants in terms of the -function may appear as rather ad hoc, but it can be rigorously justified by introducing the spectral regularization [7]. The regularized logarithm of the determinant then equals ( + ( ln µ plus a diverging piece Λ (ln Λ + const, where Λ is some cutoff. This diverging piece just contributes to the µ cosmological constant action (1.5, and this is why the latter must be present as a counterterm, to cancel this divergence. Thus, finally S grav [g, g] = 1 ( g ( + g ( ln µ + 1 ( g ( + g ( ln µ, S grav[g (, g] = 1 ln 1 ( ( g ( ( ( + g ( ln µ + 1 ( ( g ( ( ( + g ( ln µ, (1.1 where the first line refers to the massive case and the second line to the massless one. 1.3 Mabuchi and ubin-yau actions Let us briefly recall the basic properties of the known gravitational actions. While the Liouville action (1.1 can be written in terms of g and the conformal factor σ, the Mabuchi and ubin-yau actions are formulated using also the Kähler potential φ. They are related by g = e σ g, e σ = (1 1 φ, (1. 4

6 where denotes the Laplacian for the metric g with area = d x g. The Mabuchi action on a Riemann surface of genus h can then be written as [4] S M [g, g] = d x ( 8π(1 h g [π(h 1φ φ + R φ + 4 ] σeσ, (1.3 while the ubin-yau action takes the form S Y [g, g] = d x [ 1 g 4 φ φ φ ]. (1.4 s already mentioned, they both satisfy a cocycle identity analogous to (1.4 and were shown [4] to appear in S grav in the term of first order in an expansion in m. Note that S M = 8π(1 hs Y + d x ( g 4 σeσ R φ. Eq. (1. relates the variations δσ and δφ as δσ = δ δφ and δ 4 ( e σ = 1 δφ. (1.5 It is then straightforward to show that the variations of the Liouville, Mabuchi and ubin-yau actions are given by δs L [g, g] = 4π(1 h δ d x g R δφ, 4 δs M [g, g] = δ d x ( 8π(1 h g R δφ, δs Y [g, g] = 1 d x g δφ. (1.6 Thus the Liouville and Mabuchi actions obviously admit the constant scalar curvature metrics as saddle-points at fixed area. lthough not obvious from the previous equation, the variation of the ubin-yau action when restricted to the space of Bergmann metrics is similarly related to metrics of constant scalar curvature [3]. Some technical tools.1 The heat kernel The heat kernel and integrated heat kernel for the operator g + m are defined in terms of the eigenvalues and eigenfunctions (1.8 as K(t, x, y = e λnt ϕ n (xϕ n (y, K(t = d x g K(t, x, x = e λnt. (.1 n n The corresponding K, K ( and K ( are defined similarly. The heat kernel K is the solution of ( d dt + g + m K(t, x, y =, K(t, x, y 1 δ(x y as t. (. g 5

7 Note that it immediately follows from either (.1 or (. that the massless and massive heat kernels are simply related by K(t, x, y = e mt K ( (t, x, y. (.3 s is also clear from (.1 (and Weil s law λ n n, for t >, K(t, x, y is given by a converging sum and is finite, even as x y. For t one recovers various divergences, in particular dt K(t, x, y = G(x, y (.4 exhibits the short distance singularity of the Green s function which is well-known to be logarithmic. The behaviour of K for small t is related to the asymptotics of the eigenvalues λ n for large n, which in turn is related to the short-distance properties of the Riemann surface. It is thus not surprising that the small-t asymptotics is given in terms of local expressions of the curvature and its derivatives. Indeed, one has the well-known small t-expansion : K(t, x, y 1 [ ] 4πt e (l /4t m t a (x, y + t a 1 (x, y + t a (x, y +... where l l g(x, y is the geodesic distance squared between x and y as measured in the metric g. For small t, the exponential forces l to be small (of order t and one can use normal coordinates around y. This allows one to obtain quite easily explicit expressions for the a r (x, y in terms of the curvature tensor and its derivatives. They can be found e.g. in [7]. Here, we will only need them at coinciding points y = x, where (.5 K(t, x, x 1 [ ( R ] 1 + 4πt 6 m t (.6 Let[ us note ( that in the massless ] case and if the zero-mode is excluded one has instead K ( (t, x, x 1 R 1 + 4π t πt 6. Local -functions and Green s function at coinciding points Local versions of the -functions are defined as (s, x, y = n ϕ n (xϕ n (y λ s n, (.7 and similarly for (s, x, y, etc. Note that (1, x, y = G(x, y, while for s = r =, 3,... these local -functions coincide with the G r (x, y defined above in (1.15. They are related to the heat kernel by (s, x, y = 1 dt t s 1 K(t, x, y. (.8 Γ(s 6

8 For s =, 1,,..., Γ(s has poles and the value of (s, x, y is entirely determined by the singularities of the integral over t that arise from the small-t asymptotics of K. s shown above, the latter is given by local quantities on the Riemann surface. In particular, (, x, x = R(x 4π m and 4π (, x, x = R(x 4π m 4π 1. (.9 On the other hand, the values for s = 1,, 3,... or the derivative at s = cannot be determined just from the small-t asymptotics and require the knowledge of the full spectrum of g + m, i.e. contain global information about the Riemann surface. Clearly, (1, x, y = G(x, y is singular as x y. For s 1, (s, x, y provides a regularization of the propagator. More precisely, it follows from (.8 that (s, x, x is a meromorphic function with a pole at s = 1 and that the residue of this pole is a (x,x = 1. Thus [7] 4π 4π [ ] G (x = lim µ (s 1 1 (s, x, x (.1 s 1 4π(s 1 is well-defined. (Here µ is an arbitrary scale. This is an important quantity, called the Green s function at coinciding points. One can give an alternative definition of G by subtracting the short distance singularity from G(x, y and taking x y. More precisely [7] G (y = lim x y [ G(x, y + 1 4π (ln l g(x, yµ ] + γ. (.11 4 One can show [7] that both definitions of G are equivalent and define the same quantity. gain, the same relations hold between G (y, G(x, y and (s, x, x. Note that G (y contains global information about the Riemann surface and cannot be expressed in terms of local quantities only..3 Perturbation theory We want to study how the eigenvalues λ n and eigenfunctions ϕ n change under an infinitesimal change of the metric. Since g = e σ g, the Laplace operator g and hence also g + m only depend on the conformal factor σ and on g : g = e σ and thus under a variation δσ of σ one has δ g = δσ g ϕ k δ g ϕ n = (λ n m ϕ k δσ ϕ n, (.1 where, of course, ϕ k δσ ϕ n = d x g ϕ k δσϕ n. One can then apply standard quantum mechanical perturbation theory. The only subtlety comes from the normalisation condition (1.9 which also gets modified when varying σ [4, 7]. One finds δλ n = (λ n m ϕ n δσ ϕ n, (.13 δϕ n = ϕ n δσ ϕ n ϕ n λ n m ϕ k δσ ϕ n ϕ k. (.14 λ n λ k k n Let us insists that this is first-order perturbation theory in δσ, but it is exact in m. Note the trivial fact that, since λ = m and ϕ = 1, one has consistently δλ =, δϕ = δ ( 1. (.15 7

9 3 The gravitational action 3.1 Variation of the determinant ( Recall from (1.1 that the gravitational action is defined as S grav [g, g] = 1 g ( g ( 1 ( g( g ( ln µ. Our goal is to compute δ ( δ g( and δ( δ g ( and express them as exact differentials so that one can integrate them and obtain the finite differences g ( g 1 ( and g ( g1 (. From (.13 one immediately gets, to first order in δσ, g+δg (s = 1 (λ n n + δλ n = g(s + s λ n m ϕ s λ s+1 n δσ ϕ n, (3.1 n n s noted before, δλ = and, hence, there is no zero-mode contribution to the second term. Thus δ(s = δ (s = s d x g δσ(x [ (s, x, x m (s + 1, x, x ]. (3. For m, the term in brackets could have been equally well written as (s, x, x m (s+1, x, x, but the writing in terms of the is valid for all non-zero and zero values of m. It follows that δ ( = d x g δσ(x (, x, x m d x g δσ(x lim [ (s + 1, x, x + s (s + 1, x, x ] s δ( = m d x [ ] g δσ(x lim s (s + 1, x, x. (3.3 s s recalled above, (s, x, x has a pole at s = 1 with residue 1 4π, hence (s, x, x = reg (s, x, x + 1 4π(s 1 lim [ (s + 1, x, x + s (s + 1, x, x ] = reg (1, x, x. s From (.1 one sees that reg (1, x, x = G (x 1 ln 4π µ. Using also (.9 we find 3 δ ( = 1 d x g δσ(x R(x δ 1π m d x g δσ(x ( G (x + 1 4π 1 4π ln µ, δ( = m π (3.4 d x g δσ(x. (3.5 Since G = G + 1 m, we arrive at two equivalent expressions for δ ( + δ( ln µ : δ ( + δ( ln µ = δ ( + δ ( ln µ = 1 d x g δσ(x R(x δ 1π m = 1 1π d x g δσ(x R(x m d x g δσ(x ( G (x + 1 4π. (3.6 d x g δσ(x ( G (x + 1 4π Note that [4] contains an equation that looks similar but is different since it is obtained by doing a first-order perturbation expansion in m of the determinant. 3 The result for δ( also follows from (.9 and the fact that d x gr = 8π(1 h is a topological invariant. 8

10 s it stands, this result is exact in m and holds whether m is small or not. Let us insists that the G and G appearing on the right-hand side are the massive ones. The first line is the appropriate way of writing to study the small m asymptotics, as G has a smooth limit for m. 3. The massless case Let us quickly show, how in the massless case one recovers the well-known Liouville action. For m = one has δ ( ( = and (3.6 immediately gives δ ( ( = 1 d x g δσ(x R(x δ 1π. (3.7 Note that the last term precisely cancels the variation of the 1 ln in S grav[g (, g], cf (1.1, and one gets the well-known result δs ( grav[g, g] = 1 4π d x g δσ(x R(x = 1 4π δs L[g, σ], (3.8 cf. eq. (1.6. Of course, this is just the contribution of one conformal scalar field with c = 1. The determinant that arises from fixing the diffeomorphism invariance gives the same contribution but with a coefficient + 6, so that overall one gets 4π S grav[g (, g] = 6 c ghost + conf matter 4π S L[g, σ]. ( The massive case Our starting point is obtained by combining eqs (1.1 and (3.6, using also (3.8: δs grav [g, g] = 1 4π δs L[g, g] + m d x g δσ(x ( G (x + 1. (3.1 4π Our task then is to rewrite the second term on the r.h.s as the variation of some local functional. Let us compute δg (x. In order to do so, we first establish a formula for δg(x, y under a variation δg = δσ g of the metric and thus under a corresponding variation δ g = δσ g of the Laplace operator. One can then either use the definition (1.11 as an infinite sum and the perturbation theory formula (.13 and (.14, or directly use the defining differential equation (1.11. In any case one finds δg(x, y = m d z g G(x, z δσ(z G(z, y. (3.11 To obtain the variation of G, according to (.11 one needs to subtract the variation of the short-distance singularity. Now, the geodesic distance l g (x, y transforms as (see e.g. appendix 1 of [7] δl g(x, y = l g(x, y [ δσ(x + δσ(y + O((x y ]. (3.1 9

11 It follows that lim δ ln [ µ l g(x, y ] = δσ(x. (3.13 x y Plugging (3.11 and (3.13 into (.11 one gets δg (x = m d z g ( G(x, z δσ(z + δσ(x π Upon integrating this over x one encounters d x g ( G(x, z = d x g ϕ k (xϕ k (zϕ n (xϕ n (z = λ n λ k n n,k. (3.14 ϕ n (zϕ n (z λ n (Note that (, z, z = G (z, z is finite. It follows that δ d x g G (x = d x g G (xδσ(x m d z g (, z, zδσ(z + 1 π One can then rewrite (3.1 as [ δs grav [g, g] = δ 1 4π S L[g, g] + m d x ] g G (x + m 4 = (, z, z. (3.15 d x g δσ(x. (3.16 d x g (, x, xδσ(x. (3.17 Note that in the second term, we can replace G by G since the difference is m d x g 1 = 1, m whose variation vanishes. Next, we use (.8 to rewrite the last term as m 4 dt t d x g K(t, x, xδσ(x, and establish a formula for the variation of the integrated heat kernel K(t. Since δλ = we have δk(t = δ K(t = t e λnt δλ n = t e λnt (λ n m d x g ϕ n(xδσ(x n> n> = t ( d dt + m d x g K(t, x, xδσ(x = te m t d d x g dt K ( (t, x, xδσ(x, (3.18 where we used (.13 and (.3. It then follows that 1 dt t = m 4 = m 4 ( e m t m t 1 δ K(t = dt t d x g K(t, x, xδσ(x = m 4 d x g (, x, xδσ(x 1 dt ( e mt m t 1 ( d dt + m d x g (, x, xδσ(x d x g K(t, x, xδσ(x d x g δσ(x, (3.19 where we integrated by parts and used (.8. The boundary terms do not contribute 4 since K 4 Had we started with δk rather than δ K and written this equation for K and (, x, x, the 1 gδσ would have appeared as the boundary term. 1

12 vanishes at t = as e λ1t and λ 1 m >. Upon inserting this into (3.17 we finally get [ δs grav [g, g] = δ 1 4π S L[g, g] + 1 ln + m d x g G (x + 1 dt( e m t m t 1 ] K(t. (3. t Note that in the last term the t-integral is convergent both at t = and at t =. This is immediately integrated as S grav [g, g] = 1 4π S L[g, g] + 1 ln + m d x ( g G (x; g g G (x; g + 1 dt( e m t m t 1 ( K(t; g K(t; g. (3.1 t Thus we have expressed the gravitational action S grav [g, g] in terms of (local functionals of g and g that are all perfectly well-defined without any need of analytical continuation (contrary to the initial (. Recall also from our remark at the end of sect. 1. that, if we define S grav [g, g] through the spectral cutoff regularization of the logarithm of the determinant, the r.h.s. also involves the variation of the cosmological constant action µ with a coefficient µ Λ (ln λ + const, to be cancelled by a corresponding counterterm. µ With view on the small mass expansion studied below, it will be useful to rewrite (3.14 to obtain the variation of G in terms of quantities that all have well-defined limits as m. Recall that G = 1 + G and G m = 1 + G m. Thus (3.14 can be rewritten as δ G (x = δσ(x π 4 d z g G(x, zδσ(z m d z g ( G(x, z δσ(z. (3. Using (1.5, we can express δσ in the second term as δφ/4 (the δ/ piece doesn t contribute since G has no zero-mode. Using the differential equation (1.13 satisfied by G, one finds for the second term 4 d z g G(x, zδσ(z = d z g δφ(z z G(x, z = δφ(x δs Y [g, g] m d z g G(x, zδφ(z, (3.3 with δs Y given in (1.6. Thus δ G (x = δσ(x π +δφ(x δs Y[g, g] m d z g [ G(x, zδφ(z + ( G(x, z δσ(z ]. (3.4 In exactly the same way we also get δ G(x, y = 1 δφ(x + 1 δφ(y δs Y[g, g] m d z g [ 1 G(x, zδφ(z + 1 G(y, zδφ(z + G(x, z δσ(z G(z, y 11 ] (3.5.

13 While these are exact relations valid for all m, they are written in a way that makes the small mass expansions obvious. 3.4 Small mass expansion Equations (3. and (3.1 are non-perturbative in m. However, they are also written in a way that immediately allows for a perturbative expansion in m, since G and K have smooth limits as m. The m limits of (3. and (3.1 also exhibit an extra term 1 ln which only gets removed for m = due to the difference in the definitions (1.1. Order m contributions Let us first give the order m -correction S grav (1 to S grav. ( Since K(t = e m t K( (t and λ ( n 1 it follows that dt( e m t m t 1 K(t = O((m. (3.6 t Next, it follows from (1.13 and (1.14, upon letting x y and subtracting the short-distance singularity, that ( G (x = G (x + ( m r G( r+1(x, x, (3.7 r=1 so that G ( (x = G (x + O(m. Thus the term of order m of the gravitational action can be read from (3.1 as ( S grav[g (1, g] = m Ψ G [g] Ψ G [g ] where, following [4], we have introduced Ψ G [g] = 1 = m ( Ψ G [g] Ψ G [g ] + ( m Ψ G[g ], (3.8 d x g G ( (x; g. (3.9 The variation of G was given in (3.4 and that of G ( immediately follow as δ ( G (x = δσ(x π + δφ(x δs Y[g, g], (3.3 so that G ( ( (x; g = G (x; g + σ(x π + φ(x S Y[g, g]. (3.31 This relation has been derived before in [4]. Using (1., it it then straightforward to obtain ([4] Ψ G [g] Ψ G [g ] = 1 8π d x [ 4 ] g σeσ πφ φ 4πφ G( (x; g. (3.3 1

14 ( For genus h = and choosing g to be the round metric on the sphere, G (x; g is a constant, and one directly gets the Mabuchi action for h =. More generally, for arbitrary genus, [4] show that Ψ G [g] Ψ G [g ] = 1 ( 8π S M[g, g] + h S Y [g, g] d x g c φ, (3.33 where g c is the canonical metric on the Riemann surface. Finally, (3.8 becomes grav[g, g] = m [ 1 ( 8π S M[g, g] + h S Y [g, g] S (1 d x ] g c φ + ( m Ψ G[g ]. (3.34 While the last term contributes to the cosmological constant action, the other terms are to be considered as the genuine order m correction to the gravitational action, and it involves the Mabuchi and ubin-yau actions. Higher-order contributions S (r grav for r It is straighforward to obtain the expansion in powers of m of the terms in (3. or (3.1. Denoting the term m r by S (r grav, we obviously have S grav [g, g] = r= S (r grav[g, g]. (3.35 In particular, using K(t = e m t K( (t, one has 1 dt( e m t m t 1 K(t = ( m r (r 1 t r! r= = ( m r (r 1 ( (r = ( m r (r 1 r r r= r= and combining this with (3.7, eq. (3.1 yields dt t r 1 K( (t d x g G ( r (x, x, (3.36 grav[g, g] = ( r+1 m r ( ( (r; g r ( (r; g, r. (3.37 S (r Of course, this coincides with the result of the naive expansion of n 1 ln λ n = n 1 ln(λ( n +m in powers of m. One may rewrite S grav[g (r, g] as a local functional: S (r [ grav[g, g] = ( r+1 m r d x g r ( G r (x, x; g d x ] g G( r (x, x; g, r. (3.38 While these S grav[g (r, g] are appropriate local gravitational actions, it would be desirable to express them in terms of more geometric quantities like the conformal factor or the Kähler potential, as was the case for S grav[g (, g] and S grav[g (1, g] with the Liouville, Mabuchi and ubin- Yau actions. To our knowledge, there does not seem to exist any appropriate functional in the 13

15 mathematical literature. Nevertheless, since the are entirely determined in terms of the properties of the Riemann surface, they are purely geometric quantities. cknowledgements L.L. is supported by the German Excellence Initiative at the University of Cologne. During the initial phase of this work at the ENS, L.L. was supported by a fellowship from the Capital Fund Management foundation and the Foundation of the Physics Department DEPHY. G ( r References [1].M. Polyakov, Quantum geometry of bosonic strings, Phys. Lett. B13, 7 (1981. [] T. Mabuchi, K-energy maps integrating Futaki invariants, Tôhuku Math. J. 38 ( T. Mabuchi, Some symplectic geometry on compact Kähler manifolds, Osaka J. Math. 4 ( ; S. Semmes, Complex Monge-mpère and symplectic manifolds, mer. J. Math. 114 no. 3 ( [3] D.H. Phong, J. Sturm, Lectures on stability and constant scalar curvature, arxiv: [math.dg] (8. [4] F. Ferrari, S. Klevtsov and S. Zelditch, Gravitational actions in two dimensions and the Mabuchi functional, Nucl. Phys. B859, 341 (1, arxiv: [hep-th]. [5]. Bilal, F. Ferrari and S. Klevtsov, D quantum gravity at one loop with Liouville and Mabuchi actions, Nucl. Phys. B88 (14 3, arxiv: [hep-th]. [6]. Bilal and L. Leduc, Liouville and Mabuchi quantum gravity at two and three loops, to appear. [7]. Bilal and F. Ferrari, Multi-loop zeta function regularization and spectral cutoff in curved spacetime, Nucl. Phys. B877 (13 956, arxiv: [hep-th]. 14