Test Fields on Black-Hole Backgrounds

A black-hole exterior is simultaneously a curved propagation medium, a one-way absorbing boundary, and—when rotating—a system with an ergoregion. Test fields isolate those structures before the geometry itself is perturbed. This chapter develops scalar, electromagnetic, spinor, massive-vector, and short-wavelength fields on fixed stationary backgrounds, follows their conserved currents to the future horizon and outer boundary, and ends with the energy estimates needed to turn mode intuition into a stability statement. Its unifying question is not merely whether an equation separates, but which field variable, boundary condition, and flux make the resulting solution physical.

Helpful background. Black-Hole Geometry and Mechanics supplies horizon generators, ergoregions, and stationary backgrounds; PDEs and Green Functions for Gravitation supplies characteristics, boundary problems, and conserved currents; Formulations of General Relativity supplies constraints and hyperbolic energy methods; Frames, Coframes, and Anholonomy supplies the frame language needed for spinors and polarization.

Fixed backgrounds as field laboratories

A test field is varied while the metric $g_{\mu\nu}$ is held fixed. Its stress–energy may be calculated, but it is not placed on the right-hand side of Einstein’s equation. This approximation separates two questions that otherwise interact: how geometry directs and scatters a field, and how the field changes geometry. The first belongs here. Metric backreaction and coupled gravitational perturbations begin in later chapters.

The recurring scalar example makes the structure visible. On Schwarzschild, with $m_{\mathrm{BH}}=GM$ and $f=1-2m_{\mathrm{BH}}/r$, a mode of $(\Box-\mu^2)\Phi=0$ reduces to

$$\left[\frac{d^2}{dr_*^2}+\omega^2-V_\ell(r)\right]\psi_{\ell m_z}=0, \qquad V_\ell=f\left[ \frac{\ell(\ell+1)}{r^2}+\frac{2m_{\mathrm{BH}}}{r^3}+\mu^2 \right].$$

One formula already contains the chapter’s main themes. Angular separation produces a centrifugal barrier; curvature produces $2m_{\mathrm{BH}}/r^3$; field mass changes the outer threshold; the factor $f$ makes the near-horizon equation locally free in $r_*$; and, at real frequency, the conserved radial Wronskian compares horizon and infinity fluxes. On Kerr, the horizon wave number changes from $\omega$ to $\omega-m_z\Omega_H$, tying boundary flux to the horizon generator rather than to coordinate time alone.

The field-specific variables differ, but the workflow repeats: state the background and local conventions, identify constraints and gauge freedom, separate only when justified, impose regular future-horizon data, normalize the outer behavior, reconstruct a conserved current, and check a flat, static, massless, or eikonal limit.

Six stages through the chapter

The pages are ordered so that each adds one complication without discarding the preceding checks.

1. Scalar Fields and Effective Potentials derives Schwarzschild and Kerr separation, the scalar potential, Wronskian flux, horizon behavior, and massive threshold. It provides the common radial-scattering example.
2. Maxwell Fields and Gauge-Invariant Radiation replaces the potential by gauge-invariant field strengths, parity master variables, and radiative Newman–Penrose components, then matches master flux to electromagnetic stress–energy.
3. Dirac Fields and Horizon Flux shows why tetrad and spin-connection choices are part of the calculation. A horizon-regular frame makes the conserved future-directed Dirac current—and the absence of classical Dirac superradiance—transparent.
4. Massive Vector and Higher-Spin Test Fields compares Proca, massive spin-two, and higher-spin systems by constraint closure, physical polarizations, hyperbolicity, separability, and boundary problem. It separates established Proca results from open generic higher-spin claims.
5. Geometric-Optics and Eikonal Propagation derives null rays, amplitude conservation, polarization transport, caustic failure, and the Schwarzschild photon sphere from the short-wavelength hierarchy.
6. Energy Estimates and Test-Field Stability leaves mode-by-mode intuition for physical-space currents. Killing, redshift, Morawetz, and asymptotic multipliers identify exactly what boundedness and integrated decay require.

This order matters. A separated equation without its reconstructed current can have the wrong flux normalization; a conserved current without a coercive energy can miss a horizon derivative; and a high-frequency orbit without the wave boundary problem cannot define a resonance.

Reader routes

For a first scattering calculation, read the scalar page, then Maxwell, and finish with geometric optics. This route develops an effective potential, derives reflection and transmission from a current, and explains why the large-$\ell$ barrier peaks at the unstable photon orbit.

For rotating-hole flux, begin with the scalar horizon frequency, compare Maxwell’s stress–energy flux with the Dirac number current, and then read the massive-vector comparison. The central diagnostic is always the same: reconstruct the physical current rather than inferring its sign from a bare mode amplitude. Brito, Cardoso, and Pani provide the scalar/vector superradiant regimes and their boundaries Brito, Cardoso, and Pani 2020, §§4.7 and 5.6, pp. 57–68 and 103–128.

For PDE stability, read the scalar page for the model potential, geometric optics for trapping, and energy estimates for the multiplier proof. This route distinguishes mode stability from boundedness, integrated local-energy decay, and pointwise decay. Dafermos and Rodnianski develop the Schwarzschild redshift and Morawetz architecture in Dafermos and Rodnianski 2013, §§ 3–4.

For spin and hidden symmetry, read Maxwell and Dirac before the massive/higher-spin page. The comparison then has a baseline: electromagnetic gauge freedom, tetrad gauge covariance, derived massive constraints, and completeness of a separation ansatz are four different issues.

Recurring distinctions and checks

Several distinctions recur because confusing them changes the physics.

Potential versus observable. An effective radial potential depends on field rescaling and coordinate choice. A boundary-normalized flux ratio, conserved charge, or reconstructed stress–energy flux is the physical check.

