Black Holes in Spacetime Dimension Other than Four by Kory Stevens B.Sc., The University of Alberta, 2002 M.Sc., The University of Alberta, 2004 A THESIS SUBMITTED IN PARTIAL FULFILMENT OF THE REQUIREMENTS FOR THE DEGREE OF Doctor of Philosophy in The Faculty of Graduate Studies (Physics) The University Of British Columbia (Vancouver) October, 2011 c© Kory Stevens 2011 ii Abstract Recently, models of spacetime with extra dimensions has driven interest into higher dimensional black holes. In this thesis, we examine general relativity in spacetimes that are not four dimensional. The thesis is divided into three parts. The first part focuses on the higher dimensional Kerr-de Sitter metrics; we examine the separation of variables for the Hamilton-Jacobi and Klein- Gordon equations that occurs for particles and fields in those metrics. In the second part we consider lower dimensional geons, and give a proof that there cannot be any asymptotically flat geons in a three dimensional spacetime. Finally, we examine charged higher dimensional black holes, and consider the possibility of a higher dimensional generalization of the Kerr-Newman metric. We examine some approaches to find that solution, and demonstrate the form that the electromagnetic potential must have in such a spacetime. iii Preface A version of chapter 3 has been published. M. Vasudevan and K. A. Stevens, Integrability of particle motion and scalar field propagation in Kerr-(anti) de Sitter black hole spacetimes in all dimensions, Physical Review D72 (2005) 124008, [gr-qc/0507096]. I performed the calculations in collaboration with then PhD student Muraari Vasudevan and edited the paper. A version of chapter 4 has been published. K. A. Stevens, K. Schleich, and D. M. Witt, Non-existence of Asymptotically Flat Geons in 2+1 Grav- ity, Classical and Quantum Gravity 26 (2009) 075012, [arXiv:0809.3022]. I performed the proof of theorem 3 and wrote and edited the paper in collab- oration with Dr. Schleich and Dr. Witt. iv Table of Contents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv List of Tables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vi List of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . viii 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Kerr-de Sitter Spacetimes . . . . . . . . . . . . . . . . . . . . . 6 2.1 Inverting the Metric . . . . . . . . . . . . . . . . . . . . . . . 8 3 Separation of Variables in Kerr-de Sitter Spacetimes . . . . 12 3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 3.2 The Hamilton-Jacobi Equation . . . . . . . . . . . . . . . . . 12 3.3 Equations of Motion . . . . . . . . . . . . . . . . . . . . . . . 16 3.3.1 The Radial Equation . . . . . . . . . . . . . . . . . . . 19 3.3.2 The Angular Equation . . . . . . . . . . . . . . . . . . 20 3.4 The Klein-Gordon Equation . . . . . . . . . . . . . . . . . . . 20 3.5 Symmetry of the Metric . . . . . . . . . . . . . . . . . . . . . 24 4 Geons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 4.2 Nonexistence of Asymptotically Flat Three Dimensional Geons 30 Table of Contents v 5 Charged Higher Dimensional Black Holes . . . . . . . . . . . 41 5.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 5.2 Complex Coordinate Substitution . . . . . . . . . . . . . . . . 43 5.3 Higher Dimensional Complex Coordinate Substitution . . . . . 46 5.4 Approximate Solutions . . . . . . . . . . . . . . . . . . . . . . 48 6 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Appendices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 A Causality and Asymptotic Spaces . . . . . . . . . . . . . . . . 59 A.1 Causality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 A.2 Asymptotically Flat Spacetimes . . . . . . . . . . . . . . . . . 60 vi List of Tables 5.1 Vacuum and electromagnetic black hole solutions . . . . . . . 42 vii List of Figures 4.1 A “handle” on an otherwise simple space. . . . . . . . . . . . . 28 4.2 Maximal analytic extension of Schwarzschild spacetime . . . . 29 4.3 The RP3 geon . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 A.1 Minkowski space in T -R coordinates. . . . . . . . . . . . . . . 63 viii Acknowledgements I am very grateful to my supervisors, Kristin Schleich and Don Witt, for providing me with guidance over the course of my PhD. I would like to thank the professors of the courses that I have taken at UBC that I very much enjoyed attending. I would also like to thank the officemates I have had for discussions about many topics. 1Chapter 1 Introduction Spacetimes with extra dimensions have been the objects of much study in the past few decades. For example, superstring theory is naturally formulated on a background with greater than four spacetime dimensions (see [1]). The extra dimensions of superstring theory are usually compactified, so rather than being a size on the scale of usual spatial dimensions, they are of a very small size, possibly on the order of the Planck length. Another possibility, explored by Rubakov and Shaposhnikov is that the universe could be a four dimensional brane embedded in a higher dimensional spacetime, with most of the particles of the theory localized to existing only on the brane [2] (see also [3] for a recent review). In these models, the extra dimensions do not need to be quite as small to remain hidden from experiments. In particular, these models offer a possible solution to the hierarchy problem, that being the question of why the energy scale of gravity MPl ∼ 1019 GeV is so much larger than the electroweak scale at Mew ∼ 102 GeV. Arkani-Hamed, Dinopoulos, and Dvali [4] have demonstrated how to do this by considering the universe to actually have 4+d dimensions with the extra dimensions d being compact with size R, but R is allowed to be much larger than the Planck scale. In such a universe, suppose we have a gravitating particle of mass M . At distances r R, the Newtonian gravitational potential will be given by Gauss’s law as V (r R) ∼ M Md+2Pl(4+d) 1 rd+1 , (1.1) with MPl(4+d) being the 4+d-dimensional Planck mass. At much larger scales r R, the extra dimensions will no longer cause a drop in the field, and the potential will appear as V (r R) ∼ M Md+2Pl(4+d)R d 1 r . (1.2) Chapter 1. Introduction 2 So we can see that for large r, the four dimensional gravitational scale is given as M2Pl(4) = M d+2 Pl(4+d)R d , (1.3) which tells us that if we actually exist on a brane in a higher dimensional spacetime, it is possible for a very large apparent gravitational scale to result from a smaller fundamental one. There has even been suggestions that these models could result in particle colliders creating small scale black holes [5]. In this model, at small distances r ∼ R, we will begin to see deviations from Newton’s graviational law. There has been experimental research ex- amining the validity of the inverse square law down to sub-millimeter scales, putting limits on the possible size of these extra dimensions as no larger than 44µm [6–8]. In this thesis, we will be considering black holes on spacetimes with a number of dimensions other than four. With extra dimensions, compacting the size of those dimensions would complicate the analysis and lead to very difficult equations, so we will typically be working with spaces where the extra dimensions are of infinite size. About 25 years ago, Myers and Perry found a generalization of the Kerr metric [9] to higher dimensional spacetimes [10]. These metrics are vac- uum solutions to the Einstein equations, and they are asymptotically flat and have a well-defined mass and angular momentum. Some time after the Myers-Perry solutions were found, Gibbons, Lu, Page, and Pope discovered a generalization of those metrics to spacetimes with a cosmological constant [11]. Spacetimes with cosmological constants have seen a rise in interest since Maldacena proposed the AdS/CFT correspondence principle, which asserts a correspondence between string theory on an asymptotically locally anti-de Sitter spacetime and an appropriate conformal field theory [12]. Chandrasekhar once pointed out that the Kerr Metric had many proper- ties that have endowed it with an “aura of the miraculous” [13]. In particular, the separability of variables in the Hamilton-Jacobi equation for a particle free-falling in the gravitational field, discovered by Carter [14], and the fact that the Kerr metric is of Petrov type D [15], which is the same Petrov type as the non-rotating, Schwarzschild case. Later properties that were added to this list were the separability of the d’Alembertian and the massive Klein- Gordon equations [16, 17], and the separability of the massless higher spin wave equations [18]. Also discovered was separability of the Dirac equa- tion [19], and later separability of the equilibrium equations for a stationary Chapter 1. Introduction 3 cosmic string near a Kerr black hole [20]. The property of separability of these equations in the Kerr metric is due to the existence of a rank two Killing tensor in that spacetime. A Killing tensor of rank i is a tensor which satisfies ∇(λKµ1µ2...µi) = 0 . (1.4) In the case of a rank one Killing tensor, we have a vector ξ which satisfies ∇(λξµ) = 0. The vector ξ is called a Killing vector and it directly represents a symmetry of the metric, specifically that Lξg = 0 with L being the Lie derivative. For higher rank Killing tensors there is no simple geometric in- terpretation as there is in the rank 1 case, but these tensors still represent a symmetry of the spacetime (see [21] for a discussion). The symmetry is manifested by the existence of a conserved quantity K, defined by K = Kµ1µ2...µiP µ1P µ2 ...P µi . (1.5) This object K will be conserved throughout geodesic motion for a particle freely moving in the spacetime. Note that the identity ∇λgµν = 0 guaran- tees that g will always be a Killing tensor, with a corresponding conserved quantity −m2, the mass of the particle. To see the importance of a Killing tensor, consider the conserved quanti- ties for a particle in motion in the Kerr geometry. The metric is stationary and axisymmetric, so we have the conserved quantities E and Lz, the energy and z-component of the angular momentum. Another constant of motion is the mass of the particle, but this only gives us three conserved quanti- ties for a four dimensional problem. Carter’s discovery of the Killing tensor came with another constant of motion, which allowed for the reduction of the second order equations of motion to first order equations. Those first order equations combined with initial data give a complete solution to the geodesic equation. More recently, it has been demonstrated that the five dimensional version of the Myers-Perry metrics has many of the “miraculous” features that the Kerr metric has. De Smet noted that this metric is of Petrov type 22, the same as that of a non-rotating black hole, the Tangherlini-Schwarzschild case [22, 23]. Frolov and Stojković demonstrated the separability of the massless scalar field equation [24], and the separability of the Hamilton- Jacobi equation [25]. Later Frolov and this author demonstrated separability Chapter 1. Introduction 4 of the equations for a stationary cosmic string in the case of a five dimensional Myers-Perry spacetime [26]. In this thesis, we will show a similar “miracle” that occurs for the Kerr-de Sitter metrics found by Gibbons, Lu, Page, and Pope, however in a special case where there are only two independent angular momentum parameters. In the five dimensional case, this assumption carries no loss of generality, but for higher dimensional cases, this is a restriction on the metric to make the calculations easier. This calculation was published in [27] and will be the focus of chapter 3. Chapter 2 will contain an review of the Kerr-de Sitter metrics. Around fifty years ago, Wheeler and collaborators first introduced the concept of geons [28–30], the idea being that it could be possible for topo- logical structures to exist within a spacetime. These structures could carry charge, and angular momentum, resembling particles when viewed from a large scale. One problem was that geons could produce both electric and magnetic charges from them, however, Sorkin showed that one could remove the magnetic charges by using non-orientable handles [31]. Sorkin also gener- alized Wheeler’s geon into a topological geon [32], allowing for geons to exist on spaces that have the topology of some compact manifold with a single puncture, representing the point at asymptotic infinity. These topological geons did not have the difficulties of instability that that original geons had, they were made stable by the existence of their nontrivial topology. There has also been much research into the quantum mechanics of such objects, such as [33–35], in particular the study of four-dimensional geons motivated the result that all smooth 3-manifolds are allowed as physically reasonable solutions to the Einstein equations [36]. In this thesis we will give a proof that there cannot be any geons in an asymptotically flat three dimensional spacetime, assuming certain energy conditions are met (this proof was also published [37]). The importance of three dimensional gravity was demonstrated by Witten, when twenty years ago he pointed out that three dimensional gravity is exactly soluble [38] (see also [39]). This result is related to the fact that three dimensional classical gravity is “trivial” in a sense, specifically there are no propagating degrees of freedom in three dimensional gravity, so no gravity waves exist. This occurs because the three dimensional Riemann tensor is entirely determined by the Ricci tensor. The proof of nonexistence of geons will be the focus of chapter 3 of this thesis. One can also generalize vacuum black hole solutions by adding a Maxwell Chapter 1. Introduction 5 field to the system. The resulting system describes a black hole with charge in addition to the usual mass and angular momentum parameters. The first charged black hole solution was that of Reissner and Nordström [40, 41]. This solution was generalized to include angular momentum shortly after the Kerr solution was published, and it is referred to as the Kerr-Newman metric [42]. This charged, rotating black hole is in many ways the complete unique description of black holes in a four dimensional spacetime [43–45], that is, stationary and asymptotically flat regular electrovac solutions must be equivalent to the Kerr-Newman solution. This is known as the celebrated “No Hair Theorem” for black holes (see [46] for a review). In higher dimen- sions, the solution space is not as restrictive; there is the black ring solution, examined by Emparan and Reall [47]. This solution is distinct from the higher dimensional Myers-Perry solutions by the fact that the event horizon is of topology S2×S1 rather than S3, in particular there exist black holes and black rings with the same mass and angular momentum, so simply knowing the mass and angular momentum is not enough to specify the system com- pletely. Non-rotating higher dimensional charged solutions have also been found by Myers and Perry [10], however, there has been no complete solu- tion for a charged rotating black hole metric in an electrovac spacetime. In chapter 4 we will examine some of the attempts to find this solution and prove a new theorem about the form of the electromagnetic potential that such a solution must have. Throughout the body of this thesis, we will be setting the speed of light and the N -dimensional gravitational constant equal to one. We will use the same curvature sign conventions as Misner, Thorne and Wheeler [48]. The metric we will use will have signature (−,+,+,+), or its generalization to higher and lower dimensions. We will denote N -dimensional spacetime indices with greek letters (µ, ν, ... = 0, ..., N − 1), and spatial indices with latin letters from the early part of the alphabet (a, b, ... = 1, ..., N − 1), and for these indices we will obey the convention to sum any repeated indices. We will also make use of indices (i, j, k, ...) for miscellaneous purposes, and will explicitly write out sums for these indices when needed. 6Chapter 2 Kerr-de Sitter Spacetimes In this chapter we will review some of the properties of the Kerr-de Sitter metrics [11]. The metrics follow a similar construction to the Myers-Perry metrics [10], in that the spacetime dimensions are divided up into a series of planes of rotation that the black hole rotates in, and each plane of rotation has a spin parameter ai. The coordinate φi is the azimuthal angular coordinate associated with the ith plane, the coordinate r is a radial coordinate, and t is the time coordinate. Finally there are n angle cosines µi, one for each plane of rotation, and they obey the restriction n∑ i=1 µ2i = 1 . (2.1) The metrics for N spacetime dimensions split into two cases, depending on whether N is even or odd. When the dimensionality of spacetime is odd, so N = 2n + 1, the spatial part divides up evenly into the n planes of rotation, each taking up two spatial dimensions. When the dimensionality of spacetime is even N = 2n, the spatial part has one extra dimension after being divided up into the black holes rotational planes (similar to the z-axis in 3+1-dimensional space), and there is an angle cosine µn for that extra axis. For notational unity, define a parameter ι which is 0 if N is odd and 1 if N is even. The (2n+1-ι)-dimensional metric is given in the form ds2 = ds̄2 + α U (kµ dx µ)2 , (2.2) similar to the Kerr-Schild form, but instead of the flat metric ds̄2 is the de Sitter metric, ds̄2 = −W (1− λr2) dt2 + F dr2 + n∑ i=1 r2 + a2i 1 + λa2i dµ2i + n−ι∑ i=1 r2 + a2i 1 + λa2i µ2i dφ 2 i Chapter 2. Kerr-de Sitter Spacetimes 7 + λ W (1− λr2) ( n∑ i=1 (r2 + a2i )µi dµi 1 + λa2i )2 . (2.3) The functions W , F and, U are given by W = n∑ i=1 µ2i 1 + λa2i , F = r2 1− λ r2 n∑ i=1 µ2i r2 + a2i , (2.4) U = rι n−ι∏ j=1 (r2 + a2j) n∑ i=1 µ2i r2 + a2i , (2.5) and the null one-form kµ is kµdx µ = Wdt+ Fdr − n−ι∑ i=1 aiµ 2 i 1 + λa2i dφi . (2.6) Note that if there is an odd number of spatial dimensions, the final spin parameter an is zero, and there is no coordinate φn, because there is no nth plane of rotation, it is just a single axis. Finally, the parameter α is proportional to the mass of the black hole. The metric solves the vacuum Einstein equations with cosmological con- stant Rµν = (N − 1)λ gµν , (2.7) note that the constant λ is not the usual cosmological constant, but is scaled by the dimensions (the usual cosmological constant Λ is defined so that the vacuum Einstein equations read Rµν = 2 N−2Λ gµν). We will also need the vector form of the one-form k, it is given as kµ ∂µ = − 1 1− λr2 ∂t + ∂r − n−ι∑ i=1 ai r2 + a2i ∂φi . (2.8) For our purposes, it will be convenient to switch to Boyer-Lindquist coor- dinates, which are characterized by the metric not having any cross terms involving the differential dr. The Boyer-Lindquist coordinates are obtained by the following coordinate transformation from the (t, φi) coordinates to the (τ, ϕi) coordinates: dt = dτ + α (1− λr2)(V − α)dr , Chapter 2. Kerr-de Sitter Spacetimes 8 dφi = dϕi − λaidτ + α ai (r2 + a2i )(V − α) dr , (2.9) where the function V is given by V = U F = rι−2(1− λr2) n−ι∏ i=1 (r2 + a2i ) . (2.10) In these coordinates, the metric takes the form ds2 = −W (1− λr2) dτ 2 + U V − αdr 2 + α U ( dτ − n−ι∑ i=1 aiµ 2 i dϕi 1 + λa2i )2 + n−ι∑ i=1 r2 + a2i 1 + λa2i µ2i (dϕi − λ ai dτ)2 + n∑ i=1 r2 + a2i 1 + λa2i dµ2i + λ W (1− λr2) ( n∑ i=1 (r2 + a2i )µi dµi 1 + λa2i )2 , (2.11) 2.1 Inverting the Metric In later calculations we will need the inverse of the Kerr-de Sitter metric, so we will spend this next section finding those terms. To do so we will make use of the fact that the metric is in Kerr-Schild form as in equation (2.2), so the inverse metric can be expressed as gµν = η̄µν − α U kµkν , (2.12) with η̄µν being the inverse of the de Sitter metric. Note that the metric is block diagonal, the {r, τ , φi}-sector is decoupled from the {µi}-sector, so each of these sectors can be inverted separately, and since k has no µ components, we can consider (2.12) to hold in the {r, τ , φi}-sector as well. The coordinate change (2.9) can be used on the inverse metric to obtain the following components of gµν in Boyer-Lindquist coordinates gτr = gϕir = 0 , grr = V − α U , Chapter 2. Kerr-de Sitter Spacetimes 9 gττ = Q− α 2 U(1− λr2)2(V − α) , gτϕi = λaiQ− α 2ai(1 + λa 2 i ) U(1− λr2)2(V − α)(r2 + a2i ) − α U ai (1− λr2)(r2 + a2i ) , gϕiϕj = (1 + λa2i ) (r2 + a2i )µ 2 i δij + λ2aiajQ+ Qij U + α2aiaj(1 + λa 2 i )(1 + λa 2 j) U(1− λr2)2(V − α)(r2 + a2i )(r2 + a2j) , (2.13) and the objects Q and Qij are defined to be Q = − 1 W (1− λr2) − α U 1 (1− λr2)2 , (2.14) Qij = −α2λaiaj[(1 + λa2j)(r2 + a2i ) + (1 + λa2i )(r2 + a2j)] (1− λr2)2(V − α)(r2 + a2i )(r2 + a2j) −α aiaj (r2 + a2i )(r 2 + a2j) − αλaiaj (1− λr2) [ 1 (r2 + a2i ) + 1 (r2 + a2j) ] − α 2aiaj[(1 + λa 2 i ) + (1 + λa 2 j)] (1− λr2)2(V − α)(r2 + a2i )(r2 + a2j) . (2.15) Inverting the µ sector of the metric is much more difficult, since the µ’s do not actually represent independent coordinates, but are restricted by the relation (2.1), it is necessary to substitute in that restriction before inverting the metric. Unfortunately this has the effect of complicating the natural symmetry of the metric, making is very difficult to invert. In a pervious paper [49], the calculation was simplified by assuming that all spin parameters of the black hole were identical, ai = a, thus allowing easy inversion of the rest of the metric. This assumption meant that the calculation only worked for an odd number of spacetime dimensions however, since in an even number of dimensions there is an extra spin parameter an which is always zero. For our purposes, we will work in a somewhat more general case by as- suming that the spin parameters can take on at most two possible values, a and b. In an even number of spacetime dimensions, at least one of the values must be zero, so this we will assume b = 0 there, and in an odd num- ber of spacetime dimensions the parameters a and b can take on any values. Specifically, we will be assuming ai = a for i = 1, ..., p , aj+p = b for j = 1, ..., q , (2.16) Chapter 2. Kerr-de Sitter Spacetimes 10 with p+ q = n. To deal with the restriction (2.1), we will first break the µi coordinates up into the two groups corresponding to the separate rotation parameters by defining a new coordinate θ as follows: µi = σi sin θ for i = 1, ..., p , µj+p = νj cos θ for j = 1, ..., q , (2.17) and σi and νi must satisfy the constraints p∑ i=1 σ2i = 1 , q∑ j=1 ν2j = 1 . (2.18) Next it is sensible to introduce spherical coordinates αi and βi to satisfy the constraints (2.18), σi = ( p−i∏ k=1 sinαk ) cosαp−i+1 , νi = ( q−i∏ k=1 sin βk ) cos βq−i+1 , (2.19) with the definition that αp = 0 and βq = 0 and the understanding that for any product with a smaller upper bound than a lower one, the product is automatically 1. With these coordinates, the µ part of the metric (2.11) can be written as ds2µ = ρ2 ∆θ dθ2 + r2 + a2 Σa sin2 θ p−1∑ i=1 ( i−1∏ k=1 sin2 αk ) dα2i + r2 + b2 Σb cos2 θ q−1∑ i=1 ( i−1∏ k=1 sin2 βk ) dβ2i , (2.20) where we have defined ρ2 = r2 + a2 cos2 θ + b2 sin2 θ , ∆θ = 1 + λa 2 cos2 θ + λb2 sin2 θ , Σa = 1 + λa 2 , Chapter 2. Kerr-de Sitter Spacetimes 11 Σb = 1 + λb 2 . (2.21) We can see that this metric is diagonal, so the inverse of the metric is given by gθθ = ∆θ ρ2 , gαiαj = Σa (r2 + a2) sin2 θ 1(∏i−1 k=1 sin 2 αk )δij , i, j = 1, ..., p , gβiβj = Σb (r2 + b2) cos2 θ 1(∏i−1 k=1 sin 2 βk )δij , i, j = 1, ..., q . (2.22) This finishes the inverting of the Kerr-de Sitter metrics, lastly we will note a few identities that will be useful in the coming calculations U = ρ2Z , W = ∆θ ΣaΣb , Q = ΣaΣb ρ2λ∆θ − ΣaΣb ρ2λΣr − α ρ2ZΣ2r(V − α) , (2.23) where we have defined Z = rι(r2 + a2)p−1(r2 + b2)q−1−ι , Σr = 1− λr2 . (2.24) 12 Chapter 3 Separation of Variables in Kerr-de Sitter Spacetimes 3.1 Introduction In this chapter we will study the Hamilton-Jacobi and massive Klein-Gordon equations in the Kerr-de Sitter black hole backgrounds of the previous chap- ter. We will demonstrate how a complete separation can be carried out in the case when there are two sets of equal black hole rotation parameters. From this, we will derive first order equations of motion for particles and examine some of their properties. Finally, we will explicitly construct a Killing tensor that exists in these metrics and is related to the separability. The results in this chapter were also published in [27]. 3.2 The Hamilton-Jacobi Equation The Hamilton-Jacobi equation for a particle undergoing motion in a curved background with metric gµν is given by −∂S ∂l = H = 1 2 gµν ∂S ∂xµ ∂S ∂xν , (3.1) where S is the action associated with the particle, l is an affine parameter along the worldline, and H is the Hamiltonian. We will be considering the motion of a particle in the Kerr-de Sitter metrics and we will use the assumption of only having two different spin parameters. We will see how this assumption is made to enlarge the isometry group of the spacetime. Planes 1 through p will have spin parameter a and planes p+1 through p+q will have spin parameter b. We will attempt an additive separation of variables as follows, let us Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 13 assume S is given by S = 1 2 m2l−Eτ+ p∑ i=1 Φiϕi+ q∑ i=1 Ψiϕp+i+Sr(r)+Sθ(θ)+ p−1∑ i=1 Sαi(αi)+ q−1∑ i=1 Sβi(βi) . (3.2) Since τ and ϕi are cyclic coordinates, we have used their conserved conjugate momenta E and Φi or Ψi. If the number of spacetime dimensions is even, then ϕp+q is not a coordinate, so we will adopt the convention that Ψq = 0 in that case. Using the form of the inverse metric (2.13), (2.22) we can substitute (3.2) into (3.1) to get −ρ2m2 = [ ΣaΣb λ∆θ − ΣaΣb λΣr − α ZΣr − α 2 ZΣ2r ] E2 +2 [ aΣaΣb ∆θ − aΣaΣb Σr − αλa ZΣ2r − α 2aΣa − αaΣr(V − α) ZΣ2r(V − α)(r2 + a2) ] p∑ i=1 (−E)Φi +2 [ bΣaΣb ∆θ − bΣaΣb Σr − αλb ZΣ2r − α 2bΣb − αbΣr(V − α) ZΣ2r(V − α)(r2 + b2) ] q∑ i=1 (−E)Ψi + p∑ i=1 p∑ j=1 [ λ2a2 ( ΣaΣb ∆θ − ZΣaΣb − αλ ZλΣr ) + α2a2Σ2a Z(V − α)(r2 + a2)2 + Qij Z ] ΦiΦj + q∑ i=1 q∑ j=1 [ λ2b2 ( ΣaΣb ∆θ − ZΣaΣb − αλ ZλΣr ) + α2b2Σ2a Z(V − α)(r2 + b2)2 + Q(i+p)(j+p) Z ] ΨiΨj +2 p∑ i=1 q∑ j=1 [ λ2ab ( ΣaΣb ∆θ − ΣaΣb λΣr − α ZΣr ) + α2abΣaΣb Z(V − α)(r2 + a2)(r2 + b2) + Qi(j+p) Z ] ΦiΨj . +∆θ [ dSθ(θ) dθ ]2 + V − α Z [ dSr(r) dr ]2 Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 14 + ρ2Σa (r2 + a2) sin2 θ p∑ i=1 Φ2i σ2i + p−1∑ i=1 ρ2Σa (r2 + a2) sin2 θ ∏i−1 k=1 sin 2 αk ( dSαi dαi )2 + ρ2Σb (r2 + b2) cos2 θ p∑ i=1 Ψ2i ν2i + q−1∑ i=1 ρ2Σb (r2 + b2) cos2 θ ∏i−1 k=1 sin 2 βk ( dSβi dβi )2 . (3.3) Note that the quantities σi and νi are not coordinates, but functions of the angular coordinates αi and βi defined by (2.19). We can see that all of the dependence on the αi coordinates is contained in the second last line, and all of the dependence on the βi coordinates is contained in the final line. This tells us we can separate out the α and β parts of those terms as constants J21 = p∑ i=1 [ Φ2i σ2i + 1∏i−1 k=1 sin 2 αk ( dSαi dαi )2] , L21 = q∑ i=1 [ Ψ2i ν2i + 1∏i−1 k=1 sin 2 βk ( dSβi dβi )2] , (3.4) with J21 and L 2 1 being separation constants, and we may now replace the final two lines of (3.3) with ρ 2Σa (r2+a2) sin2 θ J21 + ρ2Σb (r2+b2) cos2 θ L21. To separate the rest of (3.3), we can isolate all the θ dependence away from the r dependence. Recall that the functions Z, V , and Qij only depend on r and have no other coordinate dependence. After r and θ have been separated, one arrives at the equations K = m2r2 − [ ΣaΣb λΣr + α ZΣr + α2 ZΣ2r ] E2 +2 [ aΣaΣb Σr + αλa ZΣ2r + α2aΣa ZΣ2r(V − α)(r2 + a2) + αa ZΣr(r2 + a2) ] p∑ i=1 (−E)Φi +2 [ bΣaΣb Σr + αλb ZΣ2r + α2bΣb ZΣ2r(V − α)(r2 + b2) + αb ZΣr(r2 + b2) ] q∑ i=1 (−E)Ψi + p∑ i=1 p∑ j=1 [ λ2a2 ( ΣaΣb λΣr + α ZΣr ) − α 2a2Σ2a Z(V − α)(r2 + a2)2 − Qij Z ] ΦiΦj Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 15 + q∑ i=1 q∑ j=1 [ λ2b2 ( ΣaΣb λΣr + α ZΣr ) − α 2b2Σ2a Z(V − α)(r2 + b2)2 − Q(i+p)(j+p) Z ] ΨiΨj +2 p∑ i=1 q∑ j=1 [ λ2ab ( ΣaΣb λΣr + α ZΣr ) − α 2abΣaΣb Z(V − α)(r2 + a2)(r2 + b2) − Qi(j+p) Z ] ΦiΨj + V − α Z [ dSr(r) dr ]2 + Σa(r 2 + b2) r2 + a2 J21 + Σb(r 2 + a2) r2 + b2 L21 , (3.5) and −K = m2a2 cos2 θ +m2b2 sin2 θ + ∆θ ( dSθ dθ )2 + Σa cot 2 θJ21 + Σb tan 2 θL21 + ΣaΣb λ∆θ E2 − 2 p∑ i=1 aΣaΣb ∆θ EΦi − 2 q∑ i=1 bΣaΣb ∆θ EΨi + p∑ i=1 p∑ j=1 λ2a2ΣaΣb ∆θ ΦiΦj + q∑ i=1 q∑ j=1 λ2b2ΣaΣb ∆θ ΨiΨj + 2 p∑ i=1 q∑ j=1 λ2abΣaΣb ∆θ ΦiΨj , (3.6) with K being the separation constant. Now the Hamilton-Jacobi equation (3.3) has been separated into its r, θ, αi, and βi sectors, and all that remains is to separate out the individual αi and βi coordinates in (3.4). The metric parameters α, λ, a and b do not appear in that equation, so the result is exactly what you would get for the spherical coordinates in flat spacetime. It is possible to separate the functions Sαi(αi) from eachother, one at a time getting the following inductive form( dSαk dαk )2 = J2k − J2k+1 sin2 αk − Φ 2 p−k+1 cos2 αk for k = 1, ..., p− 2 , ( dSαp−1 dαp−1 )2 = J2p−1 − Φ21 sin2 αp−1 − Φ 2 2 cos2 αp−1 , (3.7) Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 16 and similarly for β,( dSβk dβk )2 = L2k − L2k+1 sin2 βk − Ψ 2 q−k+1 cos2 βk for k = 1, ..., q − 2 , ( dSβq−1 dβq−1 )2 = L2q−1 − Ψ21 sin2 βq−1 − Ψ 2 2 cos2 βq−1 . (3.8) This completes the separation of the Hamilton-Jacobi equation for a particle moving in the Kerr-de Sitter spacetime with two unequal rotation parame- ters. 3.3 Equations of Motion Using the equations from the last section, the action (3.2) can be written in the form S = 1 2 m2l − Eτ + p∑ i=1 Φiϕi + q∑ i=1 Ψiϕp+i + ∫ r√ R(r′)dr′ + ∫ θ√ Θ(θ′)dθ′ + p−1∑ i=1 ∫ αi√ Ai(α′i)dα ′ i + q−1∑ i=1 ∫ βi√ Bi(β′i)dβ ′ i , (3.9) with R(r) being given by (3.5) V − α Z R(r) = −m2r2 + [ ΣaΣb λΣr + α ZΣr + α2 ZΣ2r ] E2 −2 [ aΣaΣb Σr + αλa ZΣ2r + α2aΣa ZΣ2r(V − α)(r2 + a2) + αa ZΣr(r2 + a2) ] p∑ i=1 (−E)Φi −2 [ bΣaΣb Σr + αλb ZΣ2r + α2bΣb ZΣ2r(V − α)(r2 + b2) + αb ZΣr(r2 + b2) ] q∑ i=1 (−E)Ψi − p∑ i=1 p∑ j=1 [ λ2a2 ( ΣaΣb λΣr + α ZΣr ) − α 2a2Σ2a Z(V − α)(r2 + a2)2 − Qij Z ] ΦiΦj − q∑ i=1 q∑ j=1 [ λ2b2 ( ΣaΣb λΣr + α ZΣr ) − α 2b2Σ2a Z(V − α)(r2 + b2)2 − Q(i+p)(j+p) Z ] ΨiΨj Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 17 −2 p∑ i=1 q∑ j=1 [ λ2ab ( ΣaΣb λΣr + α ZΣr ) − α 2abΣaΣb Z(V − α)(r2 + a2)(r2 + b2) − Qi(j+p) Z ] ΦiΨj −Σa(r 2 + b2) r2 + a2 J21 − Σb(r 2 + a2) r2 + b2 L21 −K , (3.10) Θ(θ) being given by (3.6) ∆θΘ(θ) = −m2a2 cos2 θ −m2b2 sin2 θ − Σa cot2 θJ21 − Σb tan2 θL21 −ΣaΣb λ∆θ E2 + 2 p∑ i=1 aΣaΣb ∆θ EΦi + 2 q∑ i=1 bΣaΣb ∆θ EΨi − p∑ i=1 p∑ j=1 λ2a2ΣaΣb ∆θ ΦiΦj − q∑ i=1 q∑ j=1 λ2b2ΣaΣb ∆θ ΨiΨj − 2 p∑ i=1 q∑ j=1 λ2abΣaΣb ∆θ ΦiΨj −K , (3.11) and Ai(αi) and Bi(βi) are given by (3.7) and (3.8) Ai(αi) = J 2 i − J2i+1 sin2 αi − Φ 2 p−i+1 cos2 αi for i = 1, ..., p− 2 , Ap−1(αp−1) = J2p−1 − Φ21 sin2 αp−1 − Φ 2 2 cos2 αp−1 , Bi(βi) = L 2 i − L2i+1 sin2 βi − Ψ 2 q−i+1 cos2 βi for i = 1, ..., q − 2 , Bq−1(βq−1) = L2q−1 − Ψ21 sin2 βq−1 − Ψ 2 2 cos2 βq−1 . (3.12) To obtain the equations of motion from this action, we differentiate S with respect to the parameters m2, K, E, J2i , L 2 i , Φi, Ψi and set these derivatives equal to constants. However, these new constants can be set to zero by freedom of choice of the origin of coordinates or by changing constants of integration. The equations that one obtains are of the form ∂S ∂m2 = 0⇒ l = ∫ Zr2 V − α dr√ R(r) + ∫ (a2 cos2 θ + b2 sin2 θ)dθ ∆θ √ Θ(θ) , Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 18 ∂S ∂K = 0⇒ ∫ dθ ∆θ √ Θ(θ) = ∫ Z V − α dr√ R(r) , ∂S ∂J21 = 0⇒ ∫ dα1√ A1(α1) = ∫ Z V − α Σa(r 2 + b2) r2 + a2 dr√ R(r) + ∫ Σa cot 2 θdθ ∆θ √ Θ(θ) , ∂S ∂J2i = 0⇒ ∫ dαi√ Ai(αi) = ∫ 1 sin2 αi−1 dαi−1√ Ai−1 , i = 2, ..., p− 2 , ∂S ∂L21 = 0⇒ ∫ dβ1√ B1(β1) = ∫ Z V − α Σb(r 2 + a2) r2 + b2 dr√ R(r) + ∫ Σb tan 2 θdθ ∆θ √ Θ(θ) , ∂S ∂L2i = 0⇒ ∫ dβi√ Bi(βi) = ∫ 1 sin2 βi−1 dβi−1√ Bi−1(βi−1) , i = 2, ..., q − 2 . (3.13) There are n more equations one can obtain for the azimuthal coordinates ϕi, obtained by differentiating S with respect to the angular momenta Φi and Ψi. Also there is an equation involving the time coordinate τ that can be found by differentiating S with respect to E. These additional equations are lengthy and not very illuminating however, so we will not list them, but they can be found very simply by following this procedure. Rather than having equations of motion in integral form, it is possible to write them in differential form by differentiating (3.13) with respect to the affine parameter l ρ2 dr dl = V − α Z √ R(r) , ρ2 dθ dl = ∆θ √ Θ(θ) , (r2 + a2) Σa dαk dl = √ Ak(αk) sin2 θ ∏k−1 i=1 sin 2 αi , k = 1, ..., p− 1 , (r2 + b2) Σb dβk dl = √ Bk(βk) cos2 θ ∏k−1 i=1 sin 2 βi , k = 1, ..., q − 1 . (3.14) Naturally, there are similar differential equations involving τ and ϕi that one can obtain from the integral equations of motion that we did not list. Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 19 3.3.1 The Radial Equation Next we will analyse the radial equation of motion by considering motion in the black hole exterior. The allowed regions of particle motion necessarily have a positive value for the quantity R(r), owing to equation (3.14). When λ = 0, at large distances the dominant contribution to R(r) is E2 − m2, so we can say that for E2 > m2 we can have unbounded orbits, but if E2 < m2 only bound orbits will be possible. If λ is nonzero then the dominant term at large r is m 2 λr2 , so if λ > 0 unbound orbits will be possible, while if λ < 0 then there will only be bound orbits. One can further analyse radial motion by decomposingR(r) as a quadratic in E as R(r) = γE2 − 2ζE + κ, (3.15) where γ = Z V − α [ ΣaΣb λΣr + α ZΣr + α2 ZΣ2r ] , ζ = −Z V − α [ aΣaΣb Σr + αλa ZΣ2r + α2aΣa ZΣ2r(V − α)(r2 + a2) + αa ZΣr(r2 + a2) ] p∑ i=1 Φi − Z V − α [ bΣaΣb Σr + αλb ZΣ2r + α2bΣb ZΣ2r(V − α)(r2 + b2) + αb ZΣr(r2 + b2) ] q∑ j=1 Ψj , κ = { − p∑ i=1 p∑ j=1 [ λ2a2 ( ΣaΣb λΣr + α ZΣr ) − α 2a2Σ2a Z(V − α)(r2 + a2)2 − Qij Z ] ΦiΦj − q∑ i=1 q∑ j=1 [ λ2b2 ( ΣaΣb λΣr + α ZΣr ) − α 2b2Σ2a Z(V − α)(r2 + b2)2 − Q(i+p)(j+p) Z ] ΨiΨj −2 p∑ i=1 q∑ j=1 [ λ2ab ( ΣaΣb λΣr + α ZΣr ) − α 2abΣaΣb Z(V − α)(r2 + a2)(r2 + b2) − Qi(j+p) Z ] ΦiΨj − Σa(r 2 + b2) r2 + a2 J21 − Σb(r 2 + a2) r2 + a2 L21 +K −m2r2 } Z V − α . (3.16) Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 20 Now we can see that the turning points for radial motion will occur at E = V±, where V± = ζ ±√ζ2 − γκ γ . (3.17) 3.3.2 The Angular Equation One can also examine the angular parts of the equations of motion (3.14) to study motion of the angular coordinates αi and βi. Consider a particle which has a motion such that αi is a constant for each value of i, this means that the motion is described by the equations Ai(αi = αi0) = dAi dαi (αi = αi0) = 0 , i = 1, ..., p− 1 , (3.18) with αi0 being that constant value of αi. These equations can be solved to find J2i+1 sin4 αi0 = Φ2p−i−1 cos4 αi0 , J2i = J2i+1 sin2 αi0 + Φ2p−i+1 cos2 αi0 , i = 1, ..., p− 1 . (3.19) We can see that if αi0 = 0 then Ji+1 = 0, and if αi0 = pi/2 then Φp−i+1 = 0. Examining Ai in the general case the subspace αi = 0 can only be reached if Ji+1 = 0, and αi = pi/2 can only be reached if Φp−i+1 = 0. The motion will be completely in the subspace αi = 0 only if J 2 i = Φ 2 p−i+1, and the motion will be completely in the subspace αi = pi/2 only if J 2 i = J 2 i+1. Naturally, equivalent results hold for the βi equations as well. 3.4 The Klein-Gordon Equation Consider a scalar field χ with mass m in a gravitational background with metric g with dynamics governed by the action S[χ] = −1 2 ∫ ( (∇χ)2 + ηRχ2 +m2χ2)√−g dNx , (3.20) with a curvature-dependent coupling with constant η. In the Kerr-de Sitter metrics we are interested in, R = N(N−1)λ is a constant, so we may simply Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 21 replace m2 with m2− ηR to remove the term proportional to η. Variation of this action leads to the Klein-Gordon equation 1√−g∂µ( √−ggµν∂νχ) = m2χ . (3.21) Carter [16] has noted that separation of the Klein-Gordon equation is often connected with separation of the Hamilton-Jacobi equation. Since we have seen that the Hamilton-Jacobi equation undergoes separation in the case that there are only two distinct spin parameters, it is natural to assume that again for the analysis here. First we must calculate the determinant of the Kerr-de Sitter metric. In Boyer-Lindquist coordinates, and using the θ, αi and βi coordinates from (2.17)-(2.19), the determinant can be expressed as g = −RTABρ 4 Σ2pa Σ 2q−2ι b , (3.22) where R = r2(r2 + a2)2p−2(r2 + b2)2q−2−ι , T = sin4p−2 θ cos4q−2−2ι θ , A = p−1∏ i=1 sin4p−4i−2 αi cos2 αi , B = q−1∏ i=1 sin4q−4i−2 βi cos2 βi cos−2ι β1 . (3.23) Note that R and T are functions of r and θ only, while A and B depend only on the variables αi and βi. Using this and the form of the inverse metric calculated earlier, the Klein- Gordon equation becomes: m2χ = 1 ρ2 √ R ∂r (√ R V − α Z ∂rχ ) + Σa (r2 + a2) sin2 θ p∑ i=1 1 σ2i ∂2ϕiχ + Σb (r2 + b2) cos2 θ q∑ i=1 1 ν2i ∂2ϕi+pχ+ 1 ρ2 √ T ∂θ (√ T∆θ∂θχ ) Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 22 + Σa (r2 + a2) sin2 θ [ p−1∑ i=1 1√ A ∂αi ( √ A∏i−1 k=1 sin 2 αk ∂αiχ )] + Σb (r2 + b2) cos2 θ [ q−1∑ i=1 1√ B ∂βi ( √ B∏i−1 k=1 sin 2 βk ∂βiχ )] + [ ΣaΣb λρ2∆θ − ΣaΣb ρ2λΣr − α ρ2ZΣr − α 2 ρ2ZΣ2r ] ∂2τχ +2 [ aΣaΣb ρ2∆θ − aΣaΣb ρ2Σr − αλa ρ2ZΣ2r − α 2aΣa ρ2ZΣ2r(V − α)(r2 + a2) − αa ρ2ZΣr(r2 + a2) ] p∑ i=1 ∂τ∂ϕiχ +2 [ bΣaΣb ρ2∆θ − bΣaΣb ρ2Σr − αλb ρ2ZΣ2r − α 2bΣb ρ2ZΣ2r(V − α)(r2 + b2) − αb ρ2ZΣr(r2 + b2) ] q∑ i=1 ∂τ∂ϕp+iχ + p∑ i=1 p∑ j=1 [ λ2a2 ( ΣaΣb ρ2∆θ − ΣaΣb ρ2λΣr − α ρ2ZΣr ) + α2a2Σ2a ρ2Z(V − α)(r2 + a2)2 + Qij ρ2Z ] ∂ϕi∂ϕjχ + q∑ i=1 q∑ j=1 [ λ2b2 ( ΣaΣb ρ2∆θ − ΣaΣb ρ2λΣr − α ρ2ZΣr ) + α2b2Σ2a ρ2Z(V − α)(r2 + b2)2 + Q(i+p)(j+p) ρ2Z ] ∂ϕi+p∂ϕj+pχ +2 p∑ i=1 q∑ j=1 [ λ2ab ( ΣaΣb ρ2∆θ − ΣaΣb ρ2λΣr − α ρ2ZΣr ) + α2abΣaΣb ρ2Z(V − α)(r2 + a2)(r2 + b2) + Qi(j+p) ρ2Z ] ∂ϕi∂ϕj+pχ . (3.24) Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 23 To separate this equation, we assume a multiplicative separation of χ: χ = χr(r)χθ(θ)e −iEτei Pp i Φiϕiei Pq i Ψiϕp+i ( m−1∏ i=1 χαi(αi) )( p−1∏ i=1 χβi(βi) ) , (3.25) and we will again use the convention that Ψp = 0 in the case of an even number of spacetime dimensions. The Klein-Gordon equation now separates. The r and θ portions are given as K = 1 χr √ R d dr (√ R V − α Z dχr dr ) + [ ΣaΣb λΣr + α ZΣr + α2 ZΣ2r ] E2 + p∑ i=1 p∑ j=1 [ λ2a2 ( ΣaΣb λΣr + α ZΣr ) − α 2a2Σ2a Z(V − α)(r2 + a2)2 − Qij Z ] ΦiΦj + q∑ i=1 q∑ j=1 [ λ2b2 ( ΣaΣb λΣr + α ZΣr ) − α 2b2Σ2a Z(V − α)(r2 + b2)2 − Q(i+p)(j+p) Z ] ΨiΨj +2 p∑ i=1 q∑ j=1 [ λ2ab ( ΣaΣb λΣr + α ZΣr ) − α 2abΣaΣb Z(V − α)(r2 + a2)(r2 + b2) − Qi(j+p) Z ] ΦiΨj −2 [ aΣaΣb Σr + αλa ZΣ2r + α2aΣa ZΣ2r(V − α)(r2 + a2) + αa ZΣr(r2 + a2) ] p∑ i=1 EΦi −2 [ bΣaΣb Σr + αλb ZΣ2r + α2bΣb ZΣ2r(V − α)(r2 + b2) + αb ZΣr(r2 + b2) ] q∑ i=1 EΨi −Σa r 2 + b2 r2 + a2 q∑ i=1 L1Φ 2 i − Σb r2 + a2 r2 + b2 q∑ i=1 M1Ψ 2 i −m2r2 , (3.26) and −K = 1 χθ √ T d dθ (√ T∆θ dχθ dθ ) − ΣaΣb λ∆θ E2 −m2(a2 cos2 θ + b2 sin2 θ) Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 24 +L1 cot 2 θ +M1 tan 2 θ − 2λa2 ΣaΣb ∆θ p∑ i=1 p∑ j=1 ΦiΦj − 2λb2 ΣaΣb ∆θ q∑ i=1 q∑ j=1 ΨiΨj −4λabΣaΣb ∆θ p∑ i=1 q∑ j=1 ΦiΨj + 2 aΣaΣb ∆θ p∑ i=1 EΦi + 2 bΣaΣb ∆θ q∑ j=1 EΦj . (3.27) K, L1, and M1 are separation constants. The α and β parts of the equations are given by a series of equations Lk = Lk+1 sin2 αk − Φ 2 p−k+1 cos2 αk + 1 χαk cosαk sin 2p−2k−1 αk d dαk ( cosαk sinαk dχαk dαk ) , (3.28) for k = 1, ..., p− 1 and Mk = Mk+1 sin2 βk − Ψ 2 q−k+1 cos2 βk + 1 χβk cos βk sin 2q−2k−1 βk d dβk ( cos βk sin βk dχβk dβk ) , (3.29) for k = 1, ..., q − 1. This completes the separation of the Klein-Gordon equation for a scalar field acting in the Kerr-(anti) de Sitter spacetime with two unequal spin parameters. 3.5 Symmetry of the Metric Now we would like to say something about the underlying symmetries of these spacetimes that allowed for the separation of variables of the Hamilton-Jacobi and Klein-Gordon equations. In general relativity, symmetries of metrics are represented by Killing vector fields that exist in the spacetime. A vector field ξ is said to be a Killing vector if it obeys the Killing equation Lξ g = 0 , (3.30) which is the statement that the metric g is unchanged under an infinitesimal translation in the direction of ξ. In component notation, equation (3.30) can be expressed as ∇µξν +∇νξµ = 0 , (3.31) so the derivative of a Killing vector is antisymmetric. Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 25 Killing vectors are also connected with conserved quantities in geodesic motion, specifically if ξ is a Killing vector and p is the momentum vector tangent the worldline of a particle in geodesic motion, then the quantity ξ · p is conserved. Specifically pµ∇µ(pνξν) = 0 , (3.32) which is easily shown to be true from the fact that ∇ξ is antisymmetric and the geodesic equation pµ∇µpν = 0. In the Kerr-de Sitter spacetimes there are Killing vectors associated with coordinates ϕi and τ , and correspond to conserved quatities Φi, Ψi, and E. When some of the rotation parameters are equal there is additional symmetry associated with “rotating” the individual planes into eachother. One can construct these Killing vectors explicitly by selecting two of the planes that have equal rotation parameters with labels i and j. These planes have angle cosines µi and µj and azimuthal coordinates ϕi and ϕj. Introduce Cartesian-like coordinates on the planes as xi = rµi cosϕi , yi = rµi sinϕi xj = rµj cosϕj , yj = rµj sinϕj . (3.33) Next define rotation generators on the planes as Luv = u∂v − v∂u , (3.34) where u and v can be any of xi, yi, xj, yj. If u = xi and v = yi then the vector Lxiyi is the same as ∂ϕi . The other combinations for Luv will not be Killing vectors except in the case that the chosen planes have spin parameter equal to zero, however, the combinations ξij = Lxixj + Lyiyj , ζij = Lxiyj + Lxjyi , (3.35) are Killing vectors whenever ai = aj. One can also generalize the concept of a Killing vector to construct Killing tensors. One defines a Killing tensor Kµ1µ2...µn as a symmetric rank n tensor which has the feature that the totally symmetric part of ∇K vanishes, ∇(νKµ1µ2...µn) = 0 . (3.36) Then we can see that pµ∇µ(Kµ1µ2...µnpµ1pµ2 ...pµn) = 0 , (3.37) Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 26 when p obeys the geodesic equation, so that Kµ1µ2...µnp µ1pµ2 ...pµn is a con- served quantity. We can derive a Killing tensor for the Kerr-de Sitter spacetimes by con- sidering our separation constant to be a constant of the motion which is quadratic in the momenta. Recall equation (3.6), −K = m2a2 cos2 θ +m2b2 sin2 θ + ∆θ ( dSθ dθ )2 + Σa cot 2 θJ21 + Σb tan 2 θL21 + ΣaΣb λ∆θ E2 − 2 p∑ i=1 aΣaΣb ∆θ EΦi − 2 q∑ i=1 bΣaΣb ∆θ EΨi + p∑ i=1 p∑ j=1 λ2a2ΣaΣb ∆θ ΦiΦj + q∑ i=1 q∑ j=1 λ2b2ΣaΣb ∆θ ΨiΨj + 2 p∑ i=1 q∑ j=1 λ2abΣaΣb ∆θ ΦiΨj , (3.38) from this we may read off the form of the Killing tensor from K = Kµνpµpν = Kµν∂µS∂νS as Kµν = −gµν (a2 cos2 θ + b2 sin2 θ)− ΣaΣb λ∆θ δµτ δ ν τ − Σa cot2 θJµν1 − Σb tan2 θLµν1 − p∑ i=1 aΣaΣb ∆θ (δµτ δ ν ϕi + δµϕiδ ν τ )− q∑ i=1 bΣaΣb ∆θ (δµτ δ ν ϕi+p + δµϕi+pδ ν τ ) − p∑ i=1 p∑ j=1 λ2a2ΣaΣb ∆θ δµϕiδ ν ϕj − q∑ i=1 q∑ j=1 λ2b2ΣaΣb ∆θ δµϕi+pδ ν ϕj+p − p∑ i=1 q∑ j=1 λ2abΣaΣb ∆θ (δµϕiδ ν ϕj+p + δµϕj+pδ ν ϕi )−∆θδµθ δνθ . (3.39) where Jµν1 and L µν 1 are reducible Killing tensors, which means that they can be expressed as linear combinations of products of Killing vectors. In the case of even spacetime dimension, there is no coordinate ϕp+q, so one has to set δµϕp+q = 0. To see that J1 and L1 are reducible explicitly, we first examine the series of separation of the αi and βi coordinates (3.7)-(3.8) which gave us a series of Killing tensors, Jµνk = Jµνk+1 sin2 αk + δµϕp−k+1δ ν ϕp−k+1 cos2 αk + δµαkδ ν αk for k = 1, ..., p− 2 , Chapter 3. Separation of Variables in Kerr-de Sitter Spacetimes 27 Jµνp−1 = δ µ αp−1δ ν αp−1 + δµϕ1δ ν ϕ1 sin2 αp−1 + δµϕ2δ ν ϕ2 cos2 αp−1 , (3.40) and Lµνk = Lµνk+1 sin2 βk + δµϕp+q−k+1δ ν ϕp+q−k+1 cos2 βk + δµβkδ ν βk for k = 1, ..., q − 2 , Jµνq−1 = δ µ βq−1δ ν βq−1 + δµϕp+1δ ν ϕp+1 sin2 βq−1 + δµϕp+2δ ν ϕp+2 cos2 βq−1 . (3.41) To see that these Jk and Lk are reducible, an explicit calculation confirms that one can write them in the form Jµνp−k = k+1∑ i=1 δµϕiδ ν ϕi − k+1∑ i=1 i−1∑ j=1 δ(µϕiδ ν) ϕj + k+1∑ i=1 i−1∑ j=1 ξµijξ ν ij + k+1∑ i=1 i−1∑ j=1 ζµijζ ν ij , k = 1, ..., p− 1 , (3.42) and Lµνq−k = p+k+1∑ i=p+1 δµϕiδ ν ϕi − p+k+1∑ i=p+1 i−1∑ j=p+1 δ(µϕiδ ν) ϕj + p+k+1∑ i=p+1 i−1∑ j=p+1 ξµijξ ν ij + p+k+1∑ i=p+1 i−1∑ j=p+1 ζµijζ ν ij , k = 1, ..., q − 1 , (3.43) with ξij and ζij defined in (3.35). One can confirm through calculation that the tensors Kµν , Jµνk , and L µν k all obey (3.36), and so they are all Killing tensors. 28 Chapter 4 Geons 4.1 Introduction Geons were introduced about fifty years ago, by Wheeler and collaborators [29, 30], the idea being that it could be possible for topological structures to exist within a spacetime. These structures could carry charge, and angular momentum, resembling particles when viewed from a large scale. There has been much research into the quantum mechanics of such objects, such as [33– 35], in particular the study of four-dimensional geons motivated the result that all smooth 3-manifolds are allowed as physically reasonable solutions to the Einstein equations [36]. An intuitive example of a geon is to imagine a “handle” on an otherwise simple space, as figure 4.1. One can see that this space is topologically equivalent to a torus missing a single point. Topologically equivalent to Figure 4.1: A “handle” on an otherwise simple space. A more explicit example of a geon is the AdS soliton, first examined by Horowitz and Myers [50], the metric in N dimensions is given by ds2 = −r2dt2 + 1 V (r) dr2 + V (r)dφ2 + r2 N−3∑ i=1 dy2i , (4.1) with V (r) = |λ|r2 ( 1− rN−10 rN−1 ) and λ < 0. The coordinate r varies from r0 Chapter 4. Geons 29 I I �o + - I+ I- �o r=2 M r=0 r=2 M r=2M r=2M r=0 Figure 4.2: Maximal analytic extension of Schwarzschild spacetime Each point except the points labelled i0 represents a two-sphere. The surface r = 2M is the event horizon, and r = 0 is the location of the singularity. Note that there are two asymptotic regions. to infinity, and regularity near r = r0 demands that φ have period 4pi |λ|(N−1)r0 , but the yi can have arbitrary periods. This space is asymptotically locally anti-de Sitter in the sense defined in the appendix, and it has been shown to have minimal energy under small metric perturbations [51, 52]. If one takes a spatial slice of this spacetime and conformally completes it, the space has a topology of TN−3×R2, with T n the n-torus, so we can see that spatial slices of the AdS soliton are topologically different than that of flat space. As another example, one can consider the RP3 geon, discussed in [53]. This is a spacetime that one gets by starting with the maximal extension of the Schwarzschild spacetime [54] (see figure 4.2) and identifying points from the “left” and “right” spaces with each other. In order to do this consistently across the middle without destroying the manifold structure, the sphere that usually represents the middle is replaced with the projective space RP2 (see figure 4.3). The resulting space has spatial slices that are topologically RP3 − {p}, with p representing the point at infinity, so the spatial slices are topologically nontrivial. This idea will be central to the precise definition of a geon, which we will go over now. A globally hyperbolic spacetime M is said to be an N -dimensional geon if its Cauchy surface V can be expressed as V = Π− {p} with Π being any Chapter 4. Geons 30 I I �o + - r=0 r=0 r=2 M r=2M Figure 4.3: The RP3 geon This space is obtained by identifying opposite sides of Schwarzschild space. Each point represents a two-sphere, except for the dashed line where each point is RP2, and the point i0 which is a single point. compact manifold without boundary, other than the sphere SN−1, and {p} denotes a singleton set. The intention of this definition is that p corresponds to the “point at infinity” removed from the Cauchy slice, and if what is left has a more complicated topology than a sphere, then we say the spacetime is a geon. An asymptotically flat geon is one that satisfies the definition of an asymp- totically flat spacetime, while an asymptotically AdS geon is one that satisfies the definition of an asymptotically AdS spacetime. 4.2 Nonexistence of Asymptotically Flat Three Dimensional Geons In this section we will prove that any asymptotically flat, three dimensional spacetime that obeys the Einstein equations cannot contain geons, assuming reasonable conditions on the stress-energy of the spacetime. The proof will be done through a series of theorems, first demonstrating that in any three dimensional spacetime, the domain of outer communication must have a simple topology, so any geons will necessarily be hidden behind an event horizon. We then show that any three dimensional spacetime which has an event horizon must have a negative cosmological constant, and so cannot Chapter 4. Geons 31 be asymptotically flat. This proof was also a published work [37]. We will make use of some of the terminology discussed in the appendix. We must begin with a discussion of energy conditions, which are assumptions about the stress energy tensor for a spacetime. We will say that a spacetime obeys the null energy condition (NEC) if TµνW µW ν ≥ 0 for all null vectors W µ, the weak energy condition (WEC) if instead TµνW µW ν ≥ 0 for timelike vectors W µ, and the dominant energy condition (DEC) if whenever W µ is a future-directed, nonspacelike vector, then−T µνW ν is also a future-directed, nonspacelike vector [55]. These energy conditions can be physically interpreted as how local observers view flow of energy in spacetime. For an observer with momentum W µ, the momentum of local energy is given by the vector −T µνW ν , so the DEC is the statement that the local energy as viewed by a timelike observer flows in a timelike direction. Note also that the DEC implies the WEC. We can interpret the WEC by noting that the quantity TµνW µW ν is the local energy density as viewed by an observer with momentum W µ, so the WEC is the statement that timelike observers see positive energy density. The NEC is less physically clear, but is mathematically practical. First note that a violation of the NEC would mean there exists a null vector W µ such that TµνW µW ν < 0, but then by continuity this must also hold in some neighbourhood of W µ, since there must be a timelike vector in this neighbourhood we can see that a violation of the NEC implies a violation of the WEC, so the NEC is a weaker restriction than the WEC. Further, when W µ is null, the Einstein equations tell us TµνW µW ν = RµνW µW ν , so the NEC can be easily interpreted as a statement on the geometry of solutions. We begin by considering the region of space which is external to the event horizons. We will define the domain of outer communications (DOC) as I−(I+) ∩ I+(I−) for an asymptotically flat (AF) spacetime with null in- finity I+ and I− and for an asymptotically locally anti-de Sitter (ALADS) spacetime the DOC will be defined as I−(I)∩I+(I) for I the boundary of the spacetime. Intuitively, we can see that the DOC is the region of spacetime which can receive messages from infinity and can send messages to infinity. To begin the proof, we will need to make use of the principle of topo- logical censorship (PTC). This principle roughly says that any nontrivial topological structures in a spacetime must always be hidden behind an event horizon. Letting I represent the boundary of M in the Penrose compactified spacetime, we may state the PTC as follows: The Principle of Topological Censorship: Every nonspacelike curve whose Chapter 4. Geons 32 initial and final endpoints belong on I is homotopic to a curve that lies entirely within I. In [56] it has been shown that if a spacetime M with boundary I and DOC D obeys the following conditions: (1)D′ = D ∪ I is globally hyperbolic (2)I admits a compact spacelike cut (3)The NEC holds in D Then the PTC holds on D. In that paper, the authors actually used a weaker condition than the NEC, it was sufficient for the NEC to hold on average for null geodesics in D, however, for our purposes we will be using the stronger DEC anyway. There is a similar theorem for AdS spacetimes, demonstrated in [57]. In this case, it was needed for a locally AdS spacetime to be globally hyperbolic, however anti-de Sitter space is not generically globally hyperbolic, so the definition must be modified somewhat. We say that a ALADS spacetime M with boundary I is globally hyperbolic if the spacetime-with-boundary M ∪ I is globally hyperbolic. In both cases, there is a corollary to the theorem which is a statement about the fundamental homotopy group: If the PTC holds for D′, then the group homomorphism i∗ : pi1(I) → pi1(D ′) is surjective. We will use this result in our first theorem. Theorem 1. Let M be a 2+1-dimensional spacetime which is a globally hyperbolic AF or ALADS spacetime with boundary, and the stress-energy for M obeys the NEC. Let D be the DOC of M and V be a Cauchy surface in D. Then V is either the disk B2 or an annulus R× S1. Proof. Consider the DOC in the Penrose compactified spacetime D′ = D∪I, let V ′ be the Cauchy surface V extended into this spacetime, so V ′ has a boundary at infinity ∂V ′ = σ. Because D′ satisfies the conditions needed to prove topological censorship, then the homomorphism of fundamental groups i∗ : pi1(σ)→ pi1(V ′) induced by inclusion must be surjective. In other words, the sequence pi(σ)→ pi1(V ′)→ 1 is exact. Because V ′ is two dimensional, the only possible topology on σ is S1, the only closed connected 1-dimensional manifold. As we know that pi1(S 1) = Z we then have Z → pi1(V ′) → 1 for our exact sequence. This exact sequence tells us that pi1(V ′) = Z/ ker i∗. As i∗ is a homomorphism from Z, its kernel Chapter 4. Geons 33 must be a subgroup of Z. The only subgroups of Z are of the form sZ where s is some nonnegative integer, so we must have pi1(V ′) = Z/sZ = Zs. Classification of 2-manifolds tells us that if we have a 2-manifold with boundary V ′ such that pi1(V ′) = Zs and ∂V ′ = σ, then we must have s = 1 and V ′ is a disk R2 or we have s = 0 and V ′ is an annulus R× S1. We can see that theorem 1 gives us information about the spatial part of the DOC, which is the part that can be reached from infinity. This theorem still allows a Cauchy slice of the full spacetime (which may include parts outside of D) to have a more complicated topology. Our next theorem will demonstrate that 3-dimensional geons always come with an event horizon. Theorem 2. Let M be a 2 + 1-dimensional spacetime which is a globally hy- perbolic AF or ALADS geon spacetime with boundary, and the stress-energy for M obeys the NEC. Then M contains an event horizon. Proof. Since M is a geon, it must have a Cauchy surface Π − {p}. If the spacetime has no horizon, then we would have that the DOC of M would be the same as all of M . According to theorem 1, the Cauchy surface of M must then be either R2 or R× S1. These spaces are topologically equivalent to S2 − {p} and R2 − {p} respectively. We can see that neither of these has nontrivial topology, and so are not the Cauchy surface of a geon. Thus, it must be the case that a geon spacetime has a horizon. Theorem 2 tells us that if the spacetime has any non-trivial topology, it must be hidden behind an event horizon. The next theorem will demon- strate that any spacetime which has an event horizon must have a negative cosmological constant. The proof will also require use of the DEC. Theorem 3. Let M be a globally hyperbolic 2+1-dimensional spacetime with possible event horizons. Suppose M obeys the following conditions 1), 2), 3), and either 4a) or 4b): 1)The Einstein equations with cosmological constant Rµν− 12Rgµν+Λgµν = 8piTµν , 2) Tµν obeys the DEC. 3) The spacetime contains a trapped surface. 4a) The metric induced on spatial sections of the manifold are analytic in the region near the event horizon. 4b) The spacetime admits a maximal slicing. Then the spacetime cannot be asymptotically flat. Chapter 4. Geons 34 Proof. Suppose V is a Cauchy surface in M . Since M has a trapped surface, it must have a trapped region, consider the intersection of that trapped region with the surface V . Since the trapped region does not extend all the way out to infinity (or else there would be no event horizon), it must have an outer boundary. Let U represent the outer boundary of the trapped region which lies in V . We can see that U must be the outermost trapped surface, so it is a marginal trapped surface. Let l be the future-directed geodesic null vector orthogonal to U with zero expansion. Let n be the other future-directed null vector which is orthogonal to U . We may normalize l and n such that l ·n = −1. Now we wish to add one more vector m so that the basis (l, n,m) is complete. The remaining spatial vector m, which must be parallel to the tangent vector to U , can be normalized so that m ·m = 1. The metric tensor then decomposes as gµν = mµmν − lµnν − lνnµ . (4.2) Note that since U is a marginally trapped surface, the expansion of outgoing null geodesics θ = mµm ν∇νlµ is zero in that surface. Next, consider deform- ing U outwards a distance w along −n, where n has been chosen so that the direction of positive w is outward toward infinity. Since l is hypersurface orthogonal, we may use the scaling freedom l → eχ l, n → e−χ n to ensure that l obeys mνnµ∇µlν = mνnµ∇νlµ , (4.3) which in the language of [58] is τ = α + β. Moving outward a distance w along −n, The expansion θ of l changes according to dθ dw = −nρ∇ρ(mµmν∇νlµ) . (4.4) From (4.2) we can see that ∇νmµ = lµmσ∇νnσ + nµmσ∇νlσ . (4.5) Expanding out (4.4) and using the fact that l is geodesic, we can write this as dθ dw = −Rµσρνlσnρmνmµ − nρmνmµ∇ν∇ρlµ − pµpµ − pνnµ∇νlµ , (4.6) where we have defined pµ = mµmνnσ∇νlσ, and this p is a spacelike vector. One can calculate the divergence of p in the surface U using (4.3), it is given Chapter 4. Geons 35 by mµmν∇νpµ = mνmµnρ∇ν∇ρlµ + pνnρ∇νlρ +mνmρ∇νnρmτmµ∇τ lµ +mνmµ∇νlµnσnλ∇λlσ . (4.7) Using this expression, and using (4.2), we can see that dθ dw = −Rµσρνlσnρlνnµ +Rµνlµnν − pµpµ −mµmν∇νpµ +mτmµ∇τ lµ ( mνmρ∇νnρ + nσnλ∇λlσ ) . (4.8) In the final term, we may replace mτmµ∇τ lµ with θ. Consider now defining l′ = eφl and n′ = eφn, with φ a function on the surface U , but φ does not vary as we move out along w, dφ dw = 0. Defining p′µ = pµ − mµmν∇νφ, we can express the last equation as dθ′ dw = −Rµνσλnµlνnσlλ +Rµνnµlν −mµmν∇νpµ −mµmν∇µ∇νφ −p′µp′µ + θ′(mνmρ∇νn′ρ + n′σn′λ∇λl′σ) , (4.9) where θ′ = mµmν∇νl′µ = eφ θ. It is possible to choose the function φ so that the sum of the terms on the right is a constant on the surface U . The sign of this constant is determined by the value of the integral of these terms on the surface. The terms mµmν∇νpµ and mµmν∇µ∇νφ are total divergences in the surface U , so they integrate to zero. The remaining terms determine the overall sign sgn ( dθ′ dw ) = sgn (∫ U (−Rµνλκnµlνnλlκ +Rµνnµlν − p′µp′µ + θ′γ)dA ) , (4.10) where γ = eφ(mνmρ∇νn′ρ + n′σn′λ∇λl′σ). Since θ′ = eφθ and dφdw = 0, it must be the case that dθ ′ dw and dθ dw have the same sign. We can simplify our expression for dθ dw using the relation between the Riemann tensor and the Ricci tensor in three dimensions, Rµνλκ = gµλRνκ + gνκRµλ− gµκRνλ− gνλRµκ + 1 2 (gµκgνλ− gµλgνκ)R , (4.11) Chapter 4. Geons 36 so we then have sgn ( dθ dw ) = sgn (∫ U (θγ −Rµνlµnν −R/2− p′µp′µ)dA ) . (4.12) We can replace the terms involving the Ricci tensor by using the Einstein equations contracted with l and n, Rµνn µlν +R/2 = 8piTµνn µlν + Λ , (4.13) giving us sgn ( dθ dw ) = sgn (∫ U (θγ − p′µp′µ − 8piTµνnµlν − Λ)dA ) . (4.14) Let us now denote A = ∫ U dA and Q = ∫ U (8piTµνn µlν + p′µp′µ)dA , (4.15) A ≥ 0 is the area of the trapped surface, and the DEC along with the fact that p′ is spacelike guarantees that Q ≥ 0. We can then write sgn ( dθ dw ) = sgn (∫ U θγdA−Q− ΛA ) . (4.16) We know that θ is zero on the surface U , and w is aligned such that increasing w is outward, toward infinity. We know that U is the outermost trapped surface, so it cannot be the case that dθ dw is negative. Since on U we have θ = 0, we must have Q + ΛA ≤ 0 in order to guarantee that sgn ( dθ dw ) ≥ 0. As we know that Q and A are each positive, that can only leave us with Λ ≤ 0 . (4.17) So far, we have made use of our conditions 1) 2) 3) to demonstrate that Λ must be nonpositive. The rest of the proof makes use of conditions 4a) and 4b) to rule out the possibility that the spacetime can be asymptotically flat. We will begin with a proof making use of condition 4a). We can rule out the case that the spacetime is asymptotically flat by showing that the inequality in (4.17) must be a strict one. We can do this by using analyticity of the metric near the event horizon, note that θ is obtained from the metric by an analytic calculation, so it must also be analytic. Also Chapter 4. Geons 37 recall that because U was the outermost trapped surface, θ must become positive as w increases. We will show a contradiction to this by using equation (4.16) to demonstrate that all of the coefficients in the Taylor expansion of θ(w) must vanish. Specifically, we will show that for all nonnegative integers m lim w→0+ θ wm = 0 . (4.18) This condition is clearly true for n = 0, as w = 0 is the surface U , now suppose there was a violation of (4.18), then there is a smallest value that violates it. Let us denote the smallest m that violates (4.18) as k. Positivity of θ outside of U guarantees that lim w→0+ θ wk > 0 , (4.19) but, since k must be positive, this is equivalent to lim w→0+ dθ/dw wk−1 > 0 . (4.20) Making use of (4.16) and the fact that the signature function is continuous on positive values, we can then say lim w→0+ (∫ U θ wk−1 γ dA− Q wk−1 ) > 0 , (4.21) where we have assumed Λ = 0. Since Q ≥ 0 and (4.18) is satisfied for m = k−1, the left side of this equation must be nonpositive. This proves that there is no smallest violation to (4.18), which then shows that all derivatives of θ must vanish at w = 0. Since θ is an analytic function near U , the vanishing of all of its derivatives implies that θ is zero somewhere outside of U , and so a trapped surface exists somewhere outside of U , which is impossible. Thus we must have Λ 6= 0 if the metric is analytic in a region near U . Note that in the vacuum case Tµν = 0, they metric will be analytic, also if there is matter near the horizon such that Q as defined by (4.15) is nonzero, then the inequality on (4.17) becomes a strict one and we do not need the analyticity requirement. Finally, we will show how to deal with the asymptotically flat case by making use of condition 4b) instead. First, recall the Gauss-Bonnet theorem Chapter 4. Geons 38 on a two-dimensional spatial surface M , which relates the geometry of M to its Euler characteristic χ,∫ M RdA+ 2 ∫ ∂M K ds = 4piχ , (4.22) where R is the Ricci scalar on M and K = yµyν∇µzν with y being the tangent unit vector on the boundary and z being the normal unit vector on the boundary. Consider that we have a flat spatial slice with a boundary only at infinity, R = 0 and χ = 1 for a flat spatial slice, and therefore it must be the case that ∫ ∞ K ds = 2pi , (4.23) and since this equation only depends on the local geometry at ∂M , it must hold for any asymptotically flat spatial slice. Now consider our case, with a trapped region, consider a spatial slice and denote the part of the spatial slice exterior to the trapped region as D. If D is an annulus, it will have χ = 0, otherwise it will have a negative Euler characteristic. For such a spatial slice, the Einstein equations read 2R = 16piρ+KabK ab −KaaKbb , (4.24) with 2R being the Ricci scalar on the slice, Kab the extrinsic curvature, and ρ = Tµνξ µξν being the energy density measured using the vector ξ as the normal vector to the spatial slicing. The DEC guarantees that ρ ≥ 0, and if we have a maximal slicing then Kaa = 0, so we are left with 2R ≥ 0. Applying the Gauss-Bonnet theorem to our surfaceD, which has a bound- ary at infinity and at our marginally trapped surface U , we have∫ D 2RdA+ 2 ∫ ∞ K ds+ 2 ∫ U K ds = 4piχ ≤ 0 . (4.25) As we have seen, 2R must be nonnegative, and applying (4.23) since D is asymptotically flat, we are left with∫ U K ds ≤ −2pi . (4.26) However, as U is a marginally trapped surface, it must have K = 0, so this is a contradiction. Chapter 4. Geons 39 As one final note, it is possible to have a space with an asymptotically flat region that does not obey (4.23), if the asymptotic region has a deficit angle. This could happen if the spacetime were to asymptote as a cone, for example. In this case, we would still have ∫ ∞K ds = δ > 0 and so we would instead obtain ∫ U K ds ≤ −δ , (4.27) which is still in contradiction to U being a trapped surface. Finally, we may prove our final theorem, which states that three-dimensional geons cannot be asymptotically flat. Theorem 4. Let M be a globally hyperbolic AF or ALADS spacetime-with- boundary that obeys the Einstein equations with cosmological constant. If the stress-energy tensor obeys the DEC and is analytic, then if M is a geon the spacetime cannot be asymptotically flat. Proof. Because the DEC implies the NEC, we have satisfied the conditions of theorem 2, so the topology must be hidden behind a horizon. We will now show that there is no topology behind a horizon in the AF case. To do this, we must make use of theorem 3, so we must show that M contains a trapped surface. Consider a Cauchy surface in M , denoted V . Since M is a geon, we must have that V is a compact manifold with a point removed V = Π−{p}, and Π is something other than the two-sphere S2. So, Π must be multiply connected, and as such has a universal covering space which is a multiple cover of Π. Denote this universal covering space as Π̂. We have seen that V can be expressed as a punctured manifold, Π − {p}, similarly we can construct a space we will call V̂ by puncturing the corresponding points out of Π̂. This V̂ is a covering space of V , but it is not a universal cover because it will not be simply connected in general, due to the punctured points. If we give V̂ the geometry of V as its covering space, then we can see that V̂ has multiple asymptotic regions which are either all AF or all AADS. We can also construct M̂ a the corresponding covering space of M . The geometries of V̂ and M̂ are locally the same as V and M , and V̂ and M̂ have more than one asymptotic region. If one takes a large circle in one asymptotic region and considers null geodesics travelling from that circle to that asymptotic region, the expansion of those null geodesics is positive relative to the corresponding asymptotic region. However, the expansion Chapter 4. Geons 40 is negative relative to a different asymptotic region, and there is therefore a trapped surface in the spacetime given by M̂ . This means that the spacetime M̂ satisfies the conditions of theorem 3, and therefore M̂ cannot be AF. Since M̂ has the same local geometry as M , it must also be the case that M cannot be AF. It is worth noting that there are 3-dimensional spacetimes which do have event horizons, such as the BTZ black hole [59]. This solution represents a rotating black hole in a three dimensional spacetime with a negative cosmo- logical constant, consistent with the results we have proven here. Even in such three dimensional black hole spacetimes though, there can only be one event horizon per asymptotic region, as the principle of topological censorship still holds. 41 Chapter 5 Charged Higher Dimensional Black Holes 5.1 Introduction In this chapter we will discuss solutions to the Einstein-Maxwell equations, that is, geometries which obey the Einstein equations with stress-energy generated by an electromagnetic field, and the field simultaneously satis- fies Maxwells equations. We will specifically be looking for solutions which physically represent isolated black holes in an asymptotically flat spacetime. We will review attempts that others have made to approach this problem, and prove a new theorem demonstrating the form of the electromagnetic potential in a higher dimensional rotating black hole spacetime. Some solutions to Einstein-Maxwell equations have been known for some time, specifically, in a 3+1-dimensional spacetime the solution which repre- sents an isolated black hole is the Kerr-Newman solution, derived in [42]. The metric and electromagnetic potential are given as ds2 = −dt2 +(r2 +a2) sin2 θdφ2 + ρ 2 ∆ dr2 +ρ2dθ2 + 2Mr −Q2 ρ2 (dt+a sin2 θdφ)2 , Aµdx µ = Qr ρ2 (dt+ a sin2 θdφ) , (5.1) where ρ2 = r2 + a2 cos2 θ , ∆ = r2 + a2 − 2Mr +Q2 . (5.2) This solution describes a rotating black hole with mass M , angular momen- tum Ma and charge Q. Higher dimensional black hole solutions have also been discovered, the first of which was examined by Tangherlini [60], who considered a higher dimensional version of the Schwarzschild metric. The metric can be expressed Chapter 5. Charged Higher Dimensional Black Holes 42 as ds2 = − ( 1− α rN−3 ) dt2 + ( 1− α rN−3 )−1 dr2 + r2dΩ2N−2 , (5.3) where dΩ2k is the line element on the k-sphere and the parameter α is propor- tional to the mass of the black hole (the proportionality constant depending on the number of dimensions N). This metric was generalized by Myers and Perry [10] to a rotating black hole in N -dimensions, the 5-dimensional one can be expressed as ds2 = −dt2 + (r2 + a2) sin2 θdφ2 + (r2 + b2) cos2 θdψ2 + ρ 2r2 ∆ dr2 +ρ2dθ2 + α ρ2 [ dt+ a sin2 θdφ+ b cos2 θdψ ]2 , (5.4) with ρ2 = r2 + a2 cos2 θ + b2 sin2 θ ∆ = (r2 + a2)(r2 + b2)− αr2 . (5.5) The black hole represented by this metric has two angular momenta, propor- tional to the parameters a and b, and a mass proportional to α. Myers and Perry also derived the metric for a charged black hole in N dimensions. The metric and corresponding electromagnetic potential are given by ds2 = − ( 1− α rN−3 − Q 2 r2N−6 ) dt2 + ( 1− α rN−3 − Q 2 r2N−6 )−1 dr2 + r2dΩ2N−2 , Aµdx µ = Q (N − 3)rN−3dt . (5.6) These metrics give us an interesting picture of charged and rotating black holes in varying spacetime dimension, however there is a part of the picture that is missing, there has been no complete solution for a charged, rotating, higher dimensional black hole. Approaches to the solution to this problem will be the topic of this chapter. Black Holes 3+1 Dimensional Higher Dimensional Static Schwarzschild Tangherlini Rotating Kerr Myers-Perry Charged Reissner-Nordström Myers-Perry Rotating + Charged Kerr-Newman unknown Table 5.1: Vacuum and electromagnetic black hole solutions Chapter 5. Charged Higher Dimensional Black Holes 43 5.2 Complex Coordinate Substitution In [61], it was shown that one can “derive” the Kerr metric by means of a complex coordinate substitution on the Schwarzschild metric, we will go over that derivation here. Begin with the Schwarzschild metric, ds2 = − ( 1− 2M r ) dt2 + ( 1− 2M r )−1 dr2 + r2(dθ2 + sin2 θdφ2) , (5.7) and transform coordinates from t to the null coordinate u defined by u = t− r − 2M ln(r − 2M) , (5.8) to give us the metric ds2 = − ( 1− 2M r ) du2 − 2dudr + r2(dθ2 + sin2 θdφ2) . (5.9) The inverse metric can be expressed as gµν = −lµnν − lνnµ +mµmν +mνmµ , (5.10) with the null tetrad vectors being lµ∂µ = ∂r , n µ∂µ = ∂u − 1 2 ( 1− 2M r ) ∂r , mµ∂µ = 1 r √ 2 ( ∂θ + i sin θ ∂φ ) , mµ∂µ = 1 r √ 2 ( ∂θ − i sin θ ∂φ ) . (5.11) At the point we perform assume the coordinates r and u can take on complex values, and rewrite the null tetrad as lµ∂µ = ∂r , n µ∂µ = ∂u − 1 2 [ 1−M ( 1 r + 1 r )] ∂r , mµ∂µ = 1 r √ 2 ( ∂θ + i sin θ ∂φ ) mµ∂µ = 1 r √ 2 ( ∂θ − i sin θ ∂φ ) . (5.12) Chapter 5. Charged Higher Dimensional Black Holes 44 with r being the complex conjugate of r. Note that the prescription is to keep l and n real, while keeping m and m complex conjugates. Now we may perform the coordinate transformation that changes the Schwarzschild metric into the Kerr metric. The transformation is given by r′ = r + ia cos θ , u′ = u− ia cos θ , θ′ = θ , φ′ = φ . (5.13) If we apply this transformation to the null vectors and then restrict r′ and u′ to be real valued, we obtain the tetrad l′µ∂µ = ∂r′ , n′µ∂µ = ∂u′ − 1 2 ( 1− 2Mr ′ r′2 + a2 cos2 θ ) ∂r′ , m′µ∂µ = 1 (r′ + ia cos θ) √ 2 [ ia sin θ(∂u′ − ∂r′) + ∂θ′ + i sin θ′ ∂φ′ ] , (5.14) and m′ as the complex conjugate of m′. At this point, the metric g′µν = −l′µn′ν − l′νn′µ + m′µm′ν + m′νm′µ is the Kerr metric, with a coordinate transformation applied. The explicit coordinate transformation is given by du′ = −dt− r ′2 + a2 r′2 + a2 − 2Mr′dr ′ , dφ′ = dΦ+ a r′2 + a2 − 2Mr′dr ′ , (5.15) Giving us the Kerr metric in coordinates which have been named (t, r′, θ′,Φ). So we can see that it is possible to “derive” the Kerr metric by a complex coordinate transformation of the Schwarzschild metric. This is not a deriva- tion in a strict sense, but is rather a trick that arrives at the correct an- swer. The transformation (5.13) applies angular momentum onto the static Schwarzschild spacetime to give us the Kerr spacetime. One can perform a similar trick on the Reissner-Nordström metric to arrive at the Kerr-Newman metric. The Reissner-Nordström metric with the null coordinate u can be expressed as gµν = −lµnν − lνnµ +mµmν +mνmµ , (5.16) where lµ∂µ = ∂r , n µ∂µ = ∂u − 1 2 ( 1− 2M r + Q2 r2 ) ∂r , Chapter 5. Charged Higher Dimensional Black Holes 45 mµ∂µ = 1 r √ 2 ( ∂θ + i sin θ ∂φ ) , mµ∂µ = 1 r √ 2 ( ∂θ − i sin θ ∂φ ) . (5.17) Now we once again allow r and u to take on complex values, and we rewrite the tetrad vectors as lµ∂µ = ∂r , n µ∂µ = ∂u − 1 2 [ 1−M ( 1 r + 1 r ) + Q2 rr ] ∂r , mµ∂µ = 1 r √ 2 ( ∂θ + i sin θ ∂φ ) , mµ∂µ = 1 r √ 2 ( ∂θ − i sin θ ∂φ ) , (5.18) again keeping l and n real with m and m complex conjugates. Note that we could have replaced the term Q 2 r2 in n with Q 2 2 ( 1 r2 + 1 r2 ) instead of Q 2 rr , however this would not have worked out to give the correct answer in the end. Performing the same coordinate transformation as before, with r′ = r + ia cos θ and u′ = u − ia cos θ, and then restricting r′ and u′ to take on real values, we obtain the new tetrad l′µ∂µ = ∂r′ , n′µ∂µ = ∂u′ − 1 2 ( 1− 2Mr ′ −Q2 r′2 + a2 cos2 θ ) ∂′r , m′µ∂µ = 1 (r′ + ia cos θ) √ 2 [ ia sin θ(∂u′ − ∂r′) + ∂θ′ + i sin θ′ ∂φ′ ] , (5.19) and again m′ as the complex conjugate of m′. With these vectors, the metric g′µν = −l′µn′ν − l′νn′µ +m′µm′ν +m′νm′µ is the same as the Kerr-Newman metric, with a coordinate transformation applied. Given how successful the transformation (5.13) was in generating rotating black hole solutions out of nonrotating ones, we might expect something similar will happen even when spacetime is not four dimensional. In this next section we will analyse that calculation. Chapter 5. Charged Higher Dimensional Black Holes 46 5.3 Higher Dimensional Complex Coordinate Substitution One can perform the complex coordinate substitution on higher dimensional metrics as well. This calculation was performed by [62], and we will examine that calculation here. We being with the higher dimensional charged metric and electromagnetic potential ds2 = − ( 1− α rN−3 − Q 2 r2N−6 ) dt2 + ( 1− α rN−3 − Q 2 r2N−6 )−1 dr2 + r2dΩ2N−2 , Aµdx µ = Q (N − 3)rN−3dt , (5.20) and transform into the null coordinates du = dt− ( 1− α rN−3 − Q 2 r2N−6 )−1 dr , (5.21) to get the metric ds2 = − ( 1− α rN−3 − Q 2 r2N−6 ) du2 − 2dudr + r2dΩ2N−2 . (5.22) To introduce our vieltrad for the inverse metric, we must have a suitable coordinatization of dΩ2N−2. We will introduce N − 2 coordinates, denoted θi so that we can write the spherical part of the metric as dΩ2N−2 = dθ 2 1 + sin 2 θ1(dθ 2 2 + sin 2 θ2(dθ 2 3 + ...(dθ 2 N−2))) . (5.23) At this point we can express the inverse metric as gµν = −lµnν − lνnµ + k∑ i=1 (mµim ν i +m ν im µ i ) , (5.24) where lµ∂µ = ∂r , n µ∂µ = ∂u − 1 2 ( 1− α rN−3 + Q2 r2N−6 ) ∂r , Chapter 5. Charged Higher Dimensional Black Holes 47 mµ1∂µ = 1 r √ 2 ( ∂θ1 + i sin θ1 ∂θ2 ) , mµ2∂µ = 1 r sin θ1 sin θ2 √ 2 ( ∂θ3 + i sin θ3 ∂θ4 ) . mµk∂µ = 1 r sin θ1 sin θ2... sin θN−4 √ 2 ( ∂θN−3 + i sin θN−3 ∂θN−2 ) , (5.25) we have introduced N−2 2 vectors mi. At this point the coordinate change (5.13) is introduced and the new metric is interpreted to have real valued coordinates. After doing a coordinate change, the metric we arrive at is ds2 = −dt2 + (r2 + a2) sin2 θdφ2 + ρ 2 ∆ dr2 + ρ2dθ2 + αrN−3 −Q2 r2N−8ρ2 (dt+ a sin2 θdφ)2 + r2 cos2 θdΩ2N−4 , Aµdx µ = Q (N − 3)rN−5ρ2 (dt+ a sin 2 θdφ) , (5.26) with ρ2 = r2 + a2 cos2 θ , ∆ = r2 + a2 − α rN−5 + Q2 r2N−8 . (5.27) The metric produced by this calculation does not satisfy the Einstein equa- tions however. Given the metric, the vector potential A does satisfy Maxwells equations, and in any of the special cases of N = 4, Q = 0, or a = 0, then this metric does produce the correct answer one would expect. It is worth noting that the process of introducing the vectors m is a well- defined process only if N is even, however, the final answer can be interpreted in odd N as well as even, and it does produce the correct result for odd N in the special case of Q = 0. One has to wonder why the complex coordinate transformation method yields the correct results in a four dimensional spacetime, but does not work in higher dimensions. Xu [62] suggests that it may be because the electro- magnetic stress-energy tensor, Tµν = F σ µ Fνσ − 1 4 gµνFσλF σλ , (5.28) Chapter 5. Charged Higher Dimensional Black Holes 48 has zero trace in four dimensions, but not in higher dimensions. This means that the Ricci scalar is nonzero for higher dimensional charged solutions, which complicates the situation compared to the four dimensional case. 5.4 Approximate Solutions Another possible way to derive the metric which represents a charged rotating black hole in higher dimensions would be to begin with an approximate solution. There has been some research [63–65] into examining black hole solutions with slow rotation, ignoring terms proportional to a2 in the metric and electromagnetic tensor. The metric and electromagnetic potential are given by ds2 = − ( 1− α rN−3 + Q2 r2N−6 ) dt2 + ( 1− α rN−3 + Q2 r2N−6 )−1 dr2 +2a sin2 θ αrN−3 −Q2 r2N−6 dtdφ+ r2(dθ2 + sin2 θdφ2 + cos2 θdΩ2N−4) , Aµdx µ = − Q (N − 3)rN−3 (dt+ a sin 2 θdφ) . (5.29) This metric and electromagnetic potential does satisfy the Einstein and Maxwell equations, provided that terms of order a2 are discarded. Note that this metric can be arrived at by taking the metric (5.26) to linear order in a. We can see that the metric (5.29) does correctly represent the spacetime near a slowly rotating black hole, where the angular momentum per unit mass is much smaller than the characteristic length of the event horizon. One can also consider a case with very weak charge, so that the term Q does not show up in the metric. The is essentially solving the Maxwell equations on a background of a five-dimensional rotating black hole. The electromagnetic potential one arrives at is the same as the one given in (5.26), suggesting that this electromagnetic potential is possibly the correct one for a rotating charged black hole. We can make this last statement more rigourous by considering a space- time metric where the charge is “slowly turned on”, and showing that the electromagnetic potential A does not change during this process. Chapter 5. Charged Higher Dimensional Black Holes 49 Theorem 5. Let (M, g) be a spacetime with a metric which depends ana- lytically on a parameter Q, and let g0 be the metric one obtains by setting Q = 0. If A is linear in Q and satisfies the Maxwell equations A = 0 for the metric g, then A satisfies the Maxwell equations 0A = 0 for the metric g0. Proof. If g is analytic in Q, then it must be given exactly by its Taylor expansion, which means that the linear operator must also be given by its Taylor expansion. Acting on an arbitrary field ϕ, must appear as ϕ = ∞∑ i=0 Qiiϕ . (5.30) Note that 0 is the operator associated with g0. If A is linear in Q, we can write A = QB, where the field B does not depend on Q. We then have A = ∞∑ i=0 Qi+1iB , (5.31) if A = 0 is to hold for all values of Q, then order by order we must have iB = 0, specifically this must mean that 0A = 0. We would also like to note that the condition that A be linear in Q can be justified by observing that the electric charge is typically defined as an integral of F over some Gaussian surface enclosing the space of interest. Due to this, Q will be linear in F , and since F is linear in A it should be the case that A is linear in Q. Theorem 5 tells us that, if we were to find a solution that represents a charged and rotating black hole, the electromagnetic potential A must be given by the same expression that solves the test charge case, Aµdx µ = Q (N − 3)rN−5ρ2 (dt+ a sin 2 θdφ) . (5.32) So we can see that the electromagnetic potential in (5.26) is the correct expression, it is the metric that does not work out. The existence of a solution that would represent a charged rotating black hole in five dimensions can be argued for, especially if one considers the five dimensional Einstein-Maxwell equations to be representing something Chapter 5. Charged Higher Dimensional Black Holes 50 “physical”. In this case the idea that one could simply throw some charge and angular momentum into a physical black hole is not surprising. From a mathematical perspective we have already seen approximate solutions, and the only question is if these approximate solutions are actually approximating a full solution. This is a subject called “linearization stability” for differential equations, and was analysed for the Einstein equations by [66]. In that paper they considered a metric g that satisfies the vacuum Einstein equations R(g) = 0 , (5.33) with R(g) being the Ricci tensor of g, and you have a tensor h that satisfies the linearized Einstein equations ∂(R(g)) · h = 0 , (5.34) with ∂(R(g)) the derivative of the Ricci tensor viewed as a function of the metric. In this case, one asks if there exists a metric g(λ), which depends on a parameter λ, such that g(λ) solves the Einstein equations and g(0) = g and ∂λg(λ)|λ=0 = h. If this “full solution” g(λ) exists then we say that the background metric g is linearization stable. [66] showed conditions for metrics under which they would have this feature of linearization stability. For our purposes we would like two generalizations on the work of [66], first we need that the proof works in five dimensions, instead of four, and sec- ond we need to consider metrics which solve the Einstein-Maxwell equations rather than the vacuum Einstein equations. The first requirement is simple enough, one can work through all the results of their paper in any number of dimensions greater than four and it all holds, however the removal of vacuum equations represents a more difficult complication. More work is needed in this area. 51 Chapter 6 Discussion We will now review the main results of this thesis. We began by demonstrating separation of variables of the Hamilton- Jacobi and Klein-Gordon equations for particles and scalar fields on higher dimensional black hole spacetimes, specifically the Kerr-de Sitter spacetimes derived in [11]. We have showed that complete separation of variables was possible in the special case of two unequal spin parameters. The occurrence of such separation is connected to the existence of a Killing tensor in the space- time, which represents an underlying symmetry. The assumption of equal spin parameters was used to eliminate many of the off-diagonal components that would exist in the metric otherwise. This assumption greatly enlarged the symmetry group of the spacetime, giving rise to additional Killing vec- tors outlined in section 3.5. In [67] it is demonstrated that the higher di- mensional Myers-Perry metrics always posses a Killing tensor, however one extra conserved quantity, along with the already present rotational and time- symmetric Killing vectors, is not enough to ensure separation of variables in the case that the number of spacetime dimensions is larger than 5. We analysed the equations of motion that resulted from the Hamilton-Jacobi equations, and examined the behaviour in some special cases. There is the possibility of further research in this area if one can relax the assumption of two unequal spin parameters, however, complete separation is only likely if additional hidden symmetries exist, and that might not be the case. Next we examined geons, which are gravitational structures held together by their nontrivial topology. We proved a theorem that states that an asymp- totically flat three dimensional spacetime which obeys the dominant energy condition cannot be a geon. This result occurs because of the principle of topological censorship guarantees that null curves that travel from “infinity” and back to “infinity” must be continuously deformable to a curve that stays at “infinity”. This means that any geon structure must be hidden behind an event horizon. The next part of the proof showed that three dimensional spacetimes with event horizons cannot be asymptotically flat. An additional Chapter 6. Discussion 52 assumption of analyticity of the metric or the existence of a maximal slicing of the spacetime was needed to prove this result. The principle of topo- logical censorship combined with the nonexistence of event horizons in an asymptotically flat space was then used to guarantee the nonexistence of asymptotically flat three dimensional geons. Finally, we considered charged higher dimensional rotating black holes. This is important as it completes a picture of the black hole solutions. The Kerr solution describes a rotating black hole in four dimensions, and the Reissner-Nordström solution describes a charged static black hole in four dimensions. The combination of these two, the Kerr-Newman solution, de- scribes a rotating charged black hole in a four dimensional spacetime, and forms a complete description of four dimensional electrovac stationary black holes. In higher dimensions, the Myers-Perry solution describes a rotat- ing black hole, and Myers and Perry also discovered the higher dimensional charged static solution. One would like to “combine” these into a charged and rotating solution. This has proven difficult, however, we did an overview of the literature examining slowly rotating and weakly charged solutions. We have also proven the form that the electromagnetic potential A most likely takes in the general case, if a solution exists. There is still much to do in this area, the full solution for a charged, rotating black hole in Maxwell-Einstein theory would be very interesting to find. 53 Bibliography [1] J. H. Schwarz, Superstring Theory, Phys. Rept. 89 (1982) 223–322. [2] V. A. Rubakov and M. E. Shaposhnikov, Do We Live Inside a Domain Wall?, Phys. Lett. B125 (1983) 136–138. [3] K. K. Roy Maartens, Brane-world gravity, Living Reviews in Relativity 13 (2010), no. 5. [4] N. Arkani-Hamed, S. Dimopoulos, and G. R. Dvali, The hierarchy problem and new dimensions at a millimeter, Phys. Lett. B429 (1998) 263–272, [hep-ph/9803315]. [5] D. M. Eardley and S. B. Giddings, Classical black hole production in high-energy collisions, Phys. Rev. D66 (2002) 044011, [gr-qc/0201034]. [6] EOT-WASH Group Collaboration, E. G. Adelberger, Sub-millimeter tests of the gravitational inverse square law, hep-ex/0202008. [7] C. D. Hoyle et al., Sub-millimeter tests of the gravitational inverse-square law, Phys. Rev. D70 (2004) 042004, [hep-ph/0405262]. [8] D. J. Kapner et al., Tests of the gravitational inverse-square law below the dark-energy length scale, Phys. Rev. Lett. 98 (2007) 021101, [hep-ph/0611184]. [9] R. P. Kerr, Gravitational field of a spinning mass as an example of algebraically special metrics, Phys. Rev. Lett. 11 (1963) 237–238. [10] R. C. Myers and M. J. Perry, Black Holes in Higher Dimensional Space-Times, Ann. Phys. 172 (1986) 304. Bibliography 54 [11] G. W. Gibbons, H. Lu, D. N. Page, and C. N. Pope, Rotating black holes in higher dimensions with a cosmological constant, Phys. Rev. Lett. 93 (2004) 171102, [hep-th/0409155]. [12] J. M. Maldacena, The large N limit of superconformal field theories and supergravity, Adv. Theor. Math. Phys. 2 (1998) 231–252, [hep-th/9711200]. [13] S. Chandrasekhar, The Mathematical Theory of Black Holes. Oxford University Press, 1983. [14] B. Carter, Global structure of the Kerr family of gravitational fields, Phys. Rev. 174 (1968) 1559–1571. [15] W. Kinnersley, Type D Vacuum Metrics, J. Math. Phys. 10 (1969) 1195–1203. [16] B. Carter, Hamilton-Jacobi and Schrodinger separable solutions of Einstein’s equations, Commun. Math. Phys. 10 (1968) 280. [17] D. R. Brill, P. L. Chrzanowski, C. Martin Pereira, E. D. Fackerell, and J. R. Ipser, Solution of the scalar wave equation in a kerr background by separation of variables, Phys. Rev. D5 (1972) 1913–1915. [18] S. A. Teukolsky, Rotating black holes - separable wave equations for gravitational and electromagnetic perturbations, Phys. Rev. Lett. 29 (1972) 1114–1118. [19] S. Chandrasekhar, The Solution of Dirac’s Equation in Kerr Geometry, Proc. Roy. Soc. Lond. A349 (1976) 571–575. [20] V. P. Frolov, V. Skarzhinsky, A. Zelnikov, and O. Heinrich, Equilibrium Configurations of a Cosmic String Near a Rotating Black Hole, Phys. Lett. B224 (1989) 255. [21] M. Walker and R. Penrose, On quadratic first integrals of the geodesic equations for type [22] spacetimes, Commun. Math. Phys. 18 (1970) 265–274. [22] P.-J. De Smet, Black holes on cylinders are not algebraically special, Class. Quant. Grav. 19 (2002) 4877–4896, [hep-th/0206106]. Bibliography 55 [23] P.-J. De Smet, The Petrov type of the five-dimensional Myers-Perry metric, Gen. Rel. Grav. 36 (2004) 1501–1504, [gr-qc/0312021]. [24] V. P. Frolov and D. Stojkovic, Quantum radiation from a 5-dimensional rotating black hole, Phys. Rev. D67 (2003) 084004, [gr-qc/0211055]. [25] V. P. Frolov and D. Stojkovic, Particle and light motion in a space-time of a five- dimensional rotating black hole, Phys. Rev. D68 (2003) 064011, [gr-qc/0301016]. [26] V. P. Frolov and K. A. Stevens, Stationary strings near a higher-dimensional rotating black hole, Phys. Rev. D70 (2004) 044035, [gr-qc/0404035]. [27] M. Vasudevan and K. A. Stevens, Integrability of particle motion and scalar field propagation in Kerr-(anti) de Sitter black hole spacetimes in all dimensions, Phys. Rev. D72 (2005) 124008, [gr-qc/0507096]. [28] J. A. Wheeler, Geons, Phys. Rev. 97 (1955) 511–536. [29] C. W. Misner and J. A. Wheeler, Classical physics as geometry: Gravitation, electromagnetism, unquantized charge, and mass as properties of curved empty space, Annals Phys. 2 (1957) 525–603. [30] J. A. Wheeler, On the Nature of quantum geometrodynamics, Annals Phys. 2 (1957) 604–614. [31] R. Sorkin, The Quantum Electromagnetic Field in Multiply Connected Space, J. Phys. A12 (1979) 403–421. [32] R. D. Sorkin, Introduction to Topological Geons, . Print-85-0952 (SYRACUSE). [33] J. L. Friedman and R. D. Sorkin, Spin 1/2 From Gravity, Phys. Rev. Lett. 44 (1980) 1100–1103. [34] J. l. Friedman and D. M. Witt, Internal Symmetry Groups Of Quantum Geons, Phys. Lett. B120 (1983) 324–328. [35] D. M. Witt, Symmetry Groups Of State Vectors In Canonical Quantum Gravity, J. Math. Phys. 27 (1986) 573–592. Bibliography 56 [36] D. M. Witt, Vacuum Space-Times That Admit No Maximal Slice, Phys. Rev. Lett. 57 (1986) 1386–1389. [37] K. A. Stevens, K. Schleich, and D. M. Witt, Non-existence of Asymptotically Flat Geons in 2+1 Gravity, Class. Quant. Grav. 26 (2009) 075012, [arXiv:0809.3022]. [38] E. Witten, (2+1)-Dimensional Gravity as an Exactly Soluble System, Nucl. Phys. B311 (1988) 46. [39] E. Witten, Three-Dimensional Gravity Revisited, arXiv:0706.3359. [40] H. Reissner, Über die Eigengravitation des elektrischen Feldes nach der Einsteinschen Theorie, Ann. Phys. (Germany) 50 (1916) 106–120. [41] G. Nordstrom, On the energy of the gravitational field in Einstein’s theory, Proc. Kon. Ned. Akad. Wet. 20 (1918) 1238–1245. [42] E. T. Newman et al., Metric of a Rotating, Charged Mass, J. Math. Phys. 6 (1965) 918–919. [43] W. Israel, Event horizons in static vacuum space-times, Phys. Rev. 164 (1967) 1776–1779. [44] B. Carter, Axisymmetric Black Hole Has Only Two Degrees of Freedom, Phys. Rev. Lett. 26 (1971) 331–333. [45] V. P. Frolov and I. D. Novikov, Black Holes: Basic Concepts and New Developments. Kluwer Academic Publishers, 1998. [46] J. D. Bekenstein, Black hole hair: Twenty-five years after, gr-qc/9605059. [47] R. Emparan and H. S. Reall, A rotating black ring in five dimensions, Phys. Rev. Lett. 88 (2002) 101101, [hep-th/0110260]. [48] C. W. Misner, K. S. Thorne, and J. A. Wheeler, Gravitation. W. H. Freeman and Company, 1973. [49] M. Vasudevan, K. A. Stevens, and D. N. Page, Separability of the Hamilton-Jacobi and Klein-Gordon equations in Kerr-de Sitter metrics, Class. Quant. Grav. 22 (2005) 339–352, [gr-qc/0405125]. Bibliography 57 [50] G. T. Horowitz and R. C. Myers, The AdS/CFT Correspondence and a New Positive Energy Conjecture for General Relativity, Phys. Rev. D59 (1998) 026005, [hep-th/9808079]. [51] N. R. Constable and R. C. Myers, Spin-two glueballs, positive energy theorems and the AdS/CFT correspondence, JHEP 10 (1999) 037, [hep-th/9908175]. [52] G. J. Galloway, S. Surya, and E. Woolgar, A uniqueness theorem for the adS soliton, Phys. Rev. Lett. 88 (2002) 101102, [hep-th/0108170]. [53] J. L. Friedman, K. Schleich, and D. M. Witt, Topological censorship, Phys. Rev. Lett. 71 (1993) 1486–1489, [gr-qc/9305017]. [54] M. D. Kruskal, Maximal extension of Schwarzschild metric, Phys. Rev. 119 (1960) 1743–1745. [55] S. Hawking and G. Ellis, The large scale structure of space-time. Cambridge University Press, 1973. [56] G. J. Galloway, K. Schleich, D. M. Witt, and E. Woolgar, Topological Censorship and Higher Genus Black Holes, Phys. Rev. D60 (1999) 104039, [gr-qc/9902061]. [57] G. J. Galloway, K. Schleich, D. Witt, and E. Woolgar, The AdS/CFT correspondence conjecture and topological censorship, Phys. Lett. B505 (2001) 255–262, [hep-th/9912119]. [58] E. Newman and R. Penrose, An Approach to gravitational radiation by a method of spin coefficients, J. Math. Phys. 3 (1962) 566–578. [59] M. Banados, C. Teitelboim, and J. Zanelli, The Black hole in three-dimensional space-time, Phys. Rev. Lett. 69 (1992) 1849–1851, [hep-th/9204099]. [60] F. R. Tangherlini, Schwarzschild field in n dimensions and the dimensionality of space problem, Nuovo Cim. 27 (1963) 636–651. [61] E. T. Newman and A. I. Janis, Note on the Kerr spinning particle metric, J. Math. Phys. 6 (1965) 915–917. Bibliography 58 [62] D.-Y. Xu, Exact Solutions of Einstein and Einstein-Maxwell Equations In Higher Dimensional Space-Time, Class. Quant. Grav. 5 (1988) 871–881. [63] A. N. Aliev, Charged Slowly Rotating Black Holes in Five Dimensions, Mod. Phys. Lett. A21 (2006) 751–758, [gr-qc/0505003]. [64] A. N. Aliev, Rotating black holes in higher dimensional Einstein- Maxwell gravity, Phys. Rev. D74 (2006) 024011, [hep-th/0604207]. [65] A. N. Aliev, Higher dimensional rotating charged black holes, gr-qc/0612169. [66] A. E. Fischer and J. E. Marsden, Linearization Stability of the Einstein equations, Bulletin of the American Mathematical Society 79 (1973) 997–1003. [67] V. P. Frolov and D. Kubiznak, ’Hidden’ symmetries of higher dimensional rotating black holes, Phys. Rev. Lett. 98 (2007) 011101, [gr-qc/0605058]. [68] A. Ashtekar and R. O. Hansen, A unified treatment of null and spatial infinity in general relativity. I - Universal structure, asymptotic symmetries, and conserved quantities at spatial infinity, J. Math. Phys. 19 (1978) 1542–1566. [69] R. M. Wald, General Relativity. The University of Chicago Press, 1984. [70] A. Ashtekar and A. Magnon, Asymptotically anti-de Sitter space-times, Class. Quant. Grav. 1 (1984) L39–L44. 59 Appendix A Causality and Asymptotic Spaces Here we will discuss causality in a technical sense, and define what it means for a spacetime to be asymptotically flat. Asymptotically flat spacetimes are important as they represent isolated gravitating systems, such that far away from them their gravitational influence is negligible. One would like to define an asymptotically flat space as one in which the metric approaches a flat metric as r → ∞. However, it is difficult to be sure that such a definition is coordinate independent. Ashtekar and Hansen [68] demonstrated a formalism where one can add in a “point at infinity” by making use of a conformal transformation. Before we can discuss this definition, however, we must first review the notion of casuality in the context of general relativity. A.1 Causality In this section, we will prepare the formalism of how to define causality in general relativity. We will assume spacetime is time-orientiable, that is, it is possible to divide non-spacelike vectors into two categories, labelled future- directed and past-directed, and that it is possible to make this choice in a continuous way. Once we have this division, it is possible to talk about the chronological future of a point p, denoted I+(p), which is the set of points that one can reach from p by following a future-directed, timelike curve. One can also talk about the chronological future of a set of points, by simply taking the union of the chronological futures of each individual point in the set. It is also possible to define the chronological past of a point p, denoted I−(p), in a similar way, replacing ‘future’ with ‘past’. We will also talk about the causal future of a point p, denoted J+(p), which is the set of points that one can reach from p by following a future-directed, non-spacelike curve. Similarly, it is possible to define the causal future of a set of points and to define the causal past J−. Appendix A. Causality and Asymptotic Spaces 60 One would like to discuss spacetimes that have no closed timelike curves. If spacetime contained a closed timelike curve, then a physical observer in that spacetime would be able to effectively “time travel”, to visit their past self. We will say that a spacetime that contains no closed timelike curves satisfies the chronology condition. Note that one can also word this condition as saying that there exists no point p with the property that p ∈ I+(p). One can also strengthen this condition to require that there be no closed non- spacelike curves, this condition is called the causality condition, and can also be rewritten that there is no point p with the property that p ∈ J+(p). We will also spend some time discussing spacetimes that obey the strong causality condition, which holds at a point p if for each neighbourhood S of p it contains a neighbourhood Q ⊂ S of p such that non-spacelike curves do not intersect Q more than once. A Cauchy surface in a spacetime is a spacelike surface such that every non-spacelike curve intersects it exactly once. If one were discussing evolu- tion of fields on a spacetime, you would specify all of your initial data on a Cauchy surface, that and the field equations would be sufficient to specify the field everywhere in the future of that surface. This leads us to the idea of a globally hyperbolic space, such a space must obey the strong causality condi- tion everywhere and must also have J+(p)∩ J−(q) be compact for all points p and q. This is saying that J+(p)∩ J−(q) should not contain any points on the edge of the spacetime (at infinity or a singularity). The intuitive reason for this requirement is that then initial data on a Cauchy surface will specify the field at points in the future of that surface, there is no interference from points which are outside of the spacetime. A.2 Asymptotically Flat Spacetimes Now we wish to define what it means for a spacetime to be asymptotically flat. This formulation is often useful for examining properties of asymptotic behaviour of fields that are radiating in the spacetime. To consider this analysis, we will examine with an example given in [69]. We will begin with Minkowski spacetime in spherical coordinates ds2 = −dt2 + dr2 + r2(dθ2 + sin2 θdφ2) . (A.1) Suppose we wanted to examine properties of radiation going to infinity in this spacetime, we would need to take limits going to infinity along null directions Appendix A. Causality and Asymptotic Spaces 61 so it is useful to introduce null coordinates v = t+ r , u = t− r , (A.2) so the metric becomes ds2 = −du dv + 1 4 (v − u)2(dθ2 + sin2 θdφ2) . (A.3) At this point, if we wanted to examine properties of radiation, we would consider v →∞ and look at the lowest nonvanishing term of the field. This is not a great method for doing things though, as it is not coordinate invariant, and so it is not clear how to generalize this process to a curved spacetime. It would be much simpler to make infinity into a definite “place”, so that we could simply examine properties of fields at that “place”. The simplest thing to do would be to simply perform a coordinate trans- formation from v to V = 1/v, so that v → ∞ is located instead at V = 0. In these coordinates, the metric appears as ds2 = 1 V 2 du dv + 1 4 ( 1 V − u )2 (dθ2 + sin2 θdφ2) . (A.4) Unsurprisingly, this metric is singular at V = 0, making it difficult to do tensor analysis at that “place”. At this point, suppose we consider a new, unphysical metric, which is conformally related to our metric. We will define g′ = Ω2g, and use Ω = V as the conformal factor. This unphysical metric looks like ds′ 2 = g′µνdx µdxν = −du dV + 1 4 (1− uV )2(dθ2 + sin2 θdφ2) , (A.5) which is well behaved at V = 0. We can then extend the spacetime to include the points represented by V = 0, which could not be included in the origi- nal spacetime, Minkowski spacetime being inextendible. In this unphysical metric, we can do tensor analysis at V = 0, which in terms of the physical metric, would be located “at infinity”. The effect is that we have used a conformal transformation to bring infinity to a finite place. In fact, it would be even better to use a conformal factor that was well behaved throughout the spacetime. The one we used V = 1/v needlessly diverged near v = 0 which is the location of a physical place in the original spacetime. Furthermore, our construction has allowed us access to “future Appendix A. Causality and Asymptotic Spaces 62 null infinity” v → ∞, we have no access to “past null infinity” (u → ∞) or “spatial infinity” (r → ∞). A different choice of conformal factor can solve all of these problems, let us use g′ = Ω2g with Ω2 = 4(1 + v2)−1(1 + u2)−1 , (A.6) then g′ is a smooth metric everywhere in the original Minkowski spacetime, but we can extend the metric by performing a coordinate transformation from (v, u) to (T,R) defined by T = tan−1 v + tan−1 u , R = tan−1 v − tan−1 u . (A.7) Then T and R have the coordinate restrictions −pi < T +R < pi , −pi < T −R < pi , R ≥ 0 . (A.8) The metric g′ in these coordinates is given by ds′ 2 = g′µνdx µdxν = −dT 2 + dR2 + sin2R(dθ2 + sin2 θdφ2) , (A.9) which is just the metric on R × S3 except that we have the coordinate re- striction (A.8). Naturally, it is possible to extend this metric to all T ∈ R and R ∈ [0, pi]. So we have seen that Minkowski space is conformal to an open subset of R × S3. The subset is a described by a triangle in (T,R) space given by the restrictions (A.8) (see figure A.1). The boundary of this triangle breaks into five important pieces that we will describe. First there is “future timelike infinity”, often denoted i+, which is located at R = 0, T = pi, next there is “future null infinity”, often denoted I+, which is the line T = −R+pi for R ∈ [0, pi], i+ is at the top end of I+. At the lower end of I+ is “spacelike infinity”, denoted i0 and located at the point T = 0, R = pi, then the line T = R − pi for R ∈ [0, pi] is “past null infinity”, denoted I−, and finally at the bottom of the triangle is “past timelike infinity”, located at R = 0, T = −pi, and denoted i−. Note that all timelike geodesics begin at i− and end at i+, all null geodesics begin at I− and end at I+, and all spacelike geodesics begin and end at i0. If one wishes to consider the behaviour of fields in the space, then depend- ing on the asymptotics one wishes to impose, it typically will be sufficient to require that a suitable power of Ω−1 times the field be well behaved at one of these infinities. Appendix A. Causality and Asymptotic Spaces 63 � � �� I I � o Figure A.1: Minkowski space in T -R coordinates. The vertical dashed line is R = 0, while the horizontal dashed line is T = 0. Each point is actually a two sphere, except for the line R = 0, the center of spherical coordinates and the point R = pi, T = 0, the point at infinity. This completes the description of the asymptotics of Minkowski space in terms of the conformal space g′. One would like to define an asymptotically flat space as one which can undergo a similar analysis, we expect a space to be mapped into a larger unphysical space, which it is conformal to. If the unphysical space with the conformal factor has the correct behaviour at “infinity”, we will then say that to original space was in fact asymptotically flat. However, often we only expect our spaces to be flat at “spatial or null infinity”, rather than at “timelike infinity”, which would describe early or late times at a fixed location. The reason is that we may wish to consider an isolated gravitating body, which exists at a finite location for all times. Thus, we will not demand any particular restrictions on the properties of i+ and i−, but instead focus on features of i0 and I+ and I−. The full conditions were described in [68], and we will discuss them here. We will say that a spacetime with metric (M, g) is asymptotically flat (AF) if it can be conformally included into a larger spacetime M ′ with a metric g′ related to g by a conformal transformation g′µν = Ω 2gµν with the following features: (1) g′ is smooth everywhere except possibly at a single point i0. (2) J+(i0) ∪ J−(i0) = M ′\M , where S denotes the closure of a set S. So the boundary of M , denoted ∂M , is made up of three disjoint parts, i0, I+, and I−, where I± = ∂J±(i0)\i0. Appendix A. Causality and Asymptotic Spaces 64 (3) There exists an open neighbourhood, V , of ∂M such that the space- time V with metric g′ is strongly causal. (4) On I+ and I− we have Ω = 0, ∇′µΩ 6= 0, with ∇′ being the derivative operator associated with g′. We also requite Ω(i0) = 0 and limi0 ∇′µΩ = 0 and limi0 ∇′µ∇′νΩ = 2g′µν . Let us now discuss these conditions in detail. Condition (1) is used as the definition of the point i0 as the point at infinity, the metric needs to be well-behaved everywhere except possibly that point, which is intended to be physically inaccessible. Condition (2) guarantees that i0 is spacelike related to all points in M , that everywhere timelike and null related to i0 is not in M . Condition (3) guarantees that the distant points in M have the same causality conditions as one would get in a flat spacetime. Condition (4) ensures i0 actually behaves correctly as a point at infinity, demanding Ω and ∇′Ω be zero at i0 ensures that i0 is actually infinitely far away from points in M , and the requirement for ∇′∇′Ω to approach 2g′ ensures the metric has the correct asymptotic falloff. This condition is discussed in more detail in [68]. The larger space M ′ is often called the Penrose compactified spacetime. We can also modify these conditions to define what it means for a space- time to be asymptotically anti-de Sitter. The precise formulation is discussed in [70]. A spacetime (M, g) is called asymptotically locally anti-de Sitter (AL- ADS) if it can be conformally included into a larger spacetime M ′ with a metric g′ related to g by a conformal transformation g′µν = Ω 2gµν with the following features: (1) I = ∂M is topologically Sn × R and, on I, Ω = 0 (2) g satisfies Gµν + Λgµν = 8piTµν with Λ < 0 and Ω −3T νµ admits a smooth limit to I These conditions are discussed in detail in [70], but it is worth noting in particular that the sign of Λ guarantees that I is a timelike surface, rather than a null one. This means that there exist spacelike geodesics that go there, removing the need for i0 in ALADS spacetimes. The definition is “local” in the sense that I might have a more complicated topology than anti-de Sitter space usually has.
- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Black holes in spacetime dimension other than four
Open Collections
UBC Theses and Dissertations
Featured Collection
UBC Theses and Dissertations
Black holes in spacetime dimension other than four Stevens, Kory Allan 2011
pdf
Page Metadata
Item Metadata
Title | Black holes in spacetime dimension other than four |
Creator |
Stevens, Kory Allan |
Publisher | University of British Columbia |
Date Issued | 2011 |
Description | Recently, models of spacetime with extra dimensions has driven interest into higher dimensional black holes. In this thesis, we examine general relativity in spacetimes that are not four dimensional. The thesis is divided into three parts. The first part focuses on the higher dimensional Kerr-de Sitter metrics; we examine the separation of variables for the Hamilton-Jacobi and Klein-Gordon equations that occurs for particles and fields in those metrics. In the second part we consider lower dimensional geons, and give a proof that there cannot be any asymptotically flat geons in a three dimensional spacetime. Finally, we examine charged higher dimensional black holes, and consider the possibility of a higher dimensional generalization of the Kerr-Newman metric. We examine some approaches to find that solution, and demonstrate the form that the electromagnetic potential must have in such a spacetime. |
Genre |
Thesis/Dissertation |
Type |
Text |
Language | eng |
Date Available | 2011-10-20 |
Provider | Vancouver : University of British Columbia Library |
Rights | Attribution 3.0 Unported |
DOI | 10.14288/1.0072369 |
URI | http://hdl.handle.net/2429/38146 |
Degree |
Doctor of Philosophy - PhD |
Program |
Physics |
Affiliation |
Science, Faculty of Physics and Astronomy, Department of |
Degree Grantor | University of British Columbia |
GraduationDate | 2011-11 |
Campus |
UBCV |
Scholarly Level | Graduate |
Rights URI | http://creativecommons.org/licenses/by/3.0/ |
AggregatedSourceRepository | DSpace |
Download
- Media
- 24-ubc_2011_fall_stevens_kory.pdf [ 398.14kB ]
- Metadata
- JSON: 24-1.0072369.json
- JSON-LD: 24-1.0072369-ld.json
- RDF/XML (Pretty): 24-1.0072369-rdf.xml
- RDF/JSON: 24-1.0072369-rdf.json
- Turtle: 24-1.0072369-turtle.txt
- N-Triples: 24-1.0072369-rdf-ntriples.txt
- Original Record: 24-1.0072369-source.json
- Full Text
- 24-1.0072369-fulltext.txt
- Citation
- 24-1.0072369.ris
Full Text
Cite
Citation Scheme:
Usage Statistics
Share
Embed
Customize your widget with the following options, then copy and paste the code below into the HTML
of your page to embed this item in your website.
<div id="ubcOpenCollectionsWidgetDisplay">
<script id="ubcOpenCollectionsWidget"
src="{[{embed.src}]}"
data-item="{[{embed.item}]}"
data-collection="{[{embed.collection}]}"
data-metadata="{[{embed.showMetadata}]}"
data-width="{[{embed.width}]}"
async >
</script>
</div>
Our image viewer uses the IIIF 2.0 standard.
To load this item in other compatible viewers, use this url:
https://iiif.library.ubc.ca/presentation/dsp.24.1-0072369/manifest