2D gravitational Mabuchi action on Riemann surfaces with boundaries

We study the gravitational action induced by coupling two-dimensional non-conformal, massive matter to gravity on a Riemann surface with boundaries. A small-mass expansion gives back the Liouville action in the massless limit, while the first-order mass correction allows us to identify what should be the appropriate generalization of the Mabuchi action on a Riemann surface with boundaries. We provide a detailed study for the example of the cylinder. Contrary to the case of manifolds without boundary, we find that the gravitational Lagrangian explicitly depends on the space-point, via the geodesic distances to the boundaries, as well as on the modular parameter of the cylinder, through an elliptic theta-function.


Introduction and generalities
In two dimensions the standard Einstein-Hilbert action of gravity is a topological invariant and does not provide any dynamics for the metric. However, when matter is coupled to two-dimensional gravity with metric g one may compute the matter partition function Z mat [g] first and then define an "effective" gravitational action as where g 0 is some reference metric. This gravitational action then is to be used in the functional integral over the metrics, after appropriately fixing the diffeomorphism invariance. Obviously any gravitational action defined this way will satisfy a cocycle identity S grav [g 1 , g 2 ] + S grav [g 2 , g 3 ] = S grav [g 1 , g 3 ] . (1.2) Well-known examples of such gravitational actions are the Liouville [1], Mabuchi and Aubin-Yau actions [2,3], as well as the cosmological constant action S c [g 0 , g] = µ 0 d 2 x( √ g − √ g 0 ) = µ 0 (A − A 0 ). While the Liouville action is formulated entirely in terms of g 0 and the conformal factor σ (defined as g = e 2σ g 0 ), the Mabuchi and Aubin-Yau actions crucially involve also directly the Kähler potential φ. In the mathematical literature they appear in relation with the characterization of constant scalar curvature metrics. Their roles as two-dimensional gravitational actions in the sense of (1.1) have been put forward in [4]. In particuler, ref. [4] has studied the metric dependence of the partition function of non-conformal massive matter on compact Riemann surfaces and shown that a gravitational action defined by (1.1) contains these Mabuchi and Aubin-Yau actions as firstorder corrections (first order in m 2 A where m is the mass and A the area of the Riemann surface) to the Liouville action. 1 This study was confirmed and generalized in [9] where an exact formula for the gravitational action for any value of the mass was obtained, its expansion in m 2 A giving back the results of [4]. All these results were obtained for compact Riemann surfaces without boundaries.
As shown in [4] and [9], a massive scalar field with action living on a compact Riemann surface M of genus h, leads to a gravitational action that, when expanded in m 2 A gives the Liouville action to lowest order, ( 1.4) and, to first order, a combination of the Mabuchi and Aubin-Yau actions: where the Kähler potential φ is related to the conformal factor σ and the areas A and A 0 of M as measured by g and g 0 through the relation In this note, we want to study how these results get modified when the two-dimensional Riemann surface M has boundaries ∂M. A priori, two things could happen: the corresponding gravitational actions could get additional boundary contributions, and the bulk gravitational Lagrangian at a point x could explicitly depend on the geodesic distances between x and the boundaries. We will indeed observe both of these.
Obviously, in the presence of boundaries, we have to impose some boundary conditions. Our choice will be guided by two requirements: we want ∆ g + m 2 , i.e. ∆ g = e −2σ ∆ g 0 ≡ e −2σ ∆ 0 to be hermitian and we want to preserve the fact that M d 2 The hermiticity condition yields the vanishing of the boundary term ∂M dl n a (∂ a ϕ 1 ϕ 2 − ϕ 1 ∂ a ϕ 2 ) , (1. 10) where n a is the normal vector of the boundary and dl the invariant line element on the boundary. (See the appendix for the definition of the normal vector). As usual, this leads to two possible choices of boundary conditions: either ϕ = 0 (Dirichlet) or n a ∂ a ϕ = 0 (Neumann) on the boundary. Actually, the modified Neumann (Robin) conditions n a ∂ a ϕ = c ϕ with real c are also possible. Our second condition reads 0 = dl n a ∂ a f , (1.11) selecting the Neumann boundary conditions. In particular, if the massive matter field(s) X obey these boundary conditions, one may freely integrate by parts in the matter action and the equality of both expressions in (1.3) still holds for a manifold M with boundaries. From now on, we will always assume that the matter field(s) obey Neumann boundary conditions. What about the Kähler field φ and the conformal factor σ ? It follow from (1.7) that φ also must satisfy Neumann conditions (in the metric g 0 ). Indeed, the area should be given by A = √ g 0 e 2σ which, by (1.7) implies that 0 = √ g 0 ∆ 0 φ which is possible only if n a 0 ∂ a φ = 0 on ∂M. This same relation (1.7) also implies ∂ n σ = − A 4 e −2σ ∂ n (∆ 0 φ), showing that it is not compatible to impose Neumann boundary conditions also on σ.
The plan of this paper is the following. In the next section we will set up the basic frame to compute the gravitational action from the appropriate spectral ζ-function. The strategy is to determine the variation of the gravitational action under an infinitesimal change of the conformal factor of the metric and, in the end, to integrate this relation to obtain the gravitational action itself. In section 3, we introduce some standard tools -Green's functions and heat kernels -and discuss their specific features on manifolds with boundaries. In sect. 4 we show how these quantities are related to local ζ-functions with emphasis and the singularities resulting from the boundaries. In sect. 5 we put everything together to determine the gravitational action. The lowest order term in a small mass expansion, of course, just gives back the Liouville action, including a boundary term, while the first-order term in m 2 A gives us what we call the Mabuchi action on the manifold with boundaries. We find that it does not involve a boundary term, but the bulk Lagrangian explicitly depends on the geodesic distances to the various boundary components. In section 6 we work out the explicit example of a cylinder and one sees this dependence through an elliptic θ-function that depends on the distances to the two boundaries and on the modular parameter of the cylinder. Finally, we study what happens for an infinitely long cylinder -viewed as a model of euclidean time and space being a circle. In this case we find that the Mabuchi Lagrangian reduces to the standard Mabuci Lagrangian (1.5) with R 0 = 0 and h = 0.

