Skip to content

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

Energy and axial angular momentum come from Kerr’s two Killing vectors, but they do not completely integrate four-dimensional geodesic motion. The missing first integral is quadratic, rather than linear, in the momentum. It is usually called the Carter constant, and its existence is the cleanest operational sign that Kerr has a hidden symmetry.

Required background. Killing Fields and Isometry Groups supplies ordinary Noether integrals; Affine and Variational Geodesics supplies geodesic momentum and Hamiltonian flow.

Helpful background. Einstein’s Equation fixes the vacuum background; The Riemann Curvature Tensor supplies index conventions; Exact Solutions of Einstein’s Equations describes the Kerr solution; Frames, Coframes, and Anholonomy prepares the principal-frame construction.

From separation constant to tensor invariant

Section titled “From separation constant to tensor invariant”

Let uau^a be an affinely parametrized geodesic tangent and pa=μuap_a=\mu u_a for a massive particle. A symmetric tensor KabK_{ab} is a rank-two Killing tensor when

∇(aKbc)=0.\nabla_{(a}K_{bc)}=0.

Then

ddλ(Kabuaub)=uc∇cKab uaub+2Kabuauc∇cub=0.\frac{d}{d\lambda}(K_{ab}u^au^b) =u^c\nabla_cK_{ab}\,u^au^b +2K_{ab}u^a u^c\nabla_cu^b=0.

The geodesic equation removes the second term, while total symmetry of uaubucu^au^bu^c selects the vanishing symmetrized derivative in the first. Thus

K≡KabpapbK\equiv K^{ab}p_ap_b

is coordinate-independent and conserved. In Kerr it agrees, with the normalization used on the preceding page, with

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

The quantity QQ itself is often convenient because Q=0Q=0 for equatorial geodesics. It is not, however, invariantly meaningful until the Killing tensor, its normalization, and the manifest integrals E=−ptE=-p_t and Lz=pϕL_z=p_\phi have been specified. Frolov, Krtouš, and Kubizňák 2017, §§2.2, 3.5, and 6.1, pp. 17–22, 61–65, and 117–121, Open PDF give the tensor and separated descriptions together.

A Killing vector ξa\xi^a produces the linear integral ξapa\xi^ap_a. Any fixed linear combination of Kerr’s stationary and axial generators therefore yields −ctE+cϕLz-c_tE+c_\phi L_z. The Carter integral contains pθ2p_\theta^2 and, away from special orbit families, cannot equal such a linear expression.

One might try to obtain KabK_{ab} by symmetrized products of the metric and known Killing vectors. Such a tensor is called reducible. In Schwarzschild, restored rotational symmetry makes the total-angular-momentum tensor reducible in terms of the three rotation generators. For a≠0a\neq0, Kerr has only the two manifest continuous generators, and its Carter tensor is irreducible: it contains information not generated by their products. This distinction answers why the fourth integral is a hidden, rather than ordinary, symmetry.

The normalization is not unique. Adding c gabc\,g_{ab} shifts KK by the already conserved mass-shell quantity −cμ2-c\mu^2, and adding symmetrized products of Killing vectors adds combinations of E2E^2, ELzEL_z, and Lz2L_z^2. Different-looking Carter constants can therefore describe the same independent integral. A comparison must first reduce both expressions modulo these trivial conserved pieces.

Kerr possesses a Killing–Yano two-form fabf_{ab} satisfying

∇(afb)c=0.\nabla_{(a}f_{b)c}=0.

Its square,

Kab=facfbc,K_{ab}=f_{ac}f_b{}^c,

is a Killing tensor. The proof follows by differentiating the square and using antisymmetry of fabf_{ab} together with the Killing–Yano equation. This factorization is stronger than merely discovering a quadratic integral: it also supports symmetry operators for field equations. The next page constructs the closely related principal closed conformal Killing–Yano form.

Two limits test the interpretation. For a→0a\to0, KK can be shifted by manifest constants to the total L2L^2, reflecting the enlarged SO(3)SO(3) symmetry. For motion confined to θ=π/2\theta=\pi/2, Q=0Q=0 but K=(Lz−aE)2K=(L_z-aE)^2 generally remains nonzero; saying “the Carter constant vanishes on the equator” is therefore convention-dependent. Carter’s original derivation is Carter 1968, pp. 1559–1571, and the quadratic Killing-tensor interpretation was developed by Walker and Penrose 1970, pp. 265–274.

Prove that the metric itself is a Killing tensor and explain why its quadratic integral is not new.

Solution

Metric compatibility gives ∇(agbc)=0\nabla_{(a}g_{bc)}=0, so gabg_{ab} obeys the rank-two Killing-tensor equation. Its contraction is gabpapb=−μ2g^{ab}p_ap_b=-\mu^2, the mass-shell condition. This is already fixed by the geodesic Hamiltonian and supplies no independent integral. It also explains the freedom to replace KabK_{ab} by Kab+cgabK_{ab}+c g_{ab}.

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