Maximal analytic extensions of the Emparan-Reall black ring P. Chrusciel and J.

Cortier
REPORT No. 15, 2008/2009, fall ISSN 1103-467X ISRN IML-R- -15-08/09- -SE+fall

Maximal analytic extensions of the Emparan-Reall black ring

Piotr T. Chruciel s LMPT, Fdration Denis Poisson, Tours e e Mathematical Institute and Hertford College, Oxford Julien Cortier Institut de Mathmatiques et de Modlisation de Montpellier e e Universit Montpellier 2 e December 23, 2008

Abstract We construct a Kruskal-Szekeres-type analytic extension of the EmparanReall black rings, and investigate its geometry. We prove that the extension is maximal, globally hyperbolic, and unique within a natural class of extensions. The key to those results is the proof that causal geodesics are either complete, or approach a singular boundary in nite ane time.

Contents
1 Introduction 2 The Emparan-Reall space-time 3 The extension 4 Global structure 4.1 The event horizon has S 2 S 1 R 4.2 Inextendibility at z = F . . . . . . 4.3 Maximality . . . . . . . . . . . . . 4.4 Global hyperbolicity . . . . . . . . 4.5 I . . . . . . . . . . . . . . . . . . 4.6 Uniqueness? . . . . . . . . . . . . . 4.6.1 Distinct extensions . . . . . 4.6.2 A uniqueness theorem . . . 2 2 3 7 7 8 9 10 12 14 14 15

topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

The authors are grateful to the Mittag-Leer Institute, Djursholm, Sweden, for hospitality and nancial support during a signicant part of work on this paper.

1 INTRODUCTION

2 19 from the . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 22 22 22 29 31

5 Geodesics 5.1 Geodesics in the domain of outer communications away horizon . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2 Geodesics in the region {F < z < 3 } . . . . . . . . . 5.2.1 Timelike geodesic incompleteness . . . . . . . . 5.2.2 Uniform bounds . . . . . . . . . . . . . . . . . 5.3 Geodesics in the region {3 < z 23 } . . . . . . . . . 5.4 The Killing horizon . . . . . . . . . . . . . . . . . . . .

Introduction

The Emparan-Reall [13] metrics form a remarkable class of vacuum black hole solutions of Einstein equations in dimension 4 + 1. Some aspects of their global properties have been studied in [13], where it was shown that the solution contains a Killing horizon with S 2 S 1 R topology. The aim of this work is to point out that the event horizon coincides with the Killing horizon, and therefore also has this topology; and to construct an analytic extension with a bifurcate Killing horizon; and to establish some global properties of the extended space-time. The extension resembles closely the Kruskal-Szekeres extension of the Schwarzschild space-time, with a bifurcate Killing horizon, a black hole singularity, a white hole singularity, and two asymptotically at regions. We show that causal geodesics in the extended space-time are either complete or reach a singularity in nite time. This implies maximality of our extension. We also show global hyperbolicity, present families of alternative extensions, establish uniqueness of our extension within a natural class, and verify existence of a conformal completion at null innity.

The Emparan-Reall space-time

2

In local coordinates the Emparan-Reall metric can be written in the form g= F (x) F (z) dt + 1 z d F A + F (z) F (x) A2 (x z)2 +F (z) where A > 0, et F are constants, and , F G() = 3 2 + 1 = ( 1 )( 2 )( 3 ) , F () = 1 (2.2) (2.3) dz 2 G(z) 2 + d G(z) F (z) , (2.1)

G(x) 2 dx2 + d G(x) F (x)

are polynomials, with chosen so that 1 < 0 < 2 < 3 ). The study of the coordinate singularities at x = 1 and x = 2 leads to the determination of F as: 2 1 2 3 F = (2 , 3 ) . (2.4) 1 + 2 23

3 THE EXTENSION

