---
title: Quadratic Killing Tensor Fields
url: https://www.emergentmind.com/topics/quadratic-killing-tensor-fields
type: topic
---

# Quadratic Killing Tensor Fields

Searching arXiv for recent and foundational papers on quadratic Killing tensor fields.
Using the arXiv search tool to gather relevant sources.
A quadratic Killing tensor field is a symmetric rank-\(2\) tensor field \(K_{ab}=K_{(ab)}\) satisfying the Killing equation
\[
\nabla_{(a}K_{bc)}=0,
\]
equivalently \(K^{(ij;k)}=0\) in contravariant notation. Its defining geometric significance is that it generates a conserved quantity quadratic in the geodesic momenta or velocities, such as
\[
F=K^{\mu\nu}p_\mu p_\nu
\quad\text{or}\quad
I=K_{ab}\dot x^a\dot x^b,
\]
and therefore encodes a hidden symmetry of the geodesic flow [1401.8195]. In contemporary work, the quadratic case appears simultaneously as a classical object in Riemannian and pseudo-Riemannian geometry, as the leading term of completed constants of motion in gauge-covariant Hamiltonian systems, as a representation-theoretic object on symmetric spaces, and as a diagnostic for integrability or non-integrability in black-hole spacetimes and other Hamiltonian models [1003.0791], [2604.27950].

## 1. Definition and basic geometric role

For a symmetric covariant tensor field of degree \(p\), the Killing equation is
\[
L_{(i_1\dots i_p,j)}=0.
\]
In the quadratic case \(p=2\), this specializes to
\[
L_{(ij,k)}=0,
\qquad\text{equivalently}\qquad
\nabla_{(k}L_{ij)}=0,
\]
or, in contravariant form,
\[
\nabla^{(\lambda}K^{\mu\nu)}=0.
\]
These are the standard definitions of a quadratic Killing tensor field [1003.0791], [2604.27950].

The corresponding conserved quantity is quadratic in momenta or velocities. For a free relativistic particle one has
\[
F = K^{\mu\nu}p_\mu p_\nu,
\]
and for geodesic motion this is often written as
\[
F = K^{\mu\nu}u_\mu u_\nu.
\]
On a Riemannian manifold, the same statement appears as constancy of
\[
F(x,v)=K_x(v,v)
\]
along geodesics [1003.0791], [1610.02009]. This is the standard reason quadratic Killing tensors are treated as hidden symmetries: rank-\(1\) Killing tensors are Killing vectors and generate linear integrals, whereas rank-\(2\) tensors generate genuinely quadratic first integrals and need not correspond to simple transformations of configuration space [1401.8195].

The metric itself is always a quadratic Killing tensor, since \(\nabla g=0\). Much of the theory therefore distinguishes between quadratic Killing tensors that are built from the metric and Killing vectors, and those that are not. On symmetric spaces this distinction is formalized by calling a Killing tensor **decomposable** if it is a polynomial in Killing vector fields under the symmetric product, and **indecomposable** otherwise [2604.27950].

## 2. Quadratic first integrals in Hamiltonian systems

In canonical geometry, the quadratic Killing tensor is the highest-order coefficient in a polynomial constant of motion. For a Hamiltonian system on a manifold with metric \(g_{ij}(q)\), equipped with gauge-covariant momenta
\[
\Pi_i=p_i-eA_i,
\]
the Hamiltonian is written
\[
H=\frac12\,g^{ij}(q)\,\Pi_i\Pi_j+\Phi(q).
\]
The gauge-covariant Poisson brackets are
\[
\{Q,K\}=D_i Q\,\frac{\partial K}{\partial \Pi_i} - \frac{\partial Q}{\partial \Pi_i}\,D_i K + e F_{ij}(q)\, \frac{\partial Q}{\partial \Pi_i} \frac{\partial K}{\partial \Pi_j},
\]
with
\[
F_{ij}=\partial_iA_j-\partial_jA_i,
\qquad
D_i K=\left.\frac{\partial K}{\partial q^i}\right|_{\Pi}+\Gamma^k{}_{ij}\Pi_k\frac{\partial K}{\partial \Pi_j}.
\]
In this framework, the natural quadratic ansatz is
\[
Q=\frac12\,K^{ij}\Pi_i\Pi_j+C^{(1)i}\Pi_i+C^{(0)}.
\]
Requiring \(\{Q,H\}=0\) yields the chain
\[
K^{(ij;k)}=0,
\]
\[
C^{(1)(i;j)}=e\,K^{k(i}F_k{}^{j)},
\]
\[
C^{(0)}{}_{;i}=e\,C^{(1)j}F_{ij}+K_i{}^j\Phi_{;j},
\]
together with
\[
C^{(1)i}\Phi_{;i}=0.
\]
Thus the quadratic Killing tensor controls the highest-order part of the conserved quantity, while lower-order momentum terms are generally required in the presence of gauge and scalar couplings [1401.8195].

