-
A third law of black hole mechanics for supersymmetric black holes and a quasi-local mass-charge inequality
Authors:
Harvey S. Reall
Abstract:
It has recently been proved that a third law of black hole mechanics does not hold for Einstein-Maxwell theory coupled to a massless charged scalar field: there exist solutions that describe gravitational collapse to form an exactly extremal Reissner-Nordström black hole in finite time. In this paper it is proved that such solutions do not exist in theories with matter fields satisfying a local ma…
▽ More
It has recently been proved that a third law of black hole mechanics does not hold for Einstein-Maxwell theory coupled to a massless charged scalar field: there exist solutions that describe gravitational collapse to form an exactly extremal Reissner-Nordström black hole in finite time. In this paper it is proved that such solutions do not exist in theories with matter fields satisfying a local mass-charge inequality. In such a theory, if a 2-surface has the same metric, extrinsic curvature, and Maxwell field as a cross-section of an extremal Reissner-Nordström horizon then this surface cannot have a compact interior and so cannot be a horizon cross-section of a black hole formed in gravitational collapse. This result is proved using spinorial techniques, which are also used to prove a mass-charge inequality for a modified version of the Dougan-Mason quasi-local mass.
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
Evolution of creases on the event horizon of a black hole merger
Authors:
Maxime Gadioux,
Robie A. Hennigar,
Harvey S. Reall
Abstract:
A generic black hole merger occurs through a restructuring of creases (sharp edges) on the event horizon. This process is studied for a black hole merger in the limit of infinite mass ratio, for which constructing the event horizon reduces to finding a null hypersurface that asymptotes to a Rindler horizon in the Kerr spacetime. Geometrical properties of the creases on this horizon are determined…
▽ More
A generic black hole merger occurs through a restructuring of creases (sharp edges) on the event horizon. This process is studied for a black hole merger in the limit of infinite mass ratio, for which constructing the event horizon reduces to finding a null hypersurface that asymptotes to a Rindler horizon in the Kerr spacetime. Geometrical properties of the creases on this horizon are determined and the results are compared with the predictions of an exact local description of the event horizon in a generic merger. The crease set is shown to have finite area. A recently proposed expression for the gravitational entropy of a crease is shown to diverge at the instant of merger. Caustics on (and off) the event horizon are determined by exploiting the correspondence with the problem of gravitational lensing by a Kerr black hole. Caustics form an "astroid tube" in spacetime, two edges of which lie on the event horizon of the merger. Perturbative expressions for the location of this tube are presented, extending previous work to much higher perturbative order.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
A non-perturbative second law of black hole mechanics in effective field theory
Authors:
Iain Davies,
Harvey S. Reall
Abstract:
We describe a method for defining dynamical black hole entropy in gravitational effective field theories (EFTs). The entropy is constructed order by order in derivatives. For any fixed number of derivatives, the entropy satisfies a non-perturbative second law of black hole mechanics if the black hole remains within the regime of validity of EFT. In equilibrium the entropy reduces to the Wald entro…
▽ More
We describe a method for defining dynamical black hole entropy in gravitational effective field theories (EFTs). The entropy is constructed order by order in derivatives. For any fixed number of derivatives, the entropy satisfies a non-perturbative second law of black hole mechanics if the black hole remains within the regime of validity of EFT. In equilibrium the entropy reduces to the Wald entropy. It reduces to the entropy defined by Hollands et al in theories of vacuum gravity with up to 10 derivatives.
△ Less
Submitted 15 April, 2024; v1 submitted 12 December, 2023;
originally announced December 2023.
-
Creases, corners and caustics: properties of non-smooth structures on black hole horizons
Authors:
Maxime Gadioux,
Harvey S. Reall
Abstract:
The event horizon of a dynamical black hole is generically a non-smooth hypersurface. We classify the types of non-smooth structure that can arise on a horizon that is smooth at late time. The classification includes creases, corners and caustic points. We prove that creases and corners form spacelike submanifolds of dimension $2,1$ and that caustic points form a set of dimension at most $1$. We c…
▽ More
The event horizon of a dynamical black hole is generically a non-smooth hypersurface. We classify the types of non-smooth structure that can arise on a horizon that is smooth at late time. The classification includes creases, corners and caustic points. We prove that creases and corners form spacelike submanifolds of dimension $2,1$ and that caustic points form a set of dimension at most $1$. We classify "perestroikas" of these structures, in which they undergo a qualitative change at an instant of time. A crease perestroika gives an exact local description of the event horizon near the "instant of merger" of a generic black hole merger. Other crease perestroikas describe horizon nucleation or collapse of a hole in a toroidal horizon. Caustic perestroikas, in which a pair of caustic points either nucleate or annihilate, provide a mechanism for creases to decay. We argue that properties of quantum entanglement entropy suggest that creases might contribute to black hole entropy. We explain that a "Gauss-Bonnet" term in the entropy is non-topological on a non-smooth horizon, which invalidates previous arguments against such a term.
△ Less
Submitted 12 September, 2023; v1 submitted 27 March, 2023;
originally announced March 2023.
-
Dynamical Black Hole Entropy in Effective Field Theory
Authors:
Iain Davies,
Harvey S. Reall
Abstract:
In recent work, Hollands, Kovács and Reall have built on previous work of Wall to provide a definition of dynamical black hole entropy for gravitational effective field theories (EFTs). This entropy satisfies a second law of black hole mechanics to quadratic order in perturbations around a stationary black hole. We determine the explicit form of this entropy for the EFT of 4d vacuum gravity includ…
▽ More
In recent work, Hollands, Kovács and Reall have built on previous work of Wall to provide a definition of dynamical black hole entropy for gravitational effective field theories (EFTs). This entropy satisfies a second law of black hole mechanics to quadratic order in perturbations around a stationary black hole. We determine the explicit form of this entropy for the EFT of 4d vacuum gravity including terms in the action with up to 6 derivatives. An open question concerns the gauge invariance of this definition of black hole entropy. We show that gauge invariance holds for the EFT of vacuum gravity with up to 6 derivatives but demonstrate that it can fail when 8 derivative terms are included. We determine an entropy for Einstein-Gauss-Bonnet theory by treating it as an EFT with vanishing 6 derivative terms.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
A stationary black hole must be axisymmetric in effective field theory
Authors:
Stefan Hollands,
Akihiro Ishibashi,
Harvey S. Reall
Abstract:
The black hole rigidity theorem asserts that a rotating stationary black hole must be axisymmetric. This theorem holds for General Relativity with suitable matter fields, in four or more dimensions. We show that the theorem can be extended to any diffeomorphism invariant theory of vacuum gravity, assuming that this is interpreted in the sense of effective field theory, with coupling constants dete…
▽ More
The black hole rigidity theorem asserts that a rotating stationary black hole must be axisymmetric. This theorem holds for General Relativity with suitable matter fields, in four or more dimensions. We show that the theorem can be extended to any diffeomorphism invariant theory of vacuum gravity, assuming that this is interpreted in the sense of effective field theory, with coupling constants determined in terms of a ``UV scale'', and that the black hole solution can locally be expanded as a power series in this scale.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
The second law of black hole mechanics in effective field theory
Authors:
Stefan Hollands,
Áron D. Kovács,
Harvey S. Reall
Abstract:
We investigate the second law of black hole mechanics in gravitational theories with higher derivative terms in the action. Wall has described a method for defining an entropy that satisfies the second law to linear order in perturbations around a stationary black hole. We show that this can be extended to define an entropy that satisfies the second law to quadratic order in perturbations, provide…
▽ More
We investigate the second law of black hole mechanics in gravitational theories with higher derivative terms in the action. Wall has described a method for defining an entropy that satisfies the second law to linear order in perturbations around a stationary black hole. We show that this can be extended to define an entropy that satisfies the second law to quadratic order in perturbations, provided that one treats the higher derivative terms in the sense of effective field theory. We also address some outstanding issues with Wall's method, in particular, its gauge invariance and its relation to the Iyer-Wald entropy.
△ Less
Submitted 26 August, 2022; v1 submitted 30 May, 2022;
originally announced May 2022.
-
Well-posed formulation of Einstein-Maxwell effective field theory
Authors:
Iain Davies,
Harvey S. Reall
Abstract:
We consider the well-posedness of the initial value problem for Einstein-Maxwell theory modified by higher derivative effective field theory corrections. Field redefinitions can be used to bring the leading parity-symmetric 4-derivative corrections to a form which gives second order equations of motion. We show that a recently introduced "modified harmonic" gauge condition can be used to obtain a…
▽ More
We consider the well-posedness of the initial value problem for Einstein-Maxwell theory modified by higher derivative effective field theory corrections. Field redefinitions can be used to bring the leading parity-symmetric 4-derivative corrections to a form which gives second order equations of motion. We show that a recently introduced "modified harmonic" gauge condition can be used to obtain a formulation of these theories which admits a well-posed initial value problem when the higher derivative corrections to the equations of motion are small.
△ Less
Submitted 10 December, 2021;
originally announced December 2021.
-
Effective field theory and classical equations of motion
Authors:
Harvey S. Reall,
Claude M. Warnick
Abstract:
Given a theory containing both heavy and light fields (the UV theory), a standard procedure is to integrate out the heavy field to obtain an effective field theory (EFT) for the light fields. Typically the EFT equations of motion consist of an expansion involving higher and higher derivatives of the fields, whose truncation at any finite order may not be well-posed. In this paper we address the qu…
▽ More
Given a theory containing both heavy and light fields (the UV theory), a standard procedure is to integrate out the heavy field to obtain an effective field theory (EFT) for the light fields. Typically the EFT equations of motion consist of an expansion involving higher and higher derivatives of the fields, whose truncation at any finite order may not be well-posed. In this paper we address the question of how to make sense of the EFT equations of motion, and whether they provide a good approximation to the classical UV theory. We propose an approach to solving EFTs which leads to a well-posedness statement. For a particular choice of UV theory we rigorously derive the corresponding EFT and show that a large class of classical solutions to the UV theory are well approximated by EFT solutions. We also consider solutions of the UV theory which are not well approximated by EFT solutions and demonstrate that these are close, in an averaged sense, to solutions of a modified EFT.
△ Less
Submitted 15 October, 2021; v1 submitted 25 May, 2021;
originally announced May 2021.
-
Causality in gravitational theories with second order equations of motion
Authors:
Harvey S. Reall
Abstract:
This paper considers diffeomorphism invariant theories of gravity coupled to matter, with second order equations of motion. This includes Einstein-Maxwell and Einstein-scalar field theory with (after field redefinitions) the most general parity-symmetric four-derivative effective field theory corrections. A gauge-invariant approach is used to study the characteristics associated to the physical de…
▽ More
This paper considers diffeomorphism invariant theories of gravity coupled to matter, with second order equations of motion. This includes Einstein-Maxwell and Einstein-scalar field theory with (after field redefinitions) the most general parity-symmetric four-derivative effective field theory corrections. A gauge-invariant approach is used to study the characteristics associated to the physical degrees of freedom in an arbitrary background solution. The symmetries of the principal symbol arising from diffeomorphism invariance and the action principle are determined. For gravity coupled to a single scalar field (i.e. a Horndeski theory) it is shown that causality is governed by a characteristic polynomial of degree $6$ which factorises into a product of quadratic and quartic polynomials. The former is defined in terms of an "effective metric" and is associated with a "purely gravitational" polarisation, whereas the latter generically involves a mixture of gravitational and scalar field polarisations. The "fastest" degrees of freedom are associated with the quartic polynomial, which defines a surface analogous to the Fresnel surface in crystal optics. In contrast with optics, this surface is generically non-singular except on certain surfaces in spacetime. It is shown that a Killing horizon is an example of such a surface. It is also shown that a Killing horizon satisfies the zeroth law of black hole mechanics. The characteristic polynomial defines a cone in the cotangent space and a dual cone in the tangent space. The latter is used to define basic notions of causality and to provide a definition of a dynamical black hole in these theories.
△ Less
Submitted 9 March, 2021; v1 submitted 27 January, 2021;
originally announced January 2021.
-
Well-posed formulation of Lovelock and Horndeski theories
Authors:
Aron D. Kovacs,
Harvey S. Reall
Abstract:
We study the initial value problem for Lovelock and Horndeski theories of gravity. We show that the equations of motion of these theories can be written in a form that, at weak coupling, is strongly hyperbolic and therefore admits a well-posed initial value problem. This is achieved by introducing a new class of "modified harmonic" gauges for general relativity.
We study the initial value problem for Lovelock and Horndeski theories of gravity. We show that the equations of motion of these theories can be written in a form that, at weak coupling, is strongly hyperbolic and therefore admits a well-posed initial value problem. This is achieved by introducing a new class of "modified harmonic" gauges for general relativity.
△ Less
Submitted 28 May, 2020; v1 submitted 18 March, 2020;
originally announced March 2020.
-
Well-posed formulation of scalar-tensor effective field theory
Authors:
Aron D. Kovacs,
Harvey S. Reall
Abstract:
Effective field theory provides a way of parameterizing strong-field deviations from General Relativity that might be observable in the gravitational waves emitted in a black hole merger. To perform numerical simulations of mergers in such theories it is necessary that the equations be written in a form that admits a well-posed initial value formulation. We study gravity coupled to a scalar field…
▽ More
Effective field theory provides a way of parameterizing strong-field deviations from General Relativity that might be observable in the gravitational waves emitted in a black hole merger. To perform numerical simulations of mergers in such theories it is necessary that the equations be written in a form that admits a well-posed initial value formulation. We study gravity coupled to a scalar field including the leading (4-derivative) effective field theory corrections. We introduce a new class of "modified harmonic" gauges and gauge-fixed equations of motion, such that, at weak coupling, the equations are strongly hyperbolic and therefore admit a well-posed initial value formulation.
△ Less
Submitted 28 May, 2020; v1 submitted 9 March, 2020;
originally announced March 2020.
-
The BTZ black hole violates strong cosmic censorship
Authors:
Oscar J. C. Dias,
Harvey S. Reall,
Jorge E. Santos
Abstract:
We investigate the stability of the inner horizon of a rotating BTZ black hole. We show that linear perturbations arising from smooth initial data are arbitrarily differentiable at the inner horizon if the black hole is sufficiently close to extremality. This is demonstrated for scalar fields, for massive Chern-Simons fields, for Proca fields, and for massive spin-2 fields. Thus the strong cosmic…
▽ More
We investigate the stability of the inner horizon of a rotating BTZ black hole. We show that linear perturbations arising from smooth initial data are arbitrarily differentiable at the inner horizon if the black hole is sufficiently close to extremality. This is demonstrated for scalar fields, for massive Chern-Simons fields, for Proca fields, and for massive spin-2 fields. Thus the strong cosmic censorship conjecture is violated by a near-extremal BTZ black hole in a large class of theories. However, we show that a weaker "rough" version of the conjecture is respected. We calculate the renormalized energy-momentum tensor of a scalar field in the Hartle-Hawking state in the BTZ geometry. We show that the result is finite at the inner horizon of a near-extremal black hole. Hence the backreaction of vacuum polarization does not enforce strong cosmic censorship.
△ Less
Submitted 21 August, 2019; v1 submitted 19 June, 2019;
originally announced June 2019.
-
Higher derivative corrections to Kerr black hole thermodynamics
Authors:
Harvey S. Reall,
Jorge E. Santos
Abstract:
In an effective field theory approach to gravity, the Einstein-Hilbert action is supplemented by higher derivative terms. In the absence of matter, four derivative terms can be eliminated by a field redefinition. We use the Euclidean action to calculate analytically the corrections to thermodynamic quantities of the Kerr solution arising from terms with six or eight derivatives. The eight derivati…
▽ More
In an effective field theory approach to gravity, the Einstein-Hilbert action is supplemented by higher derivative terms. In the absence of matter, four derivative terms can be eliminated by a field redefinition. We use the Euclidean action to calculate analytically the corrections to thermodynamic quantities of the Kerr solution arising from terms with six or eight derivatives. The eight derivative terms make a non-negative correction to the entropy (at fixed mass and angular momentum) if their coefficients have appropriate signs. The correction from the six derivative terms does not have a definite sign.
△ Less
Submitted 25 September, 2019; v1 submitted 31 January, 2019;
originally announced January 2019.
-
Strong cosmic censorship for charged de Sitter black holes with a charged scalar field
Authors:
Oscar J. C. Dias,
Harvey S. Reall,
Jorge E. Santos
Abstract:
It has been shown recently that the strong cosmic censorship conjecture is violated by near-extremal Reissner-Nordström-de Sitter black holes. We investigate whether the introduction of a charged scalar field can rescue strong cosmic censorship. We find that such a field improves the situation but there is always a neighbourhood of extremality in which strong cosmic censorship is violated by pertu…
▽ More
It has been shown recently that the strong cosmic censorship conjecture is violated by near-extremal Reissner-Nordström-de Sitter black holes. We investigate whether the introduction of a charged scalar field can rescue strong cosmic censorship. We find that such a field improves the situation but there is always a neighbourhood of extremality in which strong cosmic censorship is violated by perturbations arising from smooth initial data.
△ Less
Submitted 29 August, 2018; v1 submitted 14 August, 2018;
originally announced August 2018.
-
Strong cosmic censorship: taking the rough with the smooth
Authors:
Oscar J. C. Dias,
Harvey S. Reall,
Jorge E. Santos
Abstract:
It has been argued that the strong cosmic censorship conjecture is violated by Reissner-Nordström-de Sitter black holes: for near-extremal black holes, generic scalar field perturbations arising from smooth initial data have finite energy at the Cauchy horizon even though they are not continuously differentiable there. In this paper, we consider the analogous problem for coupled gravitational and…
▽ More
It has been argued that the strong cosmic censorship conjecture is violated by Reissner-Nordström-de Sitter black holes: for near-extremal black holes, generic scalar field perturbations arising from smooth initial data have finite energy at the Cauchy horizon even though they are not continuously differentiable there. In this paper, we consider the analogous problem for coupled gravitational and electromagnetic perturbations. We find that such perturbations exhibit a much worse violation of strong cosmic censorship: for a sufficiently large near-extremal black hole, perturbations arising from smooth initial data can be extended through the Cauchy horizon in an arbitrarily smooth way. This is in apparent contradiction with an old argument in favour of strong cosmic censorship. We resolve this contradiction by showing that this old argument is valid only for initial data that is not smooth. This is in agreement with the recent proposal that, to recover strong cosmic censorship, one must allow rough initial data.
△ Less
Submitted 4 October, 2018; v1 submitted 8 August, 2018;
originally announced August 2018.
-
Predictability of subluminal and superluminal wave equations
Authors:
Felicity C. Eperon,
Harvey S. Reall,
Jan J. Sbierski
Abstract:
It is sometimes claimed that Lorentz invariant wave equations which allow superluminal propagation exhibit worse predictability than subluminal equations. To investigate this, we study the Born-Infeld scalar in two spacetime dimensions. This equation can be formulated in either a subluminal or a superluminal form. Surprisingly, we find that the subluminal theory is less predictive than the superlu…
▽ More
It is sometimes claimed that Lorentz invariant wave equations which allow superluminal propagation exhibit worse predictability than subluminal equations. To investigate this, we study the Born-Infeld scalar in two spacetime dimensions. This equation can be formulated in either a subluminal or a superluminal form. Surprisingly, we find that the subluminal theory is less predictive than the superluminal theory in the following sense. For the subluminal theory, there can exist multiple maximal globally hyperbolic developments arising from the same initial data. This problem does not arise in the superluminal theory, for which there is a unique maximal globally hyperbolic development. For a general quasilinear wave equation, we prove theorems establishing why this lack of uniqueness occurs, and identify conditions on the equation that ensure uniqueness. In particular, we prove that superluminal equations always admit a unique maximal globally hyperbolic development. In this sense, superluminal equations exhibit better predictability than generic subluminal equations.
△ Less
Submitted 20 February, 2019; v1 submitted 8 February, 2018;
originally announced February 2018.
-
Strong cosmic censorship in de Sitter space
Authors:
Oscar J. C. Dias,
Felicity C. Eperon,
Harvey S. Reall,
Jorge E. Santos
Abstract:
Recent work indicates that the strong cosmic censorship hypothesis is violated by nearly extremal Reissner-Nordstrom-de Sitter black holes. It was argued that perturbations of such a black hole decay sufficiently rapidly that the perturbed spacetime can be extended across the Cauchy horizon as a weak solution of the equations of motion. In this paper we consider the case of Kerr-de Sitter black ho…
▽ More
Recent work indicates that the strong cosmic censorship hypothesis is violated by nearly extremal Reissner-Nordstrom-de Sitter black holes. It was argued that perturbations of such a black hole decay sufficiently rapidly that the perturbed spacetime can be extended across the Cauchy horizon as a weak solution of the equations of motion. In this paper we consider the case of Kerr-de Sitter black holes. We find that, for any non-extremal value of the black hole parameters, there are quasinormal modes which decay sufficiently slowly to ensure that strong cosmic censorship is respected. Our analysis covers both scalar field and linearized gravitational perturbations.
△ Less
Submitted 29 January, 2018;
originally announced January 2018.
-
Is there a breakdown of effective field theory at the horizon of an extremal black hole?
Authors:
Shahar Hadar,
Harvey S. Reall
Abstract:
Linear perturbations of extremal black holes exhibit the Aretakis instability, in which higher derivatives of a scalar field grow polynomially with time along the event horizon. This suggests that higher derivative corrections to the classical equations of motion may become large, indicating a breakdown of effective field theory at late time on the event horizon. We investigate whether or not this…
▽ More
Linear perturbations of extremal black holes exhibit the Aretakis instability, in which higher derivatives of a scalar field grow polynomially with time along the event horizon. This suggests that higher derivative corrections to the classical equations of motion may become large, indicating a breakdown of effective field theory at late time on the event horizon. We investigate whether or not this happens. For extremal Reissner-Nordstrom we argue that, for a large class of theories, general covariance ensures that the higher derivative corrections to the equations of motion appear only in combinations that remain small compared to two derivative terms so effective field theory remains valid. For extremal Kerr, the situation is more complicated since backreaction of the scalar field is not understood even in the two derivative theory. Nevertheless we argue that the effects of the higher derivative terms will be small compared to the two derivative terms as long as the spacetime remains close to extremal Kerr.
△ Less
Submitted 27 September, 2017;
originally announced September 2017.
-
On the local well-posedness of Lovelock and Horndeski theories
Authors:
Giuseppe Papallo,
Harvey S. Reall
Abstract:
We investigate local well-posedness of the initial value problem for Lovelock and Horndeski theories of gravity. A necessary condition for local well-posedness is strong hyperbolicity of the equations of motion. Even weak hyperbolicity can fail for strong fields so we restrict to weak fields. The Einstein equation is known to be strongly hyperbolic in harmonic gauge so we study Lovelock theories i…
▽ More
We investigate local well-posedness of the initial value problem for Lovelock and Horndeski theories of gravity. A necessary condition for local well-posedness is strong hyperbolicity of the equations of motion. Even weak hyperbolicity can fail for strong fields so we restrict to weak fields. The Einstein equation is known to be strongly hyperbolic in harmonic gauge so we study Lovelock theories in harmonic gauge. We show that the equation of motion is always weakly hyperbolic for weak fields but, in a generic weak-field background, it is not strongly hyperbolic. For Horndeski theories, we prove that, for weak fields, the equation of motion is always weakly hyperbolic in any generalized harmonic gauge. For some Horndeski theories there exists a generalized harmonic gauge for which the equation of motion is strongly hyperbolic in a weak-field background. This includes "k-essence" like theories. However, for more general Horndeski theories, there is no generalized harmonic gauge for which the equation of motion is strongly hyperbolic in a generic weak-field background. Our results show that the standard method used to establish local well-posedness of the Einstein equation does not extend to Lovelock or general Horndeski theories. This raises the possibility that these theories may not admit a well-posed initial value problem even for weak fields.
△ Less
Submitted 17 August, 2017; v1 submitted 11 May, 2017;
originally announced May 2017.
-
Instability of supersymmetric microstate geometries
Authors:
Felicity C. Eperon,
Harvey S. Reall,
Jorge E. Santos
Abstract:
We investigate the classical stability of supersymmetric, asymptotically flat, microstate geometries with five non-compact dimensions. Such geometries admit an "evanescent ergosurface": a timelike hypersurface of infinite redshift. On such a surface, there are null geodesics with zero energy relative to infinity. These geodesics are stably trapped in the potential well near the ergosurface. We pre…
▽ More
We investigate the classical stability of supersymmetric, asymptotically flat, microstate geometries with five non-compact dimensions. Such geometries admit an "evanescent ergosurface": a timelike hypersurface of infinite redshift. On such a surface, there are null geodesics with zero energy relative to infinity. These geodesics are stably trapped in the potential well near the ergosurface. We present a heuristic argument indicating that this feature is likely to lead to a nonlinear instability of these solutions. We argue that the precursor of such an instability can be seen in the behaviour of linear perturbations: nonlinear stability would require that all linear perturbations decay sufficiently rapidly but the stable trapping implies that some linear perturbation decay very slowly. We study this in detail for the most symmetric microstate geometries. By constructing quasinormal modes of these geometries we show that generic linear perturbations decay slower than any inverse power of time.
△ Less
Submitted 29 September, 2016; v1 submitted 22 July, 2016;
originally announced July 2016.
-
Evanescent ergosurfaces and ambipolar hyperkähler metrics
Authors:
Benjamin E. Niehoff,
Harvey S. Reall
Abstract:
A supersymmetric solution of 5d supergravity may admit an `evanescent ergosurface': a timelike hypersurface such that the canonical Killing vector field is timelike everywhere except on this hypersurface. The hyperkähler `base space' of such a solution is `ambipolar', changing signature from $(++++)$ to $(----)$ across a hypersurface. In this paper, we determine how the hyperkähler structure must…
▽ More
A supersymmetric solution of 5d supergravity may admit an `evanescent ergosurface': a timelike hypersurface such that the canonical Killing vector field is timelike everywhere except on this hypersurface. The hyperkähler `base space' of such a solution is `ambipolar', changing signature from $(++++)$ to $(----)$ across a hypersurface. In this paper, we determine how the hyperkähler structure must degenerate at the hypersurface in order for the 5d solution to remain smooth. This leads us to a definition of an ambipolar hyperkähler manifold which generalizes the recently-defined notion of a `folded' hyperkähler manifold. We prove that such manifolds can be constructed from `initial' data prescribed on the hypersurface. We present an `initial value' construction of supersymmetric solutions of 5d supergravity, in which such solutions are determined by data prescribed on a timelike hypersurface, both for the generic case and for the case of an evanescent ergosurface.
△ Less
Submitted 19 January, 2016; v1 submitted 8 January, 2016;
originally announced January 2016.
-
Twisting algebraically special solutions in five dimensions
Authors:
Gabriel Bernardi de Freitas,
Mahdi Godazgar,
Harvey S. Reall
Abstract:
We determine the general form of the solutions of the five-dimensional vacuum Einstein equations with cosmological constant for which (i) the Weyl tensor is everywhere type II or more special in the null alignment classification of Coley et al., and (ii) the $3 \times 3$ matrix encoding the expansion, shear and twist of the aligned null direction has rank 2. The dependence of the solution on 2 coo…
▽ More
We determine the general form of the solutions of the five-dimensional vacuum Einstein equations with cosmological constant for which (i) the Weyl tensor is everywhere type II or more special in the null alignment classification of Coley et al., and (ii) the $3 \times 3$ matrix encoding the expansion, shear and twist of the aligned null direction has rank 2. The dependence of the solution on 2 coordinates is determined explicitly, so the Einstein equation reduces to PDEs in the 3 remaining coordinates, just as for four-dimensional algebraically special solutions. The solutions fall into several families. One of these consists of warped products of four-dimensional algebraically special solutions. The others are new.
△ Less
Submitted 6 November, 2015;
originally announced November 2015.
-
Graviton time delay and a speed limit for small black holes in Einstein-Gauss-Bonnet theory
Authors:
Giuseppe Papallo,
Harvey S. Reall
Abstract:
Camanho, Edelstein, Maldacena and Zhiboedov have shown that gravitons can experience a negative Shapiro time delay, i.e. a time advance, in Einstein-Gauss-Bonnet theory. They studied gravitons propagating in singular "shock-wave" geometries. We study this effect for gravitons propagating in smooth black hole spacetimes. For a small enough black hole, we find that gravitons of appropriate polarisat…
▽ More
Camanho, Edelstein, Maldacena and Zhiboedov have shown that gravitons can experience a negative Shapiro time delay, i.e. a time advance, in Einstein-Gauss-Bonnet theory. They studied gravitons propagating in singular "shock-wave" geometries. We study this effect for gravitons propagating in smooth black hole spacetimes. For a small enough black hole, we find that gravitons of appropriate polarisation, and small impact parameter, can experience time advance. Such gravitons can also exhibit a deflection angle less than $π$, characteristic of a repulsive short-distance gravitational interaction. We discuss problems with the suggestion that the time advance can be used to build a "time machine". In particular, we argue that a small black hole cannot be boosted to a speed arbitrarily close to the speed of light, as would be required in such a construction.
△ Less
Submitted 19 October, 2015; v1 submitted 21 August, 2015;
originally announced August 2015.
-
Uniqueness of the Kerr-de Sitter spacetime as an algebraically special solution in five dimensions
Authors:
Gabriel Bernardi de Freitas,
Mahdi Godazgar,
Harvey S. Reall
Abstract:
We determine the most general solution of the five-dimensional vacuum Einstein equation, allowing for a cosmological constant, with (i) a Weyl tensor that is type II or more special in the classification of Coley et al., (ii) a non-degenerate "optical matrix" encoding the expansion, rotation and shear of the aligned null direction. The solution is specified by three parameters. It is locally isome…
▽ More
We determine the most general solution of the five-dimensional vacuum Einstein equation, allowing for a cosmological constant, with (i) a Weyl tensor that is type II or more special in the classification of Coley et al., (ii) a non-degenerate "optical matrix" encoding the expansion, rotation and shear of the aligned null direction. The solution is specified by three parameters. It is locally isometric to the 5d Kerr-de Sitter solution, or related to this solution by analytic continuation or taking a limit. This is in contrast with four dimensions, where there exist infinitely many solutions with properties (i) and (ii).
△ Less
Submitted 12 January, 2015;
originally announced January 2015.
-
Shock Formation in Lovelock Theories
Authors:
Harvey S. Reall,
Norihiro Tanahashi,
Benson Way
Abstract:
We argue that Lovelock theories of gravity suffer from shock formation, unlike General Relativity. We consider the propagation of (i) a discontinuity in curvature, and (ii) weak, high frequency, gravitational waves. Such disturbances propagate along characteristic hypersurfaces of a "background" spacetime and their amplitude is governed by a transport equation. In GR the transport equation is line…
▽ More
We argue that Lovelock theories of gravity suffer from shock formation, unlike General Relativity. We consider the propagation of (i) a discontinuity in curvature, and (ii) weak, high frequency, gravitational waves. Such disturbances propagate along characteristic hypersurfaces of a "background" spacetime and their amplitude is governed by a transport equation. In GR the transport equation is linear. In Lovelock theories, it is nonlinear and its solutions can blow up, corresponding to the formation of a shock. We show that this effect is absent in some simple cases e.g. a flat background spacetime, and demonstrate its presence for a plane wave background. We comment on weak cosmic censorship, the evolution of shocks, and the nonlinear stability of Minkowski spacetime, in Lovelock theories.
△ Less
Submitted 12 September, 2014;
originally announced September 2014.
-
Causality and Hyperbolicity of Lovelock Theories
Authors:
Harvey S. Reall,
Norihiro Tanahashi,
Benson Way
Abstract:
In Lovelock theories, gravity can travel faster or slower than light. The causal structure is determined by the characteristic hypersurfaces. We generalise a recent result of Izumi to prove that any Killing horizon is a characteristic hypersurface for all gravitational degrees of freedom of a Lovelock theory. Hence gravitational signals cannot escape from the region inside such a horizon. We inves…
▽ More
In Lovelock theories, gravity can travel faster or slower than light. The causal structure is determined by the characteristic hypersurfaces. We generalise a recent result of Izumi to prove that any Killing horizon is a characteristic hypersurface for all gravitational degrees of freedom of a Lovelock theory. Hence gravitational signals cannot escape from the region inside such a horizon. We investigate the hyperbolicity of Lovelock theories by determining the characteristic hypersurfaces for various backgrounds. First we consider Ricci flat type N spacetimes. We show that characteristic hypersurfaces are generically all non-null and that Lovelock theories are hyperbolic in any such spacetime. Next we consider static, maximally symmetric black hole solutions of Lovelock theories. Again, characteristic surfaces are generically non-null. For some small black holes, hyperbolicity is violated near the horizon. This implies that the stability of such black holes is not a well-posed problem.
△ Less
Submitted 12 September, 2014; v1 submitted 12 June, 2014;
originally announced June 2014.
-
Algebraically special solutions in AdS/CFT
Authors:
Gabriel Bernardi de Freitas,
Harvey S. Reall
Abstract:
We investigate the AdS/CFT interpretation of the class of algebraically special solutions of Einstein gravity with a negative cosmological constant. Such solutions describe a CFT living in a 2+1 dimensional time-dependent geometry that, generically, has no isometries. The algebraically special condition implies that the expectation value of the CFT energy-momentum tensor is a local function of the…
▽ More
We investigate the AdS/CFT interpretation of the class of algebraically special solutions of Einstein gravity with a negative cosmological constant. Such solutions describe a CFT living in a 2+1 dimensional time-dependent geometry that, generically, has no isometries. The algebraically special condition implies that the expectation value of the CFT energy-momentum tensor is a local function of the boundary metric. When such a spacetime is slowly varying, the fluid/gravity approximation is valid and one can read off the values of certain higher order transport coefficients. To do this, we introduce a formalism for studying conformal, relativistic fluids in 2+1 dimensions that reduces everything to the manipulation of scalar quantities.
△ Less
Submitted 1 April, 2014; v1 submitted 14 March, 2014;
originally announced March 2014.
-
What happens at the horizon(s) of an extreme black hole?
Authors:
Keiju Murata,
Harvey S. Reall,
Norihiro Tanahashi
Abstract:
A massless scalar field exhibits an instability at the event horizon of an extreme black hole. We study numerically the nonlinear evolution of this instability for spherically symmetric perturbations of an extreme Reissner-Nordstrom (RN) black hole. We find that generically the endpoint of the instability is a non-extreme RN solution. However, there exist fine-tuned initial perturbations for which…
▽ More
A massless scalar field exhibits an instability at the event horizon of an extreme black hole. We study numerically the nonlinear evolution of this instability for spherically symmetric perturbations of an extreme Reissner-Nordstrom (RN) black hole. We find that generically the endpoint of the instability is a non-extreme RN solution. However, there exist fine-tuned initial perturbations for which the instability never decays. In this case, the perturbed spacetime describes a time-dependent extreme black hole. Such solutions settle down to extreme RN outside, but not on, the event horizon. The event horizon remains smooth but certain observers who cross it at late time experience large gradients there. Our results indicate that these dynamical extreme black holes admit a C^1 extension across an inner (Cauchy) horizon.
△ Less
Submitted 25 July, 2013;
originally announced July 2013.
-
Algebraically special perturbations of the Schwarzschild solution in higher dimensions
Authors:
Oscar J. C. Dias,
Harvey S. Reall
Abstract:
We study algebraically special perturbations of a generalized Schwarzschild solution in any number of dimensions. There are two motivations. First, to learn whether there exist interesting higher-dimensional algebraically special solutions beyond the known ones. Second, algebraically special perturbations present an obstruction to the unique reconstruction of general metric perturbations from gaug…
▽ More
We study algebraically special perturbations of a generalized Schwarzschild solution in any number of dimensions. There are two motivations. First, to learn whether there exist interesting higher-dimensional algebraically special solutions beyond the known ones. Second, algebraically special perturbations present an obstruction to the unique reconstruction of general metric perturbations from gauge-invariant variables analogous to the Teukolsky scalars and it is desirable to know the extent of this non-uniqueness. In four dimensions, our results generalize those of Couch and Newman, who found infinite families of time-dependent algebraically special perturbations. In higher dimensions, we find that the only regular algebraically special perturbations are those corresponding to deformations within the Myers-Perry family. Our results are relevant for several inequivalent definitions of "algebraically special".
△ Less
Submitted 21 March, 2013; v1 submitted 29 January, 2013;
originally announced January 2013.
-
On the horizon instability of an extreme Reissner-Nordström black hole
Authors:
James Lucietti,
Keiju Murata,
Harvey S. Reall,
Norihiro Tanahashi
Abstract:
Aretakis has proved that a massless scalar field has an instability at the horizon of an extreme Reissner-Nordström black hole. We show that a similar instability occurs also for a massive scalar field and for coupled linearized gravitational and electromagnetic perturbations. We present numerical results for the late time behaviour of massless and massive scalar fields in the extreme RN backgroun…
▽ More
Aretakis has proved that a massless scalar field has an instability at the horizon of an extreme Reissner-Nordström black hole. We show that a similar instability occurs also for a massive scalar field and for coupled linearized gravitational and electromagnetic perturbations. We present numerical results for the late time behaviour of massless and massive scalar fields in the extreme RN background and show that instabilities are present for initial perturbations supported outside the horizon, e.g.\ an ingoing wavepacket. For a massless scalar we show that the numerical results for the late time behaviour are reproduced by an analytic calculation in the near-horizon geometry. We relate Aretakis' conserved quantities at the future horizon to the Newman-Penrose conserved quantities at future null infinity.
△ Less
Submitted 22 April, 2013; v1 submitted 11 December, 2012;
originally announced December 2012.
-
On algebraically special vacuum spacetimes in five dimensions
Authors:
Harvey S. Reall,
Alexander A. H. Graham,
Carl P. Turner
Abstract:
Vacuum solutions admitting a hypersurface-orthogonal repeated principal null direction are an important class of 4d algebraically special spacetimes. We investigate the 5d analogues of such solutions: vacuum spacetimes admitting a hypersurface-orthogonal multiple Weyl aligned null direction (WAND). Such spacetimes fall into 4 families determined by the rank of the 3X3 matrix that defines the expan…
▽ More
Vacuum solutions admitting a hypersurface-orthogonal repeated principal null direction are an important class of 4d algebraically special spacetimes. We investigate the 5d analogues of such solutions: vacuum spacetimes admitting a hypersurface-orthogonal multiple Weyl aligned null direction (WAND). Such spacetimes fall into 4 families determined by the rank of the 3X3 matrix that defines the expansion and shear of the multiple WAND. The rank 3 and rank 0 cases have been studied previously. We investigate the 2 remaining families. We show how to define coordinates which lead to a considerable simplification of the Einstein equation with cosmological constant. The rank 2 case gives warped product and Kaluza-Klein versions of the 4d Robinson-Trautman solutions as well as some new solutions. The rank 1 case gives product, or analytically continued Schwarzschild, spacetimes.
△ Less
Submitted 25 January, 2013; v1 submitted 26 November, 2012;
originally announced November 2012.
-
Higher dimensional black holes
Authors:
Harvey S. Reall
Abstract:
This article reviews black hole solutions of higher-dimensional General Relativity. The focus is on stationary vacuum solutions and recent work on instabilities of such solutions.
This article reviews black hole solutions of higher-dimensional General Relativity. The focus is on stationary vacuum solutions and recent work on instabilities of such solutions.
△ Less
Submitted 12 October, 2012; v1 submitted 4 October, 2012;
originally announced October 2012.
-
Stable non-uniform black strings below the critical dimension
Authors:
Pau Figueras,
Keiju Murata,
Harvey S. Reall
Abstract:
The higher-dimensional vacuum Einstein equation admits translationally non-uniform black string solutions. It has been argued that infinitesimally non-uniform black strings should be unstable in 13 or fewer dimensions and otherwise stable. We construct numerically non-uniform black string solutions in 11, 12, 13, 14 and 15 dimensions. Their stability is investigated using local Penrose inequalitie…
▽ More
The higher-dimensional vacuum Einstein equation admits translationally non-uniform black string solutions. It has been argued that infinitesimally non-uniform black strings should be unstable in 13 or fewer dimensions and otherwise stable. We construct numerically non-uniform black string solutions in 11, 12, 13, 14 and 15 dimensions. Their stability is investigated using local Penrose inequalities. Weakly non-uniform solutions behave as expected. However, in 12 and 13 dimensions, strongly non-uniform solutions appear to be stable and can have greater horizon area than a uniform string of the same mass. In 14 and 15 dimensions all non-uniform black strings appear to be stable.
△ Less
Submitted 29 November, 2012; v1 submitted 10 September, 2012;
originally announced September 2012.
-
Gravitational instability of an extreme Kerr black hole
Authors:
James Lucietti,
Harvey S. Reall
Abstract:
Aretakis has proved the existence of an instability of a massless scalar field at the horizon of an extreme Kerr or Reissner-Nordstrom black hole: for generic initial data, a transverse derivative of the scalar field at the horizon does not decay, and higher transverse derivatives blow up. We show that a similar instability occurs for linearized gravitational, and electromagnetic, perturbations of…
▽ More
Aretakis has proved the existence of an instability of a massless scalar field at the horizon of an extreme Kerr or Reissner-Nordstrom black hole: for generic initial data, a transverse derivative of the scalar field at the horizon does not decay, and higher transverse derivatives blow up. We show that a similar instability occurs for linearized gravitational, and electromagnetic, perturbations of an extreme Kerr black hole. We show also that the massless scalar field instability occurs for extreme black hole solutions of a large class of theories in various spacetime dimensions.
△ Less
Submitted 5 November, 2012; v1 submitted 7 August, 2012;
originally announced August 2012.
-
On a five-dimensional version of the Goldberg-Sachs theorem
Authors:
Marcello Ortaggio,
Vojtech Pravda,
Alena Pravdova,
Harvey S. Reall
Abstract:
Previous work has found a higher-dimensional generalization of the "geodesic part" of the Goldberg-Sachs theorem. We investigate the generalization of the "shear-free part" of the theorem. A spacetime is defined to be algebraically special if it admits a multiple Weyl Aligned Null Direction (WAND). The algebraically special property restricts the form of the "optical matrix" that defines the expan…
▽ More
Previous work has found a higher-dimensional generalization of the "geodesic part" of the Goldberg-Sachs theorem. We investigate the generalization of the "shear-free part" of the theorem. A spacetime is defined to be algebraically special if it admits a multiple Weyl Aligned Null Direction (WAND). The algebraically special property restricts the form of the "optical matrix" that defines the expansion, rotation and shear of the multiple WAND. After working out some general constraints that hold in arbitrary dimensions, we determine necessary algebraic conditions on the optical matrix of a multiple WAND in a five-dimensional Einstein spacetime. We prove that one can choose an orthonormal basis to bring the 3 x 3 optical matrix to one of three canonical forms, each involving two parameters, and we discuss the existence of an "optical structure" within these classes. Examples of solutions corresponding to each form are given. We give an example which demonstrates that our necessary algebraic conditions are not sufficient for a null vector field to be a multiple WAND, in contrast with the 4d result.
△ Less
Submitted 5 May, 2012;
originally announced May 2012.
-
NR/HEP: roadmap for the future
Authors:
Vitor Cardoso,
Leonardo Gualtieri,
Carlos Herdeiro,
Ulrich Sperhake,
Paul M. Chesler,
Luis Lehner,
Seong Chan Park,
Harvey S. Reall,
Carlos F. Sopuerta,
Daniela Alic,
Oscar J. C. Dias,
Roberto Emparan,
Valeria Ferrari,
Steven B. Giddings,
Mahdi Godazgar,
Ruth Gregory,
Veronika E. Hubeny,
Akihiro Ishibashi,
Greg Landsberg,
Carlos O. Lousto,
David Mateos,
Vicki Moeller,
Hirotada Okawa,
Paolo Pani,
M. Andy Parker
, et al. (7 additional authors not shown)
Abstract:
Physics in curved spacetime describes a multitude of phenomena, ranging from astrophysics to high energy physics. The last few years have witnessed further progress on several fronts, including the accurate numerical evolution of the gravitational field equations, which now allows highly nonlinear phenomena to be tamed. Numerical relativity simulations, originally developed to understand strong fi…
▽ More
Physics in curved spacetime describes a multitude of phenomena, ranging from astrophysics to high energy physics. The last few years have witnessed further progress on several fronts, including the accurate numerical evolution of the gravitational field equations, which now allows highly nonlinear phenomena to be tamed. Numerical relativity simulations, originally developed to understand strong field astrophysical processes, could prove extremely useful to understand high-energy physics processes like trans-Planckian scattering and gauge-gravity dualities. We present a concise and comprehensive overview of the state-of-the-art and important open problems in the field(s), along with guidelines for the next years. This writeup is a summary of the "NR/HEP Workshop" held in Madeira, Portugal from August 31st to September 3rd 2011.
△ Less
Submitted 24 January, 2012;
originally announced January 2012.
-
Peeling of the Weyl tensor and gravitational radiation in higher dimensions
Authors:
Mahdi Godazgar,
Harvey S. Reall
Abstract:
The peeling behaviour of the Weyl tensor near null infinity is determined for an asymptotically flat higher dimensional spacetime. The result is qualitatively different from the peeling property in 4d. To leading order, the Weyl tensor is type N. The first subleading term is type II. The next term is algebraically general in 6 or more dimensions but in 5 dimensions another type N term appears befo…
▽ More
The peeling behaviour of the Weyl tensor near null infinity is determined for an asymptotically flat higher dimensional spacetime. The result is qualitatively different from the peeling property in 4d. To leading order, the Weyl tensor is type N. The first subleading term is type II. The next term is algebraically general in 6 or more dimensions but in 5 dimensions another type N term appears before the algebraically general term. The Bondi energy flux is written in terms of "Newman-Penrose" Weyl components.
△ Less
Submitted 22 April, 2012; v1 submitted 20 January, 2012;
originally announced January 2012.
-
Black hole instabilities and local Penrose inequalities
Authors:
Pau Figueras,
Keiju Murata,
Harvey S. Reall
Abstract:
Various higher-dimensional black holes have been shown to be unstable by studying linearized gravitational perturbations. A simpler method for demonstrating instability is to find initial data that describes a small perturbation of the black hole and violates a Penrose inequality. An easy way to construct initial data is by conformal rescaling of the unperturbed black hole initial data. For a comp…
▽ More
Various higher-dimensional black holes have been shown to be unstable by studying linearized gravitational perturbations. A simpler method for demonstrating instability is to find initial data that describes a small perturbation of the black hole and violates a Penrose inequality. An easy way to construct initial data is by conformal rescaling of the unperturbed black hole initial data. For a compactified black string, we construct initial data which violates the inequality almost exactly where the Gregory-Laflamme instability appears. We then use the method to confirm the existence of the "ultraspinning" instability of Myers-Perry black holes. Finally we study black rings. We show that "fat" black rings are unstable. We find no evidence of any rotationally symmetric instability of "thin" black rings.
△ Less
Submitted 12 November, 2011; v1 submitted 28 July, 2011;
originally announced July 2011.
-
Algebraically special solutions in higher dimensions
Authors:
Harvey S. Reall
Abstract:
An introductory review of algebraic classification of the Weyl tensor and algebraically special solutions in higher dimensions.
An introductory review of algebraic classification of the Weyl tensor and algebraically special solutions in higher dimensions.
△ Less
Submitted 12 March, 2012; v1 submitted 20 May, 2011;
originally announced May 2011.
-
Perturbations of near-horizon geometries and instabilities of Myers-Perry black holes
Authors:
Mark Durkee,
Harvey S. Reall
Abstract:
It is shown that the equations governing linearized gravitational (or electromagnetic) perturbations of the near-horizon geometry of any known extreme vacuum black hole (allowing for a cosmological constant) can be Kaluza-Klein reduced to give the equation of motion of a charged scalar field in AdS_2 with an electric field. One can define an effective Breitenlohner-Freedman bound for such a field.…
▽ More
It is shown that the equations governing linearized gravitational (or electromagnetic) perturbations of the near-horizon geometry of any known extreme vacuum black hole (allowing for a cosmological constant) can be Kaluza-Klein reduced to give the equation of motion of a charged scalar field in AdS_2 with an electric field. One can define an effective Breitenlohner-Freedman bound for such a field. We conjecture that if a perturbation preserves certain symmetries then a violation of this bound should imply an instability of the full black hole solution. Evidence in favour of this conjecture is provided by the extreme Kerr solution and extreme cohomogeneity-1 Myers-Perry solution. In the latter case, we predict an instability in seven or more dimensions and, in 5d, we present results for operator conformal weights assuming the existence of a CFT dual. We sketch a proof of our conjecture for scalar field perturbations.
△ Less
Submitted 22 April, 2011; v1 submitted 21 December, 2010;
originally announced December 2010.
-
Perturbations of higher-dimensional spacetimes
Authors:
Mark Durkee,
Harvey S. Reall
Abstract:
We discuss linearized gravitational perturbations of higher dimensional spacetimes. For algebraically special spacetimes (e.g. Myers-Perry black holes), we show that there exist local gauge invariant quantities linear in the metric perturbation. These are the higher dimensional generalizations of the 4d Newman-Penrose scalars that (in an algebraically special vacuum spacetime) satisfy decoupled eq…
▽ More
We discuss linearized gravitational perturbations of higher dimensional spacetimes. For algebraically special spacetimes (e.g. Myers-Perry black holes), we show that there exist local gauge invariant quantities linear in the metric perturbation. These are the higher dimensional generalizations of the 4d Newman-Penrose scalars that (in an algebraically special vacuum spacetime) satisfy decoupled equations of motion. We show that decoupling occurs in more than four dimensions if, and only if, the spacetime admits a null geodesic congruence with vanishing expansion, rotation and shear. Decoupling of electromagnetic perturbations occurs under the same conditions. Although these conditions are not satisfied in black hole spacetimes, they are satisfied in the near-horizon geometry of an extreme black hole.
△ Less
Submitted 23 December, 2010; v1 submitted 31 August, 2010;
originally announced September 2010.
-
A scalar field condensation instability of rotating anti-de Sitter black holes
Authors:
Oscar J. C. Dias,
Ricardo Monteiro,
Harvey S. Reall,
Jorge E. Santos
Abstract:
Near-extreme Reissner-Nordstrom-anti-de Sitter black holes are unstable against the condensation of an uncharged scalar field with mass close to the Breitenlohner-Freedman bound. It is shown that a similar instability afflicts near-extreme large rotating AdS black holes, and near-extreme hyperbolic Schwarzschild-AdS black holes. The resulting nonlinear hairy black hole solutions are determined num…
▽ More
Near-extreme Reissner-Nordstrom-anti-de Sitter black holes are unstable against the condensation of an uncharged scalar field with mass close to the Breitenlohner-Freedman bound. It is shown that a similar instability afflicts near-extreme large rotating AdS black holes, and near-extreme hyperbolic Schwarzschild-AdS black holes. The resulting nonlinear hairy black hole solutions are determined numerically. Some stability results for (possibly charged) scalar fields in black hole backgrounds are proved. For most of the extreme black holes we consider, these demonstrate stability if the ``effective mass" respects the near-horizon BF bound. Small spherical Reissner-Nordstrom-AdS black holes are an interesting exception to this result.
△ Less
Submitted 21 July, 2010;
originally announced July 2010.
-
Generalization of the Geroch-Held-Penrose formalism to higher dimensions
Authors:
Mark Durkee,
Vojtech Pravda,
Alena Pravdova,
Harvey S. Reall
Abstract:
Geroch, Held and Penrose invented a formalism for studying spacetimes admitting one or two preferred null directions. This approach is very useful for studying algebraically special spacetimes and their perturbations. In the present paper, the formalism is generalized to higher-dimensional spacetimes. This new formalism leads to equations that are considerably simpler than those of the higher-di…
▽ More
Geroch, Held and Penrose invented a formalism for studying spacetimes admitting one or two preferred null directions. This approach is very useful for studying algebraically special spacetimes and their perturbations. In the present paper, the formalism is generalized to higher-dimensional spacetimes. This new formalism leads to equations that are considerably simpler than those of the higher-dimensional Newman-Penrose formalism employed previously. The dynamics of p-form test fields is analyzed using the new formalism and some results concerning algebraically special p-form fields are proved.
△ Less
Submitted 25 February, 2010;
originally announced February 2010.
-
An instability of higher-dimensional rotating black holes
Authors:
Oscar J. C. Dias,
Pau Figueras,
Ricardo Monteiro,
Harvey S. Reall,
Jorge E. Santos
Abstract:
We present the first example of a linearized gravitational instability of an asymptotically flat vacuum black hole. We study perturbations of a Myers-Perry black hole with equal angular momenta in an odd number of dimensions. We find no evidence of any instability in five or seven dimensions, but in nine dimensions, for sufficiently rapid rotation, we find perturbations that grow exponentially i…
▽ More
We present the first example of a linearized gravitational instability of an asymptotically flat vacuum black hole. We study perturbations of a Myers-Perry black hole with equal angular momenta in an odd number of dimensions. We find no evidence of any instability in five or seven dimensions, but in nine dimensions, for sufficiently rapid rotation, we find perturbations that grow exponentially in time. The onset of instability is associated with the appearance of time-independent perturbations which generically break all but one of the rotational symmetries. This is interpreted as evidence for the existence of a new 70-parameter family of black hole solutions with only a single rotational symmetry. We also present results for the Gregory-Laflamme instability of rotating black strings, demonstrating that rotation makes black strings more unstable.
△ Less
Submitted 25 January, 2010;
originally announced January 2010.
-
A higher-dimensional generalization of the geodesic part of the Goldberg-Sachs theorem
Authors:
Mark Durkee,
Harvey S. Reall
Abstract:
In more than four spacetime dimensions, a multiple Weyl-aligned null direction (WAND) need not be geodesic. It is proved that any higher-dimensional Einstein spacetime admitting a non-geodesic multiple WAND also admits a geodesic multiple WAND. All five-dimensional Einstein spacetimes admitting a non-geodesic multiple WAND are determined.
In more than four spacetime dimensions, a multiple Weyl-aligned null direction (WAND) need not be geodesic. It is proved that any higher-dimensional Einstein spacetime admitting a non-geodesic multiple WAND also admits a geodesic multiple WAND. All five-dimensional Einstein spacetimes admitting a non-geodesic multiple WAND are determined.
△ Less
Submitted 19 August, 2009;
originally announced August 2009.
-
Kerr-CFT and gravitational perturbations
Authors:
Oscar J. C. Dias,
Harvey S. Reall,
Jorge E. Santos
Abstract:
Motivated by the Kerr-CFT conjecture, we investigate perturbations of the near-horizon extreme Kerr spacetime. The Teukolsky equation for a massless field of arbitrary spin is solved. Solutions fall into two classes: normal modes and traveling waves. Imposing suitable (outgoing) boundary conditions, we find that there are no unstable modes. The explicit form of metric perturbations is obtained u…
▽ More
Motivated by the Kerr-CFT conjecture, we investigate perturbations of the near-horizon extreme Kerr spacetime. The Teukolsky equation for a massless field of arbitrary spin is solved. Solutions fall into two classes: normal modes and traveling waves. Imposing suitable (outgoing) boundary conditions, we find that there are no unstable modes. The explicit form of metric perturbations is obtained using the Hertz potential formalism, and compared with the Kerr-CFT boundary conditions. The energy and angular momentum associated with scalar field and gravitational normal modes are calculated. The energy is positive in all cases. The behaviour of second order perturbations is discussed.
△ Less
Submitted 12 June, 2009;
originally announced June 2009.
-
Algebraically special axisymmetric solutions of the higher-dimensional vacuum Einstein equation
Authors:
Mahdi Godazgar,
Harvey S. Reall
Abstract:
A d-dimensional spacetime is "axisymmetric" if it possesses an SO(d-2) isometry group whose orbits are (d-3)-spheres. In this paper, algebraically special, axisymmetric solutions of the higher dimensional vacuum Einstein equation (with cosmological constant) are investigated. Necessary and sufficient conditions for static axisymmetric solutions to belong to different algebraic classes are presen…
▽ More
A d-dimensional spacetime is "axisymmetric" if it possesses an SO(d-2) isometry group whose orbits are (d-3)-spheres. In this paper, algebraically special, axisymmetric solutions of the higher dimensional vacuum Einstein equation (with cosmological constant) are investigated. Necessary and sufficient conditions for static axisymmetric solutions to belong to different algebraic classes are presented. Then general (possibly time-dependent) axisymmetric solutions are discussed. All axisymmetric solutions of algebraic types II, D, III and N are obtained.
△ Less
Submitted 28 April, 2009;
originally announced April 2009.
-
Charged Randall-Sundrum black holes and N=4 super Yang-Mills in AdS(2)xS(2)
Authors:
Alexander Kaus,
Harvey S. Reall
Abstract:
We obtain some exact results for black holes in the Randall-Sundrum model with a single brane. We consider an extreme black hole charged with respect to a Maxwell field on the brane. The near-horizon geometry is determined. The induced metric on the brane and the black hole entropy are compared with the predictions of 4d General Relativity. There is good agreement for large black holes, with cal…
▽ More
We obtain some exact results for black holes in the Randall-Sundrum model with a single brane. We consider an extreme black hole charged with respect to a Maxwell field on the brane. The near-horizon geometry is determined. The induced metric on the brane and the black hole entropy are compared with the predictions of 4d General Relativity. There is good agreement for large black holes, with calculable subleading corrections. As a separate application, the bulk solution provides a gravitational dual for (strongly coupled, large N) N=4 SYM in AdS(2)xS(2) for arbitrary relative size of AdS(2) and S(2).
△ Less
Submitted 27 January, 2009;
originally announced January 2009.
-
On the stability and spectrum of non-supersymmetric AdS(5) solutions of M-theory compactified on Kahler-Einstein spaces
Authors:
Jonathan E. Martin,
Harvey S. Reall
Abstract:
Eleven-dimensional supergravity admits non-supersymmetric solutions of the form AdS(5)xM(6) where M(6) is a positive Kahler-Einstein space. We show that the necessary and sufficient condition for such solutions to be stable against linearized bosonic supergravity perturbations can be expressed as a condition on the spectrum of the Laplacian acting on (1,1)-forms on M(6). For M(6)=CP(3), this con…
▽ More
Eleven-dimensional supergravity admits non-supersymmetric solutions of the form AdS(5)xM(6) where M(6) is a positive Kahler-Einstein space. We show that the necessary and sufficient condition for such solutions to be stable against linearized bosonic supergravity perturbations can be expressed as a condition on the spectrum of the Laplacian acting on (1,1)-forms on M(6). For M(6)=CP(3), this condition is satisfied, although there are scalars saturating the Breitenlohner-Freedman bound. If M(6) is a product S(2)xM(4) (where M(4) is Kahler-Einstein) then there is an instability if M(4) has a continuous isometry. We show that a potential non-perturbative instability due to 5-brane nucleation does not occur. The bosonic Kaluza-Klein spectrum is determined in terms of eigenvalues of operators on M(6).
△ Less
Submitted 19 February, 2009; v1 submitted 15 October, 2008;
originally announced October 2008.
