Schwarzschild as the Static Vacuum Benchmark

Schwarzschild is the static vacuum benchmark because a classification theorem, not spherical symmetry imposed at the start, selects its exterior from a precise class of regular black-hole spacetimes. Staticity, vacuum Einstein dynamics, asymptotic flatness, and global regularity jointly eliminate distorted and multiple-horizon alternatives. The conclusion concerns the domain of outer communications; it neither constructs the maximal extension nor claims that every nonrotating compact object is a black hole.

Required background. Killing Fields and Isometry Groups supplies complete Killing flows, hypersurface orthogonality, and their normalization at infinity.

Helpful background. Exact Solutions of Einstein’s Equations supplies the Schwarzschild family; Causality and Global Structure supplies the domain of outer communications; The Einstein Equation supplies the vacuum equations; and Mathematical Relativity supplies positive-mass and elliptic methods.

The static vacuum statement

Assume a smooth, four-dimensional, asymptotically flat spacetime satisfying $R_{\mu\nu}=0$. Suppose it admits a complete stationary Killing field $k$ that is hypersurface orthogonal,

$$k\wedge dk=0,$$

and timelike in the asymptotic end. Assume the associated domain of outer communications is globally hyperbolic and contains a connected acausal spacelike hypersurface whose closure has finitely many asymptotically flat ends and a compact regular horizon boundary. Exclude conical defects and other singular boundaries in the exterior.

Under these conditions, a nonempty black-hole exterior is isometric to a Schwarzschild domain of outer communications with some mass $M\gt0$. The static classification in Chruściel, Costa, and Heusler 2012, §3.1, Theorem 3.1 is stated for electrovacuum; setting the electromagnetic field to zero leaves Schwarzschild in the regular black-hole case. Static vacuum black holes with compact spherical degenerate horizons are separately excluded in the same section.

“Static” is stronger than “stationary with $J=0$.” It requires the timelike symmetry to be orthogonal to a family of spacelike slices. A rotating geometry could have zero total angular momentum through cancellations without making that Frobenius condition true. Likewise, vacuum is a statement about the entire exterior stress tensor, not merely the absence of ordinary matter near the horizon.

Elliptic data on a static slice

Where $k$ is timelike, write the metric as

$$g=-N^2dt^2+h_{ij}dx^i dx^j,$$

with $N\to1$ at the selected asymptotic end. Static vacuum Einstein equations reduce to

$$\Delta_hN=0, \qquad R_{ij}(h)=N^{-1}\nabla_i\nabla_jN.$$

The lapse $N$ is positive in the exterior and vanishes at a regular nondegenerate horizon. Its asymptotic $1/r$ coefficient fixes the ADM mass. This converts a Lorentzian classification problem into an elliptic boundary problem: find $(h,N)$ with prescribed behavior at a horizon and infinity.

Schwarzschild realizes these data. In areal radius,

$$N^2=1-\frac{2GM}{r}, \qquad r_H=2GM.$$

Once the theorem selects this exterior, every invariant exterior observable is a function of $M$. In particular,

$$\mathcal A_H=16\pi G^2M^2, \qquad \kappa_H=\frac{1}{4GM},$$

for the Killing field normalized to unit time translation at infinity. These calculations check the selected benchmark; they do not prove uniqueness by themselves.

Why doubling and positive mass force Schwarzschild

The proof architecture begins with the static slice and makes two conformal copies using factors built from $(1+N)/2$ and $(1-N)/2$. The copies are glued across the horizon, where regularity supplies the matching conditions. One copy retains the asymptotically flat end; the other compactifies its end. The static equations make the doubled three-geometry scalar-flat in the required weak sense and arrange zero total ADM mass.

The positive mass theorem then forces the doubled geometry to be Euclidean. The remaining harmonic boundary problem has the unique Green-function form that reconstructs the Schwarzschild lapse and spatial metric. The same method also rules out several disconnected regular vacuum horizons: an attempted multi-black-hole static balance would introduce forbidden singular structure or violate the positive-mass conclusion. Bunting and Masood-ul-Alam give the conformal-doubling argument in Bunting and Masood-ul-Alam 1987, pp. 147–154.

This is only a proof sketch. Static Vacuum Uniqueness gives the rigorous treatment of regularity at the gluing surface, completeness, the positive-mass hypotheses, and the recovery of the Lorentzian exterior.

What the conclusion does and does not fix

The theorem fixes the exterior geometry up to the parameter $M$ and an isometry. It consequently fixes horizon area, surface gravity, all vacuum multipole moments, null geodesics, and orbital structures once their normalizations are specified. It does not identify an interior matter model, formation history, or maximal analytic extension. Two collapse histories can settle to the same exterior.

Dropping a hypothesis changes the problem rather than refuting the theorem. A static distorted black hole held by distant matter is not vacuum throughout an asymptotically flat exterior. Weyl configurations supported by struts have conical singularities. Schwarzschild–de Sitter is vacuum with a cosmological constant but not asymptotically flat in the stated sense. A regular static star has no horizon boundary. These are useful limitations because each isolates a specific assumption.

Spherical symmetry is therefore a consequence inside the theorem’s domain, not an input to the benchmark. Conversely, observing approximate spherical symmetry does not establish all global and field-equation hypotheses needed for the classification result.

Test the theorem against a distorted candidate

Suppose a static metric is vacuum in a neighborhood of its horizon and has a smooth, nonround horizon cross-section. Farther out, external matter produces the distortion, and the metric is not asymptotically Schwarzschild until that matter is included. Does static vacuum uniqueness imply a contradiction? Which hypothesis should be checked first?

Solution

There is no contradiction. The theorem requires a vacuum domain of outer communications extending from the horizon to an asymptotically flat end. If external matter lies in that domain, then $R_{\mu\nu}=0$ fails there. If one excises the matter, the remaining region lacks the theorem’s complete asymptotic end and acquires an additional boundary. Either way, the conformal-doubling problem is not the one classified above.

The first check is therefore the matter and boundary domain, followed by regularity and asymptotics. Local vacuum near the horizon is not sufficient. Only when the complete exterior satisfies all hypotheses may one infer the Schwarzschild geometry and hence round horizon sections.

Reissner–Nordström as the Static Electrovacuum Benchmark next shows how electric flux changes the static classification and permits degenerate, disconnected limits.

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.