Equilibrium Black Holes and Horizon Anatomy

Equilibrium black holes turn exact solutions into a controlled laboratory for horizon geometry. The central task is not to memorize four metrics. It is to identify which structures are invariant, which depend on a chosen Killing normalization or gauge, and which require the global causal extension. This chapter builds that anatomy from Schwarzschild through Kerr–Newman, then separates a horizon cross-section’s intrinsic shape from the exterior domain classified by stationary theorems.

Enter the stationary anatomy

Throughout the chapter, $M\gt0$ denotes physical mass and $G$ remains explicit. For rotating solutions $a=J/M$ has dimensions of length. Electric charge uses the Maxwell Lagrangian density $-F_{\mu\nu}F^{\mu\nu}/4$ and flux convention $Q=\int_{S^2_\infty}*F$, so

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

The Exact Solutions chapters use Gaussian flux charge. Their variables are related to this rationalized convention by the complete Gaussian-to-rationalized Maxwell map, which preserves $q^2$, charged-probe energies, and first-law work terms.

With these choices, all four families are organized by the Kerr–Newman horizon polynomial

$$\Delta(r)=r^2-2GMr+a^2+q^2, \qquad r_\pm=GM\pm\sqrt{G^2M^2-a^2-q^2}.$$

These are algebraic roots. In the strictly subextremal non-Schwarzschild sector $0\lt a^2+q^2\lt G^2M^2$, both are horizon radii. At $a=q=0$, the outer root $r_+=2GM$ is the Schwarzschild horizon, whereas $r_-=0$ is the central curvature singularity and not an inner horizon.

Schwarzschild sets $a=q=0$; Reissner–Nordström sets $a=0$; Kerr sets $q=0$. This nesting is the chapter’s main error detector. A formula for area, surface gravity, angular velocity, or electric potential is not accepted until it survives the relevant static, neutral, uncharged, and extremal limits.

The full metric constructions, coordinate atlases, and analytic extensions belong to Exact Solutions of Einstein’s Equations. Here those solutions are checked inputs. The emphasis is the horizon data and causal distinctions needed for mechanics.

Check your preparation

You are ready for the direct route if you can answer four questions. Can you recognize an areal radius independently of coordinates? Can you solve and classify a quadratic by its discriminant? Can you distinguish a stationary Killing field from the horizon-generating combination? Can you distinguish a local null surface from an event horizon defined relative to infinity?

If the first two are uncertain, review Exact Solutions of Einstein’s Equations and practice taking invariant limits rather than comparing component labels. For the symmetry question, Killing Fields and Isometry Groups is the shortest repair route. For the last question, use Causality and Global Structure. The field equations and matter normalization are reviewed in The Einstein Equation, while Black-Hole Geometry and Mechanics locates this chapter in the larger volume.

The decisive habit is to ask what data a statement uses. Curvature is local; null expansion is attached to a chosen surface and null normals; a Killing horizon requires a symmetry; an event horizon requires the completed causal future. Coincidence in an equilibrium example does not make the definitions interchangeable.

Three routes through the chapter

The family route is the most direct. Begin with Schwarzschild Horizon Anatomy to separate a regular horizon from a coordinate singularity. Continue to Reissner–Nordström Horizon Anatomy for outer, inner, extremal, and overcharged regimes. Kerr Horizon and Ergoregion Anatomy then separates event horizon, static limit, ergoregion, and ring singularity. Finish with Kerr–Newman Horizon Data to assemble the unified mechanics-ready quantities.

The geometric route starts with Schwarzschild and proceeds to Intrinsic Geometry of Horizon Cross-Sections. It asks how the pullback metric, area form, and Gaussian curvature distinguish a round section from a rotating one. Domains of Outer Communications and Interior Boundaries then places that cross-section on the boundary of the exterior without confusing a Euclidean embedding, a symmetry axis, or an inner Cauchy horizon with the event horizon.

The theorem route goes first to the domain of outer communications. There you can see exactly which open exterior stationary classification concerns and which global regularity hypotheses it needs. Return to Kerr–Newman data to interpret the classified solution, then use intrinsic cross-sections to see which information total area does and does not contain. This route is useful preparation for rigidity and uniqueness.

The six pages in working order

