Static Vacuum Uniqueness

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.

Static vacuum uniqueness characterizes the exterior Schwarzschild geometry without first assuming spherical symmetry. The decisive move is conformal: rescale two copies of a static spatial exterior with complementary functions, glue them across the horizon, and compactify one infinity. The resulting complete asymptotically flat manifold has nonnegative scalar curvature and zero mass, so positive-mass rigidity makes it Euclidean. The static equations then reconstruct Schwarzschild and, in particular, exclude a regular static vacuum equilibrium with several horizon components.

Required background. Analysis for Mathematical Relativity supplies harmonic-function regularity and the maximum principle, while Spacetime Symmetries and Killing Fields supplies hypersurface-orthogonal Killing fields and static decompositions.

Helpful background. Einstein Equations provides the static vacuum system, Causality and Global Structure explains the exterior and horizon boundary, Partial Differential Equations and Green Functions supports the elliptic conformal argument, and Black-Hole Geometry and Mechanics supplies nondegenerate Killing horizons.

The static vacuum exterior

Let the four-dimensional metric on the static region be

g=-N^2dt^2+h,

where the lapse $N$ is positive in the interior, tends to $1$ at the chosen asymptotically flat end, and vanishes on a compact regular horizon boundary $\partial\Sigma$ . Assume $(\Sigma,h)$ is smooth and complete up to that boundary, with the decay needed for ADM mass, and that the vacuum Einstein equations hold. On the three-dimensional orbit slice they become

\Delta_hN=0, \qquad \operatorname{Ric}(h)=N^{-1}\operatorname{Hess}_hN, \qquad R(h)=0.

Regular nondegeneracy means $dN$ does not vanish at the boundary. The static equations imply that each boundary component is totally geodesic and that $|\nabla N|$ is constant on it. This can be read directly from the equations: smoothness gives $\operatorname{Hess}N=N\operatorname{Ric}\to0$ at $N=0$ . For tangent vectors $X,Y$ to that level surface, $\operatorname{Hess}N(X,Y)=|\nabla N|B(X,Y)$ , where the unit normal points toward increasing $N$ . Nondegeneracy therefore forces $B=0$ . The mixed component similarly gives $X(|\nabla N|)=0$ , so the surface gravity is constant on each component, though not yet proved equal between components. A strong form of the theorem permits the compact boundary to be initially disconnected: the conclusion itself shows that it has one component and that the exterior is the $t=$ constant slice of Schwarzschild with some mass $M>0$ . Thus connectedness is not an assumption in the Bunting–Masood-ul-Alam exclusion of multiple static vacuum black holes; see Bunting and Masood-ul-Alam 1987, theorem and pp. 147–154.

The spacetime statement also needs the global hypotheses that identify this Riemannian boundary problem with the entire domain of outer communications. One must rule out interior prehorizons where the static Killing field becomes null again. Modern static uniqueness does this smoothly, without an analyticity hypothesis. The relation between this step and the conformal proof is explained in Chruściel, Costa, and Heusler 2012, §3.1, pp. 11–12.

Complementary conformal copies

Define on two copies of the exterior

\Omega_+=\frac{1+N}{2}, \qquad \Omega_- =\frac{1-N}{2}, \qquad h_\pm=\Omega_\pm^4h.

At $N=0$ , the induced metrics agree. The opposite normal derivatives of the two conformal factors match the second fundamental forms, so the copies glue across every nondegenerate horizon component with the regularity required by the rigidity argument. On the plus side, $\Omega_+\to1$ and the end remains asymptotically flat. On the minus side, $\Omega_-=O(r^{-1})$ and its infinity is at finite distance after rescaling; it can be filled by one point.

The scalar-curvature transformation in three dimensions is

R(\Omega^4h) =\Omega^{-5}\left(-8\Delta_h\Omega+R(h)\Omega\right).

