, , April 5, 2005

Let

M

be the interior of a compact manifold with boundary

\bar{M}

. A boundary defining function (hereafter, a bdf ),

x

, is a smooth nonnegative function on

\bar{M}

that vanishes precisely at the boundary, with non-degenerate differential there. A metric

g

M

is said to be conformally compact if there is a bdf

x

such that

\bar{g} = x^{2} g

extends to a nondegenerate metric on

\bar{M}

. Conformally compact Einstein metrics, also known as Poincaré-Einstein or PE metrics, have been the object of many recent studies by geometers and physicists.

A conformally compact metric on the interior of a manifold determines a conformal class of metrics on the boundary but does not single out any particular metric within that class. In analogy to the well-known relation between the hyperbolic geometry of the ball and the conformal geometry of the sphere, Fefferman and Graham [12] proposed studying the conformal geometry of the boundary of a manifold through the geometry of a PE metric on the interior.

More recently, the string-theory community has been interested in these manifolds because of the role they play in the Anti-de-Sitter/Conformal field theory (AdS/CFT) correspondence conjectured by Maldacena. Witten [34] clarified the conjecture as an equality of partition functions (normalizing factors for the probabilities of states). Computing the partition function of the conformal field theory (in the massless case) involves evaluating the Einstein action. For an Einstein manifold, this is a multiple of the volume which, however, is not finite. Witten showed that the volume could be renormalized while preserving covariance. Hennington and Skenderis carried out explicit computations in low dimensions and verified that this notion of renormalized volume is consistent with computations from, for instance, superconformal SU(4) gauge theory. Later, Graham and Witten [16] , carried out a similar analysis of the area of (minimal) submanifolds of PE manifolds.

A mathematical survey of these ideas appeared in [13] . The definition of renormalized volume (see section

§

2.1 below) involves the choice of a bdf. One can restrict the choice of bdf to a natural class – the “special” bdfs – for which the metric near the boundary has the particularly nice form

\begin{matrix} g = \frac{d x^{2} + G_{x}}{x^{2}} . \end{matrix}

(1.1)

The corresponding renormalized volume of an even dimensional PE manifold is independent of the choice of bdf from this smaller set. In odd-dimensions, even this restriction does not produce an invariant, and different choices of special bdfs yield different renormalized volumes producing the so-called “conformal anomaly”.

In sections

§

3 -

§

4.1 , we analyze the scalar Riemannian invariants of a PE manifold. These are all complete contractions of the curvature and its covariant derivatives. They include the volume and also the heat invariants. We show that one can define renormalized integrals of these invariants, and their dependence on the choice of bdf is just like that of the volume in the following sense (cf.

Theorem 4.2 below).

Theorem 1.1. Let (M,g) be a Poincaré-Einstein manifold, and

P

a scalar Riemannian invariant of

g

. Using any given special bdf

x

, we may define the renormalized integral of

P

over

M

, denoted by

^{R} \int P {dvol}_{g} .

M

is even-dimensional, this renormalized integral is independent of the choice of special bdf. If

M

is odd-dimensional, and

P

is not integrable, its renormalized integralnecessarily depends on the choice of special bdf. In this case,

P

determines a “residue” integral on

\partial \bar{M}

which is independent of the choice of special bdf.

Of particular interest is the renormalized integral of the Pfaffian. Recall that the Pfaffian is a natural density that integrates to the Euler characteristic on closed even-dimensional manifolds.

On an even-dimensional PE manifold the integral of the Pfaffian diverges, but the renormalization process recovers the same topological information as in the compact setting:

Theorem 1.2. On an even dimensional Poincaré-Einstein manifold, using a special bdf to renormalize the integral of the Pfaffian,

\begin{matrix} ^{R} \int P f f = χ (M) . \end{matrix}

(1.2)

This generalizes the four-dimensional formula of Anderson [2] ,

\begin{matrix} \frac{1}{8 (2 π)^{2}} \int | W |^{2} + \frac{3}{(2 π)^{2}} \hat{V} = χ (M), \end{matrix}

(1.3)

where

W

is the Weyl curvature tensor and

\hat{V}

is the renormalized volume. Notice that, by virtue of the Einstein condition, the Pfaffian is a polynomial in the Weyl curvature (see Lemma 4.4 for an explicit formula). Another particular case is the formula of Epstein [32] ,

\begin{matrix} \frac{(- 1)^{m / 2}}{2^{m / 2} (2 π)^{m / 2}} \frac{m!}{(m / 2)!} \hat{V} = χ (M), \end{matrix}

(1.4)

valid for any convex cocompact hyperbolic manifold, which a fortiori is PE. In this context, we should mention the recent preprint of Chang, Qing, and Yang [8] . Their study of Branson's

Q

-curvature allowed them, through a result of Alexakis, to show that

\begin{matrix} \int \tilde{W} {dvol}_{g} + {(- 1)}^{\frac{m}{2}} \frac{Γ (\frac{m + 1}{2})}{π^{\frac{m + 1}{2}}} \hat{V} = χ (M) . \end{matrix}

(1.5)

In this formula,

\tilde{W}

is a full contraction of the Weyl tensor and its covariant derivatives for the metric

e^{2 v} g

(

e^{v}

a well-chosen special bdf ), and

\hat{V}

is the renormalized volume. Like 1.2 this generalizes Anderson's four-dimensional Gauss Bonnet theorem, as well as Epstein's formula 1.4 .

The integrability issues in [8] are dealt with by passing to

e^{2 v} g

;

(M, e^{2 v} g)

is compact, so the integral of

\tilde{W}

needs no renormalization. A result of Fefferman and Graham, and the choice of

v

, produce the renormalized volume as a boundary term.

In section

§

4 , after rewriting the Pfaffian of an Einstein manifold in terms of the Weyl and scalar curvatures, we note that our formula 1.2 is similarly an integral of a complete contraction of the Weyl curvature plus a multiple of the renormalized volume (the same multiple as in 1.5 ). In contrast to 1.5 , we can explicitly identify the Weyl curvature integrand but its integral requires renormalization.

The proof of Theorems 1.1 and 1.2 depend only on the Fefferman-Graham expansion of the metric (see section

§

2.1 below), whereas that of 1.5 requires the Einstein condition to apply Alexakis' result.

It would be very interesting to better understand how these formulas are related.

Elsewhere [1] , we consider the heat kernel on a PE manifold and apply renormalization to study index theory. Theorem 1.1 shows that the coefficients of the small-time asymptotics of the trace renormalize independently of the choice of special bdf. In fact, one can show that the trace of the heat kernel itself, for any fixed positive time, renormalizes in this way. Furthermore, using renormalizationas

t \to \infty

, we are able to prove an index theorem for the de Rham operator. It is well-known (see [24] ) that the spaces of harmonic forms on an even-dimensional conformally compact manifold are finite-dimensional except for middle degree forms which always form an infinite-dimensional space.

We can use renormalization to define the renormalized index of the de Rham operator (a priori a real number) and show that:

\begin{matrix} ^{R} \int P f f =^{R} Ind (L^{2} Ω^{e v e n} (M) - - \to d + δ L^{2} Ω^{o d d} (M)) . \end{matrix}

(1.6)

Thus for PE manifolds, 1.2 shows that the renormalized index of the de Rham operator is the Euler characteristic. The proof of these results requires much more analysis than that of Theorems 1.1 and 1.2 and will not be presented here.

After considering the characteristic numbers of a PE manifold in section

§

4 , we study their behavior under variations of the PE structure in section

§

5 . A family of metrics

g_{s}

with Fefferman-Graham expansions (see section

§

2.1 below) imposes a similar expansion on

h

, the infinitesimal variation of

g

, as we show in Proposition 5.3 . We analyze the effect of such a variation on the Pontrjagin classes, the renormalized volume and the Pfaffian. For the renormalized volume we recover theorems of Anderson 1.7 and Graham-Hirachi 1.8 . We show in Proposition 5.6 , making strong use of the recent work of Labbi [21] on Weyl volume of tubes invariants, that the variation of the renormalized integral of the Pfaffian vanishes. The absence of boundary terms is due to the expansion of

h

, while the vanishing of the interior terms follows from a generalized Bach-Lanczos identity. Naturally, the vanishing of the variation of the Pfaffian is consistent with equation 1.2 .

Theorem 1.3 ([2] , [15] ). A variation of the PE structure on

M

g_{s}

, that preserves the value of the scalar curvature induces a variation of the Pontrjagin characteristic numbers equal to the integral of the appropriate Chern-Simons form on the boundary.

The induced variation of the renormalized volume on an even-dimensional manifold is given by

