Kerr–Newman Horizon Data

Kerr–Newman packages the equilibrium horizon into a small set of quantities that are ready for black-hole mechanics: the two algebraic radial roots, generator, angular velocity, electric potential, area, and surface gravity. Their formulas are mutually constrained. A reliable presentation must therefore state the Maxwell normalization and gauge, retain $G$, and recover Kerr, Reissner–Nordström, Schwarzschild, and the extremal limit without changing conventions between lines.

Helpful background. Exact Solutions of Einstein’s Equations supplies the full Einstein–Maxwell solution; Causality and Global Structure supplies the global horizon interpretation; The Einstein Equation fixes the field equations; Killing Fields and Isometry Groups supplies the stationary and axial generators; and Black-Hole Geometry and Mechanics orients the mechanics quantities.

Parameters and the horizon equation

Work in four-dimensional, asymptotically flat Einstein–Maxwell theory with Maxwell Lagrangian density $-F_{\mu\nu}F^{\mu\nu}/4$ and electric charge $Q=\int_{S^2_\infty}*F$. Let $M\gt0$ be the physical mass, $J$ the angular momentum, and

$$a\equiv\frac{J}{M}, \qquad q^2\equiv\frac{GQ^2}{4\pi}.$$

Both $a^2$ and $q^2$ have dimensions of length squared. In Boyer–Lindquist-type coordinates the horizon polynomial is

$$\Delta(r)=r^2-2GMr+a^2+q^2 =(r-r_+)(r-r_-),$$

with roots

$$r_\pm=GM\pm\sqrt{G^2M^2-a^2-q^2}.$$

The black-hole regime requires

$$G^2M^2\ge a^2+q^2.$$

Strict inequality together with $a^2+q^2\gt0$ gives two distinct Killing horizons. At the joint neutral, nonrotating endpoint $(a,q)=(0,0)$, the roots are $r_+=2GM$ and $r_-=0$; the lower root is the Schwarzschild central curvature singularity, not a horizon. Equality gives a double, degenerate horizon. If the inequality is violated, the exact Kerr–Newman member has no horizon; this algebraic statement does not establish the outcome of a nonlinear attempt to overcharge or overspin a dynamical black hole.

The root identities

$$r_++r_-=2GM, \qquad r_+r_-=a^2+q^2$$

are the quickest way to check every expression that follows. They also avoid repeated square roots in mechanics calculations.

Generator, angular velocity, and potential

Normalize the stationary Killing field $\xi=\partial_t$ to unit time translation at infinity and the axial field $\psi=\partial_\phi$ to have $2\pi$-periodic orbits. The future outer horizon is generated by

$$\chi=\xi+\Omega_H\psi, \qquad \Omega_H=\frac{a}{r_+^2+a^2}.$$

Charge changes $\Omega_H$ indirectly through $r_+$; it does not add a new spacetime symmetry. Reversing $J$ reverses both $a$ and $\Omega_H$ while leaving the algebraic radial roots unchanged.

A gauge potential regular up to a horizon gauge transformation can be written outside the hole as

$$A=-\frac{Qr}{4\pi\Sigma} \left(dt-a\sin^2\theta\,d\phi\right), \qquad \Sigma=r^2+a^2\cos^2\theta.$$

Although the components depend on $\theta$, contraction with the generator on $r=r_+$ is constant. Taking the gauge to vanish at infinity gives the horizon-to-infinity potential difference

$$\Phi_H=-\chi^\mu A_\mu\big|_{r_+} =\frac{Qr_+}{4\pi(r_+^2+a^2)}.$$

Adding a gauge constant changes $-\chi\cdot A$ at each boundary, but not the potential difference once the reference at infinity is fixed. Reversing $Q$ reverses $\Phi_H$ while leaving the geometry unchanged.

Area and surface gravity

The induced area element on a horizon cross-section integrates to

$$\mathcal A_H=4\pi(r_+^2+a^2).$$

The alternative form

$$\mathcal A_H=4\pi(2GMr_+-q^2)$$

follows directly from $\Delta(r_+)=0$ and is useful when comparing fixed mass and charge. For the generator normalized above, the surface gravity is

$$\kappa_H=\frac{r_+-r_-}{2(r_+^2+a^2)}.$$

Its dimensions are inverse length, while $\Omega_H$ also has dimensions of inverse length and $\Phi_HQ$ has dimensions of mass. The numerator of $\kappa_H$ shows immediately that the degenerate limit has zero surface gravity. This is a statement about the classical Killing horizon, not yet a quantum temperature claim.