Emparan and Reall have established the asymptotically at character of (2.1), as well as existence of an analytic extension across an analytic Killing horizon1 at z = 3 . The extension given in [13] is somewhat similar of the extension of the Schwarzschild metric that one obtains by going to Eddington-Finkelstein coordinates, and is not maximal. Now, existence of an analytic extension with a bifurcate horizon, a la Kruskal-Szekeres, is guaranteed from this by an analytic ` version of the analysis of Rcz and Wald in [21]. But the global properties of a an extension so constructed are not clear. It is therefore of interest to present an explicit extension with good properties. This extension is constructed in Section 3, and its global properties are studied in the remaining sections. As in [13] we assume throughout that 1 x 2 . (2.5)

As discussed in [13], the extremities correspond to a north and south pole of S 2 , with a function dened by d = dx/ G(x) providing a latitude on S 2 , except for the limit x z 0, x 1 , which corresponds to an asymptotically at region, see [13]; a detailed proof of asymptotic atness can be found in [10]. The surface {z = } can be identied with {z = } by introducing a coordinate Y = 1/z, with the metric extending analytically across {Y = 0}, see [13] for details. We will denote by (MIII , g) the space-time constructed by Emparan and Reall, as outlined above, where the coordinate z runs then over (F , ] [, 1 ]. We will denote by (MI , g) the subset of (MIII , g) in which the coordinate z runs over (3 , ] [, 1 ]; see Figure 3.1. Strictly speaking, in the denitions of (MIII , g) and (MI , g) we should have used dierent symbols for the metric g; we hope that this will not lead to confusions.

The extension

We start by working in the range z (3 , ); there we dene new coordinates w, v by the formulae bdz dv = dt + , (3.1) (z 3 )(z 0 ) dw = dt bdz , (z 3 )(z 0 ) (3.2)

where b and 0 are constants to be chosen shortly. (Our coordinates v and w are closely related to, but not identical, to the coordinates v and w used in [13] when extending the metric through the Killing horizon z = 3 ). Similarly to the construction of the extension of the Kerr metric in [4, 5], we dene a new angular coordinate by: d = d adt , (3.3)
1

We follow the terminology of [11].

3 THE EXTENSION

where a is a constant to be chosen later. Let := Using (3.1)(3.3), we obtain 1 dt = (dv + dw) , 2 (z 3 )(z 0 ) dz = (dv dw) , 2b
=:H(z)/2

1 A

. F

(3.4)

(3.5) (3.6)

a d = d + (dv + dw) , 2 which leads to gvv = gww = gvw = F (x) 1 + a(1 z) 4F (z)
2 2

(3.7)

F (x)F (z) 4A2 (x z)2

F (x) 1 + a(1 z) 4F (z)

gv = gw =

F (x) F (x)G(z)a (1 z) 1 + a(1 z) , 2F (z) 2A2 (x z)2 F (x) 2 F (x)G(z) (1 z)2 2 . F (z) A (x z)2

F (x)F (z) 4A2 (x z)2

a2 G(z) H 2 (z) + , F (z) G(z) (3.8) a2 G(z) H 2 (z) , (3.9) F (z) G(z) (3.10) (3.11)

g =

The Jacobian of the coordinate transformation is

(w, v, , x, ) v 2b =2 = . (t, z, , x, ) z (z 2 )(z 3 ) In the original coordinates (t, z, , x, ) the determinant of g was det(g(t,z,,x,) ) = so that in the new coordinates it reads det(g(w,v,,x,) ) = F 2 (x)F 4 (z)(z 2 )2 (z 3 )2 . 4A8 b2 (x z)8 (3.13) F 2 (x)F 4 (z) , A8 (x z)8 (3.12)

This last expression is negative on (F , ) \ {3 }, and has a second order zero at z = 3 . In order to remove this degeneracy one introduces v = exp(cv) , w = exp(cw) , (3.14)

where c is some constant to be chosen. Hence we have d = cdv , v v dw = cwdw , (3.15)

3 THE EXTENSION and the determinant in the coordinates (w, v , , x, ) reads det(g(w,,,x,) ) = v F 2 (x)F 4 (z)(z 2 )2 (z 3 )2 . 4A8 b2 (x z)8 c4 v 2 w2 1 dz (z 2 )(z 3 )

(3.16)

But one has v 2 w2 = exp(2c(v w)), so that v 2 w2 = = exp 4cb exp

4cb (ln(z 3 ) ln(z 2 )) (3 2 )

(3.17)

We obtain

Taking into account (3.17), and the determinant (3.16), we choose the constant c to satisfy: 2cb =1. (3.18) (3 2 ) vw = z 3 , z 2 (3.19)

and det(g(w,,,x,)) = v

With this choice, the determinant of g in the (w, v , , x, ) coordinates extends to a strictly negative analytic function on {z (F , )}. In fact, z as an analytic function of v w on {w = 1} (that last set corresponds to z = v Y = 0, we will return to this shortly): z= 3 + 2 v w . 1 + vw (3.21)

F 2 (x)F 4 (z)(z 2 )4 . 4A8 b2 (x z)8 c4

(3.20)

In the (w, v , , x, ) coordinates, one obtains the coecients of the metric from (3.15) using 1 1 gvv = 2 2 gvv , gww = 2 2 gww , c v c w 1 1 1 gvw = 2 gvw , gv = gv , gw = gw . (3.22) c vw c v cw In order to show that the coecients of the metric are analytic on the set w, v | z(w) > F v it is convenient to write gvv = gvw = gvw c2 v w 1 1 c2 v 2 w2 , w2 gvv , gww = 1 c2 v 2 w2 v 2 gww , = w, v | 1 < v w < 3 F F 2 (3.23)

1 1 wgv , gw = vg . (3.24) cw v cw w v Hence, to make sure that all the coecients of metric are well behaved at {w, v R | z = 3 } (i.e. v = 0 or w = 0), it suces to check that there is a gv =

3 THE EXTENSION

multiplicative factor (z 3 )2 in gvv = gww , as well as a multiplicative factor (z 3 ) in gvw and in gv = gw . In view of (3.8)(3.11), one can see that this will be the case if , rst, a is chosen so that 1 + a(1 z) = a(3 z), that is a= 1 , (3 1 ) (3.25)

and then, if 0 and b and chosen such that 0 = (3 0 )2 a2 F (3 1 )(3 2 ) + 2 . 3 F b (3 1 )(3 2 ) b2 = (3 F ) . 2 F (3 1 ) (3.26)

With the choice 0 = 2 , (3.26) will hold if we set 2 a2 (3.27)

So far we have been focussing on the region z (F , ), which overlaps only with part of the manifold {z (3 , ] [, 1 ]}. A well behaved coordinate on that last region is Y = 1/z. This allows one to go smoothly through Y = 0 in (3.19): 1 + vw 1 + 3 Y Y = . (3.28) vw = 1 + 2 Y 3 + 2 v w In other words, v w extends analytically to the region of interest, 0 Y 1/1 (and in fact beyond, but this is irrelevant to us). Similarly, the determinant det(g(w,,,x,) ) extends analytically across Y = 0, being the ratio of two polyv nomials of order eight in z (equivalently, in Y ), with limit det(g(w,,,x,)) z v F 2 (x) 4 . 4A8 b2 c4 F (3.29)

We conclude that the construction so far produces an analytic Lorentzian metric on the set 3 1 3 F := w, v | vw < 2 1 F 2
1 2 S S(x,) ,

(3.30)

Here a subscript on S k points to the names of the corresponding local variables. The map (w, v , , x, ) (w, , , x, ) v

(3.31)

is an orientation-preserving analytic isometry of the analytically extended met ric on . It follows that the manifold M obtained by gluing together and two isometric copies of (MI , g) can be equipped with the obvious Lorentzian metric, still be denoted by g, which is furthermore analytic. The second copy of (MI , g) will be denoted by (MIII , g); compare Figure 3.1. The reader should keep in mind the polar character of the coordinates around the relevant axes of rotation, and the special character of the point at innity z = 1 = x.

4 GLOBAL STRUCTURE
z = F
+ IIII

MII MIII MI

II+

IIII

MIV z = F

II

z = 3

Figure 3.1: M with its various subsets. For example, MIII is the union of MI and of MII and of that part of {z = 3 } which lies in the intersection of their closures; this is the manifold constructed in [13]. Very roughly speaking, the various I s correspond to x = z = 1 . It should be stressed that this is neither a conformal diagram, nor is the space-time a product of the gure times S 2 S 1 : MI cannot be the product of the depicted diamond with S 2 S 1 , as this product is not simply connected, while MI is. But the diagram represents accurately the causal relations between the various MN s, as well as the geometry near the bifurcate horizon z = F , as the manifold does have a product structure there.

4
4.1

Global structure
The event horizon has S 2 S 1 R topology

As shortly reviewed in Section 2, it is shown in [13] how to extend the metric (2.1) across E := {z = 3 } to an analytic metric on MIII . Further, we have shown in Section 3 how to extend g to an analytic metric on M . Now, g(z, z) = gzz = A2 (x z)2 G(z) F (x)F (z) (4.1)

in the region {z > 3 }, and by analyticity this equation remains valid on {z > F }. Equation (4.1) shows that E is a null hypersurface, with z being a time function on {F < z < 3 }. The usual choice of time orientation implies that z is strictly decreasing along future directed causal curves in the region { > 0 , w > v 0}, and strictly increasing along such curves in the region { < 0 , w < 0}. In v particular no causal future directed curve can leave the region { > 0 , w > 0}. v Hence the space-time contains a black hole region. However, it is not clear that E is the event horizon within the Emparan-Reall space-time (MIII , g), because the actual event horizon could be enclosing the region z < 3 . To show that this is not the case, consider the area function, dened as the determinant, say W , of the matrix g(Ki , Kj ) ,

4 GLOBAL STRUCTURE

where the Ki s, i = 1, 2, 3, are the Killing vectors equal to t , , and in the asymptotically at region. In the original coordinates of (2.1) this equals F (x)G(x)F (z)G(z) . A4 (x z)4 (4.2)

Analyticity implies that this formula is valid throughout MIII , as well as M . Now, F (z)G(z) = (F z)(z 1 )(z 2 )(z 3 ) , F and, in view of the range (2.5) of the variable x, the sign of (4.2) depends only upon the values of z. Since F (z)G(z) behaves as z 4 /F for large z, W is negative both for z < 1 and for z > 3 . Hence, at each point p of those two regions the set of vectors in Tp M spanned by the Killing vectors is timelike. So, suppose for contradiction, that the event horizon H intersects the region {z (3 , ]} {z [, 1 )}; here z = should be understood as Y = 0, as already mentioned in the introduction. Since H is a null hypersurface invariant under isometries, every Killing vector is tangent to H . However, at each point at which W is negative there exists a linear combination of the Killing vectors which is timelike. This gives a contradiction because no timelike vectors are tangent to a null hypersurface. We conclude that {z = 3 } forms indeed the event horizon in the space-time (MIII , g) (as dened at the end of Section 2), with topology R S 1 S 2 . The argument just given also shows that the domain of outer communications within (MI , g) coincides with (MI , g). Similarly, one nds that the domain of outer communications within (M , g), or that within (MIII , g), associated with an asymptotic region lying in (MI , g), is (MI , g). The boundary of the d.o.c. in (M , g) is a subset of the set {z = 3 }, which can be found by inspection of Figure 3.1.

4.2

Inextendibility at z = F

The obvious place where (M , g) could be enlarged is at z = F . To show that no extension is possible there, consider2 the norm of the Killing vector eld t : g(t , t ) = F (x) F <zF (recall that F (x) 1 F (z)
2 F

> 0).

(4.3)

Suppose, for contradiction, that there exists a C 2 extension of the metric through {z = F }. Recall that any Killing vector eld X satises the set of equations X = R X . (4.4) But the overdetermined set of linear equations (4.4) together with existence of a C 2 extension implies that t extends, in C 2 , to {z = F }, contradicting (4.3). An alternative way, demanding somewhat more work, of proving that the Emparan-Reall metric is C 2 inextendible across {z = F }, is to notice that
This inextendibility criterion has been introduced in [2] (see the second part of Proposition 5, p. 139 there).
2

4 GLOBAL STRUCTURE

R R is unbounded along any curve along which z approaches F . This has been pointed out to us by Harvey Reall (private communication), and has been further veried by Alfonso Garcia-Parrado and Jos Mar Mart Garc e a n a using the symbolic algebra package xAct [17]: R R =
4 12A4 F G(F )2 (x z)4 (1 + O(z F )) . (F x)2 (z F )6

(4.5)

We are grateful to Alfonso and Jos Mar for carrying out the calculation. e a

4.3

Maximality

Let k R {} {}. The (n + 1)dimensional space-time (M , g) is said to be a C k extension of an (n + 1)dimensional space-time (M , g) if there exists a C k immersion : M M such that g = g, and such that (M ) = M . A space-time (M , g) is said to be C k -maximal, or C k -inextendible, if no C k extensions of (M , g) exist. A scalar invariant is a function which can be calculated using the geometric objects at hand and which is invariant under isometries. For instance, a function g which can be calculated in local coordinates from the metric g and its derivatives will be a scalar invariant if, for any local dieomorphism we have g (p) = g ( 1 (p)) . (4.6)

In the application of our Theorem 4.6 below to the Emparan-Reall space-time one can use the scalar invariant g(X, X), calculated using a metric g and a Killing vector X. In this case the invariance property (4.6) reads instead g,X (p) = g,(1 ) X ( 1 (p)) . (4.7)

A scalar invariant f on (M , g) will be called a C k compatibility scalar if f satises the following property: For every C k extension (M , g) of (M , g) and for any bounded timelike geodesic segment in M such that () accumulates at the boundary ((M )) (where is the immersion map : M M ), the function f is bounded along . An example of a C 2 compatibility scalar is the Kretschmann scalar R R . As explained in Section 4.2, another example is provided by the norm g(X, X) of a Killing vector X of g. Any constant function is a compatibility scalar in this terminology, albeit not very useful in practice. We shall need the following generalisation of a maximality criterion of [7, Appendix C]:3 Proposition 4.1 Suppose that every geodesic in (M , g) is either complete, or some C k compatibility scalar is unbounded on . Then (M , g) is C k -inextendible. Proof: Suppose that there exists a C k extension (M , g) of (M , g), with immersion : M M . We identify M with its image (M ) in M .
3

JC acknowledges useful discussions with M. Herzlich concerning the problem at hand.

4 GLOBAL STRUCTURE

10

Let p M and let O be a globally hyperbolic neighborhood of p. Let qn M be a sequence of points approaching p, thus qn O for n large enough. Suppose, rst, that there exists n such that qn I + (p) I (p). By global hyperbolicity of O there exists a timelike geodesic segment from qn to p. Then the part of which lies within M is inextendible and has nite ane length. Furthermore every C k compatibility scalar is bounded on . But there are no such geodesics through qn by hypothesis. We conclude that (I + (p) I (p)) M = . (4.8)

Let q (I + (p) I (p)) O, thus q M by (4.8). Since I + (q) I (q) is open, and p I + (q) I (q), we have qn I + (q) I (q) for all n suciently large, say n n0 . Let be a timelike geodesic segment from qn0 to q. Since q is not in M , the part of that lies within M is inextendible within M and has nite ane length, with all C k compatibility scalars bounded. This is again incompatible with our hypotheses, and the result is established. 2 In Section 5 below (see Theorem 5.1) we show that all maximally extended causal geodesics of our extension (M , g) of the Emparan-Reall space-time are either complete, or reach the singular boundary {z = F } in nite ane time. This, together with Section 4.2 and Proposition 4.1 gives: Theorem 4.2 (M , g) is maximal within the class of C 2 Lorentzian manifolds.

4.4

Global hyperbolicity

In this section we show that (M , g) is globally hyperbolic. We shall need the following standard fact (see, e.g., [19, Lemma 13, p.408]): Lemma 4.3 Let be a maximally extended causal curve in a strongly causal space-time (M , g) meeting a compact set K. Then eventually leaves K, never to return, both to the future and to the past. Recall that in the region MI , the time-coordinate t is a time-function since t is timelike; hence t > 0 along any future-directed causal curve. In terms of the coordinates of Section 3 we have: t= 1 v ln 2c w . (4.9)

Letting v and w be the global coordinates of Section 3, we dene the hypersur face S := { + w = 0} . v (4.10) (Thus, S extends smoothly the hypersurface {t = 0} MI , across the bifurcation surface {w = v = 0}, to its image in MIII under the map (3.31).) The hypersurface S is spacelike, and we wish to show that it is Cauchy. We start by noting that it is achronal: Indeed, on MI the function t, as well as its mirror counterpart on MIII , are time functions on MI MIII , so any connected causal curve through those regions can meet S at most once. Next, since z

4 GLOBAL STRUCTURE

11

is a time function on MII MIV , any causal curve entering MII MIV from MI MIII cannot leave MII MIV , and therefore cannot intersect again. A similar argument applies to those causal curves which enter MII from MIV , or vice-versa, and achronality follows. So, from [15, Property 6], since S is closed, spacelike, and achronal, it suces to prove that every inextendible null geodesic in M intersects S . For this, let be such a geodesic, say future-directed. Suppose, rst, that (0) MI ; the argument in MIII follows from isometry invariance. Choose > 0 suciently small so that the set K , dened using the coordinates v , w of Section 3, K := v , w , v w 3 1 + S1 S2 , 2 1 (4.11)

contains (0) (see Figure 4.1). Suppose, moreover, that t((0)) > 0. Since K is

1111111 0000000 1111111 0000000 1111111 w = 1 0000000 1111111 0000000

K1

v = 1

v v /w = v (s1 )/w(s1 )

v = w

Figure 4.1: The set K1 . Here w and v are the global coordinates of Section 3. compact, and (MI , g) is strongly causal (as it has a time function), Lemma 4.3 implies that must leave K , and never reenter, except perhaps after exiting from (MI , g) and returning again. But we have already seen that cannot return to MI once it exited, so will indeed eventually never reenter K . Choose any sequence i tending to zero, then there exists a decreasing sequence si such that leaves Ki at (si ), and never renters. Now, the ratio /w is a time function on MI , and therefore increasing v along to the future, and decreasing to the past. If crosses the hypersurface {/w = 1} we are done. So suppose that does not. Then: v 1. Either (s1 ) denitively leaves K1 through that part of the boundary K1 on which w = 1 . Then remains in the tiled yellow triangle in Figure 4.1 until it leaves MI , and thus all subsequent denitive exit points (si ) Ki lie on w = i . So w(si ) 0 and v (si ) 0. The argument around equation (5.66) below shows that w(s) 0 and v (s) 0 in

4 GLOBAL STRUCTURE

12

nite time. By the analysis of Section 5, smoothly extends through { = w = 0}. But this is impossible since is null, while the only null v geodesics meeting { = w = 0} are the generators of the Killing horizon, v entirely contained within { = w = 0}. v 2. Or (s1 ) denitively leaves K1 through that part of the boundary K1 on which 3 1 w = v + 1 . 2 1

This implies that z(s) 1 . We need to consider two cases:

From what has been said, all subsequent denitive exit points take place on 3 1 w = v + i . 2 1

Suppose, rst, that the constant of motion c vanishes. Then ct = 0 is not possible by (5.12) (recall that = 0), while from (5.7) F (1 ) t(s) approaches ct , F (x(s)) (4.12)

which is strictly bounded away from zero. So t is positive and uniformly bounded away from zero suciently far to the past. This, together with Theorem 5.6, shows that crosses { = w} S , which contradicts our v assumption. It remains to consider the possibility that c = 0. Equation (5.12) implies that x(s) 1 . Hence enters, and remains, within the asymptotically v at region. There is forced to cross { = 1} by arguments known in w principle, contradicting again our assumption. 2 We conclude that s intersecting MI or MIII , with t((0)) > 0, meet S when followed to the past. The proof that future directed causal geodesics intersecting MI or MIII , with t((0)) < 0, meet S , is identical: one needs instead to follow to the future rather than to the past. Alternatively one can invoke the existence of isometries of those regions which map t to t. Suppose, nally, that (0) MII MIV . By Proposition 5.4, the null geodesic exits in nite time through the bifurcate horizon {w = 0}. If v exits through {w = v = 0} it intersects S there, and we are done; otherwise it enters MI MIII . But we have just seen that must then intersect S , and the proof is complete. 2

4.5

In this section we address the question of existence of conformal completions at null innity a la Penrose, for a class of higher dimensional stationary space` times that includes the Emparan-Reall metrics; see the Appendix in [12] for the 3 + 1 dimensional case.

