Spherical Black-Hole Perturbations

Perturbations of a spherical black hole become manageable only after three different structures are kept distinct: angular representation, parity, and gauge. Spherical harmonics split the field equations into independent $(\ell,m)$ blocks; parity divides each block into polar and axial sectors; constraints and gauge transformations then reveal the physical amplitudes. This chapter builds that architecture for scalar, electromagnetic, and metric fields on Schwarzschild and Reissner–Nordström backgrounds, including the exceptional monopoles and dipoles that ordinary radiative formulas omit.

Helpful background. PDEs and Green Functions for Gravitation reviews mode projection and hyperbolic equations; Black-Hole Geometry and Mechanics fixes the spherical families and horizons; Formulations of General Relativity distinguishes gauge, constraints, and evolution; Killing Fields and Isometry Groups explains the rotation-group labels and conserved parameter shifts.

Enter the spherical problem

A spherical background is a warped product of a two-dimensional orbit space with the unit sphere,

$$ds^2=g_{ab}(x)\,dx^a\,dx^b+r^2(x)\,d\Omega^2.$$

All nontrivial angular dependence can therefore be expanded in scalar, vector, and tensor harmonics. Rotational invariance prevents different $\ell,m$ sectors from mixing, while parity invariance prevents even and odd sectors from mixing. It does not prevent different fields in the same sector from coupling: on Reissner–Nordström, the background electric field mixes gravitational and electromagnetic amplitudes.

The radiative spin-two construction begins at $\ell=2$. At $\ell=0$ and $1$, vector or trace-free tensor harmonics vanish, projected equations change rank, and divisions by $(\ell-1)(\ell+2)$ are invalid. Those exceptional sectors encode mass, charge, angular momentum, and reference-frame changes rather than gravitational waves. Recognizing that boundary between parameters, gauge, constraints, and radiation is the chapter’s durable goal.

Harmonics, parity, and gauge are different filters

The first filter is representation theory. Normalized $Y^{\ell m}$ diagonalize the sphere Laplacian. Their gradients and orientation-duals generate even and odd vector harmonics; trace-free derivatives generate tensor harmonics. The norms themselves diagnose which low-$\ell$ objects vanish.

The second filter is parity. With the convention used throughout this volume, even objects transform as $(-1)^\ell$ and odd objects as $(-1)^{\ell+1}$. A parity-preserving equation acts separately on the two spaces. “Odd” does not mean imaginary and “even” does not mean electrically charged; the names describe the antipodal transformation of the complete tensor basis.

The third filter is gauge. Metric components in either parity can change under an infinitesimal diffeomorphism. Gauge-invariant combinations are constructed before choosing a convenient representative such as Regge–Wheeler gauge. In vacuum Schwarzschild, constraints then reconstruct nondynamical amplitudes from the one propagating master field in each radiative parity for $\ell\geq2$. This count is not a claim about coupled matter–gravity sectors. Martel and Poisson carry out this covariant separation and the exceptional-mode analysis in Martel and Poisson 2005, arXiv v1, §§ III–V and VIII, pp. 3–7 and 10–12 (PDF).

From test fields to coupled gravity

The scalar and Maxwell examples isolate what belongs to the background rather than to gravitational gauge. Both reduce to one-dimensional wave equations on Schwarzschild. The scalar potential includes an additional $2GM/r^3$ curvature term and admits a radiative monopole. The Maxwell radiative potential begins at the dipole; its monopole is a conserved charge. Their real-frequency Wronskians supply a clean boundary-flux check.

Metric perturbations add diffeomorphism freedom and constraints. The axial sector combines its metric one-form and tensor amplitude into a gauge-invariant curl. The polar sector combines seven component amplitudes into invariant orbit-space data and then eliminates constraints to obtain one master scalar. The next chapter develops the full Regge–Wheeler and Zerilli equations, sources, fluxes, and reconstruction. Here those equations appear only far enough to identify the propagating combination and check its limits.

