Transverse expansion of the metric at null hypersurfaces II. Existence results and application to Killing horizons

TL;DR

This paper establishes the existence of ambient manifolds satisfying Einstein equations near null hypersurfaces with prescribed asymptotic expansions, extending previous uniqueness results and applying to Killing horizons with minimal data.

Contribution

It proves existence of ambient Einstein manifolds given full asymptotic expansions at null hypersurfaces without dimension or topology restrictions, and relates abstract Killing horizon data to solutions of Einstein equations.

Findings

Existence of ambient manifolds solving Einstein equations to infinite order at null hypersurfaces.

Minimal data on cross-sections guarantees ambient solutions for product topology hypersurfaces.

Every abstract Killing horizon data induces an ambient space solving the {\Lambda}-vacuum equations to infinite order.

Abstract

This paper finishes the series of two papers that we started with [arXiv:2405.05377], where we analyzed the transverse expansion of the metric at a general null hypersurface. While [arXiv:2405.05377] focused on uniqueness results, here we show existence of ambient manifolds given the full asymptotic expansion at the null hypersurface. When such expansion fulfills a set of "constraint equations" we prove that the ambient manifold solves the Einstein equations to infinite order at the hypersurface. Our approach does not make any assumptions regarding the dimension or topology of the null hypersurface and is entirely covariant. Furthermore, when the hypersurface exhibits a product topology we find the minimum amount of data on a cross-section that ensures the existence of an ambient space solving the Einstein equations to infinite order on the hypersurface. As an application we recall the notion of abstract Killing horizon data (AKH) introduced in [arXiv:2405.05377], namely the minimal data needed to define a non-degenerate Killing horizon from a detached viewpoint, and we prove that every AKH of arbitrary dimension and topology gives rise to an ambient space solving the {\Lambda}-vacuum equations to infinite order and with the given data as Killing horizon. Our result also includes the possibility of the Killing vector having zeroes at the horizon.