Planar and Hyperbolic AdS Horizons

Anti-de Sitter asymptotics allow static black holes whose horizon cross-sections have zero or negative intrinsic curvature. Their local metrics fit the same one-parameter formula as the spherical family, but topology enters through a discrete quotient and conserved quantities enter through a volume normalization. In four-dimensional vacuum Einstein gravity, the planar case has a single positive-mass horizon; the hyperbolic case also admits an extremal lower bound and a range of negative mass parameter. These statements are classical and depend on an explicitly stated reference convention for the charge.

Helpful background. Exact Solutions of Einstein’s Equations supplies warped-product solutions and quotient geometry; Causality and Global Structure supplies the distinction between local horizons and global exteriors; The Einstein Equation supplies the field equation with negative cosmological constant; The Gibbons-Hawking-York Boundary Term supplies the boundary basis for finite gravitational charges; and Black-Hole Geometry and Mechanics supplies the horizon and surface-gravity definitions.

Constant-curvature horizons and quotient data

Let $(\Sigma_k,d\Sigma_k^2)$ be a two-dimensional constant-curvature space normalized to scalar curvature $2k$, where $k=0$ or $k=-1$. The static metric is

$$ds^2=-f_k(r)\,dt^2+\frac{dr^2}{f_k(r)}+r^2d\Sigma_k^2, \qquad f_k(r)=k-\frac{\mu}{r}+\frac{r^2}{L^2}.$$

Einstein’s equation gives $\Lambda=-3/L^2$. If the quotient has finite dimensionless area

$$\mathcal V_k=\int_{\Sigma_k}\!\sqrt{\sigma}\,d^2x,$$

then, in the metric-coefficient convention used here,

$$M=\frac{\mathcal V_k\mu}{8\pi G}, \qquad A=\mathcal V_k r_+^2.$$

For a noncompact horizon, both quantities diverge and one instead quotes the densities $M/\mathcal V_k=\mu/(8\pi G)$ and $A/\mathcal V_k=r_+^2$. The construction and its charge normalization follow from Kubizňák, Mann, and Teo 2017, §2.2, equations (2.9)–(2.13), Open PDF, pp. 5–7; the quotient interpretation is developed directly in Birmingham 1999, §2, equations (1)–(10), Open PDF, pp. 1–3.

Local curvature does not choose the global topology. A flat cover $\mathbb R^2$ may remain noncompact or be quotiented to a cylinder or torus. A compact orientable hyperbolic surface is $H^2/\Gamma$ for a suitable freely acting discrete group $\Gamma$ and has genus $g\ge2$. With unit curvature $-1$, Gauss–Bonnet fixes

$$\mathcal V_{-1}=4\pi(g-1).$$

Thus two metrics with the same $f_k(r)$ can have different total areas and masses because their quotients have different $\mathcal V_k$.

The action of $\Gamma$ must be free and properly discontinuous if the horizon is to remain a smooth manifold. Allowing fixed points produces an orbifold with localized singular data, which is a different solution class and may require defect terms in its mechanics. The topology label $k$ therefore specifies curvature sign, not by itself the full quotient or its regularity.

Planar horizons

For $k=0$, the horizon equation is

$$\mu=\frac{r_+^3}{L^2}.$$

A black-hole horizon at $r_+\gt0$ therefore requires $\mu\gt0$ and is unique. Its surface gravity, with respect to the standard static time, is

$$\kappa=\frac{1}{2}f_0'(r_+)=\frac{3r_+}{2L^2}.$$

There is no analogue of the small spherical branch: the constant $k=1$ term responsible for the inverse-radius contribution to $\kappa$ is absent. The $\mu=0$ Poincaré patch has a coordinate horizon at $r=0$, not a finite-radius black-hole horizon of this family. For $\mu\lt0$, $f_0$ is positive at every positive $r$ and the central singularity is naked.

Compactifying the planar directions changes global identifications, not the radial equation. If their periods are held fixed, the first law uses total charges. If a period is varied, a conjugate tension term is generally required; silently varying the quotient while using a fixed-volume first law mixes distinct phase spaces.

