Principal Killing-Yano Geometry

Kerr’s separability can be organized by a single antisymmetric tensor: the principal closed conformal Killing–Yano two-form. Its eigenplanes select the canonical radial and angular coordinates, its Hodge dual generates the Carter Killing tensor, and its higher-dimensional wedge powers generate an entire commuting symmetry tower. The construction is local and geometric; it does not assert global completeness or stability of the spacetime.

Required background. Killing Fields and Isometry Groups supplies isometries and their conserved quantities; Affine and Variational Geodesics supplies the geodesic integrals generated below.

Helpful background. Einstein’s Equation fixes the vacuum setting; The Riemann Curvature Tensor supplies covariant-derivative conventions; Exact Solutions of Einstein’s Equations supplies the Kerr family; Frames, Coframes, and Anholonomy supplies orthonormal coframes and Hodge duality.

Defining the principal tensor

A two-form $h_{ab}=h_{[ab]}$ is a closed conformal Killing–Yano form when

$$dh=0, \qquad \nabla_c h_{ab}=2g_{c[a}\xi_{b]}, \qquad \xi_b=\frac{1}{D-1}\nabla^a h_{ab}.$$

The factor in the last equation follows from the displayed antisymmetrization convention. It is principal when it has maximal rank and functionally independent eigenvalues on a generic region. Degeneracy on an axis or special hypersurface does not erase the tensor, but canonical coordinates built from its eigenvalues may fail there.

In a principal orthonormal coframe for four-dimensional Kerr, one may choose the overall sign and orientation so that

$$h=r\,e^0\wedge e^1+a\cos\theta\,e^2\wedge e^3.$$

The coefficients reveal the two nonconstant eigenvalues underlying the Boyer–Lindquist variables $r$ and $\theta$. Substituting the Kerr connection one-forms into the defining equation checks the claim independently; merely recognizing the displayed algebraic form is insufficient. The systematic construction is given in Frolov, Krtouš, and Kubizňák 2017, §§2.3 and 5.1–5.2, pp. 22–28 and 91–104, Open PDF.

From one form to conserved tensors

In four dimensions the Hodge dual

$$f=*h$$

is an ordinary Killing–Yano two-form: $\nabla_{(a}f_{b)c}=0$. Squaring it gives

$$K_{ab}=f_{ac}f_b{}^c,$$

which obeys $\nabla_{(a}K_{bc)}=0$. Consequently $K_{ab}u^au^b$ is conserved along affinely parametrized geodesics and reproduces the Carter integral up to combinations of the mass shell, energy, and axial angular momentum.

The principal tensor also determines its associated vector $\xi^a$. For Kerr–NUT–(A)dS metrics satisfying the Einstein equation, this vector is Killing and is the primary stationary generator in canonical coordinates. Contracting appropriate Killing tensors with $\xi^a$ yields further commuting Killing vectors. In $D=2n+\varepsilon$ dimensions, wedge powers $h^{\wedge j}$, their Hodge duals, and their squares generate $n$ mutually commuting rank-two tensors and $n+\varepsilon$ Killing vectors. These provide enough independent involutive integrals for complete geodesic integrability on the generic phase-space region.

This hierarchy is stronger than Petrov type D alone. Algebraic speciality aligns principal null directions but does not, without additional differential identities, guarantee a nondegenerate closed conformal Killing–Yano tensor. Conversely, the existence of a principal tensor constrains the local canonical metric even before the field equations are imposed. Imposing the vacuum Einstein equation with cosmological constant then restricts the free single-variable functions to the Kerr–NUT–(A)dS family under the standard nondegeneracy hypotheses.

What the geometry explains

The principal tensor unifies three facts that otherwise look unrelated. First, its eigenvalues supply preferred separation coordinates. Second, its Killing-tensor square produces the fourth geodesic integral. Third, differential operators built from the symmetry tower commute with the scalar wave operator, explaining multiplicative separation of fields. For spinors, the Killing–Yano form enters a first-order Dirac symmetry operator; Maxwell separation requires additional care and field representations.

Two checks delimit the claim. In the limit $a\to0$, the angular eigenvalue collapses and the tensor becomes degenerate even though Schwarzschild geodesics remain integrable because spherical symmetry adds ordinary Killing vectors. Thus principal nondegeneracy is sufficient here, not necessary for integrability. Under a generic stationary-axisymmetric deformation, the two manifest Killing vectors may survive while the conformal Killing–Yano equation fails; Carter-type separation can then disappear. The equation, not visual resemblance to Kerr coordinates, is the discriminant.

Exercise

Show directly that the square of a Killing–Yano two-form is a Killing tensor.

Solution

Let $K_{ab}=f_{ac}f_b{}^c$ and use $\nabla_af_{bc}+\nabla_bf_{ac}=0$. Differentiating $K_{bc}$ gives two terms. In the cyclic sum over $a,b,c$, move the derivative index past the first index of each $f$ with the Killing–Yano equation. Terms then cancel pairwise, yielding $\nabla_{(a}K_{bc)}=0$. Symmetry of $K_{ab}$ follows from antisymmetry of $f_{ab}$ with one index raised.

References

• 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.