Saved in:
Bibliographic Details
Main Authors: Kroencke, Klaus, Petersen, Oliver
Format: Preprint
Published: 2021
Subjects:
Online Access:https://arxiv.org/abs/2110.14619
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866916400194387968
author Kroencke, Klaus
Petersen, Oliver
author_facet Kroencke, Klaus
Petersen, Oliver
contents Hawking's local rigidity theorem, proven in the smooth setting by Alexakis-Ionescu-Klainerman, says that the event horizon of any stationary non-extremal black hole is a non-degenerate Killing horizon. In this paper, we prove that the full asymptotic expansion of any smooth vacuum metric at a non-degenerate Killing horizon is determined by the geometry of the horizon. This gives a new perspective on the black hole uniqueness conjecture. In spacetime dimension $4$, we also prove an existence theorem: Given any non-degenerate horizon geometry, Einstein's vacuum equations can be solved to infinite order at the horizon in a unique way (up to isometry). The latter is a gauge invariant version of Moncrief's classical existence result, without any restriction on the topology of the horizon. In the real analytic setting, the asymptotic expansion is shown to converge and we get well-posedness of this characteristic Cauchy problem.
format Preprint
id arxiv_https___arxiv_org_abs_2110_14619
institution arXiv
publishDate 2021
record_format arxiv
spellingShingle The asymptotic expansion of the spacetime metric at the event horizon
Kroencke, Klaus
Petersen, Oliver
Differential Geometry
General Relativity and Quantum Cosmology
Analysis of PDEs
53C50, 35L80, 83C05
Hawking's local rigidity theorem, proven in the smooth setting by Alexakis-Ionescu-Klainerman, says that the event horizon of any stationary non-extremal black hole is a non-degenerate Killing horizon. In this paper, we prove that the full asymptotic expansion of any smooth vacuum metric at a non-degenerate Killing horizon is determined by the geometry of the horizon. This gives a new perspective on the black hole uniqueness conjecture. In spacetime dimension $4$, we also prove an existence theorem: Given any non-degenerate horizon geometry, Einstein's vacuum equations can be solved to infinite order at the horizon in a unique way (up to isometry). The latter is a gauge invariant version of Moncrief's classical existence result, without any restriction on the topology of the horizon. In the real analytic setting, the asymptotic expansion is shown to converge and we get well-posedness of this characteristic Cauchy problem.
title The asymptotic expansion of the spacetime metric at the event horizon
topic Differential Geometry
General Relativity and Quantum Cosmology
Analysis of PDEs
53C50, 35L80, 83C05
url https://arxiv.org/abs/2110.14619