Higher-Dimensional Black Holes and Black Objects

Higher dimensions turn several four-dimensional black-hole “facts” into questions. Spherical static horizons persist, but the potential falloff changes; rotation acquires several independent planes; a Kerr-like spin bound can disappear; rings and multi-horizon objects destroy uniqueness by conserved charges; compact directions introduce tension; and topology theorems constrain horizons to be of positive Yamabe type, under precise hypotheses, rather than forcing sphericity. This chapter develops those changes from exact benchmarks to the carefully delimited research frontier.

Helpful background. Exact Solutions of Einstein’s Equations supplies the full metric families and parameter domains; Global Structure supplies horizons, topology, and asymptotics; the Einstein equation supplies the vacuum and effective-energy equations; and Black-Hole Perturbation Theory supplies the stability analyses that begin where stationary geometry ends.

Enter the higher-dimensional problem

The chapter holds $G_D$ explicit and uses $D$ for total spacetime dimension. For asymptotically flat localized holes, the unit-sphere area

$$\Omega_{D-2}=\frac{2\pi^{(D-1)/2}}{\Gamma((D-1)/2)}$$

enters every mass normalization. For a product black brane, however, the radial falloff is governed by the number of noncompact transverse dimensions, not merely by $D$. This distinction separates a localized black hole from a uniform string before one asks about stability.

Three logical layers recur throughout:

1. Existence and regularity: Does the metric solve the stated field equation on a domain with a regular horizon, axes, and asymptotics?
2. Mechanics and classification: Which charges, tensions, topologies, and balance conditions distinguish stationary solutions?
3. Stability and evolution: Which perturbations grow, and what nonlinear endpoint follows for a specified initial-data and boundary-value problem?

An exact solution can fail the third test. A topology allowed by a theorem need not pass the first. A zero mode can identify a local bifurcation without determining an endpoint.

The six-page route

Page	Central result	Discriminating check
Tangherlini Black Holes	Static spherical vacuum holes have radius scaling set by dimension	Recover every Schwarzschild normalization at four dimensions
Myers–Perry Rotating Black Holes	Several rotation planes lead to dimension-dependent extremality and ultraspinning	Prove the singly spinning horizon root persists at finite spin for dimensions six and above
Black Rings and Horizon Nonuniqueness	Balance permits a ring horizon and three exact solutions at the same charges	Derive the cusp of the scale-free ring-spin curve
Black Strings, Branes, and Kaluza–Klein Horizons	Compact lengths have conjugate gravitational tensions and support distinct branches	Derive tension at fixed area rather than fixed radius
Horizon Topology Theorems in Higher Dimensions	Stable marginal horizons are positive Yamabe under exact hypotheses	Separate the four-dimensional sphere corollary from the higher-dimensional theorem
Phase Diagrams, Nonuniqueness, and Stability Boundaries	Exact, perturbative, approximate, and numerical branches occupy different evidential levels	Distinguish area preference, bifurcation, instability, and nonlinear selection

The order matters. Tangherlini fixes mass and radius normalization. Myers–Perry adds angular momenta while retaining spherical topology. Rings then isolate topological and charge nonuniqueness. Strings reveal what compact asymptotics add to mechanics. Only after those examples are in hand does the topology theorem show which features are general, and the phase-diagram page can compare branches without treating conjectural connections as exact solutions.

Static and rotating mechanical benchmarks

The Tangherlini lapse is

$$f(r)=1-\frac{\mu}{r^{D-3}}, \qquad \mu=\frac{16\pi G_DM}{(D-2)\Omega_{D-2}}.$$

Its horizon quantities obey

$$\mathcal A_H=\Omega_{D-2}r_H^{D-2}, \qquad \kappa=\frac{D-3}{2r_H}.$$

The powers of length immediately give the vacuum Smarr coefficient. Myers–Perry preserves the same mass parameter but introduces

$$N=\left\lfloor\frac{D-1}{2}\right\rfloor$$

independent angular momenta. The resulting horizon polynomial is more informative than a borrowed Kerr inequality. In the singly spinning sector, a Kerr-like finite bound exists in four and five dimensions, while every finite rotation parameter leaves a positive root for $D\geq6$. The large-spin horizon becomes membrane-like, signaling a perturbative question rather than an algebraic obstruction.

The stationary vacuum first law keeps its familiar form,

$$dM=\frac{\kappa}{8\pi G_D}\,d\mathcal A_H +\sum_i\Omega_i\,dJ_i,$$