4 GLOBAL STRUCTURE

13

We start by noting that any stationary asymptotically at space-time which is vacuum, or electro-vacuum, outside of a spatially compact set is necessarily asymptotically Schwarzschildian, in the sense that there exists a coordinate system in which the leading order terms of the metric have the Schwarzschild form, with the error terms falling-o one power of r faster: g = gm + O(r (n1) ) , (4.13)

where gm is the Schwarzschild metric of mass m, and the size of the decay of the error terms in (4.13) is measured in a manifestly asymptotically Minkowskian coordinate system. The proof of this fact is outlined briey in [1, Section 2]. In that last reference it is also shown that the remainder term has a full asymptotic expansion in terms of inverse powers of r in dimension 2k + 1, k 3, or in dimension 4 + 1 for static metrics. Otherwise, the remainder is known to have an asymptotic expansion in terms of inverse powers of r and of ln r, and whether or not there will be non-trivial logarithmic terms in the expansion is not known in general. In higher dimensions, the question of existence of a conformal completion at null innity is straightforward: We start by writing the (n + 1)dimensional Minkowski metric as = dt2 + dr 2 + r 2 h , (4.14)

where h is the round unit metric on an (n 2)-dimensional sphere. Replacing t by the standard retarded time u = t r, one is led to the following form of the metric g: g = du2 2du dr + r 2 h + O(r (n2) )dx dx , (4.15)

