Kerr, Kerr-Newman, and Type-D Electrovacua

Kerr and Kerr–Newman are the rotating calibration cases for exact-spacetime work: the same geometry must be recognizable in symmetry-adapted, horizon-regular, Kerr–Schild, invariant, and principal-null descriptions. Taub–NUT and Plebański–Demiański then show how type D persists when NUT behavior, acceleration, charge, or a cosmological constant is added—often at a substantial global cost.

Helpful background. The Einstein Equation supplies vacuum and Einstein–Maxwell equations; The Riemann Curvature Tensor supplies invariants; Frames, Coframes, and Anholonomy supplies null tetrads; Exact Solutions of Einstein’s Equations explains how to specify exact spacetime solutions; Causality and Global Structure supplies global qualifications; Killing Fields and Isometry Groups supplies stationary and axial geometry.

The metric is also a starting point for other questions. Continue to Kerr horizon and ergoregion anatomy to interpret its geometric regions, and to the equilibrium first law to relate variations of its charges and horizon data. For astronomical applications, choose relativistic image formation or reflection-based spin inference. These applications add emission, transfer, and inference assumptions to the metric; use their local preparation, including probability and inference for a spin measurement.

The Kerr calibration

Choose the positive-mass asymptotic end and assume $M>0$. Then

$$m=GM>0, \qquad a=\frac{J}{M}, \qquad a_*=\frac{a}{m}=\frac{J}{GM^2},$$

so $m$ and $a$ have dimensions of length. The definition $a=J/M$ is not available at $M=0$; the formal limit $m\to0$ at fixed coordinate parameter $a$ is treated separately and gives flat Minkowski spacetime in oblate coordinates, with $J=Ma\to0$. The mass and spin interpretation follows from the asymptotic field in Kerr 1963, p. 238, Eq. (5) and Carter 1968, §1B, pp. 1561–1562.

Boyer–Lindquist coordinates display $\partial_t$ and $\partial_\phi$, but their radial component is singular where $\Delta=r^2-2mr+a^2=0$. Ingoing or outgoing transformations regularize different oriented horizon branches; Kerr–Schild form exposes a repeated principal null congruence and a flat auxiliary metric. The original Kerr–Schild construction and its rotating specialization are developed in Debney, Kerr, and Schild 1969, §§5 and 7, pp. 1848–1854, Eqs. (5.1)–(5.4) and (7.1)–(7.17), with a modern coordinate synthesis in Frolov, Krtouš, and Kubizňák 2017, arXiv:1705.05482v3, §3.2, pp. 43–50, Open PDF. The regimes must not be conflated:

Parameters	Roots of $\Delta$	Geometry at the positive-mass end
$a=0$	$r_+=2m$, formal $r_-=0$	Schwarzschild: $r=0$ is the central curvature singularity, not an inner horizon
$0<\lvert a\rvert<m$	two positive simple roots $r_-<r_+$	rotating subextremal Kerr, with inner and outer Killing horizons in the eternal extension
$\lvert a\rvert=m$	one double root $r=m$	extremal Kerr
$\lvert a\rvert>m$	no real roots	superextremal Kerr, with no horizon shielding the ring singularity
$m=0$ at fixed $a$	$\Delta=r^2+a^2$; no real root if $a\ne0$	Minkowski spacetime; the oblate disk and ring are coordinate-branch loci, not curvature singularities

The rotating root classification and its Schwarzschild exception are stated explicitly in Boyer and Lindquist 1967, §II, pp. 270–272, Eqs. (2.11)–(2.21) and Carter 1968, §1B–C, pp. 1562–1564, Eqs. (12)–(23).

The chapter repeatedly distinguishes three equations:

$$\Delta=0 \quad\text{(Boyer–Lindquist horizon candidates, subject to the regime)},$$ $$g(\partial_t,\partial_t)=0 \quad\text{(stationary-limit surfaces)},$$ $$\Sigma=r^2+a^2\cos^2\theta=0 \quad\text{(rotating ring locus when }a\ne0\text{)}.$$

For $m>0$ and $a\ne0$, only the third forces curvature blowup: simple or double roots of $\Delta$ become regular Killing horizons after the appropriate extension, while the outer stationary-limit surface lies outside the outer horizon except where they meet on the axis. At $a=0$, the outer stationary limit coincides with the Schwarzschild horizon at every angle, and the algebraic root $r_-=0$ is the central curvature singularity. At $m=0$ fixed $a$, the Kerr–Schild profile vanishes and there is no curvature blowup at the oblate ring.

Routes through the chapter

The coordinate route begins with Kerr metric forms and parameters, where mass, spin, chart domains, and transformations are fixed. Continue to Kerr domains, horizons, and extensions to compare radial roots, stationary limits, horizon generators, and analytic blocks. Then add Maxwell flux on the Kerr–Newman electrovacuum.