The gravitational action 2.1 Basics
We call ϕ n and λ n the eigenfunctions and eigenvalues of the hermitian (thanks to the boundary condition 2 ) differential operator appearing in S mat : Since ∆ g + m 2 is real, one may choose the eigenfunctions ϕ n to be real, which we will always assume (unless an obvious complex choice has been made, like the standard spherical harmonics on the round sphere). We take the indices n to be n ≥ 0 with n = 0 referring to the lowest eigenvalue. In particular, the Laplace operator always has a constant zero-mode, ϕ 0 = 1 √ A and thus λ 0 = m 2 , since this constant obviously obeys the Neumann boundary condition. As usual, these ϕ n form a complete set of eigenfunctions.
The matter partition function is defined with respect to the decomposition of the matter field on these eigenfunctions ϕ n : X = n≥0 c n ϕ n as In the massless case, this has to be slightly modified, see [4,9]. Of course, the determinant is ill-defined and needs to be regularized. We will use the very convenient regularization-renormalization in terms of the spectral ζ-functions: By Weil's law (see e.g. [10]), the asymptotic behaviour of the eigenvalues for large n is λ n ∼ n A 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 complex values of s with a single pole at s = 1 with residue 1 4π (see e.g. [10]). A straightforward formal manipulation shows that ζ (0) ≡ d ds ζ(s)| s=0 provides a formal definition of − n≥0 log λ n , i.e. of − log det(∆ g + m 2 ): There is a slight subtlety one should take into account, see e.g. [10]. While the field X is dimensionless, the ϕ n scale as A −1/2 ∼ µ where µ is some arbitrary mass scale (even if m = 0), and the c n as µ −1 . It follows that one should write D g X = n µdcn 2π . This results in Z mat = n λn µ 2 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 [10]. The regularized logarithm of the determinant then equals ζ (0) + ζ(0) log µ 2 plus a diverging piece ∼ AΛ 2 (log Λ 2 µ 2 + const), where Λ is some cutoff. This diverging piece just contributes to the cosmological constant action, and this is why the latter must be present as a counterterm, to cancel this divergence. Thus, we finally arrive at It is important to notice that this formula expressing the gravitational action in terms of the ζfunction is true whether the Riemann surface has a boundary or not. Of course, the ζ-function for a manifold with boundary will have some properties that differ from the case without boundary. Formally, the ζ-functions are always defined by (2.3), but the properties of the manifold are encoded in the eigenvalues λ n that appear in the sum. The strategy of [4] and [9], that we will also follow here, was to determine the infinitesimal change of the ζ-functions from the infinitesimal change of the eigenvalues λ n under an infinitesimal change of the metric, and then to integrate this relation to get S grav . The change of the eigenvalues is obtained from (almost) standard quantum mechanical perturbation theory, as we discuss next.

Perturbation theory
We want to study how the eigenvalues λ n and eigenfunctions ϕ n change under an infinitesimal change of the metric. Since g = e 2σ g 0 , the Laplace operator ∆ g and hence also ∆ g + m 2 only depend on the conformal factor σ and on g 0 : ∆ g = e −2σ ∆ 0 and thus under a variation δσ of σ one has where, of course, ϕ k |δσ|ϕ n = d 2 x √ g ϕ k δσϕ n . One can then apply standard quantum mechanical perturbation theory. The only subtlety comes from the normalisation condition in (2.1) which also gets modified when varying σ [4,10]. One finds δλ n = −2(λ n − m 2 ) ϕ n |δσ|ϕ n , (2.8) Let us insists that this is first-order perturbation theory in δσ, but it is exact in m 2 . Note the trivial fact that, since λ 0 = m 2 , one consistently has

Variation of the determinant
As mentioned above, in order to compute S grav [g 0 , g] as given by (2.6), we will compute δζ (0) ≡ δζ g (0) and δζ(0) ≡ δζ g (0) and express them as "exact differentials" so that one can integrate them and obtain the finite differences ζ g 2 (0) − ζ g 1 (0) and ζ g 2 (0) − ζ g 1 (0). From (2.8) one immediately gets, to first order in δσ, As noted before, δλ 0 = 0 and, hence, there is no zero-mode contribution to the second term and one could just equally well rewrite the following results in terms of the ζ-functions defined by excluding the zero-mode [9]. Here, however, this is not of particular interest to us, and thus where ζ(s, x, y) = n≥0 λ −s n ϕ n (x)ϕ n (y) (2.13) is a (bi)local ζ-function. As we will see, ζ(s, x, x) has a pole at s = 1 for every x. For x in the bulk, this pole is the only singularity. However, as x goes to the boundary there could be, a priori, additional singularities for other values of s, in particular for s = 0. Keeping this in mind we find 14) The rest of this paper is devoted to computing d 2 x √ g δσ(x)ζ(s, x, x) on a Riemann surface with boundaries and extracting its behaviour as s → 0 and s → 1. More generally, we will compute √ gf (x)ζ(s, x, x) where f is some sort of "test function". Once we have determined these quantities, we will get the variation of the gravitational action under an infinitesimal change of metric as (2.15) Finally note that the variations of the conformal factor δσ, of the Kähler potential δφ and the area δA are related as 3 Some technical tools : Green's functions and the heat kernel In this section we discuss some standard technical tools. We assume that the Riemann surface M has a boundary ∂M and that we have imposed Neumann boundary conditions. Throughout this section we assume that some fixed metric g has been chosen on M.