\begin{matrix} {\hat{V}}^{'} (h) = - \frac{1}{4} \int_{\partial M} 〈 g^{(m - 1)}, h^{(0)} 〉, \end{matrix}

(1.7)

while that of the residue of the volume on an odd-dimensional PE manifold is

\begin{matrix} L^{'} (h) = - \frac{1}{4} \int_{\partial M} 〈 g^{(m - 1, 1)}, h^{(0)} 〉 . \end{matrix}

(1.8)

In these formulas,

g^{(m - 1)}

and

g^{(m - 1, 1)}

are the first odd term and first log term, respectively, in the expansion of the metric

g_{0}

, while

h

is the infinitesimal variation of

g

s = 0

The proof of Theorem 1.2 readily generalizes to other asymptotically regular geometries. For example, in the context of asymptotically Euclidean metrics we obtain a formula for the defect of the topological Euler characteristic and the

L^{2}

-Euler characteristic involving the Weyl volume of tube invariants of the boundary at infinity. For this and other instances, as well as the proof of 1.6 , we refer the reader to [1] .

1.1 Acknowledgements

This work forms part of my thesis. I am very grateful to my advisor, Rafe Mazzeo, for sharing his great erudition and insight. Throughout this work, I received support from his NSF grant DMS-0204730. I would like to thank Tom Branson for his invitation to participate in the conformal geometry program at the Erwin Schrödinger Institute in Vienna in spring of 2004. I was fortunate to coincide there with him and Robin Graham, and I would like to thank them both for very interesting conversations. I am also grateful to the ETH in Zurich for its hospitality during the summer semester of 2004, and to the Starbucks branches in Zurich and Palo Alto where most of this work was carried out.

2 Renormalization

2.1 The Fefferman-Graham expansion

Suppose that

(M, g)

is a conformally compact manifold, and

x

a bdf. It is too optimistic to expect

\bar{g} = x^{2} g

to be a smooth metric on

\bar{M}

, and indeed it is well known that

l o g

terms arise naturally in its expansion [12] . Functions with an expansion of the form

\sum_{k \geq k_{0}} \sum_{p = 0}^{p_{k}} a_{k, p} x^{k} {log}^{p} x,

with

a_{k, p}

smooth functions independent of

x

, are known as “polyhomogeneous conormal” or phg, see

§

2A in [25] . We will always assume at least that the metric

\bar{g}

is continuous and phg. For a discussion of the regularity of the metric, see the recent survey [4] .

Such metrics are always complete, and any non-trapped geodesic approaches a point on the boundary. The sectional curvatures along any geodesic approaching the boundary all converge to

- (| d x |_{\bar{g}})^{2}

, and, as a function on the boundary, this is independent of the choice of bdf. A metric is called asymptotically hyperbolic if

| d x | = 1

on the boundary. These metrics include, and are asymptotically modeled by, hyperbolic metrics. They were introduced in [26] and [24] where their resolvents and spectra were studied, respectively.

A choice of bdf determines a metric on the boundary with different choices yielding different but conformally equivalent metrics. Conversely, a boundary metric does not in itself determine a bdf. On an asymptotically hyperbolic manifold, boundary metrics within the conformal class are in one-to-one correspondence with “special” or “geodesic” boundary defining functions. A bdf

x

is special if

| d x |_{\bar{g}}^{2} = 1

on a neighborhood of the boundary. The details can be found in Lemma 2.1 of [13] ; see also [14] .

A choice of special bdf induces, through the flow generated by

\nabla_{\bar{g}} x

, an identification of a neighborhood of

\partial M

with

\partial M \times [0, ε)

with metric

\frac{d x^{2} + G_{x}}{x^{2}},

where

G_{x}

is a family of metrics on

\partial M

. Fefferman and Graham [12] showed that if

x

is a special bdf on an

m

-dimensional Poincaré-Einstein manifold and

g

is sufficiently regular, then the expansion of

G_{x}

below

x^{m - 1}

is determined by the Einstein condition. Thus if

m

is even,

\bar{g}

has an expansion of the form

\begin{matrix} \bar{g} = d x^{2} + {\bar{g}}^{(0)} + x^{2} {\bar{g}}^{(2)} + \dots (even powers) \dots + x^{m - 1} {\bar{g}}^{(m - 1)} + \dots, \end{matrix}

(2.1)

where

{\bar{g}}^{(2)}, \dots, {\bar{g}}^{(m - 2)}

are locally determined by

{\bar{g}}^{(0)}

and

{tr}_{{\bar{g}}^{(0)}} ({\bar{g}}^{(m - 1)}) = 0

. For

m

odd, the analogous expansion is

\begin{matrix} \bar{g} = d x^{2} + {\bar{g}}^{(0)} + x^{2} {\bar{g}}^{(2)} + \dots (even powers) \dots + x^{m - 1} {\bar{g}}^{(m - 1)} + x^{m - 1} (log x) {\bar{g}}^{(m - 1, 1)} + \dots, \end{matrix}

(2.2)

where now

{\bar{g}}^{(2)}, \dots, {\bar{g}}^{(m - 3)}

{\bar{g}}^{(m - 1, 1)}

, and

{tr}_{{\bar{g}}^{(0)}} ({\bar{g}}^{(m - 1)})

are locally determined by

{\bar{g}}^{(0)}

and furthermore

{tr}_{{\bar{g}}^{(0)}} ({\bar{g}}^{(m - 1, 1)}) = 0

Following [13] , we write the volume form as

\begin{matrix} {dvol}_{g} = {(\frac{det G_{x}}{det {\bar{g}}^{(0)}})}^{1 / 2} \frac{{dvol}_{{\bar{g}}^{(0)}} d x}{x^{m}}, \end{matrix}

(2.3)

and note that the expansions above imply

\begin{matrix} {(\frac{det G_{x}}{det {\bar{g}}^{(0)}})}^{1 / 2} = 1 + v^{(2)} x^{2} + \dots (even powers) \dots + v^{(m - 1)} x^{(m - 1)} + \dots, \end{matrix}

(2.4)

where, for

ℓ \leq m - 1

v^{(ℓ)}

is a locally determined function on

\partial M

and

v^{(m - 1)} = 0

m

is even.

We will say that a phg expansion is

e v e n mod x^{k}

if there are no log terms or terms with odd exponents below

x^{k}

. Thus the metric on a Poincaré-Einstein manifold is, in suitable coordinates,

e v e n mod x^{m - 1}

. Note that the product of two such expansions is again

e v e n mod x^{k}

. Graham observed that:

Theorem 2.1. If

x

is a special bdf on a Poincaré-Einstein manifold, then

{(\frac{det G_{x}}{det {\bar{g}}^{(0)}})}^{1 / 2}

is even

mod x^{m}

, and the coefficients below

x^{m}

are locally determined.

We will extend this in Theorem 4.2 to full contractions of the curvature and its covariant derivatives. In the rest of this section, we study its implications for renormalization.

As we mentioned above, physical considerations suggested the possibility of renormalizing the volume. This is accomplished by making use of the expansion of the volume form. Indeed, in even dimensions

\int_{x > ɛ} {dvol}_{g} = C_{0} ɛ^{1 - m} + C_{2} ɛ^{3 - m} + \dots (odd powers) \dots + C_{m - 2} ɛ^{- 1} + \hat{V} + o (1),

and in odd dimensions

\int_{x > ɛ} {dvol}_{g} = C_{0} ɛ^{1 - m} + C_{2} ɛ^{3 - m} + \dots (even powers) \dots + C_{m - 3} ɛ^{- 2} + L log \frac{1}{ɛ} + \hat{V} + o (1),

where the coefficients

C_{i}

and

L

are integrals over

\partial M

of local curvature expressions of the metric

g^{(0)}

\hat{V}

is known as the renormalized volume, it depends a priori on the choice of special bdf.

2.2 Renormalization Schemes

The renormalization carried out above,

^{H} \int μ : = {FP}_{ɛ = 0} \int_{x > ɛ} μ,

is known as Hadamard regularization. It coincides with the “b-integral” used in Melrose's proof of the Atiyah-Patodi-Singer index theorem [28] .

In a subsequent work, Melrose and Nistor use an alternate method known as Riesz regularization to renormalize integrals ([29] ; see also [33] ). Given a bdf, Riesz regularization of the integral of a density

μ

is defined by meromorphically extending

\begin{matrix} ζ_{x} (z) : = \int x^{z} μ, \end{matrix}

(2.5)

and taking the finite part at

z = 0

; symbolically:

^{R} \int μ : = {FP}_{z = 0} ζ_{x} (z) .

Both of these approaches make heavy use of the expansion of the integrand; they are only defined on phg densities. As a preliminary step we assume that the volume form has been written as in 2.3 and the boundary integral has been carried out. Thus we only need to consider one-dimensional integrals. Furthermore, making use of linearity, we can localize to a neighborhood of zero, say

[0, δ)

Thus localized, it is easy to compare Hadamard and Riesz renormalizations directly on phg densities. Once the integral along the boundary has been carried out,

^{H} \int_{0}^{δ} x^{k} {log}^{p} x dx =^{R} \int_{0}^{δ} x^{k} {log}^{p} x dx = δ^{k + 1} \sum_{ℓ = 0}^{p} c_{ℓ} {log}^{p - ℓ} δ, if k \neq - 1,

while

^{H} \int_{0}^{δ} \frac{{log}^{p} x}{x} dx = \frac{{log}^{p + 1} δ}{p + 1} {and}^{R} \int_{0}^{δ} \frac{{log}^{p} x}{x} dx = 0 .

We can trace this difference back to the fundamental theorem of calculus. Assume that

\begin{matrix} f (x) = \sum_{k \geq k_{0}} \sum_{p = 0}^{p_{k}} a_{k, p} x^{k} {log}^{p} x . \end{matrix}

(2.6)

Then

^{H} \int_{0}^{δ} f^{'} (x) dx = f (δ) - a_{0, 0}, {and}^{R} \int_{0}^{δ} f^{'} (x) dx = f (δ) - \sum_{p = 0}^{p_{0}} a_{0, p} {log}^{p} δ .

We define a renormalization scheme

T

to be a linear functional on phg densities such that, for

f

as in 2.6 ,

T (f^{'} (x) dx) = f (δ) - T^{0} (f),

where

T^{0} (f)

is a linear function of

{a_{0, p} {log}^{p} δ}

, hence depends on the choice of bdf. Given any two renormalization schemes,

T

and

\tilde{T}

, it is easy to see that

\begin{matrix} \begin{matrix} T (x^{k} {log}^{p} x dx) & = \tilde{T} (x^{k} {log}^{p} x dx) for k \neq - 1, and & T (\frac{{log}^{p} x}{x} dx) - \tilde{T} (\frac{{log}^{p} x}{x} dx) & = \frac{{\tilde{T}}^{0} ({log}^{p + 1} x) - T^{0} ({log}^{p + 1} x)}{p + 1} . \end{matrix} \end{matrix}

(2.7)

The difficulties in comparing the same renormalization scheme for two different bdfs come from the transformation of the coefficients

{a_{- 1, p}}

. The situation is greatly simplified by assuming that there are no singular

l o g

terms in the expansion of

f

. Note that the absence of singular

l o g

terms is independent of the choice of smooth bdf.

Proposition 2.2. Let

μ

be density on

M

, phg with respect to

x

, and with no singular log terms. The coefficient

a_{- 1, 0}

x^{- 1}

in the expansion of

x \mapsto \int_{\partial M_{x}} μ

is given by

Res μ : = {Res}_{z = 0} \int_{M} x^{z} μ

and is independent of the choice of bdf.

T

and

\tilde{T}

are any two renormalization schemes, then

T (μ) - \tilde{T} (μ) = C_{T, \tilde{T}} Res μ

is independent of the choice of bdf.

Proof. It is easy to see that $a_{- 1, 0} = {Res}_{z = 0} \int_{M} x^{z} μ$ . To see the independence from the choice of bdf, let $\hat{x} = e^{ω (x)} x$ be any other bdf. Let $ζ_{x} (z)$ , $ζ_{\hat{x}} (z)$ be the zeta functions as defined in 2.5 . Note that $ζ_{\hat{x}} (z) - ζ_{x} (z) = \int ({\hat{x}}^{z} - x^{z}) μ = \int (e^{ω z} - 1) x^{z} μ = (z \int \frac{e^{ω z} - 1}{z} x^{z} μ) = : z \tilde{ζ} (z) .$ Due to the absence of singular $l o g$ terms, the meromorphic continuation of $\tilde{ζ}$ has at most a simple pole at $z = 0$ . Hence $ζ_{\hat{x}} - ζ_{x}$ extends to be holomorphic at $z = 0$ , and the residues must be equal.
The final statement follows directly from 2.7 . □

In what follows, we will only seek to renormalize integrals of densities without singular

l o g

terms, and thus we shall unabashedly consider only Riesz renormalization, allowing for much simpler computations. A case in point is the proof of Proposition 2.2 which yields the following proposition, taken from [29] .

Proposition 2.3. Let

μ

be a density without singular log terms, and let

x

and

\hat{x} = x e^{ω (x)}

be two bdfs. The difference between the renormalized integrals with respect to

\hat{x}

and

x

is given by

\begin{matrix} \hat{^{R} \int μ} -^{R} \int μ = \int_{\partial M} {(ω μ)}_{(- 1)} \end{matrix}

(2.8)

where

{(ω μ)}_{(- 1)}

denotes to the term in the expansion of

ω μ

of homogeneity

- 1

x

Proof. Simply note from the above computation that

\begin{matrix} {FP}_{z = 0} (ζ_{\hat{x}} (z) - ζ_{x} (z)) = {FP}_{z = 0} (z \int \frac{e^{ω z} - 1}{z} x^{z} μ) = {Res}_{z = 0} \int x^{z} ω μ = \int_{x = 0} {(ω μ)}_{(- 1)} . \end{matrix}

(2.9)

□

2.3 Renormalization on Poincaré-Einstein manifolds

In general, for a density to admit a renormalization independent of the choice of bdf, it needs to actually be integrable. Nevertheless, we will see that on Poincaré-Einstein manifolds there is a rich class of densities renormalizing independently of the choice of special bdf. The reason is twofold.

On the one hand, the metric has the Fefferman-Graham expansion 2.1 , 2.2 . On the other hand, we have the following lemma from [14] (see also [18] ).

Lemma 2.4. Let

(M, g)

be an asymptotically hyperbolic manifold, and

x

a special bdf. For any odd number

k

, the expansion of

x^{2} g

is even below

x^{k}

if and only if for any other special bdf

\hat{x} = e^{ω (x)} x

the expansion of

ω

is even below

x^{k + 2}

Proof. The condition

| d \hat{x} |^{2} = 1

imposes

\begin{matrix} 2 \partial_{x} ω + x ((\partial_{x} ω)^{2} + {\bar{g}}^{i j} (\partial_{i} ω) (\partial_{j} ω)) = 0 . \end{matrix}

(2.10)

In terms of the expansion of

ω

x

, this does not restrict

ω^{(0)}

. On the other hand, it is easy to see that if

ω

is even below

x^{r}

, then the first term in 2.10 is odd below

x^{r - 1}

, while the other terms are odd below

x^{m i n (k + 1, r + 1)}

, hence for

r < k + 2

ω^{(r)} = 0

. Thus the first odd term is

ω^{(k + 2)}

, and it is given by:

(k + 2) ω^{(k + 2)} = - {({\bar{g}}^{(k)})}^{i j} (\partial_{i} ω^{(0)}) (\partial_{j} ω^{(0)}) .

This is zero for arbitrary

ω^{(0)}

precisely when

{\bar{g}}^{(k)} = 0

. □

Recall from 2.3 and 2.4 , that the volume form of an even-dimensional PE manifold has an expansion of the form

{dvol}_{g} = (1 + v^{(2)} x^{2} + \dots (even powers) \dots + v^{(m)} x^{m} + \dots) \frac{{dvol}_{g^{(0)}} d x}{x^{m}} .

Note that

{dvol}_{g}

has no residue, and that the lemma guarantees that changing to another special bdf will not produce a residue. In view of Proposition 2.3 , this means that the renormalized integral of the volume is independent of the choice of special bdf. This has the following immediate generalization.

Theorem 2.5. Let

(M^{m}, g)

be a Poincaré-Einstein manifold,

x

a special bdf, and

μ

a density of the form

μ = F (x, y) (\frac{{dvol}_{g^{(0)}} d x}{x^{m}}),

where

F

e v e n mod x^{m + 1}

. Then, if

m

is even,

^{R} \int μ

is independent of the choice of special bdf. If

m

is odd, and

\hat{x} = x e^{ω (x)}

is another special bdf, then

\hat{^{R} \int μ} -^{R} \int μ = \int_{\partial M} {(ω F (x, y))}_{(m - 1)} .

Though in any case,

Res μ

is independent of the choice of bdf.

One might initially expect the renormalized volume, coming from a conformal theory, to depend only on the conformal class. Its definition involves the choice of a bdf and this breaks the conformal invariance, explaining the appearance of a conformal anomaly in odd dimensions. In even dimensions the conformal invariance is restored after renormalization. To apply this theorem to the scalar Riemannian invariants of a PE manifold, we need to understand the expansions of their curvature tensors.

3 Curvature of an Asymptotically Hyperbolic Manifold

In this section we develop some of the geometry of an asymptotically hyperbolic manifold. Though our applications in the next section will all be to PE manifolds, we will not assume that the metric is Einstein in this section. We begin by introducing the coordinates in which our computations will be carried out.

Let

(M^{m}, g)

be an asymptotically hyperbolic manifold, and

x

a special bdf. Pick a point on the boundary

p \in \partial M

, and choose coordinate vector fields

{\partial_{y_{i}}, \partial_{x}} = : {{\bar{X}}_{s}}

for

\bar{g}

by exponentiating first on the boundary, then into the manifold. That is,

{\partial_{y_{i}}}

form a normal coordinate chart for

(\partial M, \bar{g})

centered at

p

and are extended into the interior of

M

along geodesics normal to

\partial M

. In this way, with

x

as the

m^{t h}

coordinate, throughout the chart we have

\begin{matrix} {\bar{g}}_{k m} = δ_{k m} . \end{matrix}

(3.1)

The Christoffel symbols and components of the curvature tensor of

\bar{g}

in this coordinate chart will be denoted by

{\bar{Γ}}_{t u}^{s}

and

{\bar{R}}_{t u v}^{s}

, respectively. We shall consider the structure of

g

using the frame

X_{s} : = x {\bar{X}}_{s}

. We will use the letters

i

j

k

, and

ℓ

as indices varying between

1

and

m - 1

and

s

t

u

, and

v

to denote indices between

1

and

m

. Note that

[{\bar{X}}_{s}, {\bar{X}}_{t}] = 0

for all

s, t

, but

\begin{matrix} [X_{m}, X_{i}] = X_{i}, [X_{i}, X_{j}] = 0, for i, j < m . \end{matrix}

(3.2)

Also, in this frame

\begin{matrix} g (X_{s}, X_{t}) = x^{2} g ({\bar{X}}_{s}, {\bar{X}}_{t}) = {\bar{g}}_{s t} \end{matrix}

(3.3)

The Levi-Civita connection of

g

is closely related to that of

\bar{g}

. Indeed, Theorem 1.159 of [6] specializes to:

\begin{matrix} \nabla_{W} Y = {\bar{\nabla}}_{W} Y - \frac{d x}{x} (W) Y - \frac{d x}{x} (Y) W + \frac{\bar{g} (W, Y)}{x^{2}} x \partial_{x} . \end{matrix}

(3.4)

In terms of the frame

X_{i}

above, in analogy with the Christoffel symbols, we define

γ_{s t}^{u}

by the equation

\nabla_{X_{s}} X_{t} = γ_{s t}^{u} X_{u}

Lemma 3.1. With

X_{s} = x {\bar{X}}_{s}

as above,

\begin{matrix} γ_{u s}^{t} = x {\bar{Γ}}_{u s}^{t} - δ_{s m} δ_{u t} + δ_{t m} {\bar{g}}_{u s} . \end{matrix}

(3.5)

Furthermore, recalling 3.1 ,

γ_{i j}^{m} = - \frac{1}{2} (x \partial_{x} {\bar{g}}_{i j}) + {\bar{g}}_{i j}, γ_{i m}^{k} = \frac{1}{2} {\bar{g}}^{k ℓ} (x \partial_{x} {\bar{g}}_{i ℓ}) - δ_{i k}, γ_{m i}^{k} = \frac{1}{2} {\bar{g}}^{k ℓ} (x \partial_{x} {\bar{g}}_{ℓ i}) .

Moving on to the curvature, define

r_{t u v}^{s}

by the equation

R (X_{u}, X_{v}) X_{t} = r_{t u v}^{s} X_{s},

and, directly from

R (X, Y) Z = ([\nabla_{X}, \nabla_{Y}] - \nabla_{[X, Y]}) Z

, obtain

\begin{matrix} r_{t u v}^{s} = γ_{u w}^{s} γ_{v t}^{w} - γ_{v w}^{s} γ_{u t}^{w} + X_{u} (γ_{v t}^{s}) - X_{v} (γ_{u t}^{s}) - δ_{u m} γ_{v t}^{s} + δ_{v m} γ_{u t}^{s} . \end{matrix}

(3.6)

An expansion of

g

x

induces expansions of

γ_{t u}^{s}

and

r_{t u v}^{s}

. Note that the expansion of

{\bar{Γ}}_{t u}^{s}

x

below

x^{n}

uses the expansion of

\bar{g}

below

x^{n + 1}

. An advantage of using

x \partial_{x}

instead of

\partial_{x}

is that it does not lower order of homogeneity and hence, for example, the expansion of

γ_{t u}^{s}

below any

x^{n}

depends only on the expansion of

\bar{g}

below

x^{n}

. Indeed, this is still true of the curvature and even its covariant derivatives. We shall prove this with an eye towards Poincaré-Einstein metrics.

Theorem 3.2. Let

(M^{m}, g)

be an asymptotically hyperbolic manifold, and

x

a special bdf. If

\bar{g}

has a phg expansion that extends continuously to

\bar{M}

(thus

x^{k} log x

can occur for

k \geq 1

, but not for

k = 0

), then so does the curvature and any of its covariant derivatives.

Furthermore, the terms below

x^{n}

in the expansion of any covariant derivative of the curvature are determined by the terms below

x^{n}

in the expansion of

\bar{g}

Remark. A consequence of using a frame for

g

built from a frame for

\bar{g}

, i.e.,

X_{s} = x {\bar{X}}_{s}

is that we raise and lower indices using

\bar{g}

instead of

g

. For instance,

\begin{matrix} r_{s t u v} & = g (R (X_{u}, X_{v}) X_{t}, X_{s}) = g (r_{t u v}^{w} X_{w}, X_{s}) = (r_{t u v}^{w}) g (x {\bar{X}}_{w}, x {\bar{X}}_{s}) = {\bar{g}}_{s w} r_{t u v}^{w} . \end{matrix}

Hence the conclusion of the theorem does not change if we raise or lower indices.

Proof. As stated before the theorem, this is a simple consequence of using

x \partial_{x}

instead of

\partial_{x}

. Note that

x \partial_{x} (x^{k}) = k x^{k}

and that

x \partial_{x} (x^{k} {log}^{p} x) = k x^{k} {log}^{p} x + p x^{k} {log}^{p - 1} x

, so the formulas 3.5 , 3.6 show that the theorem holds for

γ_{t u}^{s}

and

r_{t u v}^{s}

. For the covariant derivatives of the curvature we use induction and the formula

\begin{matrix} {(\nabla^{p + 1} R)}_{s t u v; α_{1} \dots α_{p}, α_{p + 1}} = X_{α_{p + 1}} (r_{s t u v; α_{1} \dots α_{p}}) - γ_{α_{p + 1} s}^{β} r_{β t u v; α_{1} \dots α_{p}} - \dots - γ_{α_{p + 1} α_{p}}^{β} r_{s t u v; α_{1} \dots β} . \end{matrix}

(3.7)

□

For the PE context, one is interested in a metric with an expansion containing only even powers of

x

below some term, say

x^{n}

. To organize our discussion of such metrics, define

ℱ

of a function to be

1

if the function is

e v e n

below

x^{n}

and

- 1

if it is

o d d

below

x^{n}

ℱ

is clearly a multiplicative homomorphism among functions with such expansions.

Corollary 3.3. In the above context, assume that the expansion of

\bar{g}

below

x^{n}

consists entirely of even exponents. Then the expansion of each

r_{s t u v; α_{1} \dots α_{p}}

is either even or odd below

x^{n}

. Indeed, if

q

is the number of

m

's among the indices of

r_{s t u v; α_{1} \dots α_{p}}

, it satisfies

\begin{matrix} ℱ (r_{s t u v; α_{1} \dots α_{p}}) = (- 1)^{p + q} . \end{matrix}

(3.8)

P

is a full contraction of the curvature and its covariant derivatives (i.e., a scalar Riemannian invariant), then

ℱ (P) = 1

Proof. Because of Theorem 3.2 , we may truncate the expansion of $\bar{g}$ below $x^{n}$ so that it consists entirely of even powers of $x$ . Our formulas for $γ_{t u}^{s}$ in Lemma 3.1 show that $ℱ (γ_{t u}^{s}) = {\begin{matrix} 1 & if m \in {s, t, u} \\ - 1 & otherwise \end{matrix} .$ For any function $f$ , $ℱ (X_{s} (f)) = {\begin{matrix} ℱ (f) & if s = m \\ - ℱ (f) & otherwise \end{matrix},$ so a close look at the formula for the curvature 3.6 shows that the parity of $r_{t u v}^{s}$ is just the parity of the number of $m$ 's among ${s, t, u, v}$ . As we have chosen a chart where ${\bar{g}}_{j m} = δ_{j m}$ , $ℱ (r_{t u v}^{s}) = ℱ (r_{s t u v}),$ which proves the theorem in the case $p = 0$ . Induction and the formula 3.7 finish the proof of 3.8 . Note that once we know 3.8 it is clear that raising or lowering indices in the curvature or any of its covariant derivatives does not change the value of $ℱ$ .
Consider now $P$ , a full contraction of the curvature and its covariant derivatives. We know that $ℱ$ of any such contraction is the product of $ℱ$ of the individual factors, each of which is $(- 1)$ raised to the number of derivatives plus the number of $m$ 's among the indices. Hence $ℱ$ of the full contraction is $(- 1)$ raised to the total number of $m$ 's appearing among the indices plus the total number of derivatives among all of the factors. The total number of derivatives is necessarily even, as is the total number of $m$ 's among the indices, since the indices are paired together to form the contraction. This proves that any full contraction has only even exponents below $x^{n}$ . □

4 Invariants of a Poincare-Einstein Manifold

4.1 Scalar Riemannian Invariants

Throughout this section

(M, g)

is a Poincaré-Einstein manifold, and

x

will always denote a special bdf. Recall from section

§

2.1 that, in this context, the expansion of

\bar{g} = x^{2} g

is even below

x^{m - 1}

(regardless of the parity of

m

). Let

P

be any scalar Riemannian invariant (i.e., a full contraction of the curvature and its covariant derivatives). Corollary 3.3 guarantees that

P

is also even below

x^{m - 1}

. Our first task is to understand the effect of the

x^{m - 1}

term in the expansion of

\bar{g}

on the

x^{m - 1}

term in expansion of

P

Recall that the frame

{X_{u}}

is centered at a point

p \in \partial M

. We may assume that, at

p

g^{(0)}

is the identity and

g^{(m - 1)}

is diagonal, say

g_{i j}^{(m - 1)} = μ_{i} δ_{i j}

. We will work under these assumptions and compute the expansion of

P

at the point

p

Lemma 4.1. Let

(M^{m}, g)

be an asymptotically hyperbolic manifold, and

x

a special bdf. Assume the metric has an expansion of the form

\bar{g} = d x^{2} + {\bar{g}}^{(0)} + x {\bar{g}}^{(1)} + \dots + x^{n - 1} {\bar{g}}^{n - 1} + x^{n} {\bar{g}}^{(n)} + x^{n} (log x) {\bar{g}}^{(n, 1)} + \dots,

and let

P

be a full contraction of the curvature and its covariant derivatives. Then It has a similar expansion

P = P^{(0)} + x P^{(1)} + \dots + x^{n - 1} P^{(n - 1)} + x^{n} P^{(n)} + x^{n} (log x) P^{(n, 1)} + \dots,

wherein the dependence of

P^{(n)}

and

P^{(n, 1)}

{\bar{g}}^{(n)}

and

{\bar{g}}^{(n, 1)}

is only through

t r a c e_{{\bar{g}}^{(0)}} {\bar{g}}^{(n)}

and

t r a c e_{{\bar{g}}^{(0)}} {\bar{g}}^{(n, 1)}

Proof. For our purpose, we may consider $\bar{g}$ given by: $d x^{2} + {\bar{g}}^{(0)} + {\bar{g}}^{(n)} x^{n} + {\bar{g}}^{(n, 1)} x^{n} log x .$ Indeed, note that we do not need to compute the $x^{n}$ term in the expansion of $P$ , only its contribution from the $x^{n}$ term in $\bar{g}$ , and interactions between say ${\bar{g}}^{(n)}$ and ${\bar{g}}^{(i)}$ do not occur below $x^{n + i}$ .
We will compute at the point $p \in \partial M$ as discussed before the statement of the lemma. Say that a function, $f$ , is respectable if the $x^{0}$ term is a constant and the contribution of the $x^{n}$ term in the expansion of $\bar{g}$ to the $x^{n}$ term in the expansion of $f$ is only through a (constant) linear combination of the components of ${\bar{g}}^{(n)}$ and ${\bar{g}}^{(n, 1)}$ . It is easy to see from the formulas in Lemma 3.1 that $γ_{t u}^{s}$ is respectable.
Note that if $f$ is respectable, then so are $x \partial_{y} (f)$ and $x \partial_{x} (f)$ . Also, the product of respectable functions is again respectable. It follows that any component of the curvature computed in such a frame is respectable, and similarly, components of covariant derivatives of the curvature are respectable.
Thus in the contraction we are interested in, the individual terms are respectable. We finish by noting that contracting a linear combination of components of ${\bar{g}}^{(n)}$ and ${\bar{g}}^{(n, 1)}$ yields a linear combination of $t r a c e_{{\bar{g}}^{(0)}} {\bar{g}}^{(n)}$ and $t r a c e_{{\bar{g}}^{(0)}} {\bar{g}}^{(n, 1)}$ . □

We can now state our generalization of Theorem 2.1 .

Theorem 4.2. If

x

is a special bdf on a PE manifold, then any full contraction of the curvature and its covariant derivatives has an even expansion

mod x^{m}

, and the coefficients below

x^{m}

are locally determined. The behavior of scalar Riemannian invariants under renormalization is thus given by Theorem 2.5 . In particular, on an even-dimensional PE manifold, all scalar invariants renormalize independently of the choice of special bdf.

Proof. Recalling the expansions 2.1 and 2.2 , Theorem 3.2 establishes the theorem below $x^{m - 2}$ , and we use Lemma 4.1 to deal with the $x^{m - 1}$ term. □

As is clear from the proof of the theorem, the Einstein condition only enters through the Fefferman-Graham expansion and the result holds whenever

x^{2} g

is even below

x^{m - 1}

as long as

t r a c e_{g^{(0)}} g^{(m - 1)} = 0

Also recall, from Proposition 2.3 , that changing from one special bdf

x

to another one,

\hat{x} = e^{ω} x

, changes the volume by

\int (ω dvol)_{- 1}

. For a PE metric, this term vanishes due to the Fefferman-Graham expansion of the metric, but if the metric were “any less even” this integrand would certainly not be zero in general. Even expansions of asymptotically hyperbolic (not necessarily Einstein) metrics are related in [18] to the domain on which the resolvent is meromorphic with poles of finite rank. It would be interesting to find a direct connection between the extent of this domain and the renormalization of the volume, for example, without going through the expansion of the metric.

4.2 Pontrjagin Classes

We start by reviewing the conformal invariance of the Pontrjagin classes. In dealing with these, it is useful to think of the curvature as an endomorphism-valued 2-form. On any manifold, define the 2-form

Ω_{v}^{u}

Ω_{v}^{u} = R_{v s t}^{u} θ^{s} \land θ^{t},

where

R

is computed with respect to a frame

{X_{i}}

with dual frame

{θ^{i}}

. In the same way, we define the 2-form

W_{v}^{u}

replacing the components of

R

above with the corresponding components of the Weyl curvature tensor. It is easy to see that the forms

W_{v}^{u}

are conformally invariant 2-forms.

The following theorem was first shown by Avez [5] , though the conformal invariance of the Pontrjagin classes had already been established by Chern and Simons.

Theorem 4.3. On any Riemannian manifold

tr (Ω^{ℓ}) = tr (W^{ℓ})

In particular, on a conformally compact manifold, any characteristic number built up from Pontrjagin classes is integrable and equals the corresponding characteristic number of

(\bar{M}, \bar{g})

4.3 The Pfaffian

On an even-dimensional manifold, we have one more characteristic class, the Pfaffian. As a PE scalar Riemannian invariant, we know that its integral renormalizes independently of the choice of special bdf, and in fact (Theorem 4.5 below)

\begin{matrix} ^{R} \int P f f = χ (M) . \end{matrix}

(4.1)

As with any scalar Riemannian invariant on an Einstein manifold, the Pfaffian is a polynomial in the scalar and Weyl curvatures. We will identify this polynomial in terms of the “volume of tubes” invariants of the Weyl curvature and begin by reviewing these.

Weyl (see [17] ) derived a formula for the volume of a tube of small radius

ɛ

around a

q

-dimensional submanifold

P

R^{n}

V o l_{P} (ɛ) = ω_{n - q} \sum_{ℓ = 0}^{⌊ q / 2 ⌋} \frac{K_{2 ℓ} (P) ɛ^{2 ℓ}}{(n - q + 2) (n - q + 4) \dots (n - q + 2 ℓ)},

where

ω_{n - q}

is the volume of the unit ball in

R^{n - q}

. Weyl showed that the coefficients are intrinsic to

P

by identifying them with integrals over

P

of complete contractions of the curvature and its covariant derivatives. Donnelly [11] later proved that they are universal linear combinations of the heat invariants of

P

Weyl's theorem was used in the first proofs of the Gauss Bonnet theorem for a general even-dimensional compact manifold (independently by Allendoerfer and Fenchel for submanifolds of

R^{n}

, then by Allendoerfer and Weil in general). The link is

K_{dim P} (P) = (2 π)^{(dim P) / 2} χ (P) .

One expression for

K_{2 ℓ}

comes from considering the curvature as an endomorphism valued 2-form as in

§

4.2 . Indeed, the coefficients are multiples of the Lipschitz-Killing curvatures (see [9] )

\begin{matrix} K_{2 ℓ} = \int C_{ℓ} \sum_{σ \in S_{n}} sign (σ) Ω_{σ_{1}}^{σ_{2}} \land \dots \land Ω_{σ_{2 ℓ - 1}}^{σ_{2 ℓ}} \land θ^{σ_{2 ℓ + 1}} \land \dots \land θ^{σ_{m}} . \end{matrix}

(4.2)

To obtain another expression for

K_{2 ℓ}

, it is convenient to work in the formalism of double forms as set out in [17] and especially [19] . In this way we will obtain the aforementioned polynomial for the Pfaffian. Define

D^{p, q} : = Λ^{p} (M) \otimes Λ^{q} (M) .

We consider the metric and the curvature as (symmetric) elements of

D^{1, 1}

D^{2, 2}

, respectively. They are given by

g (X \otimes Y) = g (X, Y), and ℜ ((X, Y) \otimes (Z, W)) = g (R (X, Y) Z, W) .

There is a natural operation on

D^{*, *}

, the Kulkarni-Nomizu product given by

(a_{1} \otimes a_{2}) \cdot (b_{1} \otimes b_{2}) = a_{1} \land b_{1} \otimes a_{2} \land b_{2} .

For instance the curvature tensor with constant sectional curvature,

λ

, is given by

\frac{λ}{2} g^{2}

. Note that this is sometimes, e.g. Definition 1.110 of [6] , denoted

⊥

. We also introduce the contraction map

C : D^{p + 1, q + 1} \to D^{p, q}

. Let

E_{i}

be any locally defined orthonormal frame; then for

P \in D^{p + 1, q + 1}

C P ((X_{1}, \dots, X_{p}) \otimes (Y_{1}, \dots, Y_{q})) : = \sum_{ℓ = 1}^{m} P ((E_{ℓ}, X_{1}, \dots, X_{p}) \otimes (E_{ℓ}, Y_{1}, . . ., Y_{q})) .

Thus

C ℜ

is the Ricci curvature and

C^{2} ℜ

is the scalar curvature.

The volume of tube invariants are given by

\begin{matrix} K_{2 ℓ} = \int \frac{C^{2 ℓ} (ℜ^{ℓ})}{(2 ℓ)! ℓ!} dvol . \end{matrix}

(4.3)

Lemma 5.5 in [17] expresses the Pfaffian of an

m

-dimensional manifold as

\begin{matrix} Pff = \frac{1}{(2 π)^{m / 2}} \frac{C^{m} ℜ^{m / 2}}{m! (m / 2)!} dvol . \end{matrix}

(4.4)

The Weyl curvature is defined by

W = ℜ - \frac{g \cdot C ℜ}{m - 2} + \frac{g^{2} \cdot C^{2} ℜ}{2 (m - 1) (m - 2)},

so on an Einstein manifold

ℜ = W + \frac{s_{g}}{2 m (m - 1)} g^{2} .

Note that since

W

and

g^{2}

are in

D^{2, 2}

, a commutative algebra, the binomial theorem applies to give

\begin{matrix} ℜ^{m / 2} = \sum_{k = 0}^{m / 2} (\binom{m / 2}{k}) {(\frac{s_{g}}{2 m (m - 1)} g^{2})}^{k} \cdot W^{\frac{m}{2} - k} . \end{matrix}

(4.5)

Furthermore, for any

P \in D^{ℓ, ℓ}

we have the following formula from [19] :

C^{ℓ + 1} (g \cdot P) = (ℓ + 1) (m - ℓ) C^{ℓ} P .

Iterating we get

\begin{matrix} C^{m} (g^{2 k} \cdot W^{\frac{m}{2} - k}) = \frac{m! (2 k)!}{(m - 2 k)!} C^{m - 2 k} W^{\frac{m}{2} - k} . \end{matrix}

(4.6)

Finally, plugging 4.5 and 4.6 back into 4.4 we obtain the following formula.

Lemma 4.4. On an

m

dimensional Einstein manifold, the Pfaffian is given by

\frac{1}{(2 π)^{m / 2}} \sum_{k = 0}^{m / 2} \frac{(2 k)!}{k!} {(\frac{s_{g}}{2 m (m - 1)})}^{k} \frac{C^{m - 2 k} W^{\frac{m}{2} - k}}{(m - 2 k)! (\frac{m}{2} - k)!} dvol

Note that the factors

C^{m - 2 k} W^{\frac{m}{2} - k}

are (multiples of ) the Weyl volume of tubes invariants, except that they are evaluated in the Weyl curvature instead of the full curvature tensor. Note the scalar curvature factor in each summand with

k \neq 0

; these terms are not conformally invariant.

Returning to our PE manifold, we may replace

s_{g} = - m (m - 1)

, and this lemma gives us a formula for the Pfaffian in terms of the successive contractions of the Weyl tensor. Although the Weyl tensor itself has trivial contraction, this is not true of its higher powers. For instance, from [17] ,

C^{4} W^{2} = 6 | W |^{2}

Theorem 4.5. Let

x

be a special bdf on an even dimensional asymptotically hyperbolic manifold

(M, g)

, and assume that

x^{2} g = d x^{2} + G_{x}

where

G_{x} = {\bar{g}}^{(0)} + . . . (even powers) . . . + {\bar{g}}^{(m - 1)} x^{m - 1} + O (x^{m}),

and

t r a c e_{{\bar{g}}^{(0)}} {\bar{g}}^{(m - 1)} = 0

. Then

^{R} \int P f f = χ (M) .

Proof. This follows from Chern's Gauss-Bonnet Theorem for the manifold with boundary

M_{ɛ} : = {x \geq ɛ}

\begin{matrix} \int_{M_{ɛ}} Pff + \int_{x = ɛ} I I ‿ ⁀ = χ (M_{ɛ}) . \end{matrix}

(4.7)

Here

I I ‿ ⁀

is a polynomial in the curvature and the second fundamental form of

{x = ɛ}

M_{ɛ}

. In terms of the curvature and connection forms it is given in [10] by

\begin{matrix} I I ‿ ⁀ = \sum_{q = 0}^{m / 2} C_{m, q} \sum_{σ \in Σ_{m - 1}} Ω_{σ_{1} σ_{2}} \land \dots \land Ω_{σ_{2 q - 1} σ_{2 q}} \land ω_{σ_{2 q + 1} m} \land \dots \land ω_{σ_{m - 1} m}, \end{matrix}

(4.8)

for some constants

C_{m, q}

whose precise value we will not need. Note that, for

ɛ

small,

χ (M_{ε}) = χ (M)

Since the right hand side of 4.7 does not depend on

ɛ

, neither does the left, and thus

^{R} \int P f f + {FP}_{ɛ = 0} \int_{x = ɛ} I I ‿ ⁀ = χ (M) .

So we need only show that the second term vanishes.

If we denote the second fundamental form of

{x = ɛ}

as a double form by

ℐ ℐ \in D^{1, 1}

, 4.8 shows that

I I ‿ ⁀

is a linear combination of terms of the form

\begin{matrix} C^{m - 1} (ℜ^{k} ℐ ℐ^{m - 1 - 2 k}) dvol . \end{matrix}

(4.9)

It is easy to see that, for any

ω

C^{m - 1} (ω) {dvol}_{g} ⇂_{\partial M} = x^{m - 1} {\bar{C}}^{m - 1} (ω) {dvol}_{\bar{g}} ⇂_{\partial M},

where

\bar{C}

denotes contracting via a local orthonormal frame of

\bar{g}

instead of

g

. Recall that

r_{i j k ℓ}

and

γ_{i j}^{m}

have even expansions mod

x^{m - 1}

, hence so do

x^{4} ℜ

and

x^{2} ℐ ℐ

, and the constant term in 4.9 comes from the

x^{m - 1}

terms in the expansion of these coefficients. Now, since

\begin{matrix} {(γ_{i j}^{m})}^{(0)} = {\bar{g}}_{i j}^{(0)} & , {(γ_{i j}^{m})}^{(m - 1)} = \frac{3 - m}{2} {\bar{g}}_{i j}^{(m - 1)}, & {(r_{i j k ℓ})}^{(0)} = {[γ_{i k}^{m} γ_{j ℓ}^{m} - γ_{j k}^{m} γ_{i ℓ}^{m}]}^{(0)} & , and {(r_{i j k ℓ})}^{(m - 1)} = {[γ_{i k}^{m} γ_{j ℓ}^{m} - γ_{j k}^{m} γ_{i ℓ}^{m}]}^{(m - 1)}, \end{matrix}

we may conclude that the constant term in the expansion of 4.9 is a multiple of

{\bar{C}}^{m - 1} ({\bar{g}}_{(0)}^{m - 2} {\bar{g}}_{(m - 1)}) \bar{dvol}

, which vanishes as

t r a c e_{{\bar{g}}^{(0)}} {\bar{g}}^{(m - 1)} = 0

. □

It is instructive to use Lemma 4.4 and write out the renormalized Gauss-Bonnet theorem 4.5 in four dimensions:

\begin{matrix} {\frac{1}{(2 π)^{2}}}^{R} \int \sum_{k = 0}^{2} \frac{(2 k)!}{k!} {(- \frac{1}{2})}^{k} \frac{C^{4 - 2 k} W^{2 - k}}{(4 - 2 k)! (2 - k)!} = \frac{1}{8 (2 π)^{2}} \int | W |^{2} + \frac{3}{(2 π)^{2}} \hat{V} = χ (M), \end{matrix}

(4.10)

and in six dimensions:

\begin{matrix} \frac{1}{(2 π)^{3}} \int \frac{C^{6} W^{3}}{6! 3!} - {\frac{1}{8 (2 π)^{3}}}^{R} \int | W |^{2} - \frac{15}{(2 π)^{3}} \hat{V} = χ (M) . \end{matrix}

(4.11)

Equation 4.10 is due to Anderson [2] (note that he uses a different convention for

| W |^{2}

, see the comment after equation (1.15) in [2] ). It is only in dimension four that the integrand requires no further renormalization than the volume. Generally, from Lemma 4.4 we know that

\begin{matrix} ^{R} \int P f f = \int Pff (W) +^{R} \int P (W) + \frac{(- 1)^{m / 2}}{2^{m / 2} (2 π)^{m / 2}} \frac{m!}{(m / 2)!} \hat{V}, \end{matrix}

(4.12)

where

P (W)

is a polynomial in the Weyl curvature, and

Pff (W)

is the Pfaffian evaluated in the Weyl curvature instead of the full curvature. Equation 4.11 shows that

P (W)

is not zero in general.

As we mentioned in the introduction, Chang, Qing, and Yang [8] have recently established a very similar formula 1.5 . It would be interesting to consolidate these formulas.

5 Varying the Poincare-Einstein metric

In this section we will consider the variation of the characteristic forms of a Poincaré-Einstein manifold when we allow the metric to vary along a family

g_{s}

of PE metrics with the same scalar curvature. After describing the expansion of

\dot{g} = \partial_{s} g_{s} |_{s = 0}

, we recover results of Anderson [2] and Graham-Hirachi [15] on the variation of the renormalized volume. Finally, we verify directly that the variation of the renormalized integral of the Pfaffian vanishes.

5.1 Variation of the Pontrjagin Forms

As before, Pontrjagin forms and numbers on Poincaré-Einstein manifolds are easily dealt with due to conformal invariance. Indeed, we know (Theorem 4.3 ) that

tr (Ω^{ℓ}) = tr ({\bar{Ω}}^{ℓ}),

so we need only consider variations of

\bar{g}

. Given a family of metrics

{\bar{g}}_{s}

\bar{M}

with connection and curvature forms

{\bar{ω}}_{s}

{\bar{Ω}}_{s}

and a homogeneous invariant polynomial in the curvature,

P ({\bar{Ω}}_{s})

, of degree

q

with complete polarization

p ({\bar{Ω}}_{s}, \dots, {\bar{Ω}}_{s})

, and denoting the derivative at

s = 0

by an overdot, we have

\dot{P} (\bar{Ω}) = q d p (\dot{\bar{ω}}, \bar{Ω}, \dots, \bar{Ω}) .

The derivative of a product of Pontrjagin forms is exact, being the product of closed and exact forms. Note that the boundary of

\bar{M}

is totally geodesic, so restricting the Levi-Civita connections of

{\bar{g}}_{s}

yields the Levi-Civita connections of the induced metrics. Hence

\dot{\bar{ω}}

when restricted to the boundary is the derivative of the connection 1-forms of the boundary metrics. We conclude with the following well-known result.

Proposition 5.1. Let

{\bar{g}}_{s}

a smooth family of metrics on

\bar{M}

such that, for every

s

(\bar{M}, {\bar{g}}_{s})

is a compact manifold with totally geodesic boundary. For any polynomial

Q

, the variation of the characteristic number of

\bar{M}

corresponding to

Q (Ω)

is the integral over the boundary of the Chern-Simons number corresponding to

Q (Ω)

\partial M

5.2 Variation of the Renormalized Volume and the Pfaffian

Naturally, the renormalized Gauss-Bonnet theorem discussed previously shows that the variation of the renormalized integral of the Pfaffian vanishes. We verify this directly by studying the variation of the renormalized volume and the renormalized Weyl volume of tubes invariants.

Let

g_{s}

be a family of Poincaré-Einstein metrics on

M

with the same scalar curvature,

- m (m - 1)

We use

x

, a special boundary defining function for

g : = g_{0}

, to define a corresponding family of metrics on the boundary

g_{s}^{(0)} : = x^{2} g_{s} ⇂_{\partial M}

. The metrics

g_{s}^{(0)}

in turn determine bdfs

x_{s} = x e^{ω (x)}

, special with respect to

g_{s}

(as in Lemma 2.1 of [13] ). We shall compute in a frame

X_{u} = x {\bar{X}}_{u}

as in previous sections, and denote derivatives with respect to

s

s = 0

by an overdot. Set

h = \dot{g}

Just as one needs to break conformal invariance by choosing a bdf in order to study the renormalized volume, the study of the Einstein equation requires breaking gauge invariance. The approach followed in [2] (see also [15] ) is to use the Fefferman-Graham expansion of the metrics

g_{s}

. A second approach is to impose the so called Bianchi gauge. One defines the operator

B_{g} (k) : = δ_{g} k + \frac{1}{2} d ({tr}_{g} h)

and demands that

g_{s}

satisfy the Einstein equation and

B_{g} (g_{s}) = 0

. This approach was first espoused in [7] , though we shall follow [27] (see also [3] and [22] ).

The following result appears as Lemma 3.4 in [3] .

Lemma 5.2.

x \partial_{x} (\dot{ω}) = \frac{1}{2} h_{m m}

Proof. We differentiate the relation

| d x_{s} |_{{\bar{g}}_{s}}^{2} = 1

\begin{matrix} x_{s}^{- 2} g_{s} (d x_{s}, d x_{s}) & = x^{- 2} [g_{s} (d x, d x) + 2 x g_{s} (d ω_{s}, d x) + x^{2} g_{s} (d ω_{s}, d ω_{s})] = 1 \end{matrix}

to get

x^{- 2} [\frac{\partial}{\partial s} |_{s = 0} g_{s}^{m m} + 2 x g (d x, d \dot{ω})] = 0 .

\partial g_{s}^{- 1} = - g^{- 1} (\partial g_{s}) g^{- 1}

, we conclude that

x \partial_{x} (\dot{ω}) = \frac{1}{2} h_{m m} .

□

The linearized Einstein equation,

R i c^{'} (h) = - (m - 1) h

, is given by (1.179 in [6] )

\begin{matrix} E_{g}^{'} (h) : = g^{s t} (C_{g} h)_{u v s, t} - \frac{1}{2} D d {tr}_{g} h + (m - 1) h = 0, \end{matrix}

(5.1)

wherein

(C_{g} h)_{u v s} = \frac{1}{2} (h_{s v, u} + h_{u s, v} - h_{u v, s}) .

As the scalar curvature is the same for all

s

, we also have

S c a l_{g}^{'} (h) = 0

, which by Theorem 1.174(e) of [6] , means

\begin{matrix} \begin{matrix} S c a l_{g}^{'} (h) & = Δ_{g} (t r_{g} h) + δ_{g} (δ_{g} h) - g (R i c_{g}, g) & = Δ_{g} (t r_{g} h) + δ_{g} (δ_{g} h) + (m - 1) t r_{g} h = 0 . \end{matrix} \end{matrix}

(5.2)

It is easy to compute the

0

-th order term in 5.1 , for instance:

{(E_{g}^{'} (h))}_{m m}^{(0)} = (m - 1) h_{m m}^{(0)},

E_{g}^{'} (h) = 0

implies

h_{m m}^{(0)} = 0

, and we gain no more information from the other

0

-th order terms.

Computing higher order terms will allow us to show that any perturbation of the metric through PE metrics has an expansion like that of the metric.

Proposition 5.3. Assume that

h_{m m}^{(0)} = 0

, and that for some natural number

α

both:

\begin{matrix} \begin{matrix} 1) & {(X_{u} (h_{s t}))}^{(α)} = δ_{u m} (α h_{s t}^{(α)}) & 2) & {(Γ_{v w}^{u} h_{s t})}^{(α)} = {(Γ_{v w}^{u})}^{(α)} {(h_{s t})}^{(0)} + {(Γ_{v w}^{u})}^{(0)} {(h_{s t})}^{(α)} \end{matrix} \end{matrix}

(5.3)

hold, then

\begin{matrix} {(E_{g}^{'} (h))}_{u v}^{(α)} = {\begin{matrix} \frac{α}{2} (m - 1 - α) h_{u v}^{(α)} + δ_{u v} [(m - 1 - α) h_{m m}^{(α)} + \frac{α}{2} ({tr}_{g} h)^{(α)}] & if m / ∈ {u, v} \\ (1 - \frac{α}{2}) [(m - 1 - α) h_{m m}^{(α)} + α ({tr}_{g} h)^{(α)}] & if m = u = v \end{matrix} . \end{matrix}

(5.4)

Consequently, once gauge invariance is broken, either through the Fefferman-Graham expansion or by imposing the Bianchi gauge, we have

\begin{matrix} ℱ (h_{u v}) = (- 1)^{δ_{u m} + δ_{v m}}, \end{matrix}

(5.5)

(

ℱ

as in Corollary 3.3 above), though in the odd-dimensional case log terms can occur with

x^{m - 1}

Proof. The proof of 5.4 is a straightforward computation using 5.3 in 5.1 .

We first prove 5.5 in the Fefferman-Graham expansion approach. We know that

{\bar{g}}_{s} ({\bar{θ}}^{m}, {\bar{θ}}^{i}) = 0 for any i \neq m .

A computation like that of Lemma 5.2 gives

h_{m i} = x g (d \dot{ω}, {\bar{θ}}^{i})

. This implies that

h_{m i}^{(0)} = 0

and, together with Lemma 5.2 , that for

k < m - 1

\begin{matrix} if h_{m m} is even up to x^{k}, then h_{m i} is odd up to x^{k + 1} . \end{matrix}

(5.6)

This sets up an iterative scheme. In the first step, we use

h_{m i}^{(0)} = 0

to see that the conditions 5.3 are satisfied with

α = 1

. Then 5.4 shows that

h_{u v}^{(1)} = h_{m m}^{(1)} = 0

, and this in turn, by 5.6 , that

h_{m i}^{(2)} = 0

Plugging this back into 5.3 with

α = 3

gives us the next iterative step. This works until

α = m - 1

, which establishes 5.5 .

For the Bianchi gauge approach, consider the operator

Φ_{g} (k) = R i c_{k} + (m - 1) k + δ_{k}^{*} B_{g} (k) .

Clearly,

g_{s}

is in the kernel of

Φ_{g}

and

h

in that of

Φ_{g}^{'}

. We recall from Proposition 3 of [27] that

Φ_{g}^{'}

has no indicial roots between

0

and

m - 1

. This will yield 5.5 through the following two observations.

First, we split

h

into two pieces,

h = h_{e} + h_{o}

, by requiring that

(h_{e})_{u v}

have an even expansion in

x

when there are an even number of

m

's in

{u, v}

and have an odd expansion in

x

otherwise. It is not hard to see that

Φ_{g}^{'} (h_{e})_{u v} mod x^{m - 1}

is even or odd in

x

when

(h_{e})_{u v}

is even or odd, and similarly

Φ_{g}^{'} (h_{o})_{u v}

. Secondly,

B_{g} (g_{s}) = 0

and

S c a l^{'} (h) = 0

(see 5.2 above) together imply that

δ_{g} (h) = 0

and

t r_{g} h = 0

An easy computation shows that

(δ_{g} h)^{(0)} = 0

implies

h_{i m}^{(0)} = 0

These observations together show that

h_{o}

vanishes to first order at the boundary, and that

Φ_{g}^{'} (h_{o})

vanishes to order

m - 1

. We conclude that

h_{o}

vanishes to order

m - 1

at the boundary. Thus

h = h_{e} mod x^{m - 1}

and this is 5.5 . □

We observe that 5.5 shows that the conditions 5.3 are satisfied with

α = m - 1

; this implies by 5.4 that

(t r_{g} h)^{(m - 1)} = 0

Once we know the structure of

h

, it is a simple matter to compute the variation of the renormalized volume in the even-dimensional case (Theorem 2.2 in [2] ) and the variation of the residue in the odd-dimensional case (Theorem 1.1 in [15] ).

Theorem 5.4. On an even-dimensional PE manifold, if

g_{s} = g + s h

to first order with

h

as in Proposition 5.3 , the variation of the renormalized volume is

\begin{matrix} {\hat{V}}^{'} (h) = - \frac{1}{4} \int_{\partial M} 〈 g^{(m - 1)}, h^{(0)} 〉, \end{matrix}

(5.7)

the inner product and the integral being taken with respect to

g^{(0)}

. Similarly, on an odd-dimensional PE manifold, the variation of the residue of the volume is given by

\begin{matrix} L^{'} (h) = - \frac{1}{4} \int_{\partial M} 〈 g^{(m - 1, 1)}, h^{(0)} 〉 . \end{matrix}

(5.8)

Remark In [15] , 5.8 is expressed in terms of Branson's

Q

curvature and the Fefferman-Graham obstruction tensor

O

{(\int_{\partial M} Q)}^{'} (h) = (- 1)^{\frac{m - 1}{2}} \frac{m - 3}{2} \int_{\partial M} 〈 O, h 〉 .

Proof. Using Riesz renormalization, we have

\begin{matrix} \begin{matrix} \frac{\partial}{\partial s} |_{s = 0} {FP}_{z = 0} \int_{M} x_{s}^{z} {dvol}_{s} & = {FP}_{z = 0} \int_{M} z x^{z - 1} \dot{x} dvol + {FP}_{z = 0} \int_{M} x^{z} (- \frac{1}{2} t r_{g} h) dvol & = \int_{\partial M} {\dot{ω}}^{(m - 1)} {dvol}_{0} + {FP}_{z = 0} \frac{1}{2 (m - 1)} \int_{M} x^{z} [Δ (t r_{g} h) + δ_{g} δ_{g} h] dvol & = \int_{\partial M} [{\dot{ω}}^{(m - 1)} + \frac{1}{2} {(t r_{g} h)}^{(m - 1)} + \frac{1}{2 (m - 1)} {(δ_{g} h)}_{m}^{(m - 1)}] {dvol}_{0} & = \frac{1}{2 (m - 1)} \int_{\partial M} [h_{m m}^{(m - 1)} + {(δ_{g} h)}_{m}^{(m - 1)}] {dvol}_{0} . \end{matrix} \end{matrix}

(5.9)

The second equality is 5.2 , the third follows from integrating by parts, and the last uses Lemma 5.2 and the observation made before the statement of the theorem.

Now as in Proposition 5.3 , we can use the structure of

h

to compute

\begin{matrix} {(δ_{g} h)}_{m}^{(m - 1)} = - h_{m m}^{(m - 1)} - \frac{m - 1}{2} 〈 g^{(m - 1)}, h^{(0)} 〉, \end{matrix}

(5.10)

which gives the theorem in the even-dimensional case.

In odd dimensions the same proof works. The reason is that the

x^{m - 1} log x

, being the first

l o g

term, behaves like the first odd term in the even-dimensional case. Specifically, it satisfiesconditions 5.3 with

α = (m - 1, 1)

which allows us to compute as in 5.9 and 5.10 replacing

(m - 1)

(m - 1, 1)

. □

To deal with the other terms in the expression for the Pfaffian in section

§

4.3 we use the formalism of double forms, e.g., we interpret

h

as an element of

D^{1, 1}

and denote it by

h

. We benefit greatly from a recent description of the variation of Weyl's volume of tubes invariants by Labbi [21] , [20] . We denote the integrand in the definition of

K_{2 ℓ}

k_{2 ℓ} (ℜ) : = \frac{C^{2 ℓ} ℜ^{ℓ}}{(2 ℓ)! (ℓ)!} .

Labbi defines the tensors

\begin{matrix} E_{2 ℓ} (ℜ) : = k_{2 ℓ} (ℜ) \cdot g - \frac{C^{2 ℓ - 1} ℜ^{ℓ}}{(2 ℓ - 1)! ℓ!}, \end{matrix}

(5.11)

and establishes that, on any closed Riemannian manifold,

\begin{matrix} {(K_{2 ℓ} (ℜ))}^{'} (h) = \int 〈 E_{2 ℓ} (ℜ), h 〉 . \end{matrix}

(5.12)

We will show that a very similar formula holds, on Einstein manifolds, for the variation of the Pfaffian. Our definitions consistently differ from those of Labbi by a factor of

ℓ!

but agree with those of [17] .

The tensors 5.11 were first introduced by Lovelock in [23] . His interest was to find all divergence-free symmetric (0,2)-tensors built from the metric and its first two covariant derivatives. His theorem is that they are given by arbitrary linear combinations of the

E_{2 ℓ} (ℜ)

and the metric. These properties are sometimes used to motivate the Einstein field equation in four dimensions (e.g., 3.7(i) in [6] ).

Lovelock's generalization plays an analogous role in higher dimensional GB gravity theories (see [30] and references therein). In the physics literature, a linear combination of the

k_{2 ℓ} (ℜ)

is known as a Lovelock Lagrangian; an arbitrary linear combination of the

E_{2 ℓ} (ℜ)

is known as a Lovelock tensor. Note that

E_{2} (ℜ)

is the usual stress energy tensor,

\frac{S c a l}{2} g - R i c

. Recall that any surface is automatically Einstein and that any higher dimensional Einstein manifold has constant scalar curvature. The following results appear in [31] .

Lemma 5.5. On any

n

dimensional manifold, a) (Bach-Lanczos identity) If

n

is even,

E_{n} (ℜ) = E_{n} (W) = 0 .

b) If

2 ℓ < n

and

E_{2 ℓ} (ℜ) = λ g

for some constant

λ

, then

k_{2 ℓ} (ℜ)

is constant.

Proof. a) Any double form in $D^{n, n}$ is of the form $f g^{n}$ for some function $f$ , and it is easy to see that $\frac{C^{n} (f g^{n})}{n! (\frac{n}{2})!} g - \frac{C^{n - 1} (f g^{n})}{(n - 1)! (\frac{n}{2})!} = 0 .$ b) We always have $C (E_{2 ℓ} (ℜ)) = \frac{(n - 2 ℓ)}{(2 ℓ)! ℓ!} C^{2 ℓ} ℜ^{ℓ},$ so if in addition we know that $C (E_{2 ℓ} (ℜ)) = n λ$ and $n \neq 2 ℓ$ , we find that $C^{2 ℓ} ℜ^{ℓ}$ is constant. □

Labbi's proof of 5.12 follows from this formula, Lemma 4.2 of [21] (

ℓ \geq 1

\begin{matrix} {(k_{2 ℓ} (ℜ))}^{'} (h) = - \frac{1}{2} 〈 \frac{C^{2 ℓ - 1} ℜ^{ℓ}}{(2 ℓ - 1)! (ℓ!)}, h 〉 + \frac{(- 1)^{m}}{4} (δ \tilde{δ} + \tilde{δ} δ) (* (\frac{g^{m - 2 ℓ} \cdot ℜ^{ℓ - 1}}{(m - 2 ℓ)! (ℓ - 1)!} \cdot h)) . \end{matrix}

(5.13)

where

*

extends to double forms via

* (ω \otimes η) = * ω \otimes * η,

and

(δ \tilde{δ} + \tilde{δ} δ) : D^{1, 1} \to D^{0, 0}

is a second order differential operator; all we will need to know here is that its adjoint is twice the Hessian (see comments after equation (10) in [21] ), so that

{(δ \tilde{δ} + \tilde{δ} δ)}^{*} (x^{z}) = 2 z (- 1)^{m} x^{z} ℐ ℐ,

with

ℐ ℐ \in D^{1, 1}

the second fundamental form of

g

For a variation of Einstein metrics preserving the scalar curvature, a very similar formula holds.

The following proposition is proved by adapting Labbi's approach from

ℜ

W

Proposition 5.6. Consider a family

g_{s}

of PE metrics on an even-dimensional manifold, with

g_{s} = g + s h

to first order with

h

as in Proposition 5.3 .

a) For

ℓ > 2

\frac{\partial}{\partial s} |_{s = 0} (^{R} \int k_{2 ℓ} (W)) =^{R} \int [\frac{〈 E_{2 ℓ} (W), h 〉}{2} - (\frac{s_{g}}{2 m (m - 1)}) (m - 2 ℓ + 1) 〈 E_{2 ℓ - 2} (W), h 〉],

and for

ℓ = 2

\frac{\partial}{\partial s} |_{s = 0} (^{R} \int k_{4} (W)) = {\frac{1}{2}}^{R} \int 〈 E_{4} (W), h 〉 + \frac{(m - 1) (m - 3)}{4} \int_{\partial M} {〈 g^{(m - 1)}, h^{(0)} 〉}_{g^{(0)}} .

b) For these variations, the variation of the renormalized integral of the Pfaffian vanishes.

Remark. Notice that

E_{2} (W) = 0

because

C W = 0

. In four dimensions, the functional

g \mapsto K_{4} (W) = \int | W |^{2}

is well understood. Its gradient is the Bach tensor which vanishes for metrics conformal to Einstein metrics. This is reflected in the vanishing of the interior integral in the formula above for

ℓ = 2

, since by the Bach-Lanczos formula

E_{4} (W) = 0

in four dimensions. It would be interesting to understand the behavior of the

K_{2 ℓ} (W)

under an arbitrary variation of the metric.

Proof. Define

\begin{matrix} F_{h} (ℜ) & ((X, Y) (Z, W)) & = h (R (X, Y) Z, W) - h (R (X, Y) W, Z) + h (R (Z, W) X, Y) - h (R (Z, W), Y, X) . \end{matrix}

Lemma 4.1 of [21] establishes

ℜ^{'} (h) = - \frac{1}{4} (D \tilde{D} + \tilde{D} D) (h) + \frac{1}{4} F_{h} (ℜ),

for some differential operators

D, \tilde{D}

. Simple manipulations using that the metrics

g_{s}

all have the same scalar curvature yield

\begin{matrix} \begin{matrix} W^{'} (h) & = ℜ^{'} (h) - \frac{s}{2 m (m - 1)} {(g^{2})}^{'} (h) & = - \frac{1}{4} (D \tilde{D} + \tilde{D} D) (h) + \frac{1}{4} F_{h} (ℜ) - \frac{2 s}{2 m (m - 1)} (g \cdot h) & = - \frac{1}{4} (D \tilde{D} + \tilde{D} D) (h) + \frac{1}{4} F_{h} (W) - \frac{s}{2 m (m - 1)} (g \cdot h) \end{matrix} \end{matrix}

(5.14)

Labbi's computations in the proof of Lemma 4.2 of [21] go through with

ℜ

replaced with

W

and

ℜ^{'} (h)

replaced by 5.14 because, on Einstein manifolds, Weyl curvature satisfies the second Bianchi identity. This gives

\begin{matrix} \begin{matrix} {(k_{2 ℓ} (W))}^{'} (h) & = - \frac{1}{2} 〈 \frac{C^{2 ℓ - 1} W^{ℓ}}{(2 ℓ - 1)! (ℓ!)}, h 〉 - (\frac{s_{g}}{2 m (m - 1)}) (m - 2 ℓ + 1) 〈 E_{2 (ℓ - 1)} (W), h 〉 & + \frac{(- 1)^{m}}{4} (δ \tilde{δ} + \tilde{δ} δ) (* (\frac{g^{m - 2 ℓ} \cdot W^{ℓ - 1}}{(m - 2 ℓ)! (ℓ - 1)!} \cdot h)) . \end{matrix} \end{matrix}

(5.15)

Consider the renormalized integral of the last term in equation 5.15 ,

\begin{matrix} {FP}_{z = 0} \int_{M} x^{z} (- 1)^{m} (δ \tilde{δ} + \tilde{δ} δ) (* (g^{m - 2 ℓ} \cdot W^{ℓ - 1} \cdot h)) & = 2 {FP}_{z = 0} \int_{M} z x^{z} 〈 ℐ ℐ, * (g^{m - 2 ℓ} \cdot W^{ℓ - 1} \cdot h) 〉 & = 2 Res [〈 ℐ ℐ, * (g^{m - 2 ℓ} \cdot W^{ℓ - 1} \cdot h) 〉] . \end{matrix}

So this term produces residues, and we need to find the

x^{m - 1}

term in the expansions. We revisit Lemma 3.1 and ascertain that

{〈 R (X_{i}, X_{j}) X_{k}, X_{ℓ} 〉}_{g}^{(0)} = {[γ_{i k}^{m} γ_{j ℓ}^{m} - γ_{j k}^{m} γ_{i ℓ}^{m}]}^{(0)},

and

{〈 R (X_{i}, X_{j}) X_{k}, X_{ℓ} 〉}_{g}^{(m - 1)} = {[γ_{i k}^{m} γ_{j ℓ}^{m} - γ_{j k}^{m} γ_{i ℓ}^{m}]}^{(m - 1)} .

Thus the coefficients of

W

computed in this frame have no constant term, and the residue vanishes if

ℓ > 2

. To compute the residue for

ℓ = 2

, denote the double form corresponding to

g^{(0)}

g_{0}

and similarly

g_{m - 1}

. Note that replacing the coefficients of

ℐ ℐ

by their

0

-th order part produces the double form

g_{0}

and replacing the coefficients of

W

by their

(m - 1)

-th order part produces the double form

g_{0} \cdot (- \frac{m - 1}{2} g_{m - 1}) .

We can use the following formulas from [20]

〈 ω, * η 〉 = 〈 * ω, η 〉, 〈 g \cdot ω, η 〉 = 〈 ω, C η 〉, * \frac{g^{k}}{k!} = \frac{g^{m - k}}{(m - k)!}, and C^{k} (\frac{g^{ℓ}}{ℓ!}) = \frac{(m - ℓ + k)!}{(m - ℓ)!} \frac{g^{(ℓ - k)}}{(ℓ - k)!},

to see that

\begin{matrix} \begin{matrix} \frac{1}{2} Res & [〈 ℐ ℐ, * (\frac{g^{m - 4} \cdot W}{(m - 4)!} \cdot h) 〉] = - \frac{m - 1}{4 (m - 4)!} \int_{\partial M} 〈 g_{0}, * (g_{0}^{m - 4} \cdot g_{0} \cdot g_{m - 1} \cdot h_{0}) 〉 & = - \frac{m - 1}{4 (m - 4)!} \int_{\partial M} 〈 (m - 3)! \frac{g^{2}}{2}, g_{m - 1} \cdot h_{0} 〉 & = - \frac{(m - 1) (m - 3)}{4} \int_{\partial M} [({tr}_{g^{(0)}} g^{(m - 1)}) ({tr}_{g^{(0)}} h^{(0)}) - {〈 g^{(m - 1)}, h^{(0)} 〉}_{g^{(0)}}] & = \frac{(m - 1) (m - 3)}{4} \int_{\partial M} {〈 g^{(m - 1)}, h^{(0)} 〉}_{g^{(0)}} . \end{matrix} \end{matrix}

(5.16)

Putting these observations together, we see that the variation of the

ℓ

-th renormalized volume of tube invariant evaluated in the Weyl curvature

K_{2 ℓ} (W) =^{R} \int \frac{C^{2 ℓ} (W^{ℓ})}{(2 ℓ)! ℓ!} dvol

is given by

\begin{matrix} {(K_{2 ℓ} (W))}^{'} (h) & = {FP}_{z = 0} \int_{M} z x^{z} \dot{ω} k_{2 ℓ} dvol + {FP}_{z = 0} \int_{M} x^{z} {\dot{k}}_{2 ℓ} dvol + {FP}_{z = 0} \int_{M} x^{z} k_{2 ℓ} (\frac{1}{2} t r_{g} h) dvol & = {FP}_{z = 0} \int_{M} x^{z} [\frac{〈 E_{2 ℓ} (W), h 〉}{2} - (\frac{s_{g}}{2 m (m - 1)}) (m - 2 ℓ + 1) 〈 E_{2 ℓ - 2} (W), h 〉] dvol & + Res (\dot{ω} k_{2 ℓ}) + \frac{1}{2} Res [〈 ℐ ℐ, * (\frac{g^{m - 2 ℓ} \cdot W^{ℓ - 1}}{(m - 2 ℓ)! (ℓ - 1)!} \cdot h) 〉] . \end{matrix}

The second residue has been computed above for

ℓ = 2

and vanishes otherwise. For the first residue, we know that

W = x^{2} \bar{W}

(e.g., [19] ) hence neither

\dot{ω}

nor

k_{2 ℓ} (W)

have a constant term, and their product does not have an

x^{m - 1}

term in its expansion, so that residue also vanishes. This establishes part (a) of the proposition.

Using the expression in Lemma 4.4 for the Pfaffian of an Einstein metric, its variation can be read off from part (a) of the proposition and the variation of the volume in Theorem 5.4 . The interior integrals telescope

\begin{matrix} \frac{1}{(2 π)^{m / 2}} & ^{R} \int \sum_{k = 0}^{m / 2 - 2} \frac{(2 k)!}{k!} {\tilde{s}}^{k} (\frac{〈 E_{m - 2 k} (W), h 〉}{2} - \tilde{s} (2 k + 1) 〈 E_{m - 2 k - 2} (W), h 〉) & = \frac{1}{(2 π)^{m / 2}} & ^{R} \int \sum_{k = 0}^{m / 2 - 2} \frac{(2 k)!}{k!} {\tilde{s}}^{k} (\frac{〈 E_{m - 2 k} (W), h 〉}{2} - \tilde{s} \frac{(2 k + 1) (2 k + 2)}{(k + 1)} \frac{〈 E_{m - 2 k - 2} (W), h 〉}{2}), \end{matrix}

where we have abbreviated the scalar curvature factor to

\tilde{s}

. We are left only the

〈 E_{m} (W), h 〉

term, which is zero by Lemma 5.5 . There are two terms with residues, one coming from the volume and the other from

ℓ = 2

. The corresponding summands in the formula for the Pfaffian (in Lemma 4.4 ) are

\frac{m!}{(\frac{m}{2})!} \frac{(- 1)^{\frac{m}{2}}}{2^{\frac{m}{2}}} [1 + \frac{k_{4}}{(m - 1) (m - 3)}],

so from 5.16 and Theorem 5.4 , we see that these residues cancel each other out. □

References

Albin, P. The Gauss-Bonnet theorem and Index theory on conformally compact manifolds. Ph.D. Dissertation, Stanford University, in preparation.
Anderson, M. T. $L^{2}$ curvature and volume renormalization of AHE metrics on 4-manifolds. Math. Res. Lett. 8 (2001), no. 1-2, 171–188.
Anderson, M. T. Some results on the structure of conformally compact Einstein metrics. preprint, 2005. Available online at arXiv:math.DG/0402198.
Anderson, M. T. Topics in conformally compact Einstein metrics. preprint, 2005. Available online at arXiv:math.DG/0503243.
Avez, A. Characteristic classes and Weyl tensor: Applications to general relativity. Proc. Nat. Acad. Sci. U.S.A. 66 1970 265–268.
Besse, A. L. Einstein manifolds. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 10. Springer-Verlag, Berlin, 1987. xii+510 pp. ISBN: 3-540-15279-2
Biquard, O. Métriques d'Einstein asymptotiquement symétriques. Astérisque No. 265 (2000), vi+109 pp.
Chang, S. Y. A.; Qing, J.; Yang, P. On the Renormalized Volumes for Conformally Compact Einstein Manifolds. Vienna, preprint ESI 1513 (2004), available at www.esi.ac.at/preprints/ESI-Preprints.html.
Cheeger, J.; Muller, W.; Schrader, R. Kinematic and tube formulas for piecewise linear spaces. Indiana Univ. Math. J. 35 (1986), no. 4, 737–754.
Chern, S. S. On the curvatura integra in a Riemannian manifold. Ann. of Math. (2) 46, (1945). 674–684.
Donnelly, H. Heat equation and the volume of tubes. Invent. Math. 29 (1975), no. 3, 239–243.
Fefferman, C.; Graham, C. R. $Q$ -curvature and Poincaré metrics. Math. Res. Lett. 9 (2002), no. 2-3, 139–151.
Graham, C. R. Volume and area renormalizations for conformally compact Einstein metrics. The Proceedings of the 19th Winter School ”Geometry and Physics” (Srni, 1999). Rend. Circ. Mat. Palermo (2) Suppl. No. 63 (2000), 31–42.
Graham, C. R.; Lee, J. M. Einstein metrics with prescribed conformal infinity on the ball. Adv. Math. 87 (1991), no. 2, 186–225.
Graham, C. R.; Hirachi, K. The Ambient Obstruction Tensor and Q-Curvature. to appear in a proceeding volume, available online at arXiv:math.DG/0405068.
Graham, C. R.; Witten, E. Conformal anomaly of submanifold observables in AdS/CFT correspondence. Nuclear Phys. B 546 (1999), no. 1-2, 52–64.
Gray, A. Tubes. Second edition. Progress in Mathematics, 221. Birkhuser Verlag, Basel, 2004. xiv+280 pp. ISBN: 3-7643-6907-8
Guillarmou, C. Meromorphic properties of the resolvent on asymptotically hyperbolic manifolds. to appear in Duke Math. J., available online at arXiv:math.SP/0311424.
Kulkarni, R. S. On the Bianchi Identities. Math. Ann. 199 (1972), 175–204.
Labbi, M. L. Double forms, curvature structures and the $(p, q)$ -curvatures. preprint, 2004, available online at arXiv:math.DG/0404081.
Labbi, M. L. On a variational formula for the H. Weyl curvature invariants. preprint, 2004, available online at arXiv:math.DG/0406548.
Lee, J. M. Fredholm operators and Einstein metrics on conformally compact manifolds. preprint, 2001, available online at arXiv:math.DG/0105046.
Lovelock, D. The Einstein tensor and its generalizations. J. Mathematical Phys. 12 1971 498–501.
Mazzeo, R. The Hodge cohomology of a conformally compact metric. J. Differential Geom. 28 (1988), no. 2, 309–339.
Mazzeo, R. Elliptic theory of differential edge operators. I. Comm. Partial Differential Equations 16 (1991), no. 10, 1615–1664.
Mazzeo, R. R.; Melrose, R. B. Meromorphic extension of the resolvent on complete spaces with asymptotically constant negative curvature. J. Funct. Anal. 75 (1987), no. 2, 260–310.
Mazzeo, R. R.; Pacard, F. Maskit combinations of Poincaré-Einstein metrics. preprint, 2002, available online at arXiv:math.DG/0211099.
Melrose, R. B. The Atiyah-Patodi-Singer index theorem. Research Notes in Mathematics, 4. A K Peters, Ltd., Wellesley, MA, 1993. xiv+377 pp. ISBN 1-56881-002-4
Melrose, R. B.; Nistor, V. Homology of pseudodifferential operators I. Manifolds with boundary. preprint, 1996, available online at arXiv:funct-an/9606005.
Padilla, A. Surface terms and the Gauss-Bonnet Hamiltonian. Classical Quantum Gravity 20 (2003), no. 14, 3129–3149.
Patterson, E. M. A class of critical Riemannian metrics. J. London Math. Soc. (2) 23 (1981), no. 2, 349–358.
Patterson, S. J.; Perry, P. A. The divisor of Selberg's zeta function for Kleinian groups. Appendix A by Charles Epstein. Duke Math. J. 106 (2001), no. 2, 321–390.
Paycha, S. From heat-operators to anomalies; a walk through various regularization techniques in mathematics and physics Emmy Noether Lectures delivered at the University of Goettingen, April-May 2003 (available online at http://wwwlma.univ-bpclermont.fr/ paycha/publications.html)
Witten, E. Anti de Sitter space and holography. Adv. Theor. Math. Phys. 2 (1998), 253-291, arXiv:hep-th/9802150.

Department of Mathematics, Stanford University E-mail address : pierre@math.stanford.edu

April 5, 2005

Pierre Albin