where the dx s are the manifestly Minkowskian coordinates (t, x1 , . . . , xn ) coordinates for . Setting x = 1/r in (4.15) one obtains g= 1 x2 du2 + 2du dx + h + O(xn4 )dy dy , x2 (4.16)

with correction terms in (4.16) which will extend smoothly to x = 0 in the coordinate system (y ) = (u, x, v A ), where the v A s are local coordinates on S n2 . For example, a term O(r 2 )dxi dxj in g will contribute a term O(r 2 )dr 2 = O(r 2 )x4 dx2 = x2 (O(1)dx2 ) , which is bounded up to x = 0 after a rescaling by x2 . The remaining terms in (4.16) are analyzed similarly. In dimension 4 + 1, care has to be taken to make sure that the correction terms do not aect the signature of the metric so extended; in higher dimension this is already apparent from (4.16). So, to construct a conformal completion at null innity for the Emparan Reall metric it suces to verify that the determinant of the conformally rescaled metric, when expressed in the coordinates described above, does not vanish at

4 GLOBAL STRUCTURE

14

x = 0. This is indeed the case, and can be seen by calculating the Jacobian of the map (t, z, , x, ) (u, x, v A ) ; the result can then be used to calculate the determinant of the metric in the new coordinates, making use of the formula for the determinant of the metric in the original coordinates. For a general stationary vacuum 4 + 1 dimensional metric one can always transform to the coordinates, alluded to above, in which the metric is manifestly Schwarzschildian in leading order. Instead of using (u = t r, x = 1/r) one can use coordinates (um , x = 1/r), where um is the corresponding null coordinate u for the 4 + 1 dimensional Schwarzschild metric. This will lead to a conformally rescaled metric with the correct signature on the conformal boundary. Note, however, that this transformation might introduce log terms in the metric, even if there were none to start with; this is why we did not use this above. In summary, whenever a stationary, vacuum, asymptotically at, (n + 1) dimensional metric, 4 = n 3, has an asymptotic expansion in terms of inverse powers of r, one is led to a smooth I . This is the case for any such metric in dimensions 3 + 1 or 2k + 1, k 3. In the remaining dimensions one always has polyhomogeneous conformal completion at null innity, with a conformally rescaled metric which is C n4 up-to-boundary. For the Emparan-Reall metric there exists a completion which has no logarithmic terms, and is thus C upto-boundary.

4.6
4.6.1

Uniqueness?
Distinct extensions

We start by noting that maximal analytic extensions of manifolds are not unique. The simplest counterexamples are as follows: remove a subset from a maximally extended manifold M so that M \ is not simply connected, and pass to the universal cover; extend maximally the space-time so obtained, if further needed. This provides a new maximal extension. Whether or not such constructions can be used to classify all maximal analytic extensions remains to be seen. One can likewise ask the question, whether it is true that (M , g) is unique within the class of simply connected analytic extensions of (MI , g) which are inextendible and globally hyperbolic. The following variation of the construction gives a negative answer, when inextendible is meant as inextendible within the class of globally hyperbolic manifolds: Let S be the Cauchy surface {t = 0} in M , as described in Section 4.4 (see (4.10)), and remove from S a closed subset so that S \ is not simply connected. Let S be a maximal analytic extension of the universal covering space of S \ , with the obvious Cauchy data inherited from S , and let (M , g) be the maximal globally hyperbolic development thereof. Then (M , g) is a globally hyperbolic analytic extension of (MI , g) which is maximal in the class of globally hyperbolic manifolds, and distinct from (M , g).

4 GLOBAL STRUCTURE

15

The examples just discussed will exhibit the following undesirable feature: existence of maximally extended geodesics of ane length near which the spacetime is locally extendible in the sense of [20]. This does not happen in (M , g). It turns out that there exists at least one more maximal extension of the Emparan-Reall space-time (MI , g) which does not suer from this local extendibility pathology. This results from a general construction which proceeds as follows: Consider any spacetime (M , g), and let MI be an open subset of M . Suppose that there exists an isometry of (M , g) satisfying: a) has no xed points; b) (MI ) MI = ; and c) 2 is the identity map. Then, by a) and c), M / equipped with the obvious metric (still denoted by g) is a Lorentzian manifold. Furthermore, by b), MI embeds dieomorphically into M / in the obvious way. It follows from the results in [18] that (M /, g) is analytic if (M , g) was (compare [8, Appendix A]). Keeping in mind that a space-time is time-oriented by denition, M / will be a space-time if and only if preserves time-orientation. If M is simply connected, then 1 (M /) = Z2 . As an example of this construction, consider the Kruskal-Szekeres extension (M , g) of the Schwarzschild space-time (MI , g); by the latter we mean a connected component of the set {r > 2m} within M . Let (T, X) the global coordinates on M as dened on p. 153 of [22]. Let : S 2 S 2 be the antipodal map. Consider the four isometries of the Kruskal-Szekeres space-time dened by the formula, for p S 2 , T, X, p = T, X, (p) . Set M := M / . Since ++ is the identity, M++ = M is the KruskalSzekeres manifold. Next, both M, are smooth maximal analytic Lorentzian extensions of (MI , g), but are not space-times. Finally, M+ is a maximal globally hyperbolic analytic extension of the Schwarzschild manifold distinct from M . This is the RP3 geon, discussed in [14]. Similar examples can be constructed for the black ring solution; we restrict attention to orientation, and time-orientation, preserving maps. So, let (M , g) be our extension, as constructed above, of the domain of outer communication (MI , g) within the Emparan-Reall space-time (MIII , g), and let : M M be dened as (, w, , x, ) = (w, v , + , x, ) . v (4.17) By inspection of (3.8)-(3.10) and (3.22), the map is an isometry, and clearly satises conditions a), b) and c) above. Then M / is a maximal, orientable, time-orientable, analytic extension of MI distinct from M . 4.6.2 A uniqueness theorem

Our aim in this section is to prove a uniqueness result for our extension (M , g) of the Emparan-Reall space-time (MI , g). The examples of the previous section show that the hypotheses are optimal:

4 GLOBAL STRUCTURE

16

Theorem 4.4 (M , g) is unique within the class of simply connected analytic extensions of (MI , g) which have the property that all maximally extended causal geodesics on which R R is bounded are complete. Uniqueness is understood up to isometry. Theorem 4.4 follows immediately from Theorem 4.6, which we are about to prove, and from our analysis of causal geodesics of (M , g) in Section 5 below, see Theorem 5.1 there. For the record we state the corresponding result for the Schwarzschild spacetime, with identical (but simpler, as in this case the geodesics are simpler to analyse) proof: Theorem 4.5 The Kruskal-Szekeres space-time is the unique extension, within the class of simply connected analytic extensions of the Schwarzschild region r > 2m, with the property that all maximally extended causal geodesics on which R R is bounded are complete. 2 We continue with some terminology. A maximally extended geodesic ray : [0, s+ ) M will be called scomplete if s+ = unless there exists some scalar invariant such that lim sup |((s))| = .
ss+

A similar denition applies to maximally extended geodesics : (s , s+ ) M , with some scalar invariant (not necessarily the same) unbounded in the incomplete direction, if any. A Lorentzian manifold (M , g) will be said to be scomplete if every maximally extended geodesic is scomplete. The notions of timelike scompleteness, or causal scompleteness are dened similarly, by specifying the causal type of the geodesics in the denition above. We have the following version of [16, Theorem 6.3, p. 255] (compare also the Remark on p. 256 there), where geodesic completeness is weakened to timelike scompleteness: Theorem 4.6 Let (M , g), (M , g ) be analytic Lorentzian manifolds of dimension n + 1, n 1, with M connected and simply connected, and M timelike s complete. Then every isometric immersion fU : U M M , where U is an open subset of M , extends uniquely to an isometric immersion f : M M . Proof: We need some preliminary lemmas which are proved as in [16], by replacing ane mappings there by isometric immersions: Lemma 4.7 ( [16, Lemma 1, p. 252]) Let M , M be analytic manifolds, with M connected. Let f , g be analytic mappings M M . If f and g coincide on a nonempty open subset of M , then they coincide everywhere. 2 Lemma 4.8 ( [16, Lemma 4, p. 254]) Let (M , g) and (M , g ) be pseudo-Riemannian manifolds of same dimension, with M connected, and let f and g be isometric immersions of M into M . If there exists some point x M such that f (x) = g(x) and f (X) = g (X) for every vector X of Tx M , then f = g on M. 2