This distinction can be seen by rescaling a torus period while holding $\mu$ and $r_+$ fixed. The local metric, surface gravity, and curvature invariants remain unchanged, but $\mathcal V_0$, $M$, and $A$ all scale with that period. Mass density and area density are therefore the natural quantities for comparing different planar quotients. Total mass is meaningful only after the fundamental domain has been specified.

Hyperbolic horizons and negative mass

For $k=-1$,

$$\mu(r_+)=r_+\left(-1+\frac{r_+^2}{L^2}\right), \qquad \kappa=\frac{1}{2r_+}\left(-1+\frac{3r_+^2}{L^2}\right).$$

The outer horizon must satisfy $r_+\ge L/\sqrt3$. At

$$r_{\mathrm{ext}}=\frac{L}{\sqrt3}, \qquad \mu_{\mathrm{ext}}=-\frac{2L}{3\sqrt3},$$

$f_{-1}$ has a double zero and $\kappa=0$. Below this mass parameter there is no horizon. For $\mu_{\mathrm{ext}}\lt\mu\lt0$, there are two positive roots; the larger is the event horizon of the static exterior. At $\mu=0$, the outer root is $r_+=L$ and the spacetime is locally AdS, though the quotient makes its global geometry nontrivial. For $\mu\gt0$, there is one positive root with $r_+\gt L$. The corresponding horizon classification and lower bound appear in Birmingham 1999, §3, equations (11)–(16), Open PDF, pp. 3–4.

The two-root interval should not be confused with two disconnected black holes. Both roots occur in one radial geometry. The outer root has $\kappa\gt0$ with the future generator normalized at infinity; the inner root has the opposite sign in the same formula and bounds a different static block in the maximal extension. At extremality they coalesce. The exterior classification requires only the largest root and the condition $f_{-1}(r)\gt0$ for $r\gt r_+$.

There is also a useful geometric check on the $\mu=0$ member. Substituting $\mu=0$ removes the Weyl curvature of the local solution, so the metric is locally constant-curvature AdS for every $k$. Nevertheless, quotienting $H^2$ changes the fundamental group and produces a finite-area horizon cross-section. Local curvature therefore cannot diagnose whether the conformal boundary or horizon is simply connected; those are global data carried by $\Gamma$.

Calling the interval $\mu_{\mathrm{ext}}\le\mu\lt0$ “negative mass” presupposes the convention $M=0$ at $\mu=0$. Background subtraction or finite boundary counterterms can shift the zero of energy in some asymptotically locally AdS settings. The invariant content of the radial analysis is instead the extremal bound on $\mu$, the number and multiplicity of roots, and charge differences computed within one fixed prescription.

Worked transfer diagnostic

Derive the lower mass parameter for a compact genus-$g$ hyperbolic black hole and its total mass in the $\mu=0$ reference convention. Then check that the limiting horizon is degenerate.

Solution

Extremality requires a double root, equivalently $d\mu(r_+)/dr_+=0$. Since

$$\frac{d\mu}{dr_+}=-1+\frac{3r_+^2}{L^2},$$

the positive solution is $r_+=L/\sqrt3$. It gives

$$\mu_{\mathrm{ext}}=-\frac{2L}{3\sqrt3}, \qquad M_{\mathrm{ext}}=\frac{4\pi(g-1)\mu_{\mathrm{ext}}}{8\pi G} =-\frac{(g-1)L}{3\sqrt3\,G}.$$

Finally, substituting $r_+=L/\sqrt3$ into $\kappa=(-1+3r_+^2/L^2)/(2r_+)$ gives $\kappa=0$, confirming the double-root result independently.

Next, Kerr–AdS Frames, Charges, and Horizons shows why the angular velocity and energy must be measured in a compatible frame at infinity.

References

• Birmingham, D. “Topological Black Holes in Anti-de Sitter Space.” Classical and Quantum Gravity 16 (1999): 1197–1205. doi:10.1088/0264-9381/16/4/009. Open PDF.
• Kubizňák, D., Mann, R. B., and Teo, M. “Black Hole Chemistry: Thermodynamics with Lambda.” Classical and Quantum Gravity 34 (2017): 063001. doi:10.1088/1361-6382/aa5c69. Open PDF.