Charge provides the final comparison. Reissner–Nordström remains spherical and parity invariant, but its nonzero electromagnetic field makes $\delta T^{\mathrm{EM}}$ depend on both metric and Maxwell perturbations. Each parity contains a coupled two-channel system that can be diagonalized. Its neutral limit must recover independent gravitational and Maxwell potentials.

Choose a route

For a first conceptual pass, read the harmonic page, compare scalar and Maxwell low modes, and finish with the low-multipole classification. This route answers why the radiative metric problem starts at $\ell=2$ without requiring every reconstruction formula.

For a calculation route, establish the harmonic normalization, derive both metric parity invariants, compare the charged coupled system, and then use the low-mode proof to test the exceptional cases. Readers heading toward Schwarzschild response should proceed afterward to the Regge–Wheeler/Zerilli chapter. Readers heading toward rotation should instead carry the distinction between component and invariant into Kerr curvature perturbations.

Chapter map

The pages are ordered so that every later gauge or coupling statement uses an already fixed angular convention.

Order	Page	Main result
1	Tensor Harmonics and Parity Decomposition	Normalized scalar, vector, and tensor bases; parity; exceptional norms
2	Scalar and Electromagnetic Perturbations of Schwarzschild	Spin-zero and spin-one potentials, fluxes, and distinct lowest multipoles
3	Odd-Parity Metric Perturbations	Axial gauge invariant, constraint structure, and propagating curl
4	Even-Parity Metric Perturbations	Polar invariants, constraint elimination, and Zerilli–Moncrief field
5	Charged Spherical Black Holes and Coupled Sectors	Einstein–Maxwell mixing, decoupled channels, and neutral-limit test
6	Low Multipoles, Parameter Shifts, and Gauge Modes	Complete Schwarzschild low-mode decomposition; proper gauge and frame data; electric-charge example

General harmonic theory beyond the round sphere is not treated here. Final master-equation technology belongs to the Regge–Wheeler, Zerilli, and Gauge-Invariant Master Variables chapter, while rotating-background separability belongs to Kerr perturbations. Full finite-amplitude evolution remains in Black-Hole Dynamics. These boundaries matter: angular separation alone does not prove stability, completeness, or nonlinear control.

Chapter review

A colleague claims that every $\ell=0$ perturbation is a mass shift and that every $\ell=1$ perturbation is gauge. Diagnose both claims, then state a test that distinguishes a parameter variation from an admissible pure gauge mode.

Solution

The first claim fails for a massless scalar: its $\ell=0$ amplitude obeys a dynamical wave equation with a curvature potential. It also fails in Einstein–Maxwell theory, where a monopole can vary electric charge as well as mass. The second claim fails for the odd metric dipole, which is the linearized angular-momentum direction toward Kerr or Kerr–Newman. A regular Schwarzschild-vacuum even dipole is a smooth coordinate perturbation, but proper gauge removal additionally requires the chosen boundary conditions. In the Poincaré-asymptotic frame sector, both the momentum variation and the initial mass dipole must be fixed to select a resting, centered member.

Differentiate the exact stationary family and compute its asymptotic charge. A mass, charge, or angular-momentum derivative solves the linearized equations and changes the corresponding conserved charge. A proper gauge transformation changes none of those charges and has vanishing radiative invariants. The word “admissible” includes smoothness at the future horizon and preservation of the declared outer falloff; a singular formal generator does not establish gauge equivalence.

References

• Martel, Karl, and Eric Poisson. “Gravitational Perturbations of the Schwarzschild Spacetime: A Practical Covariant and Gauge-Invariant Formalism.” Physical Review D 71 (2005): 104003. DOI. Open PDF, arXiv v1.
• Nagar, Alessandro, and Luciano Rezzolla. “Gauge-Invariant Non-Spherical Metric Perturbations of Schwarzschild Black-Hole Spacetimes.” Classical and Quantum Gravity 22 (2005): R167–R192. arXiv.