Kerr Black Hole

The Kerr family is the two-parameter, asymptotically flat, stationary vacuum black-hole geometry of four-dimensional general relativity. It is the standard isolated rotating endpoint model, but identifying an astrophysical object with Kerr is an inference supported by observations and dynamics, not a consequence of the exact metric alone.

Kerr geometry and parameters

Property	Value
Object class	Exact solution family
Theory	Four-dimensional vacuum general relativity
Parameters	ADM mass $M$ and angular momentum $J=Ma$
Black-hole domain	$M\gt0$ and $\lvert a\rvert\le GM$
Asymptotics	Asymptotically flat
Physical status	Exact vacuum solution; astrophysical endpoint model

Set $m=GM$ and define

$$\Sigma=r^2+a^2\cos^2\theta, \qquad \Delta=r^2-2mr+a^2.$$

In Boyer–Lindquist coordinates,

$$\begin{aligned} ds^2={}&-\left(1-\frac{2mr}{\Sigma}\right)dt^2 -\frac{4mar\sin^2\theta}{\Sigma}\,dt\,d\phi +\frac{\Sigma}{\Delta}dr^2+\Sigma d\theta^2\\ &+\sin^2\theta\left(r^2+a^2+\frac{2ma^2r\sin^2\theta}{\Sigma}\right)d\phi^2. \end{aligned}$$

Here $a$ has dimensions of length. The metric was introduced by Kerr 1963, complete article, printed pp. 237–238; Boyer–Lindquist coordinates expose its stationary and axial symmetries but are not regular at the horizons.

Horizons, ergoregion, and regularity

The roots of $\Delta$ are

$$r_\pm=m\pm\sqrt{m^2-a^2}.$$

For $0\lt\lvert a\rvert\lt m$, $r_+$ is the outer event horizon and $r_-$ an inner Cauchy horizon. At the static endpoint $a=0$, $r_-=0$ lies on the Schwarzschild curvature singularity and is not an inner horizon. At $\lvert a\rvert=m$ the two positive roots merge into a degenerate extremal horizon. When $\lvert a\rvert\gt m$, no real horizon exists and the Kerr ring singularity is naked: the formula remains an exact vacuum solution, but it is superextremal and not a black hole.

The stationary-limit surface solves $g_{tt}=0$:

$$r_{\mathrm{s}}(\theta)=m+\sqrt{m^2-a^2\cos^2\theta}.$$

For $a\ne0$, between this surface and $r_+$ lies the ergoregion, where $\partial_t$ is spacelike although the horizon generator

$$\chi=\partial_t+\Omega_H\partial_\phi, \qquad \Omega_H=\frac{a}{r_+^2+a^2}$$

is null on the horizon. At $a=0$, the stationary limit coincides with $r_+$ at every angle and no ergoregion remains. Ingoing Kerr coordinates remove the Boyer–Lindquist divergence at regular horizon roots of $\Delta=0$. On the rotating branch $a\ne0$, the genuine curvature singularity is $\Sigma=0$, corresponding to the ring $r=0$, $\theta=\pi/2$ in the analytic extension. At $a=0$, it is instead the Schwarzschild central singularity at $r=0$.

Mechanics, separability, and dynamics

With the asymptotic time normalization,

$$A_H=4\pi(r_+^2+a^2), \qquad \kappa=\frac{r_+-r_-}{2(r_+^2+a^2)}.$$

They obey

$$dM=\frac{\kappa}{8\pi G}\,dA_H+\Omega_H\,dJ.$$

Extremality sends $\kappa\to0$ while $A_H\to8\pi m^2$. It does not make the horizon singular, although the throat and perturbation limits are nonuniform.

Kerr admits a rank-two Killing tensor, so geodesic Hamilton–Jacobi motion separates and has the Carter constant. Massless field equations also separate in an adapted principal tetrad. Carter 1968, §§ 4–5, printed pp. 291–305 established the separable structure, while Teukolsky 1973, § 4, eqs. (4.7)–(4.10) derived the master equation for spins $0$, $1/2$, $1$, and $2$. Superradiant scattering occurs for appropriate bosonic modes with $0\lt\omega\lt m_\phi\Omega_H$; amplification alone is not an instability without confinement or a bound state.

Invariant parameters and physical diagnostics

The dimensionless spin is

$$a_\ast=\frac{J}{GM^2}=\frac{a}{m}.$$

The exact black-hole condition is $\lvert a_\ast\rvert\le1$. ADM surface charges determine $M$ and $J$ at infinity, while the same parameters control the discriminant of $\Delta$; agreement between the charge normalization and the horizon roots is a strong check. The inequality applies to stationary Kerr members. It does not assert that every arbitrary rotating matter configuration must satisfy a Kerr bound at every stage of an evolution.

On the rotating subextremal branch $0\lt\lvert a\rvert\lt m$, the inner root is a Cauchy horizon, not a second exterior event horizon. It is smooth in the analytic stationary metric, but infalling perturbations can be infinitely blueshifted there. The maximally extended diagram should therefore not be read as a stable prediction for a realistic interior. Closed timelike curves in deeper analytic regions likewise do not characterize the regular domain of outer communications.

Astrophysical applications add finite-time dynamics and matter. A disk selects orbital observables, plasma supplies electromagnetic stress, and a companion destroys exact axisymmetry. Treating these effects perturbatively can be highly accurate, but it changes the question from exactness to an error-controlled approximation in a stated spacetime region. Observational agreement with Kerr constrains modeled departures; it does not directly prove all global vacuum uniqueness hypotheses.

Controlled limits

Nonrotating limit. At fixed $M$, taking $a\to0$ gives $\Sigma\to r^2$, $\Delta\to r(r-2m)$, $r_+\to2m$, and exactly the Schwarzschild metric. The lower root tends to $r_-=0$, the central curvature singularity rather than a horizon; the rotating ring correspondingly becomes the central singular locus. The ergoregion disappears, $\Omega_H\to0$, and $A_H\to16\pi m^2$.

Extremal limit. Taking $a\to\pm m$ from the black-hole side merges the roots and sets $\kappa=0$. A simultaneous scaling of $r-m$ and $t$ yields the near-horizon extremal Kerr geometry; direct substitution alone does not isolate that throat.

Weak-field limit. For $r\gg m,\lvert a\rvert$, the $1/r$ part of $g_{tt}$ fixes $M$, while the leading $g_{t\phi}$ term fixes $J$. This checks that $a=J/M$, not the angular momentum itself.

The superextremal continuation is another parameter regime, not a controlled black-hole limit. Its absent horizon and naked singularity sharply separate exact solution status from black-hole status.

Connections to the detailed theory

Kerr describes vacuum outside an idealized stationary object. Accretion, electromagnetic fields, companions, and transient dynamics are perturbations or different solutions. Coordinate forms and parameter translations are developed in Kerr Metric Forms and Parameters. The root, ergoregion, and mechanics data are treated in Kerr Horizon and Ergoregion Anatomy. Separated perturbations are derived in Derivation of the Teukolsky Equation.

References

• Carter, Brandon. “Hamilton–Jacobi and Schrödinger Separable Solutions of Einstein’s Equations.” Communications in Mathematical Physics 10 (1968): 280–310. DOI.
• Kerr, Roy P. “Gravitational Field of a Spinning Mass as an Example of Algebraically Special Metrics.” Physical Review Letters 11 (1963): 237–238. DOI.
• Teukolsky, Saul A. “Perturbations of a Rotating Black Hole. I. Fundamental Equations for Gravitational, Electromagnetic, and Neutrino-Field Perturbations.” Astrophysical Journal 185 (1973): 635–647. DOI.