A closely related generalization appears for relativistic particles in external fields. There one starts from the constrained Hamiltonian
\[
H=\frac{N}{2m}\mathcal H
=\frac{N}{2m}\left(g^{\mu\nu}p_\mu p_\nu+B^\rho p_\rho+V\right),
\qquad
\mathcal H\approx 0,
\]
and weakens exact conservation to
\[
\{F,\mathcal H\}\approx 0,
\]
equivalently
\[
\{F,\mathcal H\}+\phi\,\mathcal H=0.
\]
For a quadratic ansatz
\[
F=\stackrel{(2)}{K}{}^{\mu\nu}p_\mu p_\nu+\stackrel{(1)}{K}{}^\mu p_\mu+\stackrel{(0)}{K},
\]
the resulting hierarchy has as its top equation
\[
-[\stackrel{(2)}{K},g]_{\rm S}+\stackrel{(1)}{\lambda}\stackrel{\rm S}{\otimes}g=0.
\]
If the \(\lambda\)-terms vanish, this reduces to the ordinary rank-\(2\) Killing tensor equation; if not, the highest member is conformal Killing rather than strictly Killing [1003.0791]. This places the ordinary quadratic Killing tensor field inside a larger constrained-Hamiltonian hierarchy.

In second-order dynamical systems written as
\[
\ddot q^a+\Gamma^a_{bc}\dot q^b\dot q^c+Q^a(t,q^c)=0,
\]
with quadratic ansatz
\[
I=K_{ab}(t,q^c)\dot q^a\dot q^b+K_a(t,q^c)\dot q^a+K(t,q^c),
\]
the determining equations again begin with
\[
K_{(ab;c)}=0.
\]
The quadratic part of every quadratic first integral is therefore governed by a rank-\(2\) Killing tensor of the kinetic metric, while the lower-order terms are fixed by compatibility equations involving the generalized forces [1807.09721].

## 3. Prolongation, integrability, and constructive methods

The Killing equation is an overdetermined linear PDE, and one modern approach is prolongation. For rank \(2\), the prolonged variables are \(K_{ab}\), \(K^{(1)}_{cab}\), and \(K^{(2)}_{dcab}\), and the prolonged system is
\[
\nabla_c K_{ba}=Y_{ab}^{\phantom{ab}c}K^{(1)}_{cba},
\]
\[
\nabla_d K^{(1)}_{cba}
=K^{(2)}_{dcba}
-\frac13R_{dac}{}^mK_{mb}
-\frac23R_{dab}{}^mK_{mc}
+\frac23R_{acb}{}^mK_{md},
\]
followed by a closed equation for \(\nabla_eK^{(2)}_{dcba}\) involving \(K\), \(K^{(1)}\), curvature, and \(\nabla R\) [1704.02074]. The first nontrivial integrability condition occurs only at the top stage \(q=p\); for \(p=2\) the lower ones vanish,
\[
\mathcal I^{(2,0)}_{abcd}=0,\qquad \mathcal I^{(2,1)}_{abcde}=0,
\]
while \(\mathcal I^{(2,2)}=0\) is a nontrivial projected expression involving \(K\), \(K^{(1)}\), \(R\), \(\nabla R\), and \(R\cdot R\) [1704.02074]. This gives explicit algebraic restrictions on possible quadratic Killing tensors.

A different prolongation program, tailored specifically to Killing two-tensors, starts from
\[
\nabla_{(a}\sigma_{bc)}=0
\]
and rewrites it as
\[
\nabla_a\sigma_{bc}+2\mu_{(bc)a}=0,
\]
with \(\mu\) in the hook bundle. In the locally symmetric case \(\nabla R=0\), a second prolongation yields a connection on
\[
\odot^2T^*M\oplus \yng(2,1)\oplus \yng(2,2)
\]
whose parallel sections are exactly Killing 2-tensors. The same paper shows that the canonical quadratic map
\[
\odot^2 K^1(M,\nabla)\to K^2(M,\nabla),
\qquad
\sigma_b\odot\widetilde\sigma_c\mapsto \sigma_{(b}\widetilde\sigma_{c)},
\]
is compatible with prolongation, and that its kernel is controlled by Killing–Yano 3-forms via an exact sequence of bundles [2604.17855].

