Rigidity of marginally trapped surfaces and the topology of black holes
Gregory J. Galloway
TL;DR
This work extends Hawking’s topology results to higher dimensions by proving a rigidity statement for marginally outer trapped surfaces (MOTS) under the dominant energy condition. The authors analyze the stability operator $L$ governing variations of null expansion, relate its principal eigenvalue to the possibility of positive scalar curvature, and construct a local foliation by MOTS near a non-positively curved MOTS via an inverse function argument. The main contribution shows that outermost MOTS must be of positive scalar curvature type, eliminating exceptional horizon topologies (e.g., toroidal horizons) in stationary and dynamical black hole spacetimes. The results provide a spacetime analogue to rigidity phenomena for minimal surfaces and yield strong topological constraints on higher-dimensional black hole horizons, consistent with observed examples like $S^2 \times S^1$ in five dimensions.
Abstract
In a recent paper (gr-qc/0509107) the author and Rick Schoen obtained a generalization to higher dimensions of a classical result of Hawking concerning the topology of black holes. It was proved that, apart from certain exceptional circumstances, cross sections of the event horizon, in the stationary case, and 'weakly outermost' marginally outer trapped surfaces, in the general case, in black hole spacetimes obeying the dominant energy condition, are of positive Yamabe type. This implies many well-known restrictions on the topology, and is consistent with recent examples of five dimensional stationary black hole spacetimes with horizon topology $S^2 \times S^1$. In the present paper, we rule out for 'outermost' marginally outer trapped surfaces, in particular, for cross sections of the event horizon in stationary black hole spacetimes, the possibility of any such exceptional circumstances (which might have permitted, e.g., toroidal cross sections). This follows from the main result, which is a rigidity result for marginally outer trapped surfaces that are not of positive Yamabe type.
