Reissner–Nordström as the Static Electrovacuum Benchmark

Reissner–Nordström is the static Einstein–Maxwell benchmark only after the matter theory, asymptotics, regularity, and horizon connectedness are fixed. Electric flux adds a second asymptotic parameter and permits a degenerate limit that vacuum gravity forbids. It also permits regular multicentre Majumdar–Papapetrou configurations when the horizon is disconnected. A useful classification statement must therefore say “Reissner–Nordström or Majumdar–Papapetrou” before connectedness selects the single-hole family.

Required background. Killing Fields and Isometry Groups supplies hypersurface orthogonality and the normalized static generator.

Helpful background. Exact Solutions of Einstein’s Equations supplies the charged solutions; Causality and Global Structure supplies the exterior domain and horizon components; The Einstein Equation supplies Einstein–Maxwell coupling; and Mathematical Relativity supplies the elliptic classification methods.

The static electrovacuum theorem

Assume a four-dimensional Einstein–Maxwell spacetime with a complete, hypersurface-orthogonal Killing field that is timelike at an asymptotically flat end. Require a globally hyperbolic domain of outer communications and a connected acausal spacelike hypersurface whose closure has finitely many asymptotic ends and a regular compact horizon boundary. The electromagnetic field must share the static symmetry, and the exterior must contain no charged matter currents, conical defects, or other singular boundaries.

Under these conditions the exterior is a Reissner–Nordström or Majumdar–Papapetrou domain. If the event horizon is connected, both branches belong to the Reissner–Nordström family: a single-centre Majumdar–Papapetrou solution is extremal Reissner–Nordström. Multiple Majumdar–Papapetrou centres instead give disconnected degenerate horizon components. The exact global assumptions and conclusion are stated in Chruściel, Costa, and Heusler 2012, §3.1, Theorem 3.1.

For clarity, take a purely electric field with Maxwell Lagrangian density $-F_{\mu\nu}F^{\mu\nu}/4$ and $Q=\int_{S^2_\infty}*F$. Magnetic charge can be included by the appropriate duality-invariant charge combination. Changing this normalization changes the appearance of the bound below, not the geometric theorem.

The benchmark parameters and regimes

In the stated electric convention, define

$$q^2=\frac{GQ^2}{4\pi}.$$

The selected Reissner–Nordström exterior has

$$f(r)=1-\frac{2GM}{r}+\frac{q^2}{r^2}, \qquad r_\pm=GM\pm\sqrt{G^2M^2-q^2}.$$

A regular black-hole member satisfies $G^2M^2\ge q^2$. Strict inequality gives a nondegenerate connected outer horizon. Equality gives the degenerate single-centre limit. The overcharged algebraic family has no horizon and is outside a theorem whose hypotheses include a regular black-hole boundary.

Once classification selects the solution, the outer horizon data follow:

$$\mathcal A_H=4\pi r_+^2, \qquad \kappa_H=\frac{r_+-r_-}{2r_+^2}, \qquad \Phi_H=\frac{Q}{4\pi r_+}.$$

The sign of $Q$ reverses the electromagnetic field and $\Phi_H$ but leaves the metric invariant. The extremal limit has $r_+=r_-=GM$ and $\kappa_H=0$. These are benchmark calculations after the exterior has been classified; solving the quadratic alone would not exclude nonspherical electrovacuum candidates.

Why charge changes the proof branches

On a static slice, the lapse $N$, spatial metric $h$, and electrostatic potential $\Phi$ satisfy a coupled elliptic system. Maxwell’s equation makes $\Phi$ harmonic with a weight involving $N$, while Einstein’s equation ties the spatial Ricci tensor to gradients of both potentials. Horizon regularity and asymptotic values turn this into a boundary-value problem.

In the nondegenerate branch, conformal transformations built from $N$ and $\Phi$ produce a doubled asymptotically flat geometry to which the positive mass theorem applies. Flatness of the transformed geometry reduces the remaining potentials to the Reissner–Nordström form. Ruback’s proof excludes multiple nondegenerate electrostatic holes in Ruback 1988, pp. L155–L159.

Degeneracy changes the boundary geometry: an extremal horizon lies at an infinite proper-distance end of a static slice, so the nondegenerate doubling cannot simply be copied. In the balanced Majumdar–Papapetrou branch, electrostatic repulsion exactly balances gravitational attraction, allowing several degenerate components without struts. Chruściel, Costa, and Heusler summarize this exceptional branch and the associated open issues in Chruściel, Costa, and Heusler 2012, §§3.4.1 and 3.4.3.

This page gives the proof architecture and physical consequences. Kerr and Electrovacuum Uniqueness provides the rigorous treatment of the static electrovacuum boundary problem, degenerate ends, connectedness, and regularity.

What is classified and what remains separate

On the connected-horizon branch, the theorem selects Reissner–Nordström, so mass and electric or magnetic charges fix the domain of outer communications and hence its exterior multipoles, horizon area and potential, null geodesics, and other classical exterior observables. The general theorem also permits disconnected Majumdar–Papapetrou horizons; total asymptotic charges do not fix that branch because the individual centre masses and relative positions are additional moduli. Neither conclusion establishes that charged collapse forms the exact stationary solution, that an inner Cauchy horizon is dynamically stable, or that astrophysical environments are electrovacuum.

Connectedness is not cosmetic. A two-centre Majumdar–Papapetrou spacetime has one asymptotic end and two regular degenerate horizon components while sharing the same static Einstein–Maxwell theory. It refutes a claim that every regular static electrovacuum black-hole exterior has one Reissner–Nordström horizon, but it does not contradict the connected-horizon benchmark.

Changing the theory also changes the conclusion. A charged scalar or non-Abelian gauge field introduces degrees of freedom not measured by the Maxwell flux $Q$. A cosmological constant changes the asymptotic boundary. External charged matter violates electrovacuum in the domain. Each case must be classified under its own equations and boundary conditions.

Diagnose a two-centre solution

Consider a regular, asymptotically flat, static Majumdar–Papapetrou solution with two positive centres. It has two degenerate horizon components and no conical strut. Does Theorem 3.1 fail? Would merging the coordinate labels of the two centres make the exterior Reissner–Nordström?

Solution

The theorem does not fail: its conclusion explicitly includes the Majumdar–Papapetrou branch. The stronger Reissner–Nordström conclusion used for a single black hole requires a connected event horizon. Here the horizon has two components, and their independent spatial locations affect the exterior geometry even though total mass and charge obey an extremal balance.

A coordinate relabeling cannot change connectedness or curvature invariants. Only the one-centre Majumdar–Papapetrou solution is extremal Reissner–Nordström. The two-centre example therefore diagnoses exactly which hypothesis a one-family slogan omitted.

Physical Consequences of Horizon Rigidity next asks how a rotating stationary horizon acquires the axial symmetry needed for Kerr-type classification.

References

• 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.
• Ruback, Peter. “A New Uniqueness Theorem for Charged Black Holes.” Classical and Quantum Gravity 5 (1988): L155–L159. DOI.