Hidden Symmetries and Separability

Kerr’s explicit metric displays only stationarity and axisymmetry, yet its geodesic and several field equations separate completely. The missing structure is hidden in Killing tensors and Killing–Yano forms. This chapter builds that geometry from the Hamilton–Jacobi equation, follows it into scalar, Dirac, and Maxwell operators, and then asks exactly what survives when the background is deformed.

Helpful background. Einstein’s Equation fixes the vacuum background; The Riemann Curvature Tensor supplies curvature identities; Killing Fields and Isometry Groups supplies ordinary symmetries; Affine and Variational Geodesics supplies Hamiltonian geodesic motion; Exact Solutions of Einstein’s Equations locates Kerr within the volume; and Frames, Coframes, and Anholonomy supplies the principal frames used for spin fields.

Enter the chapter

An ordinary Killing vector $\xi^a$ gives a momentum integral linear in $p_a$. Kerr has two such manifest quantities,

$$E=-p_t, \qquad L_z=p_\phi.$$

They are not enough for generic four-dimensional geodesic integrability. The additional integral is quadratic,

$$K=K^{ab}p_ap_b, \qquad \nabla_{(a}K_{bc)}=0,$$

and cannot be reduced to Kerr’s metric and two Killing vectors. Its geometric source is a principal closed conformal Killing–Yano two-form $h$; in four dimensions, the Hodge dual $f=*h$ is Killing–Yano and its square gives the Carter tensor. This one structure simultaneously selects separation coordinates and organizes commuting differential operators.

The tensor hierarchy, its conserved quantities, and the separated Hamilton–Jacobi, Klein–Gordon, and Dirac equations are developed together in Frolov, Krtouš, and Kubizňák 2017, §§2.2–2.3 and 6.1–6.5, pp. 17–28 and 117–133, Open PDF. Those results fix the chapter’s geometric scope; individual boundary-value or perturbative claims require additional hypotheses.

The claims have a precise boundary. Hidden symmetry concerns exact differential identities on a fixed background. It does not choose boundary conditions for a spectral problem, prove completeness of separated modes, include radiation reaction, or imply that a deformed stationary metric remains integrable.

A route through the calculations

Start with Hamilton–Jacobi Separation in Kerr. It exposes the additive $r$–$\theta$ structure of $\Sigma g^{ab}$ and fixes the convention

$$K=Q+(L_z-aE)^2.$$

That equation matters because different authors attach the name “Carter constant” to $Q$ or $K$. The radial and polar potentials make every later comparison unambiguous.

The Carter Constant then converts the separated quantity into the invariant contraction of a rank-two Killing tensor. Its direct conservation proof is the shortest test of the symmetrization and affine-geodesic conventions. It also explains why $Q=0$ on an equatorial orbit does not mean every convention for the Carter constant vanishes there.

Principal Killing–Yano Geometry factors the quadratic tensor through an antisymmetric form. The eigenvalues of the principal tensor define the canonical radial and angular variables on a generic region. In higher dimensions, its wedge powers and duals create a symmetry tower; in the Schwarzschild limit, nondegeneracy is lost but enhanced rotational isometry preserves integrability by a different mechanism.

With the geometry established, Scalar-Wave Separation shows how $e^{-i\omega t+im\phi}$ reduces the Klein–Gordon equation to spheroidal angular and radial equations. The page states local horizon and infinity behaviors only to fix signs. Quasinormal modes and Green functions remain separate boundary-value constructions.

Dirac and Maxwell Separability moves to a principal null tetrad. The Killing–Yano form supplies a first-order Dirac symmetry operator, while extreme Maxwell tetrad components satisfy the spin-$\pm1$ Teukolsky equations on vacuum Kerr. Frame weights, gauge reconstruction, exceptional modes, and the coupling of gravitational and electromagnetic perturbations on Kerr–Newman prevent an indiscriminate “all fields separate” claim.

Finally, Integrability, Resonance, and Symmetry Breaking distinguishes exact resonance on an intact invariant torus from resonant island chains after a generic perturbation. It places numerical phase-space indicators below the geometric question: does a deformed Killing tensor or principal form actually solve its overdetermined equation?

The common independent checks

Every page can be tested without trusting the separation ansatz alone:

1. Differentiate $K^{ab}p_ap_b$ along an affine geodesic and reduce the result to $\nabla_{(a}K_{bc)}$.
2. Square the Killing–Yano form and verify the rank-two Killing equation.
3. Substitute the scalar product ansatz into $\Box\Phi-\mu_s^2\Phi=0$ and ensure no mixed $r$–$\theta$ remainder survives.
4. Take $a\to0$: spheroidal harmonics must become spherical harmonics and the hidden angular integral must reduce to total angular momentum, modulo manifest constants.
5. For a proposed deformation, solve the linearized Killing-tensor equation before interpreting a Poincaré section.

These checks separate coordinate convenience from invariant structure. Petrov type D is strongly associated with separation in the classical families, but algebraic speciality alone is not a replacement for the relevant Killing–Yano or operator identity.

Check your understanding

Suppose a stationary-axisymmetric metric admits $E$, $L_z$, and the mass-shell integral, and a numerical orbit looks quasiperiodic. Does that establish a Carter constant?

Solution

No. Quasiperiodic motion in one sampled region is compatible with an exactly integrable system, a surviving nonresonant torus of a nonintegrable perturbation, or an integration interval too short to reveal a chaotic layer. A Carter-type quadratic integral requires a tensor $K_{ab}$ satisfying $\nabla_{(a}K_{bc)}=0$ and functional independence from the manifest integrals. The tensor equation, followed by Poisson-commutation and independence checks, establishes the geometric claim.

References

• Carter, Brandon. “Global Structure of the Kerr Family of Gravitational Fields.” Physical Review 174 (1968): 1559–1571. DOI.
• Frolov, Valeri P., Pavel Krtouš, and David Kubizňák. “Black Holes, Hidden Symmetries, and Complete Integrability.” Living Reviews in Relativity 20 (2017): 6. DOI; Open PDF.
• Walker, Martin, and Roger Penrose. “On Quadratic First Integrals of the Geodesic Equations for Type {22} Spacetimes.” Communications in Mathematical Physics 18 (1970): 265–274. DOI.