Skip to content

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

Tangherlini’s solution is the static, spherically symmetric vacuum black hole in spacetime dimension D≥4D\geq4. Its metric looks deceptively like Schwarzschild’s, but the gravitational potential falls as r−(D−3)r^{-(D-3)}, the unit-sphere area enters the mass normalization, and the horizon radius scales as M1/(D−3)M^{1/(D-3)}. Deriving these factors once provides the clean reference point for rotating holes, rings, strings, and higher-dimensional mechanics throughout this chapter.

Helpful background. Exact Solutions of Einstein’s Equations supplies the distinction between a metric chart and the complete solution family; Global Structure supplies null horizons and regular extensions; the Einstein equation fixes the vacuum field equation; Black-Hole Perturbation Theory supplies the later stability interface; and Black-Hole Geometry and Mechanics supplies the horizon-generator and charge conventions used here.

Let dΩD−22d\Omega_{D-2}^2 be the metric on a unit round (D−2)(D-2)-sphere and let rr be its areal radius. A static spherical line element may be put in the form

ds2=−f(r) dt2+dr2f(r)+r2dΩD−22.ds^2=-f(r)\,dt^2+\frac{dr^2}{f(r)}+r^2d\Omega_{D-2}^2.

In vacuum, one radial Einstein equation is

ddr[rD−3(1−f)]=0.\frac{d}{dr}\left[r^{D-3}(1-f)\right]=0.

Consequently

f(r)=1−μrD−3,μ=rHD−3.f(r)=1-\frac{\mu}{r^{D-3}}, \qquad \mu=r_H^{D-3}.

The remaining independent equation is then satisfied. This is the higher-dimensional Schwarzschild solution first obtained in Tangherlini 1963, pp. 636–651. Its positive constant μ\mu has dimension LD−3L^{D-3}; it is not itself the ADM mass.

The area of the unit sphere is

ΩD−2=2π(D−1)/2Γ((D−1)/2).\Omega_{D-2}=\frac{2\pi^{(D-1)/2}}{\Gamma((D-1)/2)}.

Matching the asymptotic field to the DD-dimensional ADM charge gives

μ=16πGDM(D−2)ΩD−2.\mu=\frac{16\pi G_D M}{(D-2)\Omega_{D-2}}.

This normalization also follows from Gauss’s law: the flux is spread across a sphere whose area is ΩD−2rD−2\Omega_{D-2}r^{D-2}, so the potential falls as r−(D−3)r^{-(D-3)}. The complete normalization and its relation to the higher-dimensional solution families are reviewed in Emparan and Reall 2008, §3.2.

For M>0M\gt0, ff has one simple positive root,

rH=[16πGDM(D−2)ΩD−2]1/(D−3).r_H=\left[\frac{16\pi G_D M}{(D-2)\Omega_{D-2}}\right]^{1/(D-3)}.

The static coordinates become singular there, but the geometry does not. Defining an ingoing coordinate by dv=dt+dr/fdv=dt+dr/f changes the radial-time sector to

−f dv2+2 dv dr,-f\,dv^2+2\,dv\,dr,

which is regular at r=rHr=r_H. The future horizon is generated by the asymptotically unit-normalized Killing field ξ=∂t\xi=\partial_t. A spatial cross-section is a round SD−2S^{D-2} with

AH=ΩD−2rHD−2,κ=12f′(rH)=D−32rH.\mathcal A_H=\Omega_{D-2}r_H^{D-2}, \qquad \kappa=\frac12 f'(r_H)=\frac{D-3}{2r_H}.

The horizon is therefore nondegenerate for every finite positive mass. Its intrinsic scalar curvature is (D−2)(D−3)/rH2(D-2)(D-3)/r_H^2, while the spacetime Kretschmann scalar is finite at rHr_H and diverges at r=0r=0. The zero of ff is a coordinate horizon; r=0r=0 is the curvature singularity.

The area and surface gravity pass two independent mechanical checks. First, differentiating the mass-radius relation gives

dM=κ8πGD dAH.dM=\frac{\kappa}{8\pi G_D}\,d\mathcal A_H.

Second, homogeneity under rH↦λrHr_H\mapsto\lambda r_H gives the vacuum Smarr relation

