Existence and absence of Killing horizons in static solutions with symmetries

Abstract

Without specifying a matter field nor imposing energy conditions, we study Killing horizons in $n(\ge 3)$-dimensional static solutions in general relativity with an $(n-2)$-dimensional Einstein base manifold. Assuming linear relations $p_{\rm r}\simeqχ_{\rm r} ρ$ and $p_2\simeqχ_{\rm t} ρ$ near a Killing horizon between the energy density $ρ$, radial pressure $p_{\rm r}$, and tangential pressure $p_2$ of the matter field, we prove that any non-vacuum solution satisfying $χ_{\rm r}<-1/3$ ($χ_{\rm r}\ne -1$) or $χ_{\rm r}>0$ does not admit a horizon as it becomes a curvature singularity. For $χ_{\rm r}=-1$ and $χ_{\rm r}\in[-1/3,0)$, non-vacuum solutions admit Killing horizons, on which there exists a matter field only for $χ_{\rm r}=-1$ and $-1/3$, which are of the Hawking-Ellis type~I and type~II, respectively. Differentiability of the metric on the horizon depends on the value of $χ_{\rm r}$, and non-analytic extensions beyond the horizon are allowed for $χ_{\rm r}\in[-1/3,0)$. In particular, solutions can be attached to the Schwarzschild-Tangherlini-type vacuum solution at the Killing horizon in at least a $C^{1,1}$ regular manner without a lightlike thin shell. We generalize some of those results in Lovelock gravity with a maximally symmetric base manifold.