4 GLOBAL STRUCTURE

17

We can turn our attention now to the proof of Theorem 4.6. Similarly to the proof of Theorem 6.1 in [16], we dene an analytic continuation of fU along a continuous path c : [0, 1] M to be a set of mappings fs , 0 s 1, together with a family of open subsets Us , 0 s 1, satisfying the properties: f0 = fU on U0 = U ; for every s [0, 1], Us is a neighborhood of the point c(s) of the path c, and fs is an isometric immersion fs : Us M M ; for every s [0, 1], there exists a number s > 0 such that for all s [0, 1], (|s s| < s ) (c(s ) Us and fs = fs in a neighborhood of c(s )); We need to prove that, under the hypothesis of scompleteness, such an analytic continuation does exist along any curve c. The argument is simplest for timelike curves, so let us rst assume that c is timelike. To do so, we consider the set: A := {s [0, 1] | an analytic continuation exists along c on [0, s]} (4.18)

A is nonempty, as it contains a neighborhood of 0. Hence s := sup A exists and is positive. We need to show that in fact, s = 1 and can be reached. Assume that this is not the case. Let W be a normal convex neighborhood of c() such s that every point x in W has a normal neighborhood containing W . (Such a W exists from Theorem 8.7, chapter III of [16].) We can choose s1 < s such that c(s1 ) W , and we let V be a normal neighborhood of c(s1 ) containing W . Since s1 A, fs1 is well dened, and is an isometric immersion of a neighborhood of c(s1 ) into M ; we will extend it to V I (c(s1 )). To do so, we know that exp : V V is a dieomorphism, where V is a neighborhood of 0 in Tc(s1 ) M , hence, in particular, for y V I (c(s1 )), there exists a unique X V such that y = expX. Dene X := fs1 X. Then X is a vector tangent to M at the s point fs1 (c(s1 )). Since y is in the timelike cone of c(), X is timelike, and so is X , as fs1 is isometric. We now need to prove the following: Lemma 4.9 The geodesic s exp(sX ) of M is well dened for 0 s 1. Proof: Let s := sup{s [0, 1] | exp(s X ) exists s [0, s]}. (4.19)

First, such a s exists, is positive, and we notice that if s < 1, then it is not reached. We wish to show that s = 1 and is reached. Hence, it suces to show that s is not reached leads to a contradiction. Indeed, in such a case the timelike geodesic s exp(sX ) ends at nite ane parameter, thus, there exists a scalar invariant such that ( exp(sX )) is unbounded as s s . Now, for all s < s , we can dene h( exp(sX)) := exp(sX ), and this gives an extension h of fs1 which is analytic (since it commutes with the exponential maps, which are analytic). By Lemma 4.8, h is in fact an isometric immersion. By denition of scalar invariants we have ( exp(sX )) = ( exp(sX)) ,

4 GLOBAL STRUCTURE

18

where is the invariant in (M , g) corresponding to . But this is not possible since ( exp(sX)) has a nite limit when s s , and provides the desired contradiction. 2 From the last lemma we deduce that there exists a unique element, say h(y), in a normal neighborhood of fs1 (c(s1 )) in M such that h(y) = exp(X ). Hence, we have extended fs1 to a map h dened on V I (c(s1 )). In fact, h is also an isometric immersion, by the same argument as above, since it commutes with the exponential maps of M and M . Then, since the curve c is timelike, this is sucient to conclude that we can do the analytic continuation beyond c(), since V I (c(s1 )) is an open set, and thus contains a segment of the s geodesic c(s), for s in a neighborhood of s. Let us consider now a general, not necessarily timelike, continuous curve c(s), 0 s 1, with c(0) U . As before, we consider the set: {s [0, 1] | there exists an analytic continuation of fU along c(s ), 0 s s}, (4.20) and its supremum s. Assume that s is not reached. Let again W be a normal neighborhood of c() such that every point of W contains a normal neighbors hood which contains W . Then, let z be an element of the set I + (c()) W . s I (z) W is therefore an open set in W containing c(). Hence we can choose s s1 < s such that the curve segment c([s1 , s]) is included in I (z) W , see Figure 4.2. In particular, z I + (c(s1 )) W . Since there exists an analytic

z I (z) c() s c(s1)

I + c() s c(1)

