Transverse expansion of the metric at null hypersurfaces I. Uniqueness and application to Killing horizons

Abstract

This is the first in a series of two papers with sequel [arXiv:2501.03983] where we analyze the transverse expansion of the metric on a general null hypersurface. In this paper we obtain general geometric identities relating the transverse derivatives of the ambient Ricci tensor and the transverse expansion of the metric at the null hypersurface. We also explore the case where the hypersurface exhibits a generalized symmetry generator, namely a privileged vector field in the ambient space which, at the hypersurface, is null and tangent (including the possibility of zeroes). This covers the Killing, homothetic, or conformal horizon cases, and, more generally, any situation where detailed information on the deformation tensor of the symmetry generator is available. Our approach is entirely covariant, independent on any field equations, and does not make any assumptions regarding the topology or dimension of the null hypersurface. As an application we prove that the full transverse expansion of the spacetime metric at a non-degenerate Killing horizon (also allowing for bifurcation surfaces) is uniquely determined in terms of abstract data on the horizon and the tower of derivatives of the ambient Ricci tensor at the horizon. In particular, the transverse expansion of the metric in $\Lambda$-vacuum spacetimes admitting a non-degenerate horizon is uniquely determined in terms of abstract data at the horizon.

We included subsection 4.2 and a section with the conclusions. Several typos have been amended

References in corpus (9)

• A classification of near-horizon geometries of extremal vacuum black holes
• On the uniqueness of smooth, stationary black holes in vacuum
• Hypersurface data: General properties and Birkhoff theorem in spherical symmetry
• Static near horizon geometries and rigidity of quasi-Einstein manifolds
• Double Null Data and the Characteristic Problem in General Relativity
• Covariant definition of Double Null Data and geometric uniqueness of the characteristic initial value problem
• Uniqueness of the extremal Schwarzschild de Sitter spacetime
• General matching across Killing horizons of zero order
• Uniqueness of extremal charged black holes in de Sitter

Cited by in corpus (2)

• Transverse expansion of the metric at null hypersurfaces II. Existence results and application to Killing horizons
• Killing and homothetic initial data for general hypersurfaces