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

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

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

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

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

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

Trapped Surfaces in Vacuum Spacetimes

An earlier construction by the authors of sequences of globally regular, asymptotically flat initial data for the Einstein vacuum equations containing trapped surfaces for large values of the parameter is extended, from the time symmetric case considered previously, to the case of maximal slices. The resulting theorem shows rigorously that there exists a large class of initial configurations for non-time symmetric pure gravitational waves satisfying the assumptions of the Penrose singularity theorem and so must have a singularity to the future.Comment: 14 page

A spacetime characterization of the Kerr metric

We obtain a characterization of the Kerr metric among stationary, asymptotically flat, vacuum spacetimes, which extends the characterization in terms of the Simon tensor (defined only in the manifold of trajectories) to the whole spacetime. More precisely, we define a three index tensor on any spacetime with a Killing field, which vanishes identically for Kerr and which coincides in the strictly stationary region with the Simon tensor when projected down into the manifold of trajectories. We prove that a stationary asymptotically flat vacuum spacetime with vanishing spacetime Simon tensor is locally isometric to Kerr. A geometrical interpretation of this characterization in terms of the Weyl tensor is also given. Namely, a stationary, asymptotically flat vacuum spacetime such that each principal null direction of the Killing form is a repeated principal null direction of the Weyl tensor is locally isometric to Kerr.Comment: 23 pages, No figures, LaTeX, to appear in Classical and Quantum Gravit

Global solutions of a free boundary problem for selfgravitating scalar fields

The weak cosmic censorship hypothesis can be understood as a statement that there exists a global Cauchy evolution of a selfgravitating system outside an event horizon. The resulting Cauchy problem has a free null-like inner boundary. We study a selfgravitating spherically symmetric nonlinear scalar field. We show the global existence of a spacetime with a null inner boundary that initially is located outside the Schwarzschild radius or, more generally, outside an apparent horizon. The global existence of a patch of a spacetime that is exterior to an event horizon is obtained as a limiting case.Comment: 31 pages, revtex, to appear in the Classical and Quantum Gravit

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