Figure 4.2: The analytic continuation at c(). s continuation up to c(s1 ), we have an isometric immersion fs1 dened on a neighborhood Us1 of c(s1 ), which can be assumed to be included in W . Hence, from what has been seen previously, fs1 can be extended as an isometric immersion, 1 , on Uz := Us1 (I + (c(s1 )) W ), which contains z. We now do the same operation for 1 on Uz : we can extend it by analytic continuation to an isometric immersion 2 dened on Uz (I (z) W ), which is an open set containing the entire segment of the curve x between c(s1 ) and c(). In partics ular, 1 and 2 coincide on Uz , i.e. on their common domain of denition; thus we obtain an analytic continuation of fs1 along the curve c(s), for s1 s s; this continuation also coincides with the continuation fs , s [s1 , s[ . This

5 GEODESICS

19

is in contradiction with the assumption that s is not reached by any analytic continuation from fU along x. Hence s = 1 and is reached, that is to say we have proved the existence of an analytic continuation of fU along all the curve x. The remaining arguments are as in [16]. 2

Geodesics

We continue with a study of geodesics in (M , g). Our aim is to prove: Theorem 5.1 All maximally extended causal geodesics in (M , g) are either complete, or reach a singular boundary {z = F } in nite ane time. The proof of Theorem 5.1 will occupy the remainder of this section. We will analyze separately the behavior of the geodesics in various regions of interest, using coordinates suited for the region at hand.

5.1

Geodesics in the domain of outer communications away from the horizon

Mext coin-

Whether in MI or in M , the domain of outer communications1 cides with the set {z (3 , ] [, 1 ]} .

We continue by showing that all geodesic segments in Mext of nite ane length which do not approach the boundary {z = 3 } remain within compact sets of M , with uniform bounds on the velocity vector. This holds regardless of the causal nature of the geodesic. To see this, let s (s) be an anely parameterized geodesic, (s) = (t(s), (s), z(s), x(s), (s)) . We have four constants of motion, := g(, ) , ct := g(t , ) , c := g( , ) ,
1 A

c := g( , ) .
F

(5.1)

Written out in detail, keeping in mind that = = F (x) t + (1 z) F (z)

2

F (z) F (x) 2 (x z)2 A +F (z)

z2 G(z) 2 + G(z) F (z) x2 G(x) 2 + ; (5.2) G(x) F (x) ; (5.3) (5.4)

ct =

F (x) t + (1 z) F (z)

c = (1 z)ct

G(z)F (x) ; A2 (x z)2

5 GEODESICS F 2 (z)G(x) . A2 (x z)2 F (x)

20

c = This leads to

(5.5)

A2 (x z)2 = ((1 z)ct c ) , F (x)G(z)

(5.6) (5.7) (5.8)

F (z) A2 (x z)2 ct (1 z) ((1 z)ct c ) , t= F (x) F (x)G(z) G(x) = A2 (x z)2 F (x) c , F (z)2

F (z) 2 F (z)F (x) A2 (x z)2 ct 2 z2 ((1 z)ct c )2 F (x) A (x z)2 G(z) F (x)G(z) F 2 (z) x2 A2 (x z)2 F (x) 2 + 2 + c . A (x z)2 G(x) G(x)F 2 (z)

(5.9)

We have: 1. Those geodesics for which lim inf s (x(s) z(s)) = 0 can be studied by transforming the metric to explicitly asymptotically at coordinates as in [13], and using known methods (see, e.g., [6, Appendix B] and [9, Appendix]). Such geodesics eventually remain in the asymptotically at region and are complete in the relevant direction. So, without loss of generality we can assume in the remainder of our analysis that |x z| 0 for some 0 < 0 < 1. 2. Consider those geodesic segments for which 21 z(s) 1 . In this region the functions z and x are related to polar-type coordinates near axes of rotation G(z) = 0 and G(x) = 0; in fact, well behaved polar-type coordinates (, ) are obtained by introducing d = We then rewrite (5.9) as F (x)2 + F (z) 2 + + A4 (x z)4 F (x) 2 c G(x)F 3 (z) dx G(x) , d = dz |G(z)| . (5.11) (5.10)

A4 (x z)4 A2 (x z)2 F (z) 2 ((1 z)ct c )2 = + c . F (x)F (z)|G(z)| F (z) F (x) t (5.12)

5 GEODESICS

21

The right-hand-side is bounded by a constant C, while the coecients F (x) of 2 and F (y) of 2 are bounded from above and away from zero, so there exists a constant C1 such that 2 + 2 C1 . (5.13)

Inspecting (5.6)-(5.8), and noting that the zero of G(z) in the denominator of the right-hand-side of (5.7) is canceled by the z 1 factor in the numerator, we nd that there exists a constant C2 such that t2 + 2 + 2 + G2 (z) 2 + G2 (x)2 C2 . (5.14)

It follows from (5.12) that a non-zero c prevents x from approaching 1 and 2 unless x z 0, similarly a non-zero c prevents z from approaching 1 unless x z 0. So, under (5.10), we nd a bound on || from (5.6) when c is zero (since then a factor z 1 in G(z) is cancelled by a similar factor in the numerator), or from (5.14) otherwise. A similar analysis of allows us to conclude that t2 + 2 + 2 + 2 + 2 C3 . 3. Consider, next, geodesic segments for which z 21 or 3 + z , where is some strictly positive number. Introducing Y = 1/z, from (5.9) we nd |F (z)|F (x) F 2 (z) 2 A2 (x z)2 F (x) 2 Y2+ 2 + c A2 (x z)2 |G(z)|Y 4 A (x z)2 G(x)F 2 (z) F (z) 2 A2 (x z)2 =+ c + ((1 z)ct c )2 . (5.16) F (x) t F (x)G(z) By an argument similar to the above, but simpler, we obtain t2 + 2 + Y 2 + 2 + 2 C4 . (5.17) (5.15)

Here one has to use a cancelation in the coecient of c2 in (5.16), as well t 1 as in the coecient of ct in (5.7), keeping in mind that = A ; e.g., F 1 t= F (x) F (z)
=1/(Y F )+O(1)

+ 2 (1 z)2
=O(1)

A2 (x z)2 G(z)

ct + O(1) , (5.18)

=2 A2 /(Y )+O(1)

where O(1) denotes terms which are bounded as Y 0. Usual considerations about maximally extended geodesics show now that: Proposition 5.2 For any > 0, the geodesics which are maximally extended within the region z [3 + , ] [, 1 ] are either complete, or acquire a smooth end point at {z = 3 + }. 2

5 GEODESICS

22

5.2

Geodesics in the region {F < z < 3 }

In this coordinate range both F (z) and G(z) are negative, and we rewrite (5.9) as A4 (x z)4 2 |F (z)| 2 F 2 (z) 2 z = + c , |G(z)| F (x) G(x)F 2 (z) where we have set := A4 (x z)4 A2 (x z)2 |F (z)| 2 ((1 z)ct c )2 + + c . (5.20) 2 (x)(G(z)) F F (x) F (x) t Timelike geodesic incompleteness (5.19)

5.2.1

The extended space-time will not be geodesically complete if one can nd a maximally extended geodesic with nite ane length. Consider, thus any future directed, anely parameterized timelike geodesic entirely contained in the v region {F < z < 3 } { > 0, w > 0}, and maximally extended there; an identical argument applies to past directed timelike geodesics in the region {F < z < 3 } { < 0, w < 0}. Since z is a time function in this region, z is v strictly decreasing along . From (5.19) we have F (z)F (x) z 2 , A2 (x z)2 G(z) which gives |F (z)||z| || |G(z)| > 0 for some constant . The proper time parameterization is obtained by choosing = 1. Let L() denote the proper length along ; keeping in mind that z = dz/ds we obtain
3

L() =
F

ds 1 dz dz

3 F

F (z) dz < . G(z)

Hence every such geodesic reaches the singular boundary {z = F } in nite proper time unless (z, ) becomes unbounded before reaching that set. We will see shortly that this second possibility cannot occur. 5.2.2 Uniform bounds

We wish, now, to derive uniform bounds on timelike geodesic segments contained in the region {F + < z < 3 }, with any > 0. We start by noting that d A2 (x z)2 (3 z) F (z) = ((1 z)ct c ) + ct . ds F (x)G(z)(3 1 ) (3 1 )F (x) (5.21)

which is well behaved throughout the region of current interest. In the region { > 0 , w > 0} we can introduce coordinates v and w using v the formulae ln v ln w v= , w= , c c

5 GEODESICS

23

and then dene t and z using (3.5)-(3.6). With those denitions one recovers the form (2.1) of the metric, so that we can use the previous formulae for geodesics: d v F (z) = c v ct ds F (x) w(z 2 )2 dw =c ds A2 (x z)2 ((1 z)ct c ) + F (x)
=:(x,z)

F (3 )

dz ds

(5.22) dz F (3 ) ds (5.23) and note that both right-hand-sides have a potential problem at {z = 3 }, where v w vanishes. Next, from (5.22) and (5.23), F (z) A2 (x z)2 ct w + ((1 z)ct c ) F (x) (z 2 )2 v F (x) F (z)
=:

dz = ds

F (z) (z 2 )2 F (3 ) 2c

d v dw +v ds ds

(5.24)

while from (5.22)-(5.23) we further have d v dw 2cF (z) 2c A2 (x z)2 v = ct v w ((1 z)ct c ) . ds ds F (x) (2 z)2 F (x) (5.25) We continue by rewriting (5.9) so that the problematic factors in (5.22)-(5.23) are grouped together w F (x) |F (z)| |G(z)|A2 (x z)2 dz ds
2

A4 (x z)4 ((1 z)ct c )2 F (x)2 d ds

2

2 2 =()(+)

|F (z)| 2 F 2 (z) = + ct + 2 F (x) A (x z)2

A2 (x z)2 F (x) 2 c . (5.26) G(x)F 2 (z)

By Section 5.2.1 any causal geodesic will either reach {z = 3 } in nite ane time, say s = or will cease to exist before that time. In what follows s, we therefore assume 0 s < s. We continue by writing down the evolution equations for x and z, which can easily be obtained from the Lagrangean L = g(, ), and read 2 d ds F 2 (z) dx 2 (x z)2 G(x) ds A F (x)F (z) 2 1 = ct 2 2 (x) F A G(z) x 2 (z) F 1 + 2 A x G(x)(x z)2

F (x) (x z)2 x2 + x

A4 (x z)4 ((1 z)ct c )2 F 2 (x) A4 (x z)4 F 2 (x) 2 G(x) c . F (x)(x z)2 F 4 (z)G2 (x) (5.27) F (z)z 2 +

5 GEODESICS d ds

24

F (x)F (z) dz 2 G(z) ds z) (z) A2 (x z)2 F 2 (z) A4 (x z)4 F (x) 2 F c2 2 ((1 z)ct c )ct + c = 2 + t F (x) F (x)G(z) z A2 (x z)2 F 4 (z)G(x) F (x) F (z) G(z) A4 (x z)4 ((1 z)ct c )2 . z2 + A2 z G(z)(x z)2 z (x z)2 F 2 (x)G2 (z) (5.28) A2 (x

Since z is a time function, the derivative z has constant sign. So z can be used as a parameter along , and we can view (5.28) as an evolution equation in z for z. For this we multiply by ds/dz, obtaining 2 d dz F (x)F (z) dz 2 G(z) ds z) (z) A2 (x z)2 ds F = c2 2 ((1 z)ct c )ct t F (x) F (x)G(z) dz A2 (x + z F 2 (z) A2 (x z)2 d dz
2

dz A4 (x z)4 F (x) 2 ds + c ds F 4 (z)G(x) dz dz + ds z G(z) (x z)2 A4 (x z)4 ds ((1 z)ct c )2 . 2 (x)G2 (z) F dz (5.29)

F (x) A2 z

F (z) G(z)(x z)2

Yet another variation on (5.19) reads |F (z)| F 2 (z) = |G(z)| F (x) d dz

2

ds dz

A4 (x z)4 2 c G(x)F 2 (z)

(5.30)

To obtain uniform bounds as z approaches 3 , one can proceed as follows: Let f > 0 be dened by the formula f := Using the identity we rewrite (5.29) as d G(z) dz = F (z) F (x) + z 2 d 2 dz G(z) F (x)|F (z)| A2 (x c2 2 t z)2 A2 (x F (x)F (z) dz . 2 G(z) ds z) df G (z) f dz G(z) (5.31)

G(z)f = 2

(5.32)

ds A2 (x z)2 ((1 z)ct c )ct F (x)G(z) dz d dz

2

dz G(z) ds

F 2 (z) A2 (x z)2

dz A4 (x z)4 F (x) 2 ds + c ds F 4 (z)G(x) dz G(z) (x z)2 A4 (x z)4 ds ((1 z)ct c )2 . 2 (x)G(z) F dz (5.33)

F (x) 2 G(z) z A

F (z) (x z)2

dz + ds z

5 GEODESICS

25

Equation (5.30) gives F (x) dz F 2 (z) F 2 (z) ds F (x) leading to 2 d G(z) dz = F (x) A2 G(z) F (x)|F (z)| dz 2 G(z) ds z) F (z) (x z)2 z d dz
2

ds dz

A4 (x z)4 2 F (x) dz F (x) ds c = 2 , 2 (z) G(x)F |F (z)G(z)| ds F (z) dz (5.34)

A2 (x z

F 2 (z) (x z)2

1 F (z)

ds dz , ds dz (5.35)

F (z)/(xz)2

where := F (z) 2 A2 (x z)2 ct 2 ((1 z)ct c )ct F (x) F (x)G(z) G(z) A2 (x z)4 ((1 z)ct c )2 z (x z)2 F (x)G2 (z) + + z A2 (x F 2 (z) z)2

A4 (x z)4 ((1 z)ct c )2 F (x)F 2 (z)G(z) . (5.36)

A2 (x z)2 F (z) 2 + c F 2 (z) F (x) t

Using an identity similar to (5.32) with G replaced by F , this can also be rewritten as 2 d 1 |F (z)G(z)| dz F (x)(|F (z)|)3/2 dz A2 (x z)2 |G(z)| ds = ds ; dz (5.37)

here, we have written the general formula which holds whatever the sign of F (z)G(z), with = 1 being that sign; in the current context, = 1. Setting h := we obtain 2h From (5.30) one has F (x)(F (z))3/2 dz , A2 (x z)2 |G(z)| ds (5.38)

dh dh2 F (x)F 2 (z) = = 2 . dz dz A (x z)2

d dz

F (x) . |F (z)G(z)|

(5.39)

5 GEODESICS

26

Since the right-hand-side is integrable in z on [F , 3 ], we infer that has nite limits both as z F and z 3 , z3 3 , x z3 x3 , zF F , x zF xF . (5.40) In everything that follows we choose some > 0 and assume that z [F + , 3 ). Suppose, rst, that (1 3 )ct c = 0 = (1 z)ct c = (3 z)ct . (5.41)

Then the right-hand-side of (5.38) is bounded, which implies that h is bounded, and has a limit as z approaches 3 . From the denition of h we conclude that |z| C Equation (5.19) implies, for z near 3 , 2 + c2 C . G(x) (5.42) G(z) .

We rewrite (5.22)-(5.23) as evolution equations in z: d v F (z) ds (z 1 ) A2 (x z)2 ds = c v ct + ((1 z)ct c ) + dz F (x) dz G(z) F (x) dz dw = cw dz F (z) ds (z 1 ) A2 (x z)2 ds ct ((1 z)ct c ) F (x) dz G(z) F (x) dz F (3 ) (5.43) F (3 ) . ,

(5.44) ds Note that (5.41) implies that all prefactors of dz are bounded near z = 3 . Suppose, rst, that c = 0, by (5.41) this happens if and only if ct = 0. Comparing (5.43) with (5.44) one nds that d(ln w) d(ln v ) = dz dz d(ln(w/)) v =0. dz

Thus there exists a constant , dierent from 0 since v w = 0 in the region of interest, such that v = w . Inserting back into (5.22) one nds d v |z| vw v C C = C C , ds w w w with a similar calculation for dw/ds using (5.23). Thus d v dw + C. ds ds (5.45)

From (5.30), is bounded, as well as derivatives of all coordinates functions along , and smooth extendibility of the geodesic across w = v = 0 readily follows.

5 GEODESICS

27

So, still assuming (5.41), we suppose instead that ct is dierent from zero. From (5.30), and since is positive, we get ds dz Equation (5.43) with (5.44) gives now d(ln(w/)) v dz which is integrable in z, so v = (z)w , for a function which has a nite limit as z 3 . One concludes as when ct = 0. We continue with the general case, (1 3 )ct c = 0 . (5.47) C , |G(z)| C |G(z)| . (5.46)

Near 3 , the xdependence of the most singular terms in (5.38) cancels out, leading to F 2 (3 ) (1 3 )ct c + O(z 3 ) dh2 1 a2 + O(z 3 ) = =: . dz (3 2 )(3 1 ) (z 3 )2 (z 3 )2 (5.48) By integration, a2 h2 = + O(ln |z 3 |) . (5.49) z 3 Then, from the denition of h, we eventually nd dz A2 (x3 3 )2 = ((1 3 )ct c ) +O((z 3 ) ln |z 3 |) . ds |F (3 )|F (x3 )
=: a 2

(5.50)

Next, we need to know how the xlimit is attained. For this, integration of (5.39) gives |(z) (3 )| C |z 3 | . But, by the denition (5.11) of , we have, for 1 close to 2 , |1 2 | Hence |x(z) x(3 )| |x1 x2 |, G(x2 ) = 0; |x1 x2 |, otherwise. C|z 3 |, G(x3 ) = 0; C |z 3 |, otherwise. .

Inserting this into (5.19), the leading order singularity cancels out: 2 + c2 C|z 3 |1/2 . G(x) (5.51)

5 GEODESICS

28

We pass now to the equation satised by x. In terms of , (5.27) can be rewritten as d 2 G(x) ds = F 2 (z) d A2 (x z)2 ds

1 F (x) A4 (x z)4 F (x)F (z) 2 ct 2 ((1 z)ct c )2 F (z)z 2 + F 2 (x) A G(z) x (x z)2 F 2 (x) F 2 (z) 1 G(x) A4 (x z)4 F 2 (x) 2 + c . 2 + (5.52) A2 x (x z)2 x F (x)(x z)2 F 4 (z)G2 (x) 2 d G(x) ds F 2 (z) d A2 (x z)2 ds F (x) (x z)2 F (x)F 2 (z) 2 , A2 F (x)(x z)2 G(x) F (x)(x z)2

We can use (5.19) to eliminate z 2 from this equation, obtaining = (5.53)

where := x + F 2 (x) G(x) x F (x) (x z)2 A2 (x z)4 2 c G(x)F 2 (z) . (5.54)

F (x)F (z) 2 ct + 2 (x) F x

(x z)2 F (z) 2 c F (x) F (x) t

Equivalently, d ds F (x)G(x) 2 F 2 (z) F (x) d A2 (x z)2 ds =. (5.55)

Multiplying by ds/dz, taking into account that = 0 by (5.47) and (5.50), from a (5.51) we are led to an evolution equation of the form d dz F 2 (z) F (x) d A2 (x z)2 ds = O(|z 3 |3/4 ) . (5.56)

We note that the right-hand side of (5.56) is integrable in z near 3 , hence || is bounded near 3 . Using arguments already given, it is straightforward to obtain now the following: Theorem 5.3 Causal geodesics maximally extended in the region {F < z < 3 } and directed towards z = F reach this last set in nite ane time. 2 In fact the conclusion holds true as well for those spacelike geodesics for which z does not change sign. To get uniformity towards 3 , we rst note that, from the integrability of the right-hand-side of (5.56),
z3

lim exists, in particular || C on [F + , 3 ].

(5.57)

5 GEODESICS

29

We return now to (5.22)-(5.23). From what has been said, the limit limz3 exists. By (5.26) multiplied by |G(z)|, or otherwise, we nd that the limit limz3 exists, and lim = lim . (5.58)
z3 z3

We have limz3 = 0 by (5.47). Suppose, rst, that (5.58) holds with the plus sign. We write ( )/G as [(2 2 )/G]/( + ), and use (5.26) to obtain that the limit lim z3 G(z) exists. This implies that (5.23) can be written in the form dw = (s)w ds (5.59)

for some continuous function . By integration w has a non-zero limit as z 3 , and (5.59) implies that dw has a limit as well. It follows that v tends to be ds d v zero, since v w does. Equation (5.22) shows now that ds has a limit. Hence v+w+ dw d v dz d + + + C. ds ds ds ds (5.60)

From what has been said so far we conclude that those geodesics smoothly extend across the Killing horizon {w = 0}. v A similar argument, with v interchanged with w, applies when the minus sign occurs in (5.58). Summarising, we have proved: Proposition 5.4 Causal geodesics in the region {F < z < 3 } reach the bifurcate Killing horizon {w = 0} in nite ane time, and are smoothly extendible v there. 2

5.3

Geodesics in the region {3 < z 23 }

In this coordinate range F (z) is strictly negative and G(z) is positive, so we rewrite (5.9) as |F (z)| 2 F 2 (z) 2 A4 (x z)4 2 z + + c G(z) F (x) G(x)F 2 (z) = A4 (x z)4 A2 (x z)2 |F (z)| 2 ((1 z)ct c )2 + c . 2 (x)G(z) F F (x) F (x) t (5.61) From this one immediately obtains a uniform bound on z, as well as d + ds c2 G(x) C . |G(z)| (5.62)

Geodesics on which z stays bounded away from 3 have already been taken care of in Section 5.1. So we consider a geodesic segment : [0,) {3 < z s

5 GEODESICS

30

23 }, with < , such that there exists a sequence si with z(si ) 3 . s s (If = there is nothing to prove.) But we have just seen that the function s s z(s) is uniformly Lipschitz, hence z(s) 3 as s s. The Killing vector eld A F X := + (5.63) t (3 1 ) is tangent to the generators of the Killing horizon E , thus light-like at E . As the horizon is non-degenerate, X is timelike near E for small negative values of v w. But then g(X, ) < 0 for causal future directed geodesics in the domain of outer communications near E , which shows that for causal geodesics through the region of current interest we must have A F g(X, ) = ct + c = 0 (1 3 )ct c = 0 . (5.64) (3 1 ) It follows that causal geodesics intersecting Mext for which (5.64) does not hold stay away from a neighborhood of E , and are therefore complete by the results in Section 5.1. From what has been said we conclude that: Proposition 5.5 Causal geodesics crossing the event horizon {w = 0} and v satisfying (1 3 )ct c = 0 are entirely contained within {w > 0} { = 0 = w}. v v 2 We continue by noting that (5.37) remains true with as given by (5.36) on every interval of values of s on which z does not change sign. We want to show, using a contradiction argument, that z will be eventually negative for s close enough to So suppose not, then there will be increasing sequences {s }iN , s. i s s , with s < s+ , such that i i i
+ z(s ) = 0 , z(s) < 0 on Ii := (s , s+ ) , zi := z(s ) 3 , zi > zi . i i i i

By inspection of (5.36) and (5.38), there exists z > 3 and > 0 such that for all z (3 , z ) we have dh2 . (5.65) dz (z 3 )2 Integrating, h
2 (zi )

+ (zi )

zi

+ zi

dz < 0 , (z 3 )2

(5.66)

which contradicts the fact that z(s ) = 0, and shows that z is indeed strictly i negative suciently close to the event horizon. As in Section 5.2.2 we obtain now (5.49). This, together with the denition of h, implies that dz/ds is strictly bounded away from zero; equivalently, ds C. dz

REFERENCES

31

In particular {w = 0} is reached in nite ane time. Moreover, from (5.62) v we now nd d dz C |G(z)| . (5.67)

Keeping in mind (5.64), one can now repeat the arguments of Section 5.2.2 (after (5.47), with (5.39) replaced by (5.67)), to conclude that: Theorem 5.6 All maximally extended causal geodesics through Mext are either complete, or can be smoothly extended across the horizon {w = 0}. 2 v

5.4

The Killing horizon

Consider a causal geodesic such that (s0 ) {w = 0}. If d/ds or dw/ds v v are both dierent from zero at s0 , then immediately enters the regions already covered. If enters {z < 3 } it will stay there by monotonicity of z, so Theorem 5.3 applies. Otherwise it enters the region {z > 3 }; then either it approaches z = 3 again, in which case it crosses back to {z < 3 } by Theorem 5.6, and Theorem 5.3 applies; or it stays away from z = 3 for all subsequent times, in which case it is complete, again by Theorem 5.6. So it remains to consider geodesics for which s v (s)w(s) = 0 = d dw v (s) (s) . ds ds

Since the bifurcation ring S := {w = v = 0} is spacelike, those causal geodesics which pass through S immediately leave the bifurcate horizon, except for the generators of the latter. But those generators are complete by standard results [3]. Since the only causal curves on a null hypersurface are its generators, the analysis is complete. This achieves the proof of Theorem 5.1. 2

References
[1] R. Beig and P.T. Chruciel, The asymptotics of stationary electro-vacuum s metrics in odd space-time dimensions, Class. Quantum Grav. 24 (2007), 867874. MR MR2297271 [2] B. Berger, P.T. Chruciel, J. Isenberg, and V. Moncrief, Global foliations s of vacuum space-times with T 2 isometry, Ann. Phys. (NY) 260 (1997), 117148. [3] R.H. Boyer, Geodesic Killing orbits and bifurcate Killing horizons, Proc. Roy. Soc. London A 311 (1969), 245252. [4] R.H. Boyer and R.W. Lindquist, Maximal analytic extension of the Kerr metric, Jour. Math. Phys. 8 (1967), 265281. MR MR0218093 (36 #1182)

REFERENCES

32

[5] B. Carter, Global structure of the Kerr family of gravitational elds, Phys. Rev. 174 (1968), 15591571. [6] P.T. Chruciel, On the invariant mass conjecture in general relativity, Coms mun. Math. Phys. 120 (1988), 233248. [7] , On uniqueness in the large of solutions of Einstein equations (Strong Cosmic Censorship), Australian National University Press, Canberra, 1991. , Uniqueness of black holes revisited, Helv. Phys. Acta 69 (1996), 529552, Proceedings of Journs Relativistes 1996, Ascona, May 1996, N. e Straumann,Ph. Jetzer and G. Lavrelashvili (Eds.), arXiv:gr-qc/9610010. , A poor mans positive energy theorem: II. Null geodesics, Class. Quantum Grav. 21 (2004), 43994416, arXiv:gr-qc/0406077. , Beijing lecture notes on mathematical relativity, www.phys. univ-tours.fr/~piotr/papers/BeijingAll.pdf, 2006.

[8]

[9] [10]

[11] P.T. Chruciel and J. Costa, On uniqueness of stationary black holes, s Astrisque (2008), in press, arXiv:0806.0016v2. e [12] T. Damour and B. Schmidt, Reliability of perturbation theory in general relativity, Jour. Math. Phys. 31 (1990), 24412453. [13] R. Emparan and H.S. Reall, A rotating black ring in ve dimensions, Phys. Rev. Lett. 88 (2002), 101101, arXiv:hep-th/0110260. [14] J.L. Friedman, K. Schleich, and D.M. Witt, Topological censorship, Phys. Rev. Lett. 71 (1993), 14861489, erratum 75 (1995) 1872. [15] R. Geroch, Domain of dependence, Jour. Math. Phys. 11 (1970), 437449. [16] S. Kobayashi and K. Nomizu, Foundations of dierential geometry, Interscience Publishers, New York, 1963. [17] J.M. Mart n-Garc xAct: Ecient tensor computer algebra for matha, ematica, 2008, http://metric.iem.csic.es/Martin-Garcia/xAct/ index.html. [18] K. Nomizu, On local and global existence of Killing vector elds, Ann. Math. 72 (1960), 105120. MR MR0119172 (22 #9938) [19] B. ONeill, Semi-riemannian geometry: with application to relativity, Academic Press, 1984. [20] I. Rcz, Space-time extensions. I, Jour. Math. Phys. 34 (1993), 24482464. a MR MR1219001 (94h:53094) [21] I. Rcz and R.M. Wald, Global extensions of space-times describing asympa totic nal states of black holes, Class. Quantum Grav. 13 (1996), 539552, arXiv:gr-qc/9507055.

REFERENCES

33

[22] R.M. Wald, General relativity, University of Chicago Press, Chicago, 1984.