Complete set of eigenfunctions and Green's functions
Recall from (2.1) that the ϕ n and λ n are the orthonormal eigenfunctions and eigenvalues of (∆ g +m 2 ), subject to the Neumann boundary condition n a ∂ a ϕ m = 0 on ∂M. They form a complete set which means that they obey the completeness relation n≥0 ϕ n (x)ϕ n (y) = 1 √ g δ(x − y) , x, y ∈ M \ ∂M . Actually, this continues to hold also if x or y are on the boundary 3 As always, the Green's function of an operator like ∆ g + m 2 can be given in terms of the eigenfuctions and eigenvalues as Again, this continues to hold also if x or y are on the boundary. In the massless case, λ 0 = 0 and this zero-mode must be excluded from the sum. We put a tilde on all quantities from which the zero-mode has been excluded: 3 Suppose y = y B is on the boundary. Then the δ(x − y B ) integrates to 1 2 rather than 1. On the other hand, as will become clear below, in this case one actually has two δ's, the factor 2 off-setting the factor 1 2 . With this understanding, (3.1) continues to hold also on the boundary. Furthermore, we will add a superscript (0) on all quantities that refer to the massless case. Obviously, G(x, y), G(x, y) and G (0) (x, y) satisfy the Neumann boundary conditions in each of their arguments.

The heat kernel
The heat kernel and integrated heat kernel for the operator ∆ g + m 2 are similarly defined in terms of the eigenvalues and eigenfunctions (2.1) as It is obvious from this definition that K(t, x, y) satisfies the Neumann boundary conditions in both arguments x and y and is the solution of Note that it immediately follows from either (3.4) or (3.5) that the massless and massive heat kernels are simply related by K(t, x, y) = e −m 2 t K (0) (t, x, y). As is also clear from (3.4), for t > 0, K(t, x, y) is given by a converging sum and is finite, even as x → y. For t → 0 one recovers various divergences, and, in particular 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 and eigenfunctions ϕ 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, on a compact manifold without boundaries one has the well-known small t-expansion 4 : where 2 (x, y) ≡ 2 g (x, y) is the geodesic distance squared between x and y. For small t, the exponential forces 2 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 [10] and, in particular, a 0 (x, x) = 1 and a 1 (x, x) = R(x) 6 . At present, on a manifold M with boundaries, this asymptotic expansion must still be valid as long as x and y are "not too close" to the boundary. However, as the points get close to the boundary, we expect extra contributions to become important.

Examples
Before going on, it is useful to discuss some very simple examples of manifolds with boundaries: the one-dimensional interval, the two-dimensional cylinder which is the product of the interval and a circle, and the two-dimensional half-sphere.