Electromagnetic gauge versus tetrad gauge. $A_\mu\mapsto A_\mu+\nabla_\mu\Lambda$ leaves $F_{\mu\nu}$ unchanged. A local Lorentz rotation changes tetrad components and spinor representatives together. Neither is identical to diffeomorphism gauge in metric perturbation theory.

Regularity versus component finiteness. Schwarzschild coordinates and a static orthonormal frame are singular at the future horizon. Regularity must be evaluated in horizon-penetrating coordinates and a regular frame. Finite invariant currents are necessary checks, not sufficient evidence that the full field and its derivatives are smooth.

Conservation versus coercivity. For the massless scalar example, the Schwarzschild time-translation energy is nonnegative but degenerates where the Killing field becomes null. A redshift multiplier restores transversal control. On Kerr, the scalar stationary Killing energy is also indefinite in the ergoregion. Dirac number-current positivity is a different property; it does not imply pointwise positivity of the Dirac stress tensor.

Geometric optics versus the full wave. Null geodesics follow from the leading principal symbol. Amplitude and polarization require the next order, while caustics, turning points, finite multipoles, and boundary spectra require more than a ray picture.

Classical field versus quantum particle. A positive-frequency classical mode does not select a quantum state or observer-independent particle number. Vacuum choice, particle creation, and Hawking quanta belong to QFT in Curved Spacetime, not to this chapter’s classical test-field fluxes.

Independent checks should be deliberately redundant. The scalar potential must have the correct dimensions and flat limit. Maxwell parity potentials must agree under duality. The Dirac current must be conserved in spacetime; its separated radial flux is constant at real frequency, while a complex mode also has a time-dependent density. Proca must retain three finite-mass polarizations. Eikonal transport must preserve $A^2\mathcal A$. A proposed decay estimate must reveal its horizon and trapping degeneracies.

What this chapter establishes

After an appropriate route, a reader should be able to reduce a classical test equation on Schwarzschild to a physical radial problem; state Kerr horizon and outer boundary conditions with the $e^{-i\omega t}$ convention; distinguish electromagnetic, tetrad, and constraint structures; compute or diagnose conserved number and energy fluxes; derive the leading null-ray and amplitude equations; and explain which multiplier controls each region of a black-hole exterior.

The chapter does not claim metric stability from test-field behavior. It does not treat charged-background electromagnetic–gravitational coupling, reconstruct a metric from curvature variables, calculate nonlinear endpoints, or assign quantum particles to a classical mode. The higher-spin comparison is deliberately conditional on background and formulation, and its evidence status is dated where the literature remains unsettled.

Teukolsky’s classic separation supplies a common rotating-background reference, but it uses the opposite metric signature; the tetrad products, differential operator, and flux formulas must be translated together Teukolsky 1973, §§II–VI, pp. 637–647. A sign copied in isolation is not a convention translation.

Chapter review

Consider a massless field incident from infinity on a Schwarzschild black hole. A calculation produces a radial equation with a real potential, a reflection amplitude $R$, and a horizon amplitude $T_H$. A colleague then makes four claims: (i) $|R|^2+|T_H|^2=1$ for every spin and normalization; (ii) a divergent static-frame component proves the field is singular at the horizon; (iii) the photon sphere proves an exact quasinormal frequency at finite $\ell$; and (iv) conserved time-translation energy proves uniform control of every first derivative at the horizon. Diagnose each claim and give the correct sequence of checks.

Solution

First reconstruct the conserved current appropriate to the field. For the scalar second-order equation it is a Wronskian; for Maxwell it must agree with stress–energy flux; for Dirac it is a first-order number current, with energy obtained separately from stress–energy. Reflection and transmission coefficients include wave-number, group-velocity, harmonic, and field-normalization factors. The unweighted amplitude identity in claim (i) holds only in a normalization where those factors match.

Next transform to a horizon-penetrating chart and a regular tetrad. A static frame undergoes an infinite boost at the horizon, so claim (ii) mistakes a basis singularity for a field singularity. Check finite invariant currents, regular reconstructed tensors or spinor bilinears, and the purely ingoing future-horizon characteristic.

For large $\ell$, the leading Schwarzschild barrier $\ell(\ell+1)f/r^2$ peaks at $r=3GM$, matching the unstable null orbit. This controls a leading eikonal approximation, but an exact quasinormal mode also depends on subleading potential terms and global ingoing/outgoing boundary conditions. Claim (iii) is therefore an asymptotic statement promoted beyond its regime.

Finally, in the massless scalar example the stationary Killing field becomes null at the horizon. Its conserved energy is nonnegative but degenerate, so claim (iv) lacks control of a transversal derivative. The scalar proof combines a horizon-transverse redshift multiplier, a radial Morawetz multiplier that degenerates at trapping, and asymptotic weighted currents under the data, foliation and boundary hypotheses stated in Energy Estimates and Test-Field Stability. This is not a spin-independent positivity argument. For Dirac, the positive conserved norm and its horizon absorption must be distinguished from Hilbert energy; neither conservation alone nor the scalar multiplier proof supplies the claimed derivative estimate.

References

• Brito, Richard, Vitor Cardoso, and Paolo Pani. Superradiance: New Frontiers in Black Hole Physics. Lecture Notes in Physics 971. Cham: Springer, 2020. DOI.
• Dafermos, Mihalis, and Igor Rodnianski. “Lectures on Black Holes and Linear Waves.” In Evolution Equations, Clay Mathematics Proceedings 17, 97–205. Providence: American Mathematical Society, 2013. Open PDF.
• Rosa, João G., and Sam R. Dolan. “Massive Vector Fields on the Schwarzschild Spacetime: Quasinormal Modes and Bound States.” Physical Review D 85 (2012): 044043. DOI. Open PDF.
• 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.