(D−3)M=(D−2)κAH8πGD.(D-3)M=(D-2)\frac{\kappa\mathcal A_H}{8\pi G_D}.

The coefficients differ because MM scales as lengthD−3^{D-3} whereas area scales as lengthD−2^{D-2}. These relations concern the asymptotically flat, uncharged family with fixed GDG_D; cosmological pressure, charge, angular momentum, and compactification lengths add conjugate terms.

At fixed GDMG_DM, the horizon-radius exponent decreases as dimension rises. The area therefore scales as

AH∝(GDM)(D−2)/(D−3),\mathcal A_H\propto (G_DM)^{(D-2)/(D-3)},

and the surface gravity scales as (GDM)−1/(D−3)(G_DM)^{-1/(D-3)}. These are dimensional comparisons, not a claim that gravity is uniformly weaker at large DD: GDG_D itself has dimension LD−2L^{D-2}, so comparing different dimensions requires a specified common length or compactification scale.

The formula does not extend continuously to D=3D=3. There the exponent D−3D-3 vanishes, asymptotically flat vacuum gravity has no Tangherlini black hole, and black-hole solutions such as BTZ require different asymptotics. Likewise, M<0M\lt0 leaves no positive root and exposes the singularity. Solving the field equation away from r=0r=0 is not enough to establish a regular black-hole spacetime.

The solution is also a useful lesson about what “the same mass” means across dimensions. An ADM mass is defined relative to a chosen asymptotic geometry and Newton constant. A Tangherlini hole is localized in every spatial direction and has spherical sections at infinity. A uniform black string in the same total spacetime dimension instead has a compact or translational direction, a different falloff power, and a gravitational tension. Its mass cannot be inserted into the formula above without first reducing to the appropriate transverse problem.

Finally, surface gravity depends on the normalization of the generator. Asymptotic flatness fixes ∂t\partial_t to unit norm at infinity, so the value quoted here is unambiguous. In a finite cavity, a cosmological spacetime, or a compactification without the same asymptotic time normalization, rescaling the Killing field rescales κ\kappa. Horizon radius and area remain intrinsic, whereas a numerical surface gravity must always be read together with its normalization condition.

Set D=4D=4. Since Ω2=4π\Omega_2=4\pi,

μ=16πG4M2(4π)=2G4M,rH=2G4M.\mu=\frac{16\pi G_4M}{2(4\pi)}=2G_4M, \qquad r_H=2G_4M.

Then AH=16πG42M2\mathcal A_H=16\pi G_4^2M^2 and κ=1/(4G4M)\kappa=1/(4G_4M), exactly the Schwarzschild values. This limit simultaneously checks the power of rr, the factor D−2D-2, the unit-sphere area, and the normalization of the Killing time.

A five-dimensional Tangherlini black hole has mass MM and Ω3=2π2\Omega_3=2\pi^2. Find rHr_H, AH\mathcal A_H, and κ\kappa, and verify the Smarr relation.

Solution

For D=5D=5,

rH2=16πG5M3(2π2)=8G5M3π.r_H^2=\frac{16\pi G_5M}{3(2\pi^2)} =\frac{8G_5M}{3\pi}.

Hence

AH=2π2rH3,κ=1rH.\mathcal A_H=2\pi^2r_H^3, \qquad \kappa=\frac1{r_H}.

The right-hand side of the Smarr formula is

3κAH8πG5=32π2rH28πG5=3πrH24G5=2M,3\frac{\kappa\mathcal A_H}{8\pi G_5} =3\frac{2\pi^2r_H^2}{8\pi G_5} =\frac{3\pi r_H^2}{4G_5} =2M,

which equals (D−3)M=2M(D-3)M=2M.

The next page adds independent rotation planes and shows why a Kerr-like spin bound survives in some dimensions but not others: Myers–Perry Rotating Black Holes.

  • Emparan, Roberto, and Harvey S. Reall, “Black Holes in Higher Dimensions,” Living Reviews in Relativity 11, 6 (2008). DOI. Open PDF.
  • Tangherlini, Frank R., “Schwarzschild Field in nn Dimensions and the Dimensionality of Space Problem,” Il Nuovo Cimento 27, 636–651 (1963). DOI.