Perturbations and Stability of HigherDimensional Black Holes Hideo
Perturbations and Stability of Higher-Dimensional Black Holes Hideo Kodama Cosmophysics Group Institute of Particle and Nuclear Studies KEK Lecture at 4 th Aegean Summer School, 17 -22 September 2007
Contents n Introduction q q n Perturbations of Static Black Holes q q q n Overview of the BH stability issue Linear perturbations Background solution Tensor/Vector/Scalar perturbations Summary Applications to Other Systems q q q Flat black branes Rotating black holes Accelerated black hole
Chapter 1 Introduction
Present Status of the BH Stability Issue Four-Dimensional Black Holes n Stable q Static black holes n Schwarzschild black hole [Vishveshwara 1970; Price 1972; Wald 1979, 1980] n Reissner-Nordstrom black hole [Chandrasekhar 1983] n Ad. S/d. S (charged) black holes [Ishibashi, Kodama 2003, 2004] n Skyrme black hole (non-unique system) [Heusler, Droz, Straumann 1991, 1992; Heusler, Straumann, Zhou 1993] q n Kerr black hole [Whiting 1989] Unstable q YM black hole (non-unique system) [Straumann, Zhou 1990; Bizon 1991; Zhou, Straumann 1991] q n Kerr-Ad. S black hole ( l h <1, rh ¿ l) [Cardsoso, Dias, Yoshida 2006] Unknown q Kerr-Newman black hole q Conjecture: large Kerr-Ad. S black holes are stable, but small ones are SR unstable [Hawking, Reall 1999; Cardoso, Dias 2004]
Higher-Dimensional Black Objects n Stable q Static black holes AF vacuum static (Schwarzschild-Tangherlini) [Ishibashi, Kodama 2003] n AF charged static (D=5, 6 -11) [Kodama, Ishibashi 2004; Konoplya, Zhidenko 2007] n d. S vacuum static (D=5, 6, 7 -11), d. S charged static (D=5, 6 -11) [IK 2003, KI 2004; Konoplya, Zhidenko 2007] BPS charged black branes (in type II SUGRA) [Gregory, Laflamme 1994: Hirayama, Kang, Lee 2003] n q n Unstable q q n Static black string (in Ad. S bulk), black branes (non-BPS) [Gregory, Laflamme 1993, 1995; Gregory 2000; Hirayama, Kang 2001: Hirayama, Kang, Lee 2003; Kang; Seahra, Clarkson, Maartens 2005; Kudoh 2006] Rapidly rotating special GLPP (Kerr-Ad. S) bh [Kunhuri, Lucietti, Reall 2006] Unknown q Static black holes n q q AF charged static (D>11), Ad. S (charged) static (D>4), d. S (charged) static (D>11) Rotating black holes/rings Conjecture: n n Black rings are GL unstable. Rapidly rotating MP black holes are GL unstable [Emparan, Myers 2003] Doubly spinning black rings are SR unstable [Dias 2006] Kerr black brane Kerr 4£ Rp is SR unstable [Cardoso, Yoshida 2005]
Linear Perturbations Perturbation equations When the spacetime metric (and matter fields/variables) is expressed as the sum of a background part and a small deviation as in terms of the variables the linearlised Einstein equations can be written as where ML is the Lichnerowicz operator defined by
Linear Perturbations Gauge problems n Gauge freedom In order to describe the spacetime structure and matter configuration as a perturbation from a fixed background (M, g, ), we introduce a mapping and define perturbation variables on the fixed background spacetime as follows: F
Gauge Problems q For a different mapping F', these perturbation variables change their values, which has no physical meaning and can be regarded as a kind of gauge freedom. The corresponding changes of the variables are identical to the transformation of the variables with respect to the transformation f=F‘ -1 F. In the framework of linear perturbation theory, q To be explicit, q
Gauge Problems n Two methods to remove the gauge freedom q Gauge fixing method This method is direct, but it is rather difficult to find relations between perturbation variables in different gauges in general. q Gauge-invariant method This method describe theory only in terms of gauge-invariant quantities. Such quantities have non-local expressions in terms of the original perturbation variables in general. These two approaches are mathematically equivalent, and a gauge-invariant variable can be regarded as some perturbation variable in some special gauge in general. Therefore, the nonlocally of the gauge-invariant variables implies that the relation of two different gauges are non-local.
Gauge Problems n Harmonic gauge In this gauge, the perturbation equations read and the gauge transformation is represented as This gauge has residual gauge freedom n Synchronous gauge In the synchronous gauge in which there exist the residual gauge freedom given by For example, in the cosmological background this produces a suprious decaying mode represented by
Chapter 2 Perturbations of Static Black Holes
Background Solution Ansatz q Spacetime q Metric where d n 2= ij dxidxj is an n-dimensional Einstein space Kn satisfying the condition q Energy-momentum tensor
Background Solution Einstein equations q Notations q Einstein tensors q Einstein equations
Background Solutions Examples n Robertson-Walker universe: m=1 and K is a constant curvature space. n Brane-world model: m=2 (and K is a constant curvature space). For example, the metric of Ad. Sn+2 spacetime can be written n HD static Einstein black holes: m=2 and K is an Einstein space. K=Sn for the Schwarzschild-Tanghelini black hole. In general, the generalised Birkhoff theorem says that the electrovac solutions satisfying the ansataz with m=2 are exhausted by the Nariai-type solutions and the black hole type solution
Examples n Black branes: m=2+k and K=Einstain space. In this case, the spacetime factor Nm is the product of a twodimensional black hole sector and a k-dimensional brane sector: One can also generalise this background to introducing a warp factor in front of the black hole metric part. n HD rotating black hole (a special Myers-Perry solution): m=4 and K=Sn where all the metric coefficients are functions only of r and . n Axisymmetric spacetime: m is general and n=1.
Perturbations Gauge transformations For the infinitesimal gauge transformation the metric perturbation h. MN= g. MN transforms as and the energy-momentum perturbation MN= TMN transforms as
Perturbations Tensorial Decomposition q q Algebraic tensorial type n Spatial scalar: hab, ab n Spatial vector: hai, ai n Spatial tensor: hij, ij Decomposition of vectors A vector field vi on K can be decomposed as q Decomposition of tensors Any symmetric 2 -tensor field on K can be decomposed as
Tensorial Decopositions n Irreducible types q q q In the linearised Einstein equations, through the covariant differentiation and tensor-algebraic operations, quantities of different algebraic tensorial types can appear in each equation. However, in the case in which Kn is a constant curvature space, perturbation variables belonging to different irreducible tensorial types do not couple in the linearised Einstein equations, because there exists no quantity of the vector or the tensor type in the background except for the metric tensor. The same result holds even in the case in which Kn is an Einstein space with non-constant curvature, because the only non-trivial background tensor other than the metric is the Weyl tensor that can only tranform a 2 nd rank tensor to a 2 nd rank tensor.
Tensor Perturbations Tensor Harmonics n Definition where the Lichnerowitcz operator on K is defined by When K is a constant curvature space, this operator is related to the Laplace-Beltrami operator by Hence, Tiij satisfies We use k 2 in the meaning of L-2 n. K from now on when K is an Einstein space with non-constant sectional curvature.
Tensor Harmonics Properties n Identities: n For any symmetric 2 -tensor on a constant curvature space satisfying the following identities hold: Spectrum: n Let Mn be a n-dimensional constant curvature compact space with sectional curvature K. Then, the spectrum of k 2 for the symmetric rank 2 harmonic tensor satisfies the condition Sn: k 2=l(l+n-1)-2, l=2, 3, . . 2 -dim case n n In this case, a tensor hamonic represents an infinitesimal deformation of the moduli parameters. In particular, there exists no tensor harmonics on S 2.
Tensor Perturbations Perturbation Equations q Harmonic expansion q Gauge-invariant variables q Einstein Equations Only the (i, j)-component of the Einstein equations has the tensor-type component: Here, ¤=Da. Da is the D'Alembertian in the m-dimensional spacetime N.
Tensor Perturbations Applications to the static Einstein black hole n Master Equation A static Einstein black hole corresponds to the case m=2 and For this background, the perturbation equation without source which can be written where
Applications to a Static BH n Stability q q For the Schwarzschild black hole, we can show that Vt¸ 0. Hence, it is stable. However, Vt is not positive definite in general, and the stability is not so obvious. Energy integral From the equation for HT, we find Hence, in the case K is a constant curvature space, the stability of tensor perturbations results from k 2¸ n|K|,
Vector Perturbations Vector Harmonics n Definitions Harmonic tensors Exceptional modes: The following harmonic vectors correspond to the Killing vectors and are exceptional:
Vector Harmonics n Properties q Spectrum: From the identities We obtain the general bound the spectrum q q Sn: k 2=l(l+n-1)-1, l=1, 2, … Exceptional modes: The exceptional modes exist only for K¸ 0. For K=0, such modes exist only when K is isomorphic to TN£ Cn-N, where Cn-N is a Ricci flat space with no Killing vector.
Vector Perturbation equations n Harmonic expansion n Gauge transformations For the vector-type gauge transformation the perturbation variables transform as n Gauge invariants
Perturbation equations n Einstein equations q Generic modes q Exceptional mode: k 2=(n-1)K(¸ 0)
Vector Perturbation Codimension Two Case n Master equation q Generic modes From the energy-momentum conservation, one of the perturbation equation can be written This leads to the master variable in terms of which the remaining perturbation equation can be written q Exceptional modes
Codimension Two Case n Static black hole q Master equation where This equation is identical to the Regge-Wheeler equation for n=2, K=1 and =0.
Codimension Two Case q Potentials
Codimension Two Case q Stability n n In the 4 D case with n=2, K=1, =0, we have In higher-dimensional cases, although the potential becomes negative near the horizon, we can prove the stability in terms of the energy integral because mv¸ 0:
Scalar Perturbations Scalar Harmonics n Definition q Harmonic vectors q Harmonic tensors q Exceptional modes
Scalar Harmonics n Properties q Spectrum: For Qij defined by We have the identity From this we obtain the following bound on the spectrum q For Sn: k 2= l(l+n-1), l=0, 1, 2, …
Scalar Perturbation Linear Perturbations n Harmonic expansion n Gauge transformations For the scalar-type gauge transformation the perturbation variables transform as
Linear Perturbations n Gauge invariants From the gauge transformation law we find the following gauge-invariant combinations.
Linear Perturbations n Einstein equations q Gab :
Linear Perturbations q G ai : q Tracefree part of Gij : q G ii :
Scalar Perturbation Codimension Two Case n Master equation For a static Einstein black hole, in terms of the master variable the perturbation equations for a scalar perturbation can be reduced to where
Codimension Two Case n Potentials
Codimension Two Case n Stability q q q For n=2, K=1, =0, the master equation coincides with the Zerilli equation and the potential is obviously positive definite: where m=(l-1)(l+2). In higher dimensions, we have an conserved energy integral, We cannot conclude stability using this integral because Vs is not positive definite in general.
Codimension Two Case n S-deformation q Let us deform the energy integral with the help of partial integrations as where Then, the effective potential changes to q For example, for we obtain where
Summary
Chapter 3 Application to Other Systems
Flat Black Branes n ASS 4 Lecture. dvi
Rotating Black Holes n Simple Ad. S-Kerr: a 1=a, a 2=…=a. N=0 q q q In this case, the metric is U(1)£ SO(n+1) symmetric with n=D-4. For D¸ 7, the harmonic amplitude HT for tensor-type metric perturbations obeys the equation This equation is exactly identical to the equation for the harmonic amplitude for a minimally-coupled massless scalar field in the same background! Therefore, we can apply the results on stability/instability of a massless scalar field to the tensor modes. In particular, we can conclude that tensor perturbations are stable for a 2 l 2 < rh 4 on the basis of the argument by Hawking, Reall 1999.
Slowly Rotating Ad. S-Kerr n Everywhere Time-like Killing Vector For slowly rotating black hole, there exists a Killing vector that is everywhere timelike in DOC: for example, when ai 2 l 2< rh 4 (i=1, 2) for D=5, or when a 12 l 2< rh 4, a 2=…=a. N=0. n Energy Conservation Law In this case, no instability occurs for a matter field satisfying the dominant energy condition [Hawking, Reall 1999] where n T k is non-negative everywhere on . n Stability Conjecture On the basis of this observation, Hawking and Reall conjectured that Ad. S-Kerr black holes with slow rotations such that ai 2 l 2< rh 4 will be stable against gravitational perturbations as well. At the same time, they also conjecture that rapidly rotating Ad. S-Kerr black holes will be unstable. This conjecture was proved for D=4 and rh¿ l [Cardoso, Dias, Yoshida 2006]
n Energy Integral for Tensor Perturbations of Simple Ad. S-Kerr: In the coordinates in which the metric is written for (t, r, x) defined by the following energy integral is conserved: where , F and U 0 are always positive outside 2 2 horizon, while U 1 is positive definite only for a l < rh 4.
n Effective Potential q In the effective potential both U 0 and U 1 are positive for a 2 l 2 < rh 4. q q q For a 2 l 2 > rh 4 , however, U 1 becomes negative in some range of r at x=-1, and the negative dip of the potential becomes arbitrarily deep as m increases. Hence, it is highly probable that simple Ad. S-Kerr black holes in dimensions higher than 6 are unstable for tensor perturbations. If we take ! 0 ( l ! 1) limit with fixed a and rh, the above stability condition is violated. This may suggest the instability of MP black holes unless the growth rate of instability vanishes at this limit.
n Equally Rotating Ad. S-Kerr: a 1= =a. N=a with D=2 N+1. q q q In this case, the angular part of the metric has the structure of a twisted S 1 bundle over CPN-1. For a special class of tensor perturbations, the metric perturbation equation can be reduced to a Schrodingertype ODE that has the same structure as that for a massless free scalar field. It is claimed on the basis of analysis utilising the WKB approximation that such tensor perturbations satisfying the “superradiant condition” =m h are unstable if h l > 1, i. e. , if there does not exist a global timelike Killing vector. [Kunhuri, Lucietti, Reall 2006]
Accelerated Black Hole C-metirc n Metric C-metric is a Petrov type D static axisymmetric vacuum solution to the Einstein equations with cosmological constant. The special case of the most general type D electrovac solution by Plebanski JF, Demianski M 1976
C-metric n Flat Limit For = -1, M=0 and K=1, in terms of the variables with the C-metric can be written q q This represents the Minkowski spacetime in the Rindler coordinates, and, each curve with constant x, y, has a constant acceleration. The covered region has an acceleration horizon at y=-1, and the spatial infinity corresponds to x=y=-1.
C-metric n Schwarzschild Limit G(x) can be factorised as where In terms of the variables the C-metric can be written where
Conical String Singularity If we choose the angle variable so that the metric is regular at the south pole x=x 2 ( =0), then the angular part of the metric is conformal to around the north pole x=x 1 ( = ), where This implies that the metric has a conical singularity along the z-axis connecting the black hole horizon and the spatial infinity. This singularity corresponds to a string with positive tension 2 =2 . =0 case
Braneworld Black Hole n Ad. S C-metric Let us consider the special Ad. S C-metric corresponding to In the limit =0, in terms of the variables The above Ad. S C-metric can be written
Global structure 0<x · x 2 x 1 · x <0 x=0
Black Hole in the 4 D Braneworld The extrinsic curvature of the timelike hypersurface x=0 is homogeneous and isotropic: Hence, we can cut off the x>0 part of the solution and put the critical vacuum Z 2 brane at the boundary x=0. This surgery provides a regular localised black hole in the 4 D braneworld. Emparan R, Horowitz GT, Myers RC (2000)
5 D C-Metric as Braneworld BH ? 4 D C-metric suggests that the yet-to-be-found localised BH solution in the 5 D braneworld model may be given by an accelerated BH solution in the 5 D Ad. S. However, q This solution should not represent a asymp. Ad. S regular black hole spacetime with a compact horizon because of the uniqueness theorem of the static Ad. S bh. (Cf. Chamblin, Hawking, Reall 1999; Kodama 2002) q q The solution may not be singular in contrast to the 4 D case, because the string in the 4 d space has the codimension 3. Hence, it is expected that the string source is surrounded by a tubular horizon extending to infinity.
Perturbative Approach n Static perturbations of a black hole Background metric Static scalar perturbation Gauge-invariant variables Master equation where Kodama, Ishibashi(2003) PTP 110: 701, (2004)PTP 111: 21; Kodama(2004) PTP 112: 249
Perturbative Approach n 4 D C-metric as a Perturbation When the acceleration MA' is small, the C-metric can be expressed as This can be regarded as a scalar-type perturbation to the Schwarzschild solution. In the harmonic expansion, the gauge-invariant amplitudes are From this, we find that this perturbation is produced from the source This is consistent with the line density of a string, 2 = 8 , determined from the deficit angle.
Higher-Dimensional Analogue Let us require that the source is localised on the half-infinite string: Then, the l-dependence of the harmonic expansion coefficients of TMN is completely determined as Inserting these into the EM conservation law, we obtain
Solution If we require that the solution for Y(l) is bounded at x=0 (r=1), then it is determined up to a constant A as where If we further require that Y(l) is bounded at x=1 (horizon), then A is determined as
Solution The original perturbation variables are expressed as where
Asymptotic Behaviour n At large r where n At r ' rh This indicates that the horizon is formed around ρn-2~μ, and is consistent with the picture that the horizon at the central part of size r =rh is connected to a tubular horizon of radius » 1/(n-2) extending to infinity along the z-axis.
Brane Constraint For the exact Schwarzschild black hole, the hyperplane crossing the horizon at the equator is the only brane satisfying the junction condition Hence, for the perturbative C-metric, the brane crosses the horizon near the equator: = /2 + (r). Then, the perturbation of the junction condition can be expressed as which determines (r) as and gives additional constraints on the metric perturbation at = /2 Kodama(2002) PTP 108: 253
Can We Get a Braneworld BH? The condition for the existence of a Z 2 vacuum brane configuration crossing the black hole horizon is given by This gives a functional equation for the single function s(x) specifying the source distribution completely. Cf. D. Karasik et al, PRD 69(2004)064022; PRD 70(2004)064007 q q Perturbative approach to the boundary value problem in the braneworld model. It concluded that the solution behaves badly at infinity if regular at horizon.
Summary q q If the localised static black hole in the braneworld model can be obtained from a black hole accelerated by a string, its existence and uniqueness can be reduced to a functional equation for a string source function s(r) in the small mass limit of the bh. The corresponding solution s(r) cannot be constant for the bulk dimension D>4. This implies that EOS of the string does not satisfy p=- , in constrast to the case of D=4. For D>4, the string is enclosed by a tubular horizon, because the spatial codimension is greater than 2. It is likely that the brane condition for s(r) has a unique solution, but we have not succeeded in proving it yet.
- Slides: 66