The invariant route begins with principal null directions and type D. A principal tetrad leaves only $\Psi_2$ nonzero, establishing the repeated-null-direction pattern. Kerr invariants and the ring singularity packages the even and odd Weyl contractions into a complex scalar and shows why $\Delta=0$ is regular while $\Sigma=0$ is not.

The limits route uses Schwarzschild, extremal, and near-horizon limits to distinguish fixed-point parameter limits from scaled throat limits. The NHEK geometry exists because time, radius, and corotating angle are scaled together around a double root; setting $r=r_+$ alone gives no four-dimensional limit.

The family route proceeds to Taub–NUT spacetime, where removing both Misner strings makes time periodic and creates closed timelike curves, then to Plebański–Demiański and the type-D electrovacuum family. The latter organizes rotating, accelerating, NUT-charged, electromagnetically charged, and $\Lambda$-deformed subclasses while warning that canonical polynomial constants are not automatically physical charges.

Checks that recur on every page

Every metric form is accepted only after the coordinate transformation and its domain are stated. Every candidate horizon is tested in a regular chart and by the null generator $\xi+\Omega_H\eta$. Every curvature claim is checked with scalar or frame invariants. Every parameter map is checked by asymptotic normalization or flux. Every limit states what is held fixed and tests a discriminating invariant.

The algebraic check uses a normalized null tetrad with $\ell\cdot n=-1$ and $m\cdot\bar m=1$. The type-D statement concerns root multiplicity of the Weyl tensor and survives tetrad boosts and spins. Individual Newman–Penrose signs do not survive a convention change and must be translated as a complete set.

The metrics and fields, coordinates, algebraic classification, invariants, and limits developed here provide a basis for studying hidden symmetries, uniqueness, black-hole mechanics, stability, formation, and astrophysical observations. Each of those subjects requires further reasoning. Exact membership in a family does not establish that a spacetime is dynamically realized.

Review the chapter

Domain check. For rotating subextremal Kerr, $0<|a|<m$, compare $r_+$ with the outer stationary-limit radius. Then take the Schwarzschild endpoint $a=0$ separately.

Solution

$r_+=m+\sqrt{m^2-a^2}$, while $r_{\mathrm E+}=m+\sqrt{m^2-a^2\cos^2\theta}$. Since $\cos^2\theta\le1$, $r_{\mathrm E+}\ge r_+$. When $a\ne0$, equality requires $\cos^2\theta=1$, so the surfaces meet only on the rotation axis and their separation bounds the outer ergoregion. At $a=0$, both radii equal $2m$ for every $\theta$ and there is no ergoregion.

Invariant check. Why is a finite Kretschmann scalar at $\Delta=0$ necessary but not sufficient to prove a regular horizon?

Solution

Finiteness rules out that particular scalar-curvature blowup, but scalar invariants can miss frame singularities or global defects. One must additionally transform to a nondegenerate horizon-crossing metric, identify a nonzero null normal Killing combination, and check the relevant domain and global causal relation.

Transfer task. A canonical Plebański–Demiański coefficient is labeled $m$. What would justify identifying it with physical mass?

Solution

Choose the physical Lorentzian cell, fix the asymptotic or background time generator and axial period, transform to a finite asymptotic chart, and read the invariant mass from the normalized asymptotic field or an appropriate charge integral. Coordinate rescalings can mix the printed coefficient with acceleration, rotation, and NUT parameters, so its label alone is insufficient.

References

• Boyer, Robert H., and Richard W. Lindquist. “Maximal Analytic Extension of the Kerr Metric.” Journal of Mathematical Physics 8, no. 2 (1967): 265–281. DOI: 10.1063/1.1705193.
• Carter, Brandon. “Global Structure of the Kerr Family of Gravitational Fields.” Physical Review 174, no. 5 (1968): 1559–1571. DOI: 10.1103/PhysRev.174.1559.
• Debney, George C., Roy P. Kerr, and Alfred Schild. “Solutions of the Einstein and Einstein–Maxwell Equations.” Journal of Mathematical Physics 10, no. 10 (1969): 1842–1854. DOI: 10.1063/1.1664769.
• Frolov, Valeri P., Pavel Krtouš, and David Kubizňák. “Black Holes, Hidden Symmetries, and Complete Integrability.” Living Reviews in Relativity 20 (2017): 6. DOI: 10.1007/s41114-017-0009-9; arXiv:1705.05482v3.
• Kerr, Roy P. “Gravitational Field of a Spinning Mass as an Example of Algebraically Special Metrics.” Physical Review Letters 11, no. 5 (1963): 237–238. DOI: 10.1103/PhysRevLett.11.237.