Search arXivSearch

arXiv · 2509.18026

On the geometry and uniqueness of asymptotically locally hyperbolic static vacuum black holes

Abstract

We establish several geometric characterizations and rigidity results for 3-dimensional asymptotically locally hyperbolic (ALH) static spaces with horizon boundary. Notably, a 3-dimensional ALH static space with toroidal infinity and strictly non-spherical horizons is isometric to a toroidal Kottler metric. Furthermore, we show that the surface gravity of a static horizon with spherical infinity is bounded below by $\sqrt{3}$, with equality achieved only by the critical AdS-Schwarzschild metric. Consequently, Poincaré-Einstein fillings of $S^{2} \times S^{1}(λ)$ arising from these spaces have length parameter $λ\leq (\sqrt{3})^{-1}$, which supports a recent conjecture of Chang-Yang-Zhang[18]. Finally, static horizons with hyperbolic infinity and non-negative Chruściel-Herzlich mass obey the reverse Riemannian Penrose inequality. In conjunction with work of Ge-Wang-Wu-Xia [29], we use this fact to obtain uniqueness of static ALH graphs with hyperbolic infinities. These results follow from a generalization of the Minkowski inequality in AdS-Schwarzschild space due to Brendle-Hung-Wang [15]. Using optimal coefficients for the sub-static Heintze-Karcher inequality from [24], we construct a new monotone quantity under inverse mean curvature flow (IMCF) in static spaces with negative cosmological constant. Another fundamental tool developed in this paper is a regularity theorem for IMCF in ALH manifolds. Specifically, we prove that a weak solution of IMCF in an ALH 3-manifold with horizon boundary is eventually smooth. This extends the regularity theorem for a spherical infinity due to Shi-Zhu [52].

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Brian Harvie, Ye-Kai Wang. 2026-08-04. On the geometry and uniqueness of asymptotically locally hyperbolic static vacuum black holes. https://arxiv.org/abs/2509.18026

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Classification of compact manifolds with positive isotropic curvature

We show the following result: Let $(M,g_0)$ be a compact manifold of dimension $n\geq 12$ with positive isotropic curvature. Then $M$ is diffeomorphic to a spherical space form, or a quotient manifold of $\mathbb{S}^{n-1}\times \mathbb{R}$ by a cocompact discrete subgroup of the isometry group of the round cylinder $\mathbb{S}^{n-1}\times \mathbb{R}$, or a connected sum of a finite number of such manifolds. This extends previous works of Brendle and Chen-Tang-Zhu, and improves a work of Huang. The proof uses Ricci flow with surgery on compact orbifolds, with the help of the ambient isotopy uniqueness of closed tubular neighborhoods of an isolated singular point in an orbifold.

math.DG

Isoparametric foliations and bounded geometry

We prove that there are only finitely many isoparametrically foliated closed connected Riemannian manifolds with bounded geometry, fixed dimension $n\neq5$, and finite fundamental group, up to foliated diffeomorphism. In addition, we construct various infinite families of isoparametric foliations that are mutually not foliated diffeomorphic, for instance on a fixed sphere.

math.DG

Minimal foliations, codimension-one stable norms, and a question of Bangert

We compute the codimension-one stable norm for a natural class of cohomogeneity-one metrics on tori. In every dimension $n\ge3$, the formula yields smooth nonflat metrics for which each primitive codimension-one homology class is represented by a foliation of calibrated tori, giving a negative answer to a question of Bangert. On $\mathbb T^3$, we construct an infinite-dimensional family of nonflat metrics whose codimension-one stable norm agrees exactly with that of the unit cubic flat torus and whose total volume is fixed. An explicit two-parameter subfamily contains pairwise non-isometric metrics. These examples also show that the Euclidean-stable-norm-and-volume data are not locally injective near the cubic flat metric. Conversely, among smooth metrics on $\mathbb T^3$ admitting a free isometric circle action and having the cubic Euclidean codimension-one stable norm, we prove that volume is at most one, with equality only for the cubic flat metric up to an isometry isotopic to the identity.

math.DG