1. Schwarzschild Horizon Anatomy uses areal radius, regular coordinates, curvature, generators, and trapped round spheres to distinguish $r=2GM$ from $r=0$.
2. Reissner–Nordström Horizon Anatomy solves the charged horizon polynomial, interprets the two roots, and tracks the sign of each surface gravity.
3. Kerr Horizon and Ergoregion Anatomy constructs the rotating generator $\chi=\xi+\Omega_H\psi$ and shows why the static limit is not the event horizon.
4. Kerr–Newman Horizon Data combines spin and charge and verifies the Smarr identity directly from the root relations.
5. Intrinsic Geometry of Horizon Cross-Sections pulls back the spacetime metric, derives latitude-dependent Kerr curvature, and explains the limit of Euclidean embedding pictures.
6. Domains of Outer Communications and Interior Boundaries defines the accessible exterior, states the hypotheses used in an axisymmetric electrovacuum classification theorem, and sketches the reduced proof.

This order alternates algebra with interpretation. Root calculations alone do not identify causal roles, while causal labels without the root and normalization checks are too vague for mechanics.

Recurring distinctions and checks

The outer event horizon and inner Cauchy horizon are both Killing horizons in the exact nonextremal metrics with nonzero charge or spin, but only the outer one bounds escape to the selected future infinity. For nonzero-spin Kerr, the static limit is where the asymptotic time translation becomes null; the horizon is where a different Killing combination becomes null. The ergoregion between them remains part of the domain of outer communications. At $a=0$, the two surfaces coincide and the ergoregion is absent; see Visser 2009, §§9–11.

Area and intrinsic shape also differ. Kerr’s horizon area is $4\pi(r_+^2+a^2)$, yet its Gaussian curvature varies with latitude. A round sphere can have the same area without being isometric to the Kerr section. Gauss–Bonnet fixes the integrated curvature for any smooth two-sphere, not its pointwise distribution.

Finally, boundaries depend on the space being discussed. The event horizon is a boundary of the exterior in spacetime. Infinity is attached in a conformal completion. A regular axis becomes a boundary only in the symmetry quotient. The inner Cauchy horizon is deeper inside the black-hole region. The precise domain and regularity assumptions used by stationary classification are given by Chruściel, Costa, and Heusler 2012, §§2.4, 2.6, and 3.2.7.

Review the chapter

Consider Kerr with $a=(\sqrt3/2)GM$. Determine the two roots, the outer static-limit radii at pole and equator, the horizon area and surface gravity, and the Gaussian curvature at a pole. Then classify the outer root, inner root, rotation axis, and ergoregion relative to the domain of outer communications.

Solution

The discriminant is $G^2M^2/4$, so

$$r_+=\frac{3GM}{2}, \qquad r_-=\frac{GM}{2}.$$

The outer static limit meets $r_+$ at either pole and lies at $2GM$ at the equator. Because $r_+^2+a^2=3G^2M^2$,

$$\mathcal A_H=12\pi G^2M^2, \qquad \kappa_H=\frac{1}{6GM}.$$

The polar Gaussian curvature vanishes because $r_+^2=3a^2$. This is the threshold above which polar caps have negative intrinsic curvature; it is not a spacetime singularity.

The future outer root is the event-horizon boundary of the selected exterior. The inner root is a Cauchy horizon behind it and is not an exterior boundary. The regular rotation axis belongs to the four-dimensional exterior, although it becomes an edge of the orbit space. The portion of the ergoregion outside $r_+$ also belongs to the domain of outer communications because signals can still escape from it. Thus neither $g_{tt}=0$ nor the failure of static observers defines the black-hole boundary.

After this chapter, you should be able to turn $(M,J,Q)$ into normalized horizon data, distinguish the resulting local and global structures, and state which assumptions are needed before an exterior-classification claim is valid. Continue to Killing Horizons and Bifurcate Geometry for generator normalization, surface gravity, bifurcation surfaces, and horizon-adapted coordinates.

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.
• Visser, Matt. “The Kerr Spacetime: A Brief Introduction.” In The Kerr Spacetime, edited by David L. Wiltshire, Matt Visser, and Susan M. Scott. Cambridge: Cambridge University Press, 2009. arXiv:0706.0622v3.