Example 1: the one-dimensional interval
The simplest example is a one-dimensional manifold that is just the interval M = [0, π] with trivial metric and ∆ = −∂ 2 x . We also take m = 0. The normalized eigenfunctions that satisfy the Neumann boundary conditions are ϕ 0 = 1 √ π and ϕ n (x) = 2 π cos nx, n = 1, 2, . . ., and the eigenvalues are λ n = n 2 . Then we formally have for any function f (λ): where the δ are 2π-periodic Dirac distributions, i.e. defined on the circle S 1 = [0, 2π]. With x, y ∈ M \ ∂M =]0, π[, x + y never is 0 mod 2π and the δ(x + y) never contributes. Actually, x + y = x − y C , where y C = −y is the image point of y due to the boundary at y = 0. One would also expect additional image points due to the second boundary, but because of the 2π periodicity, these additional image points are equivalent to y and y C . If y = y B is on the boundary, say y = 0, then the image point y C coincides with y (possibly mod 2π) and we get 2δ(x − y B ) = 2δ(x). But π 0 dxδ(x) = 1 2 and in any case the integral of the right-hand side of (3.1) correctly gives 1. If we let f (n 2 ) = 1 n 2 , the relation (3.8) expresses the Green's function G I on the interval with Neumann boundary conditions in terms of a sum of Green's functions G S 1 on the circle: 5 a construction well-known as the method of images. Similarly, if we let f (n 2 ) = e −tn 2 we get a relation that expresses the heat kernel on the interval K I (t, x, y) as the sum of two heat kernels K S 1 on the circle, one at x, y and the other at x, −y: Actually, the sums can be expressed in terms of the theta function (3.12) The small-t asymptotics is obtained by applying Poisson resummation, or equivalently the modular transformation of θ 3 under τ → − 1 τ , and which expresses the heat kernel on the circle as a sum over all geodesics going from x to y, winding an arbitrary number n times around the circle and having length squared (x − y + 2πn) 2 . This is of course the expected result for the diffusion (Brownian motion) on a circle. For small t, the leading term in K S 1 (t, x, y) always is the n = 0 term. For K S 1 (t, x, −y), however, the leading term is n = 0 if x + y < π, while it is n = −1 if π < x + y. Thus appears, since all other a r involve the curvature and vanish in our present example. In any case, we see that for small t, the first term is exponentially small unless x is close to y within a distance of order √ t. Similarly, the second term is exponentially small unless x + y (or 2π − x − y) is of order √ t which is possible only if x and y both are close to the boundary at 0 (or at π), and thus also close to each other, within a distance of order √ t. Thus, for x or y in the bulk, the second term does not contribute to the small-t expansion. It is only if both points go to one and the same boundary that the second term becomes important. We see that we can just as well write this small-t asymptotic expansion as where the sum is over the different boundary components and y While the use of image points is familiar from solving the Laplace equation for simple geometries in the presence of boundaries, we have seen that we should actually think of (x − y (i) C ) 2 as the length squared of the geodesic from x to y that is reflected once at the boundary ∂M i . Geodesics with multiple reflections necessarily are much longer and give exponentially subleading contributions. Of course, if one uses the exact expression (3.14) for K S 1 (t, x, y) + K S 1 (t, x, −y) the heat kernel of the interval is expressed as a sum over all geodesic paths from x to y being reflected an arbitrary number of times at the two boundaries.

Example 2: the cylinder
The two-dimensional cylinder is just an interval times a circle, I × S 1 . Thus, if we choose the interval of length a and the circle of circumference 2b, the normalized eigenfunctions of the Laplace operator satisfying the Neumann boundary conditions are The heat kernel for the Laplace operator then simply is the product of the heat kernel for the circle and the heat kernel of the interval as just given in the previous example, with the obvious replacements π → a, b : with the corresponding torus obviously having periods 2a and 2b. Poisson resummation or equivalently the modular transformation formula for θ 3 yields (3.19) Again, this expresses the heat kernel as a sum over all geodesics going from x to y winding m times around the circle direction of the cylinder and being reflected 2n times (for the first term) or 2n + 1 times (for the second term) at the boundaries of the cylinder.

Example 3: The upper half sphere
Our last example involves a curved two-dimensional manifold with a boundary: let M be the upper half of the standard round sphere of unit radius, i.e. M = S 2 + , parametrized by θ ∈ [0, π 2 ] and φ ∈ [0, 2π]. Then the boundary ∂M is just the circle at θ = π 2 and the normal derivative is n a ∂ a = ∂ θ . The eigenfunctions of the Laplace operator ∆ on the sphere S 2 are the spherical harmonics Y m l and, obviously, they still satisfy ∆Y m l = l(l + 1)Y m l on S 2 + . However, not all of them satisfy the Neumann boundary condition. As is well known, the parity of the Y m It follows that Y m l is even (odd) under reflection by the equator at θ = π 2 if l − m is even (odd), and hence satisfies Neumann (Dirichlet) conditions at θ = π 2 . Thus, for each l, there are l + 1 allowed values of m. It follows for even l − m that S 2 where it is of course understood that l ≥ 0 and |m| ≤ l. If we simply take f = 1, this is just the completeness relation, with it's right-hand side being Here, the first term is just 1 . As for the interval and the cylinder, this image point is always outside of M, except if y is on the boundary. In the latter case both δ's contribute equally and one has 2δ(cos θ)δ(φ − φ ) which correctly gives 1 when integrated over S 2 + . If necessary, this shows again that the completeness relation (3.1) continues to hold for x or y on the boundary.
If we let f l(l + 1) = 1 l(l+1)+M 2 in (3.21) this relation expresses the Green's functions of ∆ + M 2 on the upper half sphere S 2 + in terms of a sum of two Green's function on the sphere, one at x and y and the other at x and y C : An analogous relation holds for the G when the zero-mode is excluded, as well as for G (0) when M = 0 and the zero-mode is excluded. It is interesting to study the short-distance singularity of this Green's function. In two dimensions, the short-distance singularity of the Green's function is logarithmic, and one has e.g. G (0) Then, on the half sphere, the singularity as θ → θ for any (θ , φ ) / ∈ ∂M is given by this same logarithmic singularity, since G (0) in agreement with the factor 2 that accompanied the δ(x − y B ).
Finally, taking f (λ) = e −tλ , we get the corresponding relation between the heat kernels:

The heat kernel continued
As it appeared from the previous examples, in simple geometries, the Green's functions and the heat kernel can be obtained by a method of images from the corresponding Green's functions or heat kernels on a "bigger" manifold without boundary, by a method of images. In all three cases we have seen that where K is the heat kernel on the "bigger" compact manifold and y C the "image point" of y. However, we have also seen in the example of the interval that the leading term in the asymptotic small-t expansion to be used for K(t, x, y C ) differs depending on whether x and y are close to one or the other boundary. Thus the small-t asymtotic expansion has the following form Indeed, for m = 0, the heat kernel describes the diffusion (Brownian motion) of a particle on the manifold from x to y. On a flat manifold, this is given as a sum over the geodesic paths from x to y as 1 4πt e − 2 (r) (x,y)/(4t) , where (r) (x, y) is the geodesic length of the r th path. In particular, if the manifold has boundaries, there are (possibly infinitely) many geodesic paths that involve one or several reflections at the boundaries. We write i (x, y) for the length of the geodesic path from x to y that involves exactly one reflection at the boundary component ∂M i . Moreover, on a curved manifold, each 1 4πt e − 2 (r) (x,y)/(4t) gets multiplied by a power series in t with coefficients that can be determined order by order from the differential equation (3.5), see e.g. [11]. For small t the leading terms can involve at most one reflection, resulting indeed in the form (3.25), with 2 (x, y i (x,y)/4t . However, for small t, the terms involving e − 2 i (x,y)/4t with one reflection at ∂M i can only contribute if the points x and y are close to the boundary ∂M i , and close to each other, within a distance √ t. As t → 0, one zooms in close to the boundary which thus becomes flat. Now for a flat boundary, the length of the geodesic from x to y involving one reflection at ∂M i is the same as the length of the geodesic from x to the "mirror" image point y Thus, we can rewrite (3.25) equivalently as Here, the local expressions a r (x, x) are the same as on a compact Riemann surface without boundary, e.g. a 1 (x, x) = R(x) 6 . If we are going to take the t → 0 limit, we will find that the terms involving the boundaries drop out, unless the point x is on the boundary ∂M i . In this case the corresponding boundary terms diverge for t → 0 (as do the bulk terms). Thus these boundary terms behave as a Dirac delta concentrated on the boundary. To be more precise, let us look at the heat kernel evaluated at x = y and integrated over the manifold against a "test function" f : Then the first term in (3.27) just gives the usual bulk result, while each of the boundary terms yields Again, for small t, the exponential forces x to be close to the boundary. We may then view the integral as an integral over the boundary and an integral normal to the boundary. For a given boundary point x B we can Taylor expand all quantities around this point and do the integral in the normal direction. The leading small-t term of this normal integral then simply is given by (using Riemann normal coordinates around where g is the metric induced on the boundary, so that dx B g(x B ) = dl. The O(t 0 )-corrections to this expression involve the normal derivatives of √ g and of f . As a result the small-t asymptotic expansion of (3.28) has the form The leading small-t singularity ∼ t −1 is given by the usual bulk term, while the boundary-terms yield subleading singularities ∼ t −1/2 .  Of course, this formula involves the heat kernel for all values of t, not just the small-t asymptotics. However, for s = 0, −1, −2, . . ., 1 Γ(s) has zeros 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. As shown above, the latter is given by local quantities on the Riemann surface. In particular, for any point not on the boundary of M, we have On the other hand, the values for s = 1, 2, 3, . . . or the derivative at s = 0 cannot be determined just from the small-t asymptotics and require the knowledge of the full spectrum of ∆ g + m 2 , i.e. they 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. It will be useful to study in more detail the singularities of ζ(s, x, y) which occur for s → 1 and x → y. More generally, as is clear from (4.1), any possible singularities of ζ(s, x, y) for s ≤ 1 come from the region of the integral where t is small. Thus, we tentatively let where µ is some (arbitrary) large scale we introduce to separate the singular and non-singular parts, so that ζ −ζ sing is free of singularities. For large µ 2 , say µ 2 A 1, where A is the area of our manifold, we can use the small-t asymptotics (3.25) or (3.26) of K to evaluate ζ sing . With t small, the e − 2 /4t are exponentially small unless 2 t. This means that in the first sum we must have y = x + O( √ t) and in the second sum y (i) , and similarly for a i 0 (x, y (i) C ), and since the O(tR) terms do not contribute to the singularity at s → 1, we define ζ sing (s, x, y) more precisely as where the exponential integral (or incomplete gamma) function is defined by As z → 0, the E r (z) are regular for r > 1 and have a logarithmic singularity for r = 1 (see the appendix): For x = y, the exponential integral functions are non-singular and we can set s = 1 in (4.4), with the singularity appearing as the short-distance singularity for x → y. We have : up to terms that vanish for x = y. If moreover x → y → ∂M i , i.e. they go to one of the boundaries, one has (again, up to terms that vanish in this limit) On the other hand, for s = 1, we can set x = y directly in (4.4). More precisely, we assume Re s > 1 and analytically continue in the end. Then (recall 2 i (y, y) = 4 2 (y, ∂M i )) ζ sing (s, y, y) = µ 2−2s 4πΓ(s) (4.10) If y / ∈ ∂M, only the first term yields a pole at s = 1, while for y ∈ ∂M the second term also yields the same pole and, hence, the residue is doubled:  Thus, we see that ζ(s, x, x) has a pole at s = 1 with residue a 0 (x,x) 4π = 1 4π for x / ∈ ∂M and residue a 0 (x,x) 2π = 1 2π for x ∈ ∂M i . Just as for the heat kernel itself, we will actually encounter expressions where ζ sing (s, y, y) is multiplied by some f (y) and integrated over the manifold. Proceeding similarly to the derivation of (3.31) we find This integrated expression exhibits poles at s = 1, 1 2 , − 1 2 , −1, − 3 2 , . . . and no pole at s = 0. This infinite series of poles translates the discontinuous behaviour between (4.10) and (4.11) due to the fact that the limits s → 1 and z → 0 of E s (z) do not commute, as detailed in the appendix. In particular, one has is free of singularities and, in particular, has finite limits as s → 1 and x → y, in one order or the other, i.e. ζ R (1, x, x) is finite and well-defined. We then let This is an important quantity, called the "Green's function at coinciding points". Note that G ζ (y) contains global information about the Riemann surface and cannot be expressed in terms of local quantities only. Combining (4.13) and (4.17) we get Note that the precise definition of G ζ depends on our choice of µ, as is also obvious from this last relation since its left-hand side is µ-independent. The other ingredient needed for computing the variation of the gravitational action was lim s→0 1 + s d ds + log µ 2 d 2 x √ g δσ(x)ζ(s, x, x). Again, one sees from (4.12), by replacing ζ sing (s, x, x) by ζ(s, x, x) that d 2 x √ g δσ(x)ζ(s, x, x) actually has poles for s = 1, 1 2 , − 1 2 , −1, . . . but not for s = 0, since the would-be pole is cancelled by the 1 Γ(s) . Hence, d 2 x √ g δσ(x)ζ(s, x, x) is regular at s = 0 and, adding the bulk contribution (4.2) and the boundary contribution read from (4.12), we get Let us relate G ζ (y) to the Green's function G(x, y) at coinciding points with the short-distance singularity subtracted. Since ζ R (s, x, y) = ζ(s, x, y) − ζ sing (s, x, y) is free of singularities, we may change the order of limits. If we first let s = 1, so that ζ(1, x, y) = G(x, y) and ζ sing (1, x, y) is given by (4.8), we find We know that G ζ (y) is a non-singular quantity for all y ∈ M, in particular also on the boundary. The logarithm subtracts the generic short-distance singularity of G(x, y), while the E 1 subtract the additional singularities present whenever y ∈ ∂M i . If, as before, we multiply this relation by some smooth f (y) and integrate over the manifold, we get in particular for these E 1 -terms: with F (y, µ) defined in (4.14). It follows that we may rewrite (4.18) as is the Green's function at coinciding points with its bulk singularity subtracted. If necessary, (4.22) again shows that this does not depend on the arbitrarily introduced µ (although it does depend on µ which was part of our definition of the functional integral). While the quantity G R,bulk (x) has the advantage of being µ-independent, it has a (logarithmic) singularity as x approaches the boundary. However, we know that these singularities must be integrable as is clear from the equality of (4.22) with (4.18) which is finite, independently of the arbitrary choice of µ. As will become clear next, while G ζ (x) satisfies Neumann boundary conditions, this is not the case of G R,bulk (x).
To study the boundary condition satisfied by G ζ (y) we only need its behaviour in the immediate vicinity of the relevant boundary component which can be read from (4.20): Now, G(x, y) satisfies the Neumann condition in both its arguments. The same is true for the sum of the logarithms, up to terms that vanish as x and y approach the boundary. This can be seen as follows: As one zooms in close to the boundary, the boundary becomes flat and the geometry locally Euclidean, and using Riemann normal coordinates in the normal and tangential directions around the relevant boundary point (such that the boundary is at zero normal coordinate), one has 2 (x, y) the sum of the logarithms satisfies the Neumann condition in x up to terms that vanish as x and y approach the boundary. Since 2 i (x, y) is symmetric in x and y, the same is true in y. Now if any function h(x, y) satisfies the Neumann condition in both arguments, the function H(y) = lim x→y h(x, y) = lim →0 h(y + , y) then obviously also satisfies the Neumann condition. We conclude that G ζ satisfies the Neumann boundary condition on every boundary component ∂M i , i.e. n a ∂ a G ζ (y) = 0 , for y ∈ ∂M . (4.25) It follows that, if φ is any smooth function that also satisfies Neumann conditions, one has It is now also clear that G R,bulk does not satisfy the Neumann condition since its definition lacks the crucial third term in (4.24).
We can now evaluate (4.18) for f = ∆φ and use (4.26) to get where Φ(y, µ) = ∆φ + 1 2 √ πµ ∂ n ∆φ + 1 12µ 2 ∂ 2 n ∆φ + . . .. At this point one might be tempted to take µ → ∞ to get rid of the last term but, of course, one must remember that G ζ also depends on µ. However, this relation shows that, since the left-hand side does not depend on µ, the quantity M d 2 y √ g φ(y) ∆G ζ (y) has a finite limit as µ → ∞ and we arrive at the two following equivalent expressions: Both ways of writing require a comment: While the µ → 0 limit of the integral involving ∆G ζ exists, this is not the case of ∆G ζ (y) itself for y on the boundary. On the other hand, in the integral invoving G R,bulk , even though G R,bulk does not satisfy the Neumann condition, one might want to integrate by parts generating a boundary term: However, this is not possible : both terms on the r.h.s. are meaningless since ∆G R,bulk (y) has a non-integrable singularity as y approaches the boundary (expected to be ∼ 1/ 2 (y, ∂M)), and ∂ n G R,bulk is infinite everywhere on the boundary.

The Mabuchi action on a manifold with boundaries
We are now in position to assemble our results and determine the gravitational action on a Riemann surface with boundaries. As already explained, the strategy is to use the infinitesimal variation of S grav under an infinitesimal change of the metric as given by (2.15), and then to integrate δS grav to obtain S grav [g, g 0 ].
Inserting (4.19) and (4.22) into (2.15), we immediately get Note that this is not an expansion in powers of m 2 but an exact result. Our perturbation theory was a first order perturbation in δσ, not in m 2 . Indeed, G ζ and G R,bulk still depend on m 2 and we get exactly the first two terms in an expansion in powers of m 2 if we replace them by the corresponding quantities G R,bulk defined for the massless case. However there is a subtlety here, since in the massless case the zero-mode must be excluded from the sum over eigenvalues defining the Green's function. If we denote with a tilde all quantities lacking the zero-mode contribution we have The quantities G, G ζ and G R,bulk all have a smooth limit as m → 0. Thus, the expansion in powers of m 2 reads 3) The first term is independent of m and corresponds to − 1 24π times the variation of the Liouville action on a manifold with boundary 6 : while the δA 2A -term contributes a piece 1 2 log A A 0 to S grav . Recall that, contrary to φ or δφ, the field σ and its variation δσ do not satisfy the Neumann condition.
To go further, we need the variation of G (0) ζ and of ∂M dl Σ or the variation of G R,bulk under an infinitesimal variation of the metric corresponding to δσ. At this point it turns out to be easier 7 to study the variation of G (0) R,bulk . The latter is obtained exactly as for a manifold without boundary. The simplest derivation just uses the differential equation satisfied by G(x, y) to obtain which satisfies the Neumann conditions. Alternatively, one can use the perturbation theory formulae (2.8) and (2.9) to obtain in agreement with (5.5). Next, the variation of 2 (x, y) was given e.g. in [4,10,9]. In the limit x → y one simply has 2 (x, y) g ab dx a dx b = e 2σ(y) g (0) ab dx a dx b which shows that one has δ 2 (x, y) 2δσ(y) 2 (x, y) and, hence, lim x→y δ log 2 (x, y)µ 2 = 2 δσ(y) .

(5.7)
It follows that Separating the zero-mode parts 1 m 2 A , this is rewritten as (Note that the first term in (5.9) integrates to zero and does not contribute in (5.10).) Thus 6 With respect to the metrics g 0 and g = e 2σ g 0 one has dl = e σ dl 0 as well as n a = e −σ n a 0 and thus also ∂ n ≡ n a ∂ a = e −σ ∂ 0 n . One sees that dl ∂ n δσ = e σ dl 0 e −σ ∂ 0 n δσ = dl 0 ∂ 0 n δσ = δ(dl 0 ∂ 0 n σ) = δ(dl ∂ n σ). 7 The relevant formulae for studying the variation of G where G (0) R,bulk is computed from the Green's function without zero-mode of the massless theory. The order m 2 term in (5.11) is given by the variation of the functional where we explicitly indicated the dependence of G R,bulk on the metric g. Thus In order to express Φ G [g] − Φ G [g 0 ] as a local functional of σ and φ, we use again (5.9) in the zero-mass limit and replace δσ in the first term by δA 2A − A 4 ∆δφ according to (2.16): (5.14) Note that we integrated the Laplace operator by parts without generating boundary terms since both G and δφ satisfy the Neumann boundary conditions (which is not the case for δσ) and then we used the differential equation (3.3). Equation (5.14) can be integrated as It is now straightforward to obtain As already emphasized, contrary to G(x, y) or G ζ (x), the quantities G R,bulk and G R,bulk do not satisfy the Neumann condition. Moreover, ∂ n G R,bulk and ∂ G (0) R,bulk are singular on the boundary. Thus, we arrive at The first line contains the usual Liouville action along with a factor + 1 2 log A A 0 , as well as a contribution to the cosmological constant action. The cosmological constant action is required in any case to act as a counterterm to cancel the divergence that accompanies the ζ (0) when properly evaluating the determinant, e.g. with the spectral cut-off regularization as was done in [10]. The terms in the second line are the genuine order m 2 corrections. Using the second equality in (4.28), we can rewrite the latter using G R,bulk . In particular, this allows us to integrate by parts the Laplacian, but it requires to take the µ → ∞ limit : Written this way, the order m 2 -terms ressemble the usual Mabuchi plus Aubin-Yau actions found for manifolds without boundary [4,9]. However, here the function ∆ 0 G (0) ζ (x) no longer is a simple expression but depends non-trivially on the point x and in particular on the distances from the various boundary components. Of course, the same is true for G (0) R,bulk (x).

The cylinder
In this section we work out the gravitational action for the simplest two-dimensional manifold with a boundary : the cylinder. As we have seen in section 3.3.2 the heat kernel and hence also the Green's function on the cylinder are obtained from the corresponding quantities on the torus by a method of images. Thus to get the Green's function of the Laplace operator on the cylinder of length T and circumference 2πR we first determine the Green's function on the torus with periods 2T and 2πR.
With respect to our general notation, throughout this section we consider a fixed reference metric g 0 and corresponding Laplacian ∆ 0 and Green's functions G(z 1 , z 2 ; g 0 ) although we will mostly drop the reference to g 0 .

Green's function on the torus
To get the Green's function on the torus with periods 2a and 2b , in principle, one could take the heat kernel K torus (t, x 1 , x 2 , y 1 , y 2 ) as constructed from the eigenfunctions (3.17) and eigenvalues of the Laplace operator, cf (3.18) and integrate over t form 0 to ∞. However, we have not been able to find any useful formula for . Instead, we will follow the usual approach to identify a suitable doubly periodic solution of the Laplace equation with the correct singularity at the origin. It will be convenient to use a complex coordinate z. Thus, in this section we will change our notation with respect to the previous one and call x and y the real and imaginary parts of z: z = x + iy , x x + 2a , y y + 2b . (6.1) When we need to label two points 8 , we will use z 1 = x 1 + iy 1 and z 2 = x 2 + iy 2 . We thus have a square torus with modular parameter τ = i b a . The reference metric g 0 is just the standard metric ds 2 = dzdz and ∆ 0 = −4∂ z ∂ z .
• It is obvious from the factorization of the logarithm that where A 0 is the area of the torus.
• As z → 0, g(z) ∼ − 1 4π log |z| 2 , which together with the previous relation ensures that • We have the symmetry properties g(z) = g(z) , g(−z) = g(z) , g (−z) = −g (z) . (6.6) is the appropriate Greens's function on the torus. It would be satisfying to show that this coincides with the expression for the Green's function obtained by integrating the heat kernel one gets from the eigenfunction expansion but, as already mentioned, we have not been able to find a corresponding identity in the literature. One can then define the renormalized Green's function at coinciding points G R (z) on the torus, after subtracting the short-distance singularity as (−) n (2n + 1)q n(n+1) , (6.8) with q = e −πb/a . As was expected from the isometries of the torus G R is a constant.

Green's function and Green's functions at coinciding points on the cylinder
We now construct the Green's function on the cylinder of length T (coordinate x) and circumference 2πR (coordinate y). We choose to impose Neumann boundary conditions at x = 0 and x = T . Let g be the function defined in (6.2) with a = T and b = πR: Again, the Neumann boundary conditions are achieved by adding to g(z 1 − z 2 ) the same function with z 2 = x 2 + iy 2 replaced by the appropriate image points. The boundary at x = 0 requires the image point z C 2 = −z 2 = −x 2 + iy 2 , while the boundary at x = T would require to add the image points of z 2 and z C 2 , i.e. T + (T − x 2 + iy 2 ) = 2T + z C 2 and T + (T + x 2 + iy 2 ) = 2T + z 2 . However, due to the 2T -periodicity these points are equivalent to z 2 and z C 2 and adding g (or g) at these points would result in an over-counting. Of course, this is in agreement with the relation (3.18) between the heat kernels of the torus and the cylinder, from which the corresponding Green's functions could be obtained by integration over t. Thus we let (6.10) Using the symmetry properties (6.6), one easily verifies that this indeed satisfies Neumann conditions at x 1 = 0 and T as well as at x 2 = 0 and T , e.g.
From (6.5) we see that G cyl satisfies, for any x 2 = 0, T , , (6.12) where the term − 1 2πRT arises as − 2 A torus 0 and equals − 1 . Integrating the right-hand side of (6.12) over the cylinder then correctly yields 0.
Next, we need to determine the various Green's functions at coinciding points that played an important role for formulating the gravitational action, i.e. G cyl ζ (z) and G cyl R,bulk (z). In the present specific case of the cylinder it is useful to first define yet another function G cyl R (z) by 2T .
(6.13) The additional terms subtract the bulk singularity at z 1 → z 2 , as well as the boundary singularities that occur as y 1 → y 2 and x 1 → x 2 → 0 or T . Explicitly we find that G cyl R only depends on x = Re z (as well as on q = e −π 2 R/T , of course): (−) n (2n + 1)q n(n+1) . (6.14) One sees again, that this is non-singular, even as x → 0 or x → T . It is clear from its definition that G cyl R satisfies Neumann boundary conditions, as follows also from the explicit expression just given.
However, it is not this quantity G cyl R which enters the gravitational action, but rather G cyl ζ or G cyl R,bulk . These quantities differ from G cyl R by the following terms: The expression δG cyl ζ/R is non-singular, even as x → 0 or x → T , as it obviously should be, since all singularities have been removed in the definition of G ζ , as well as in the one of G R . On the other hand, δG cyl ζ/R,bulk is singular as x → 0 or x → T , and in particular it cannot satisfy the Neumann condition, contrary to δG cyl ζ/R which does satisfy the Neumann condition at x = 0, T for any finite µ. Explicitly we have (−) n (2n + 1)q n(n+1) , (6.16) with only the first term depending on x.
We also need the Laplacian of the Green's function at coinciding points G cyl R and G cyl ζ . Recall and we find from (6.14), using a formula from p 358 of [12], and writing q = e −π 2 R/T : This sum converges for all x, as well as all R = 0 and all finite T . To get ∆ 0 G cyl ζ we need to add ∆ 0 δG cyl ζ/R as obtained from(6.15). Using (B.3) we find (6.18) Note that this is non-singular for all finite µ, even as x → 0 or x → T . Obviously also, this expression does not have a smooth limit as µ → ∞ : For x = 0, T , only the last term survives which diverges as x → 0, T . On the other hand, for x = 0 or x = T , one of the first two terms behaves as µ 2 π and the limit does not exist. This is in agreement with our general discussion at the end of sect. 4. However, as explained there, the limit as µ → ∞ of the integrated expression √ g 0 φ ∆ 0 G ζ should exist, for every φ that obeys Neumann conditions. Now for our cylinder, such a φ can be decomposed on the cos πnx T and one can indeed check very explicitly that T 0 dx cos πnx T ∆ 0 δG cyl ζ/R (x) is well-defined and has a finite limit as µ → ∞ for every even n (while it vanishes for odd n). We conclude that is well-defined and its limit as µ → ∞ exists for every φ obeying the Neumann boundary conditions. If one thinks of the cylinder as a simple Euclidean version of one compact space and one time dimension, one would like to study the limit where the cylinder becomes infinitely long, i.e. T → ∞. However, as T R → ∞, one has q → 1 and the sum over n diverges, hence this expression ceases to be valid. To study the behaviour as T R → ∞, one must first do the modular transformation τ ≡ iπ R T → τ = − 1 τ = i T πR . This reads for θ 1 , as well as for θ 2 (which we will need below), This will allow us to write the theta functions as sums of powers of q = e iπ τ = e −T /R . Note that the first argument ν τ now is imaginary which will turn the sin and cos in (6.17) into sinh and cosh. We get, through similar manipulations as above, where q = e iπ τ = e −T /R . Note that the poles at x = 0 cancel and that this representation as an infinite sum is convergent and finite for all |x| < T . Note also that, although not obvious on (6.21), within this interval (−T, T ) these functions are periodic under x → x + T . Then the finiteness at x = 0 implies finiteness at x = T , too. While (6.21) is a perfectly satisfactory expression, if we think of the x-direction as time, we want time to be finite with "infinite past" and "infinite future" infinitely far away. Hence we let so that finite t corresponds to values in the "middle" of the cylinder. It is then natural to first re-express the θ 1 1 2 + t T iπ R T appearing in (6.17) in terms of θ 2 t T iπ R T and then use the modular transformation to θ 4 . This results in Upon adding ∆ 0 G cyl ζ/R as given by (6.18) with x = t + T 2 , we also get n q n 1 − q 2n cosh 2nt R .
(6.24) Comparing (6.28) with the Mabuchi action of a manifold without boundary as defined in (1.5), we see that this corresponds to the Mabuchi action with h = 0 and vanishing background curvature (i.e. R 0 = 0): Of course, this equality is to be understood as an equality of the Lagrangian densities, rather than of the actions. While R 0 = 0 was to be expected for a cylinder, the replacement χ = 2(1 − h) → 2 was, maybe, not that obvious to guess.
for any one-form γ. We are mostly interested in dγ being a kinetic term, i.e. γ = φ * dφ = * (φ dφ). Then dγ = dφ ∧ * dφ + φ d * dφ. We have dφ ∧ * dφ = dx 1 ∧ dx 2 √ g g ab ∂ a φ∂ b φ, as well as φ d * dφ = φ ∂ a (g ab √ g ∂ b φ)dx 1 ∧ dx 2 = −dx 1 ∧ dx 2 √ g φ∆φ, where, as throughout this paper, have defined the scalar Laplace operator with a minus sign so that its eigenvalues are positive. Then Stoke's theorem gives the following integration by parts formula Note that for Re s > 1 the definition of E s (x) continues to make sense for x = 0, but the previous relation doesn't. It follows from the definition (B.1) that We are interested in the behaviour of E s (x) for s in the vicinity of 1 and small x, i.e. for 0 < x 1. We let s = 1 − such that E 1− (x) = x − Γ( , x). As is clear from its definition, Γ( , x) is singular if both and x go to 0. However, for x > 0, Γ(a, x) is well-defined for all a ∈ C. In particular, Γ(0, 1) is a finite number. We have Γ( , x) = Γ( , 1) + This relation holds exactly for all s > 1 and, hence, also in the limit s → 1. Not only the limit as x → 0 of (B.9) is different from (B.10), it is also singular. This non-commutativity of the limits s → 1 and x → 0 can be traced back to the behaviour of d ds x s−1 = x s−1 log x. If we first let x → 0 assuming s > 1 it yields 0, while letting first s → 1 assuming x > 0 we get log x.

C Some additional variational formulae
When establishing the gravitational action, we had chosen to study the properties of G R,bulk rather than those of G ζ . If one chooses to study the properties of the latter instead, one needs, in particular, the variation of G (0) ζ for finite µ. This requires the use of some additional variational formulae which we summarize in this appendix.
First, the variation of G ζ also involves the variation of E 1 2 (y,y i C )µ 2 4 . For x → y and close to the boundary one has δ 2 (y, y i C ) 2δσ(y B ) 2 (y, y i C ) . where L(∂M) is the total length of the boundary. The finite variation of G (0) ζ follows from (C.3) in the zero-mass limit as (C.5) Finally, at finite µ the gravitational action can then be found to be