but the space of solutions to which it applies is much richer than Kerr. Myers and Perry’s original construction and the higher-dimensional branch structure are developed in Myers and Perry 1986, §§2–4, pp. 304–328 and Emparan and Reall 2008, §§3–6.

Topology, balance, and nonuniqueness

The balanced five-dimensional ring demonstrates that stationarity, vacuum Einstein gravity, asymptotic flatness, mass, and angular momentum do not fix a unique geometry. The conical-regularity relation is as important as the local field equation: without it, an external disk or strut supports the ring. Once balance is imposed, two ring branches coexist over part of their charge range, and a spherical Myers–Perry hole supplies a third solution with the same conserved charges.

This example does not mean topology is arbitrary. For a smooth compact connected two-sided stably outermost marginal surface, an effective dominant energy condition and the exact rigidity qualifications imply positive Yamabe type. In four spacetime dimensions, orientability and Gauss–Bonnet turn that into $S^2$. In five dimensions, $S^2\times S^1$ itself admits a positive-scalar-curvature metric. Galloway and Schoen give the theorem and exceptional equality case in Galloway and Schoen 2006, Theorem 2.1 and proof, pp. 573–574; concluding remark 1, p. 576.

The theorem gives a necessary topological filter. It neither constructs a regular exterior nor proves uniqueness. Symmetry, axis regularity, interval data, and field equations still decide which permitted manifolds are realized.

Compact directions change the charge set

A uniform black string is locally a lower-dimensional black hole times a line, but compactifying that line changes the asymptotic boundary and the natural charges. If the circle has length $L$, the first law contains

$$dM=\frac{\kappa}{8\pi G_D}\,d\mathcal A_H +\mathcal T\,dL.$$

The tension $\mathcal T$ is an asymptotic gravitational charge. It is not recovered by applying the localized $D$-dimensional ADM formula to a field whose transverse falloff belongs to fewer dimensions.

Uniform, nonuniform, and localized Kaluza–Klein branches can share the same asymptotics while differing in horizon topology and translation symmetry. The Gregory–Laflamme threshold is a linear stability statement about a uniform background. It does not follow from the product check and does not, without nonlinear evidence, select one of the other stationary branches as the endpoint.

Reading the research boundary

The final page fixes an evidence cutoff of 2026-08-12 and places results on common formulation axes: dimension, theory, asymptotics, regularity, initial-data class, symmetry sector, and boundary conditions. Its central discipline is to label the construction type.

• Exact families establish existence and regularity on a stated parameter domain.
• Perturbative zero modes and branches are local to an onset and chosen boundary conditions.
• Blackfold or large-dimension calculations are controlled only within their expansion regime.
• Numerical stationary branches require convergence, constraint, regularity, and Smarr checks.
• Numerical evolutions address selected initial data and cannot be universalized without further analysis.

This vocabulary prevents a common mistake: drawing exact curves, asymptotic curves, and conjectured merger lines with the same visual status and then reading the picture as a classification theorem.

Review the chapter

A six-dimensional singly spinning Myers–Perry hole has very large rotation. A thin-ring approximation has greater area at the same mass and spin, and the Myers–Perry branch possesses a stationary zero mode. State what each fact establishes and what additional work is required before calling the ring the endpoint.

Solution

The Myers–Perry horizon equation establishes that a regular spherical horizon still exists at finite spin; six dimensions have no singly spinning algebraic Kerr bound. The stationary zero mode identifies a candidate local bifurcation when its gauge content and boundary conditions are controlled. The blackfold area comparison gives a microcanonical preference only in the thin-ring expansion regime.

Calling the ring the endpoint additionally requires a growing mode on the relevant side of the onset, continuation of a regular branch between the two regimes, and a nonlinear evolution from the stated initial-data class that approaches a stable ring rather than another branch, radiation-dominated state, or singular geometry. None of those conclusions follows from horizon existence, area ordering, or the zero mode alone.

Return to Black-Hole Geometry and Mechanics to place these objects beside asymptotically flat, cosmological, quasi-local, and extremal horizons.

References

• Emparan, Roberto, and Harvey S. Reall, “Black Holes in Higher Dimensions,” Living Reviews in Relativity 11, 6 (2008). DOI. Open PDF.
• Galloway, Gregory J., and Richard Schoen, “A Generalization of Hawking’s Black Hole Topology Theorem to Higher Dimensions,” Communications in Mathematical Physics 266, 571–576 (2006). DOI. Open PDF.
• Myers, Robert C., and Malcolm J. Perry, “Black Holes in Higher Dimensional Space-Times,” Annals of Physics 172, 304–347 (1986). DOI.