All electro--vacuum Majumdar--Papapetrou space--times with nonsingular black holes

We show that all Majumdar--Papapetrou electrovacuum space--times with a non--empty black hole region and with a non--singular domain of outer communications are the standard Majumdar--Papapetrou space--times.Comment: 9 pages, Late

Towards a classification of static electro-vacuum space-times containing an asymptotically flat spacelike hypersurface with compact interior

We show that static electro-vacuum black hole space-times containing an asymptotically flat spacelike hypersurface with compact interior and with both degenerate and non-degenerate components of the event horizon do not exist, under the supplementary hypothesis that all degenerate components of the event horizon have charges of the same sign. This extends previous uniqueness theorems of Simon and Masood-ul-Alam (where only non-degenerate horizons were allowed) and Heusler (where only degenerate horizons were allowed).Comment: Reverted to original v1; v2 was a result of a manipulation error, and was meant to be an update to gr-qc/9809088. The problems adressed in the addendum in v2 of gr-qc/9809088 apply also to this paper, and are similarly taken care of by the addendum to gr-qc/9809088, and by the analysis in arXiv:1004.0513 [gr-qc

On the topology of stationary black holes

We prove that the domain of outer communication of a stationary, globally hyperbolic spacetime satisfying the null energy condition must be simply connected. Under suitable additional hypotheses, this implies, in particular, that each connected component of a cross-section of the event horizon of a stationary black hole must have spherical topology.Comment: 7 pages, Late

The classification of static vacuum space-times containing an asymptotically flat spacelike hypersurface with compact interior

We prove non-existence of static, vacuum, appropriately regular, asymptotically flat black hole space-times with degenerate (not necessarily connected) components of the event horizon. This finishes the classification of static, vacuum, asymptotically flat domains of outer communication in an appropriate class of space-times, showing that the domains of outer communication of the Schwarzschild black holes exhaust the space of appropriately regular black hole exteriors.Comment: This version includes an addendum with a corrected proof of non-existence of zeros of the Killing vector at degenerate horizons. A problem with yet another Lemma is pointed out; this problem does not arise if one assumes analyticity of the metric. An alternative solution, that does not require analyticity, has been given in arXiv:1004.0513 [gr-qc] under appropriate global condition

On completeness of orbits of Killing vector fields

A Theorem is proved which reduces the problem of completeness of orbits of Killing vector fields in maximal globally hyperbolic, say vacuum, space--times to some properties of the orbits near the Cauchy surface. In particular it is shown that all Killing orbits are complete in maximal developements of asymptotically flat Cauchy data, or of Cauchy data prescribed on a compact manifold. This result gives a significant strengthening of the uniqueness theorems for black holes.Comment: 16 pages, Latex, preprint NSF-ITP-93-4

Rigid upper bounds for the angular momentum and centre of mass

We prove upper bounds on angular momentum and centre of mass in terms of the Hamiltonian mass and cosmological constant for non-singular asymptotically anti-de Sitter initial data sets satisfying the dominant energy condition. We work in all space-dimensions larger than or equal to three, and allow a large class of asymptotic backgrounds, with spherical and non-spherical conformal infinities; in the latter case, a spin-structure compatibility condition is imposed. We give a large class of non-trivial examples saturating the inequality. We analyse exhaustively the borderline case in space-time dimension four: for spherical cross-sections of Scri, equality together with completeness occurs only in anti-de Sitter space-time. On the other hand, in the toroidal case, regular non-trivial initial data sets saturating the bound exist

On the uniqueness of smooth, stationary black holes in vacuum

We prove a conditional "no hair" theorem for smooth manifolds: if $E$ is the domain of outer communication of a smooth, regular, stationary Einstein vacuum, and if a technical condition relating the Ernst potential and Killing scalar is satisfied on the bifurcate sphere, then $E$ is locally isometric to the domain of outer communication of a Kerr space-time.Comment: Various correction

Adaptive Event Horizon Tracking and Critical Phenomena in Binary Black Hole Coalescence

This work establishes critical phenomena in the topological transition of black hole coalescence. We describe and validate a computational front tracking event horizon solver, developed for generic studies of the black hole coalescence problem. We then apply this to the Kastor - Traschen axisymmetric analytic solution of the extremal Maxwell - Einstein black hole merger with cosmological constant. The surprising result of this computational analysis is a power law scaling of the minimal throat proportional to time. The minimal throat connecting the two holes obeys this power law during a short time immediately at the beginning of merger. We also confirm the behavior analytically. Thus, at least in one axisymmetric situation a critical phenomenon exists. We give arguments for a broader universality class than the restricted requirements of the Kastor - Traschen solution.Comment: 13 pages, 20 figures Corrected labels on figures 17 through 20. Corrected typos in references. Added some comment

Manufacture of Gowdy spacetimes with spikes

In numerical studies of Gowdy spacetimes evidence has been found for the development of localized features (spikes) involving large gradients near the singularity. The rigorous mathematical results available up to now did not cover this kind of situation. In this work we show the existence of large classes of Gowdy spacetimes exhibiting features of the kind discovered numerically. These spacetimes are constructed by applying certain transformations to previously known spacetimes without spikes. It is possible to control the behaviour of the Kretschmann scalar near the singularity in detail. This curvature invariant is found to blow up in a way which is non-uniform near the spike in some cases. When this happens it demonstrates that the spike is a geometrically invariant feature and not an artefact of the choice of variables used to parametrize the metric. We also identify another class of spikes which are artefacts. The spikes produced by our method are compared with the results of numerical and heuristic analyses of the same situation.Comment: 25 page

On the Topology of Black Hole Event Horizons in Higher Dimensions

In four dimensions the topology of the event horizon of an asymptotically flat stationary black hole is uniquely determined to be the two-sphere $S^2$. We consider the topology of event horizons in higher dimensions. First, we reconsider Hawking's theorem and show that the integrated Ricci scalar curvature with respect to the induced metric on the event horizon is positive also in higher dimensions. Using this and Thurston's geometric types classification of three-manifolds, we find that the only possible geometric types of event horizons in five dimensions are $S^3$ and $S^2 \times S^1$. In six dimensions we use the requirement that the horizon is cobordant to a four-sphere (topological censorship), Friedman's classification of topological four-manifolds and Donaldson's results on smooth four-manifolds, and show that simply connected event horizons are homeomorphic to $S^4$ or $S^2\times S^2$. We find allowed non-simply connected event horizons $S^3\times S^1$ and $S^2\times \Sigma_g$, and event horizons with finite non-abelian first homotopy group, whose universal cover is $S^4$. Finally, following Smale's results we discuss the classification in dimensions higher than six.Comment: 12 pages, minor edits 27/09/0