These quantities enter the stationary Einstein–Maxwell mass and variation formulas derived in Bardeen, Carter, and Hawking 1973, pp. 162–166. With the charge convention used here, the algebraic Smarr relation is

$$M=\frac{\kappa_H\mathcal A_H}{4\pi G} +2\Omega_HJ+\Phi_HQ.$$

This relation is more than a mnemonic: it tests simultaneously the normalizations of $\chi$, $Q$, $A$, and $G$.

Which horizon data require a reference choice

The horizon hypersurface and its cross-section area are geometric once the Kerr–Newman spacetime and asymptotic end are fixed. Their Boyer–Lindquist coordinate labels are convenient representatives, not additional observables. The null generator, by contrast, can be multiplied by a constant. Surface gravity scales by that same constant, so its quoted value becomes definite only after $\xi$ is normalized as unit time translation at infinity.

Angular velocity also compares two normalized symmetries. Its sign depends on the orientation chosen for the $2\pi$-periodic axial field, and its value is measured relative to the nonrotating asymptotic frame. Asymptotic flatness provides that preferred frame here. In anti-de Sitter applications, choosing a rotating rather than nonrotating frame at infinity changes the bookkeeping and must be stated explicitly.

The electromagnetic potential is more delicate in a different way. The one-form $A$ can be shifted by a gauge transformation, but the potential difference between the horizon and infinity is fixed after the boundary gauge is specified. Charge itself depends on the normalization of the Maxwell action and flux integral. This is why importing a Kerr–Newman formula from a source without translating its factors of $4\pi$ can spoil the first law while leaving the uncharged limit apparently correct.

The exact-spacetime and Atlas pages use Gaussian variables. Their complete Gaussian-to-rationalized Maxwell map preserves the geometric charge parameter, probe energy, and first-law work term; rescaling only the printed $Q$ does not.

The minimal mechanics data are therefore redundant by design. The roots obey two polynomial identities, the generator fixes $\Omega_H$, the pullback fixes $\mathcal A_H$, and differentiation at the root fixes $\kappa_H$. Agreement with Smarr then cross-checks all of them. Treating the entries as unrelated numbers would discard the strongest available error test.

Four discriminating limits

Setting $Q=0$ gives Kerr: $r_\pm=GM\pm\sqrt{G^2M^2-a^2}$ and $\Phi_H=0$. Setting $a=0$ gives Reissner–Nordström:

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

Setting both $a$ and $Q$ to zero gives $r_+=2GM$, $\mathcal A_H=16\pi G^2M^2$, and $\kappa_H=1/(4GM)$. These are the Schwarzschild values, while the formal lower root collapses to the singular endpoint $r=0$.

At extremality,

$$r_+=r_-=GM, \qquad a^2+q^2=G^2M^2, \qquad \kappa_H=0.$$

Area, angular velocity, and potential remain finite but depend on how the extremal bound is divided between spin and charge. Extremality is therefore a surface in $(M,J,Q)$ parameter space, not a single geometry.

Visser’s Kerr analysis provides an independent check of the neutral rotating limit in Visser 2009, §§9–11. The charged formulas must be reduced to that limit after translating his geometrized mass parameter to $GM$.

Derive the Smarr identity from the roots

Use only $r_++r_-=2GM$, $r_+r_-=a^2+q^2$, and the horizon data above to prove the Smarr relation. Why is this a stronger normalization check than verifying the Schwarzschild limit alone?

Solution

Let $D=r_+^2+a^2$. Multiplying the three terms on the right-hand side by $G$ gives

$$\frac{r_+-r_-}{2} +\frac{a^2(r_++r_-)}{D} +\frac{q^2r_+}{D}.$$

The last two numerators combine as

$$a^2(r_++r_-)+q^2r_+ =r_+(a^2+q^2)+a^2r_- =r_-D,$$

where $a^2+q^2=r_+r_-$ was used. The sum is therefore $(r_+-r_-)/2+r_-=(r_++r_-)/2=GM$, proving the identity.

The Schwarzschild limit eliminates both work terms, so it cannot detect a relative error in $\Omega_HJ$ or $\Phi_HQ$. The full identity keeps rotation and charge active and hence checks the coefficients and charge normalization independently.

Intrinsic Geometry of Horizon Cross-Sections next asks what the two-dimensional metric reveals beyond total area.

References

• Bardeen, James M., Brandon Carter, and Stephen W. Hawking. “The Four Laws of Black Hole Mechanics.” Communications in Mathematical Physics 31 (1973): 161–170. 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.