On mapping properties of the general relativistic constraints operator in weighted function spaces, with applications

Generalising an analysis of Corvino and Schoen, we study surjectivity properties of the constraint map in general relativity in a large class of weighted Sobolev spaces. As a corollary we prove several perturbation, gluing, and extension results: we show existence of non-trivial, singularity-free, vacuum space-times which are stationary in a neighborhood of $i^0$; for small perturbations of parity-covariant initial data sufficiently close to those for Minkowski space-time this leads to space-times with a smooth global Scri; we prove existence of initial data for many black holes which are exactly Kerr -- or exactly Schwarzschild -- both near infinity and near each of the connected components of the apparent horizon; under appropriate conditions we obtain existence of vacuum extensions of vacuum initial data across compact boundaries; we show that for generic metrics the deformations in the Isenberg-Mazzeo-Pollack gluings can be localised, so that the initial data on the connected sum manifold coincide with the original ones except for a small neighborhood of the gluing region; we prove existence of asymptotically flat solutions which are static or stationary up to $r^{-m}$ terms, for any fixed $m$, and with multipole moments freely prescribable within certain ranges.Comment: latex2e, now 87 pages, several style files; various typos corrected, treatment of weighted Hoelder spaces improved, to appear in Memoires de la Societe Mathematique de Franc

Non-singular, vacuum, stationary space-times with a negative cosmological constant

We construct infinite dimensional families of non-singular stationary space times, solutions of the vacuum Einstein equations with a negative cosmological constant.Comment: minor corrections, an inessential uniqueness claim withdraw

Existence of non-trivial, vacuum, asymptotically simple space-times

We construct non-trivial vacuum space-times with a global Scri. The construction proceeds by proving extension results across compact boundaries for initial data sets, adapting the gluing arguments of Corvino and Schoen. Another application of the extension results is existence of initial data which are exactly Schwarzschild both near infinity and near each of the connected component of the apparent horizon.Comment: An uncorrectly justified claim about adding Einstein Rosen bridges withdraw

Non-singular spacetimes with a negative cosmological constant: III. Stationary solutions with matter fields

Generalising the results in arXiv:1612.00281, we construct infinite-dimensional families of non-singular stationary space times, solutions of Yang-Mills-Higgs-Einstein-Maxwell-Chern-Simons-dilaton-scalar field equations with a negative cosmological constant. The families include an infinite-dimensional family of solutions with the usual AdS conformal structure at conformal infinity.Comment: 27 pages, v2: journal accepted versio

Manifold structures for sets of solutions of the general relativistic constraint equations

We construct manifold structures on various sets of solutions of the general relativistic initial data sets.Comment: latex2e, 32 A4 pages, minor correction

Regularity of Horizons and The Area Theorem

We prove that the area of sections of future event horizons in space-times satisfying the null energy condition is non-decreasing towards the future under any one of the following circumstances: 1) the horizon is future geodesically complete; 2) the horizon is a black hole event horizon in a globally hyperbolic space-time and there exists a conformal completion with a ``H-regular'' Scri plus; 3) the horizon is a black hole event horizon in a space-time which has a globally hyperbolic conformal completion. (Some related results under less restrictive hypotheses are also established.) This extends a theorem of Hawking, in which piecewise smoothness of the event horizon seems to have been assumed. No assumptions about the cosmological constant or its sign are made. We prove smoothness or analyticity of the relevant part of the event horizon when equality in the area inequality is attained - this has applications to the theory of stationary black holes, as well as to the structure of compact Cauchy horizons. In the course of the proof we establish several new results concerning the differentiability properties of horizons.Comment: final version to appear in Annales Henri Poincare, various changes as suggested by a referee, in particular a section on Krolak's area theorems adde