Because $R(h)=0$ and $\Delta_hN=0$ , both rescaled metrics are scalar flat away from the seam. Horizon matching introduces no negative distributional scalar curvature. If

N=1-\frac{GM}{r}+O(r^{-2}),

then $\Omega_+=1-GM/(2r)+O(r^{-2})$ . This conformal contribution cancels the ADM mass of $h$ at the surviving plus end. The doubled, compactified manifold therefore has zero ADM mass.

Positive-mass rigidity and reconstruction

Apply the rigidity clause of the positive mass theorem to the complete double. It is isometric to Euclidean $\mathbb R^3$ . This is stronger than proving that the original exterior is conformally flat: it fixes the doubled geometry and turns the lapse problem into a Euclidean harmonic problem. The ratio

u=\frac{\Omega_-}{\Omega_+}=\frac{1-N}{1+N}

is harmonic in the flat metric on the plus copy. Extend it to the minus copy using the reciprocal $u=\Omega_+/\Omega_-$ there. Both expressions equal one at the seam, and their derivatives match with the opposite gluing normals. The extended function is harmonic on the Euclidean double away from the point added from the minus infinity, where it has a pole; it tends to zero at the surviving plus infinity. Uniqueness for this Green-function problem, together with smooth matching at the seam, makes the level surface $u=1$ a round sphere. Solving for $N=(1-u)/(1+u)$ and undoing the conformal rescaling gives

h=\left(1+\frac{GM}{2r}\right)^4 \left(dr^2+r^2d\Omega_2^2\right), \qquad N=\frac{1-GM/(2r)}{1+GM/(2r)}.

These are isotropic Schwarzschild data outside $r=GM/2$ . The proof therefore does not assume a round horizon; roundness is recovered after zero-mass rigidity.

What the argument excludes—and what it does not

A disconnected collection of regular nondegenerate boundary components is not a counterexample; it enters the doubling construction and is ruled out by its Euclidean conclusion. By contrast, a degenerate horizon has $dN=0$ at the boundary and need not supply the smooth two-sided seam used above. Majumdar–Papapetrou solutions illustrate the distinction: they can have several degenerate horizons, but they are electrovacuum rather than vacuum and their conformal reduction is different.

Likewise, formal multi-source Weyl metrics generally require conical defects or other singular structure to maintain equilibrium. They fail the regular axis or completeness hypotheses. Negative-mass Schwarzschild has a static vacuum region but no regular horizon shielding its singularity. The theorem does not classify matter-coupled, anti-de Sitter, higher-dimensional, or merely stationary rotating solutions.

Check the zero-mass step

Assume the asymptotic expansions $h_{ij}=(1+2GM/r)\delta_{ij}+O(r^{-2})$ and $N=1-GM/r+O(r^{-2})$ . Show at first order why the plus metric $h_+=((1+N)/2)^4h$ has no $r^{-1}$ mass term.

Solution

The plus factor is $\Omega_+=1-GM/(2r)+O(r^{-2})$ , hence $\Omega_+^4=1-2GM/r+O(r^{-2})$ . Multiplying gives

h_{+ij}= \left(1-\frac{2GM}{r}\right) \left(1+\frac{2GM}{r}\right)\delta_{ij} +O(r^{-2}) =\delta_{ij}+O(r^{-2}).

The coefficient measured by the ADM integral cancels. Scalar nonnegativity alone would give only nonnegative mass; this explicit cancellation is what places the double in the rigidity case of the positive mass theorem.

References

Bunting, Gary L., and A. K. M. Masood-ul-Alam. “Nonexistence of Multiple Black Holes in Asymptotically Euclidean Static Vacuum Space-Time.” General Relativity and Gravitation 19 (1987): 147–154. DOI.
Chruściel, Piotr T., João Lopes Costa, and Markus Heusler. “Stationary Black Holes: Uniqueness and Beyond.” Living Reviews in Relativity 15 (2012): 7. DOI. Open PDF.