Piotr T. Chrusciel
Abstract:We show that static metrics solving vacuum Einstein equations (possibly with a cosmological constant) are one-sided analytic at non-degenerate Killing horizons. We further prove analyticity in a two-sided neighborhood of "bifurcate horizons".
It is a pleasure to dedicate this work to Prof. Staruszkiewicz, on the occasion of his 65th birthday.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the static vacuum metric has analyticity near the non - degenerate Killing horizon. Specifically, the author aims to prove:
1. **The static vacuum metric has analyticity on one side of the non - degenerate Killing horizon**: that is, on one side of the horizon, the metric function can be expanded into a power series, and these power series converge in this region.
2. **It has analyticity in the two - sided neighborhood of the "bifurcate horizon"**: that is, in the region containing two intersecting Killing horizons (called the "bifurcate horizon"), the metric function can also be expanded into a power series and converge.
### Background and Motivation
Before this, research has shown that in some cases, the static vacuum metric may lose analyticity at the Killing horizon. For example, the classical result of Müller zum Hagen [12] shows that when the Killing vector is timelike, the static vacuum metric is analytic in an appropriate coordinate system. However, this analyticity sometimes stops at the Killing horizon. The extension of the Curzon metric by Scott - Szekeres [15, 16] is an example illustrating this point.
Therefore, the main contribution of this paper is to prove that at the non - degenerate static Killing horizon, the metric function indeed has one - side analyticity, and also has analyticity in the two - sided neighborhood of the "bifurcate horizon". This not only helps to understand the geometric properties near the black hole horizon, but also has important applications to problems such as the classification of static solutions of the Einstein equation and the cosmic censorship hypothesis.
### Main Conclusions
- **Theorem 1**: The static vacuum metric is analytic on one side of the non - degenerate Killing horizon.
- **Theorem 2**: In the two - sided neighborhood of the "bifurcate horizon", the metric function is also analytic.
These conclusions are strictly proved by using the Wick rotation method and the theory of elliptic partial differential equations. In addition, the author also discusses the generalization of these results in more general cases, such as considering the case with matter fields.
### Formula Summary
The key formulas involved in the paper include:
- The form of the metric:
\[
g=-u^{2}(dt + \theta_{i}dx^{i})^{2}+h_{ij}dx^{i}dx^{j}
\]
In the static case, it simplifies to:
\[
g=-u^{2}dt^{2}+h_{ij}dx^{i}dx^{j}
\]
- The corresponding form of the Riemannian metric:
\[
g(i)=u^{2}d\tau^{2}+h_{ij}dx^{i}dx^{j}
\]
- The complex - valued tensor field of the Ricci tensor:
\[
g(\alpha)=-\alpha^{2}u^{2}dt^{2}+h_{ij}dx^{i}dx^{j}
\]
The corresponding Ricci tensor:
\[
\text{Ric}(g(\alpha))=\lambda g(\alpha)
\]
These formulas help to prove the analyticity of the metric under specific conditions.