Null infinity and extremal horizons in AdS-CFT

We consider AdS gravity duals to CFT on background spacetimes with a null infinity. Null infinity on the conformal boundary may extend to an extremal horizon in the bulk. For example it does so for Poincare-AdS, although does not for planar Schwarzschild-AdS. If null infinity does extend into an extremal horizon in the bulk, we show that the bulk near-horizon geometry is determined by the geometry of the boundary null infinity. Hence the `infra-red' geometry of the bulk is fixed by the large scale behaviour of the CFT spacetime. In addition the boundary stress tensor must have a particular decay at null infinity. As an application, we argue that for CFT on asymptotically flat backgrounds, any static bulk dual containing an extremal horizon extending from the boundary null infinity, must have the near-horizon geometry of Poincare-AdS. We also discuss a class of boundary null infinity that cannot extend to a bulk extremal horizon, although we give evidence that they can extend to an analogous null surface in the bulk which possesses an associated scale-invariant `near-geometry'.Comment: 35 page

A numerical approach to finding general stationary vacuum black holes

The Harmonic Einstein equation is the vacuum Einstein equation supplemented by a gauge fixing term which we take to be that of DeTurck. For static black holes analytically continued to Riemannian manifolds without boundary at the horizon this equation has previously been shown to be elliptic, and Ricci flow and Newton's method provide good numerical algorithms to solve it. Here we extend these techniques to the arbitrary cohomogeneity stationary case which must be treated in Lorentzian signature. For stationary spacetimes with globally timelike Killing vector the Harmonic Einstein equation is elliptic. In the presence of horizons and ergo-regions it is less obviously so. Motivated by the Rigidity theorem we study a class of stationary black hole spacetimes, considered previously by Harmark, general enough to include the asymptotically flat case in higher dimensions. We argue the Harmonic Einstein equation consistently truncates to this class of spacetimes giving an elliptic problem. The Killing horizons and axes of rotational symmetry are boundaries for this problem and we determine boundary conditions there. As a simple example we numerically construct 4D rotating black holes in a cavity using Anderson's boundary conditions. We demonstrate both Newton's method and Ricci flow to find these Lorentzian solutions.Comment: 43 pages, 7 figure

Ricci solitons, Ricci flow, and strongly coupled CFT in the Schwarzschild Unruh or Boulware vacua

The elliptic Einstein-DeTurck equation may be used to numerically find Einstein metrics on Riemannian manifolds. Static Lorentzian Einstein metrics are considered by analytically continuing to Euclidean time. Ricci-DeTurck flow is a constructive algorithm to solve this equation, and is simple to implement when the solution is a stable fixed point, the only complication being that Ricci solitons may exist which are not Einstein. Here we extend previous work to consider the Einstein-DeTurck equation for Riemannian manifolds with boundaries, and those that continue to static Lorentzian spacetimes which are asymptotically flat, Kaluza-Klein, locally AdS or have extremal horizons. Using a maximum principle we prove that Ricci solitons do not exist in these cases and so any solution is Einstein. We also argue that Ricci-DeTurck flow preserves these classes of manifolds. As an example we simulate Ricci-DeTurck flow for a manifold with asymptotics relevant for AdS_5/CFT_4. Our maximum principle dictates there are no soliton solutions, and we give strong numerical evidence that there exists a stable fixed point of the flow which continues to a smooth static Lorentzian Einstein metric. Our asymptotics are such that this describes the classical gravity dual relevant for the CFT on a Schwarzschild background in either the Unruh or Boulware vacua. It determines the leading O(N^2) part of the CFT stress tensor, which interestingly is regular on both the future and past Schwarzschild horizons.Comment: 48 pages, 7 figures; Version 2 - section 2.2.1 on manifolds with boundaries substantially modified, corrected and extended. Discussion in section 3.1 amended. References added and minor change

Exploring new physics frontiers through numerical relativity

The demand to obtain answers to highly complex problems within strong-field gravity has been met with significant progress in the numerical solution of Einstein's equations - along with some spectacular results - in various setups. We review techniques for solving Einstein's equations in generic spacetimes, focusing on fully nonlinear evolutions but also on how to benchmark those results with perturbative approaches. The results address problems in high-energy physics, holography, mathematical physics, fundamental physics, astrophysics and cosmology