Towards the classification of static vacuum spacetimes with negative cosmological constant
Piotr T. Chrusciel, Walter Simon
TL;DR
This work develops a systematic framework for static vacuum spacetimes with negative cosmological constant that are asymptotically generalized Kottler. It unifies three asymptotic formalisms (3D conformal compactification, 4D conformal completion, and coordinate approaches), proves connectedness of conformal infinity, and defines multiple mass notions—coordinate mass $M_c$, Hamiltonian mass $M_{Ham}$, and Hawking mass $M_{Haw}$—with explicit relations among them. It derives mass and area inequalities relative to generalized Kottler references, discusses a generalized Penrose inequality and its implications for uniqueness, and provides a rigorous maximum-principle framework (via Beig–Simon-type lemmas) to compare arbitrary solutions to reference ones. The results illuminate the structure of AdS-ish static spacetimes, connect asymptotic data to horizon properties, and offer a pathway toward a Penrose-type uniqueness theorem in the negative-$\Lambda$ setting.
Abstract
We present a systematic study of static solutions of the vacuum Einstein equations with negative cosmological constant which asymptotically approach the generalized Kottler (``Schwarzschild--anti-de Sitter'') solution, within (mainly) a conformal framework. We show connectedness of conformal infinity for appropriately regular such space-times. We give an explicit expression for the Hamiltonian mass of the (not necessarily static) metrics within the class considered; in the static case we show that they have a finite and well defined Hawking mass. We prove inequalities relating the mass and the horizon area of the (static) metrics considered to those of appropriate reference generalized Kottler metrics. Those inequalities yield an inequality which is opposite to the conjectured generalized Penrose inequality. They can thus be used to prove a uniqueness theorem for the generalized Kottler black holes if the generalized Penrose inequality can be established.