There is also a constructive geometric method that avoids solving \(\nabla_{(a}K_{bc)}=0\) directly. In a spacetime with a codimension-one foliation \(\mathcal F_\Omega\), unit normal \(\xi\), lapse \(y\), and slice second fundamental form \(\varpi\), one starts from a trivial Killing tensor on each leaf \(S_\Omega\), built from the induced metric and slice-tangent Killing vectors \(K_\alpha\), and then lifts it to a spacetime Killing tensor. Under explicit compatibility and integrability conditions,
\[
X(h^\Omega y^2)=0,
\qquad
X\!\left(g_{\alpha\beta}^{-1}\,\xi(g_{\alpha\beta})\right)=0,
\]
one obtains
\[
K(X)=a\big(X-\varepsilon(X,\xi)\xi\big)
+\sum_{\alpha,\beta=1}^n \gamma^{\alpha\beta}(X,K_\alpha)K_\beta
+\varepsilon k_\xi (X,\xi)\xi,
\]
which can be nontrivial even though the slice tensor is trivial [2104.02167]. This construction is purely geometric and algebraic in the sense emphasized in that work.

## 4. Decomposability, rigidity, and symmetric-space classifications

Several classification results sharply separate decomposable from indecomposable quadratic Killing tensors. On the conformally flat \(n\)-torus
\[
(T^n,\tilde g),
\qquad
\tilde g=e^{2f(x_n)}(dx_1^2+\cdots+dx_n^2),
\]
every quadratic Killing tensor is reducible:
\[
K=c\,\tilde g+\sum_{1\le i\le j\le n-1} c_{ij}\,
\frac{\partial}{\partial x_i}\cdot\frac{\partial}{\partial x_j}.
\]
Equivalently, there are no irreducible quadratic Killing tensors on this class of tori [1610.02009].

On \(\mathbb{CP}^n\) with the Fubini–Study metric, all Killing tensors of arbitrary rank are generated by Killing fields, and for rank \(2\) the space of quadratic Killing tensors has dimension
\[
\frac{n(n+1)^2(n+2)}{2}.
\]
Thus every quadratic Killing tensor on \(\mathbb{CP}^n\) is generated by Killing vector fields [2309.00589]. This continues the classical positive picture known for spaces of constant curvature.

That optimistic picture fails on other symmetric spaces. Explicit indecomposable quadratic Killing tensors exist on quaternionic projective spaces \(\mathbb{H}P^n\) for \(n\ge 3\) and on the Cayley projective plane \(\mathbb{O}P^2\). In \(\mathbb{H}P^n\), \(n\ge 3\), the indecomposable subspace has dimension
\[
\frac14 (n-2)(n+1)(2n+1)(2n+3),
\]
while on \(\mathbb{O}P^2\) there is a \(26\)-dimensional irreducible \(F_4\)-submodule all of whose nonzero elements are indecomposable [2312.16518].

A 2026 structural advance reframes the symmetric-space problem in terms of **top slot** Killing tensors. On compact irreducible symmetric spaces, every quadratic Killing tensor is spanned by top-slot quadratic tensors, and in normal coordinates such a tensor has the form
\[
\mathcal K(X,P)=K_2(X,X,P,P),
\]
where \(K_2\) is a constant \((0,4)\)-tensor satisfying explicit curvature identities:
\[
K_2(X,X,X,P)=0,
\]
\[
K_2(X,X,P,R(X,P)P)=K_2(P,P,X,R(P,X)X),
\]
\[
K_2(X,X,R(X,P)P,R(X,P)P)
=
K_2(P,P,R(P,X)X,R(P,X)X).
\]
The same paper proves that quadratic Killing tensor fields on \(\mathbb{HP}^2\) are decomposable, while for \(\mathbb{HP}^m\), \(m\ge 3\), and \(\mathbb{OP}^2\), the full quadratic space is spanned by decomposable tensors together with the previously constructed indecomposable families [2604.27950]. This completes the rank-one classification on Riemannian symmetric spaces of rank one.

## 5. Hidden symmetry, separability, and explicit physical examples

Quadratic Killing tensors are central in hidden symmetry and separability. In the gauge-covariant Hamiltonian framework, the reduced quantum-dot system with metric
\[
g_{ij}=\mathrm{diag}(1,1,\rho^2)
\]
admits explicit rank-\(2\) Killing tensors generating quadratic constants of motion. One example yields a Runge–Lenz-type invariant
\[
Q_1 = 2z\,\Pi_\rho^2 - 2\rho\,\Pi_\rho\Pi_z + \frac{2z}{\rho^2}\Pi_\varphi^2 + 2\omega_L z\,\Pi_\varphi - \omega_\rho^2 \rho^2 z - \frac{a z}{\sqrt{\rho^2+z^2}},
\]
under the condition
\[
\omega_0^2+\omega_L^2=\frac14\,\omega_z^2.
\]
Another rank-\(2\) tensor yields
\[
Q_3 = \rho^2\Pi_z^2 - 2\rho z\,\Pi_\rho\Pi_z + z^2\!\left(\Pi_\rho^2+\frac{\Pi_\varphi^2}{\rho^2}\right) + 2\omega_L z^2\Pi_\varphi + \omega_L^2 \rho^2 z^2,
\]
provided
\[
\omega_L^2=\omega_z^2-\omega_0^2.
\]
The same paper also gives an explicit rank-\(2\) tensor that fails to extend to a conserved quantity unless \(a=0\), showing that the existence of a quadratic Killing tensor is only the first step; lower-order compatibility conditions with \(F_{ij}\) and \(\Phi\) are decisive [1401.8195].

