On marginally outer trapped surfaces in stationary and static spacetimes

In this paper we prove that for any spacelike hypersurface containing an untrapped barrier in a stationary spacetime satisfying the null energy condition, any marginally outer trapped surface cannot lie in the exterior region where the stationary Killing vector is timelike. In the static case we prove that any marginally outer trapped surface cannot penetrate into the exterior region where the static Killing vector is timelike. In fact, we prove these result at an initial data level, without even assuming existence of a spacetime. The proof relies on a powerful theorem by Andersson and Metzger on existence of an outermost marginally outer trapped surface.Comment: 22 pages, 3 figures; 1 reference added, 1 figure changed, other minor change

A simple proof of the recent generalisations of Hawking's black hole topology theorem

A key result in four dimensional black hole physics, since the early 1970s, is Hawking's topology theorem asserting that the cross-sections of an "apparent horizon", separating the black hole region from the rest of the spacetime, are topologically two-spheres. Later, during the 1990s, by applying a variant of Hawking's argument, Gibbons and Woolgar could also show the existence of a genus dependent lower bound for the entropy of topological black holes with negative cosmological constant. Recently Hawking's black hole topology theorem, along with the results of Gibbons and Woolgar, has been generalised to the case of black holes in higher dimensions. Our aim here is to give a simple self-contained proof of these generalisations which also makes their range of applicability transparent.Comment: 12 pages, 1 figur

Stability of marginally outer trapped surfaces and symmetries

We study properties of stable, strictly stable and locally outermost marginally outer trapped surfaces in spacelike hypersurfaces of spacetimes possessing certain symmetries such as isometries, homotheties and conformal Killings. We first obtain results for general diffeomorphisms in terms of the so-called metric deformation tensor and then particularize to different types of symmetries. In particular, we find restrictions at the surfaces on the vector field generating the symmetry. Some consequences are discussed. As an application we present a result on non-existence of stable marginally outer trapped surfaces in slices of FLRW.Comment: 23 pages, 3 figure

On the topology of untrapped surfaces

Recently a simple proof of the generalizations of Hawking's black hole topology theorem and its application to topological black holes for higher dimensional ($n\geq 4$) spacetimes was given \cite{rnew}. By applying the associated new line of argument it is proven here that strictly stable untrapped surfaces do possess exactly the same topological properties as strictly stable marginally outer trapped surfaces (MOTSs) are known to have. In addition, a quasi-local notion of outwards and inwards pointing spacelike directions--applicable to untrapped and marginally trapped surfaces--is also introduced.Comment: 9 pages, no figure

Fundamental properties and applications of quasi-local black hole horizons

The traditional description of black holes in terms of event horizons is inadequate for many physical applications, especially when studying black holes in non-stationary spacetimes. In these cases, it is often more useful to use the quasi-local notions of trapped and marginally trapped surfaces, which lead naturally to the framework of trapping, isolated, and dynamical horizons. This framework allows us to analyze diverse facets of black holes in a unified manner and to significantly generalize several results in black hole physics. It also leads to a number of applications in mathematical general relativity, numerical relativity, astrophysics, and quantum gravity. In this review, I will discuss the basic ideas and recent developments in this framework, and summarize some of its applications with an emphasis on numerical relativity.Comment: 14 pages, 2 figures. Based on a talk presented at the 18th International Conference on General Relativity and Gravitation, 8-13 July 2007, Sydney, Australi

Some remarks on the size of bodies and black holes

We consider the application of stable marginally outer trapped surfaces to problems concerning the size of material bodies and the area of black holes. The results presented extend to general initial data sets (V,g,K) previous results assuming either maximal (tr K = 0) or time-symmetric (K = 0) initial data.Comment: 12 page

A fast stroboscopic spectral method for rotating systems in numerical relativity

We present a numerical technique for solving evolution equations, as the wave equation, in the description of rotating astrophysical compact objects in comoving coordinates, which avoids the problems associated with the light cylinder. The technique implements a fast spectral matching between two domains in relative rotation: an inner spherical domain, comoving with the sources and lying strictly inside the light cylinder, and an outer inertial spherical shell. Even though the emphasis is placed on spectral techniques, the matching is independent of the specific manner in which equations are solved inside each domain, and can be adapted to different schemes. We illustrate the strategy with some simple but representative examples.Comment: 16 pages, 15 figure

Evolution of a periodic eight-black-hole lattice in numerical relativity

The idea of black-hole lattices as models for the large-scale structure of the universe has been under scrutiny for several decades, and some of the properties of these systems have been elucidated recently in the context of the problem of cosmological backreaction. The complete, three-dimensional and fully relativistic evolution of these system has, however, never been tackled. We explicitly construct the first of these solutions by numerically integrating Einstein's equation in the case of an eight-black-hole lattice with the topology of S3.Comment: 21 pages, 13 figures. Corrected and clarified discussio

Uniqueness theorems for static spacetimes containing marginally outer trapped surfaces

Marginally outer trapped surfaces are widely considered as the best quasi-local replacements for event horizons of black holes in General Relativity. However, this equivalence is far from being proved, even in stationary and static situations. In this paper we study an important aspect of this equivalence, namely whether classic uniqueness theorems of static black holes can be extended to static spacetimes containing weakly outer trapped surfaces or not. Our main theorem states that, under reasonable hypotheses, a static spacetime satisfying the null energy condition and containing an asymptotically flat initial data set, possibly with boundary, which possesses a bounding weakly outer trapped surface is a unique spacetime. A related result to this theorem was given in arXiv:0711.1299, where we proved that no bounding weakly outer trapped surface can penetrate into the exterior region of the initial data where the static Killing vector is timelike. In this paper, we also fill some gaps in arXiv:0711.1299 and extend this confinement result to initial data sets with boundary.Comment: 30 pages, 9 figure

Proof of the area-angular momentum-charge inequality for axisymmetric black holes

We give a comprehensive discussion, including a detailed proof, of the area-angular momentum-charge inequality for axisymmetric black holes. We analyze the inequality from several viewpoints, in particular including aspects with a theoretical interest well beyond the Einstein-Maxwell theory.Comment: 31 pages, 2 figure