In four-dimensional gravity and supergravity, the Carter-type picture persists in more general matter-coupled settings. A recent integration of stationary axisymmetric Einstein–Maxwell–dilaton–axion theory starts from a metric class with separable conformal factor
\[
\Sigma=A_1(r)+B_1(y),
\]
which guarantees an exact rank-\(2\) Killing tensor
\[
K^{\mu\nu}
=
-A_1 g^{\mu\nu}
-A_2\delta^\mu_r\delta^\nu_r
+\tilde K^{\mu\nu}_r.
\]
The resulting canonical metric,
\[
ds^2
=
\frac{A_2}{\Sigma}(b\,dt-B_{23}d\varphi)^2
-\frac{B_2}{\Sigma}(a\,dt-A_{23}d\varphi)^2
-\frac{\Sigma}{A_2}dr^2
-\frac{\Sigma}{B_2}dy^2,
\]
supports Carter-type hidden symmetry beyond Petrov type D, and the paper states that the general solutions are typically Petrov type \(I_B\) and may have no Killing–Yano structures [2503.06589]. This suggests that quadratic Killing tensors are more robust than type-D algebraic speciality or Killing–Yano structures in these supergravity families.

The converse phenomenon is equally important. In slowly rotating black holes of dynamical Chern–Simons and scalar Gauss–Bonnet gravity, a nontrivial rank-\(2\) Killing tensor exists through \(\mathcal O(\chi\zeta)\), but cannot be extended to \(\mathcal O(\chi^2\zeta)\). In dynamical Chern–Simons gravity the failure persists through all searched ranks up to \(6\), and both families become Petrov type I at the same perturbative order [2103.15891]. A plausible implication is that the exact rotating quadratic-gravity black holes do not possess a Carter-like fourth constant of motion.

## 6. Euclidean integrable systems, Finsler variants, and related generalizations

In Euclidean space, every valency-two Killing tensor has the general form
\[
K=\sum_{i,j} d_{ij}\,X_i\odot X_j
+\sum_{i,j,k} b_{ijk}\,X_i\odot X_{j,k}
+\sum_{i,j,k,m} C_{ijkm}\,X_{i,j}\odot X_{k,m},
\]
where
\[
X_i=\partial_i,
\qquad
X_{i,j}=q_iX_j-q_jX_i.
\]
For quartic Hamiltonians related to symmetric spaces, the paper on second-order Killing tensors related to symmetric spaces shows that the quadratic integrals come from special combinations of rotations and translations, but that full Liouville integrability generally requires additional integrals of fourth, sixth, and higher order in the momenta [2301.02774]. In the special \(m=1\) Garnier case the associated quadratic Killing tensors fit the classical separable picture, while in the higher-dimensional examples the relevant Killing tensors have nonzero Haantjes torsion [2301.02774].

A further reformulation appears in Finsler geometry. There one introduces a Killing non-linear 1-form \(K^\flat\) and the spray operator
\[
\delta H
=
dx^\mu\frac{\partial H}{\partial x^\mu}
-
2G^\mu\frac{\partial H}{\partial dx^\mu}.
\]
For the rank-\(p\) ansatz
\[
K^\flat
=
K_{\mu_1\cdots\mu_p}(x)\,
\frac{dx^{\mu_1}\cdots dx^{\mu_p}}{F^{p-1}},
\]
the condition
\[
\delta K^\flat=0
\]
implies
\[
\nabla_{(\mu}K_{\mu_1\cdots\mu_p)}(x)=0.
\]
For \(p=2\), this is the Finsler analogue of the quadratic Killing tensor equation, and the associated conserved quantity is
\[
J=\frac{K^\flat}{F}.
\]
The same framework presents the Carter constant on Kerr spacetime as a rank-\(2\) example and gives a Finslerized construction of Runge–Lenz-type hidden conserved quantities in Newtonian gravity [1609.02677].

Across these settings, the recurring structural point is stable. A quadratic Killing tensor field is the geometric source of a quadratic first integral, but its actual dynamical role depends strongly on context: in geodesic problems it is already a complete hidden symmetry; in externally coupled Hamiltonian systems it is the highest-order term in a completed conserved quantity; on symmetric spaces it may be decomposable or genuinely new; and in concrete physical models its existence or obstruction sharply tracks separability, photon-surface geometry, or the loss of integrability [1401.8195], [2104.02167], [2604.27950].

Source: https://www.emergentmind.com/topics/quadratic-killing-tensor-fields