---
title: Conformal Killing–Yano Tensors
url: https://www.emergentmind.com/topics/conformal-killing-yano-tensors
type: topic
---

# Conformal Killing–Yano Tensors

Conformal Killing–Yano tensors are antisymmetric tensor fields whose first covariant derivative decomposes into a totally antisymmetric part and a metric trace part. They generalize Killing–Yano tensors in the same way that conformal Killing vectors generalize Killing vectors, and they form a common framework for hidden symmetries, separability, curvature restrictions, conformal invariants, and conserved currents. In the recent literature they appear in conformal geometry, especially in the study of conformally Kähler metrics, in higher-dimensional black-hole spacetimes admitting principal tensors, in torsionful string-theoretic backgrounds, and in constructions of quasi-local and topological charges [1406.3069] [1104.0852] [2409.17347].

## 1. Defining equations and basic variants

For a totally antisymmetric \(p\)-form \(Y_{a_1\cdots a_p}=Y_{[a_1\cdots a_p]}\) on an \(n\)-dimensional manifold with Levi–Civita connection \(\nabla_a\), the conformal Killing–Yano equation can be written as
\[
\nabla_a Y_{b_1\cdots b_p}+\nabla_{b_1}Y_{a b_2\cdots b_p}
=
2\,g_{a[b_1}\,h_{b_2\cdots b_p]}
+
2\,g_{b_1[a}\,h_{b_2\cdots b_p]},
\]
for a \((p-1)\)-form \(h\). Equivalently,
\[
\nabla_aY_{b_1\cdots b_p}
=
\nabla_{[a}Y_{b_1\cdots b_p]}
+
2\,g_{a[b_1}\,h_{b_2\cdots b_p]},
\qquad
h_{b_2\cdots b_p}
=
\frac{p}{2(n+1-p)}\,\nabla^aY_{a b_2\cdots b_p}.
\]
Thus the trace part is fixed by the divergence of \(Y\) [1406.3069].

In differential-form language the same condition is
\[
\nabla_X h
=
\frac{1}{p+1}\,X\lrcorner\, d h
-
\frac{1}{n-p+1}\,X^\flat\wedge \delta h,
\]
which makes the decomposition into curl and divergence explicit. For rank \(2\), a closed conformal Killing–Yano tensor satisfies
\[
\nabla_X h = X^\flat\wedge \xi,
\qquad
\xi=-\frac{1}{D-1}\,\delta h,
\]
and this closed rank-\(2\) case is the standard starting point for principal tensors in higher-dimensional geometry [1712.08070].

| Object | Additional condition | Consequence |
|---|---|---|
| Killing–Yano tensor | \(h=0\) or \(\delta Y=0\) | Co-closed antisymmetric symmetry tensor |
| Closed CKY tensor | \(\nabla_{[a}Y_{b_1\cdots b_p]}=0\) or \(dY=0\) | Hodge dual is a Killing–Yano tensor |
| Conformal Yano–Killing tensor (4D usage) | \(Q_{\mu\nu}=-Q_{\nu\mu}\) with \(\nabla_{(\alpha}Q_{\beta)\gamma}-\tfrac13 g_{\alpha\beta}\nabla^\mu Q_{\mu\gamma}=0\) | Divergence defines a conformal Killing vector |

Hodge duality exchanges Killing–Yano and closed conformal Killing–Yano forms. In particular, if \(f\) is a Killing–Yano form of rank \(p\), then \(\star f\) is a closed conformal Killing–Yano form of rank \(n-p\), and conversely [1102.4501]. In four dimensions one often encounters the notation “CYK tensor” or “conformal Yano–Killing tensor” for a CKY \(2\)-form \(Q_{\mu\nu}\); its divergence \(\xi_\mu:=\nabla^\nu Q_{\nu\mu}\) is then a conformal Killing vector, and the Killing–Yano case is recovered when \(\xi_\mu=0\) [1404.6629].

## 2. Conformal covariance, Weyl identities, and integrability

The CKY equation is conformally natural. For the \(2\)-form equation used in conformal geometry, one checks that under a conformal rescaling \(\hat g_{ab}=e^{2\Upsilon}g_{ab}\), the equation is invariant provided the CKY \(2\)-form has weight zero [2409.17347]. For a rank-\(n\) CKYT, the Weyl-rescaling law takes the corrected form
\[
\tilde k^{a_1\ldots a_n}=\Omega^{2-n}k^{a_1\ldots a_n},
\]
together with a nontrivial transformation for its trace \(K\); the conserved currents built from these tensors remain covariantly conserved under general conformal rescaling [2206.08037].

Existence of a CKY tensor imposes algebraic curvature restrictions. For a CKY \(p\)-form \(Y\), Batista derived a purely algebraic integrability condition expressed entirely in terms of the Weyl tensor and \(Y\), with an auxiliary fully antisymmetric tensor
\[
W_{d_1\cdots d_p}
=
\frac{p}{2(n-p)}\,C_{[d_1d_2|}{}^{ef}\,Y_{ef|d_3\cdots d_p]}.
\]
The resulting condition is conformally invariant because it involves only \(C_{abcd}\) and \(Y\) [1406.3069].

Several important specializations follow. In an Einstein space, if \(Y\) is a CKY \(p\)-form then its divergence
\[
h_{d_2\cdots d_p}
=
\frac{p}{2(n+1-p)}\,\nabla^aY_{a d_2\cdots d_p}
\]
is a Killing–Yano \((p-1)\)-form precisely when an algebraic Weyl constraint holds; for \(p=2\) this always happens, so every rank-\(2\) CKY tensor in an Einstein space has Killing-vector divergence [1406.3069]. In maximally symmetric spaces, the covariant derivative of any Killing–Yano \(p\)-form is a closed CKY \((p+1)\)-form, and every CKY \(p\)-form decomposes uniquely as the sum of a Killing–Yano form and a closed CKY form [1406.3069].

These integrability statements rule out a common oversimplification: a CKY tensor is not merely a formal generalization of a Killing–Yano tensor. Its existence can force strong restrictions on the Weyl tensor, on Ricci alignment, and on the allowed conformal class.

## 3. Prolongation, tractor geometry, and conformally Kähler structures

In even-dimensional Riemannian conformal geometry, Dunajski and Gover recast the CKY \(2\)-form equation as a prolongation problem on a tractor-type bundle. On an even-dimensional Riemannian manifold \((M^n,g)\), \(n\ge 4\), a skew \(2\)-form \(w_{ab}\) is a CKY \(2\)-form if
\[
\nabla_a w_{bc}
=
h_{abc}+2\,g_{a[b}K_{c]},
\qquad
h_{abc}=h_{[abc]},
\qquad
K_a=-\tfrac13\nabla^b w_{ba},
\]
together with the extra conditions that \(w_{ab}w^{ab}\) is non-zero and \(\nabla_{[a}h_{bcd]}=0\) [2409.17347].

The overdetermined system can be prolonged to a first-order parallel-section problem on a rank-\(\tfrac{n(n+1)(n+2)}6\) vector bundle \(E\to M\), equivalently \(E\cong \Lambda^3\mathcal T\), where \(\mathcal T\) is the standard tractor bundle. The normal tractor connection does not suffice; one must introduce a modified tractor connection \(D\) on \(\Lambda^3\mathcal T\), and the system \(D_a\Psi=0\) is equivalent to the CKY equation together with its first integrability conditions. This realizes the PDE as a conformally invariant parallel-transport problem [2409.17347].

Parallel-section integrability yields explicit algebraic obstructions from the Weyl tensor. The top slot of the curvature gives the necessary condition
\[
C_{bc[a}{}^{e}\,w_{d]e}
+
C_{dc[a}{}^{e}\,w_{b]e}
=
0.
\]
Equivalently, one constructs an endomorphism \(B_w\) of \(\Lambda^2 T_p^*M\), and in higher dimensions a necessary condition for any non-degenerate CKY two-form is
\[
\det(B_X)=0
\qquad
\text{for every bi-vector }X^{ab}.
\]
The vanishing of the associated scalar invariants of the Weyl tensor is the first obstruction to admitting any CKY \(2\)-form [2409.17347].

The same framework isolates the conformally Kähler problem. A general parallel tractor corresponds to a CKY form, but not every CKY \(2\)-form yields a Kähler metric in its conformal class. Imposing that \(w\) squares, up to scale, to an almost complex structure \(J\) requires the nonlinear algebraic constraint
\[
w_{a[b}w_{c]d}
=
-\tfrac12\,w^2\,g_{a[b}g_{c]d},
\]
together with additional equations labelled \((4.3)\) and \((4.4)\) in the paper. These conditions define an algebraic subvariety \(S\subset E_p\), and a Riemannian metric \(g\) is locally conformal to a Kähler metric if and only if there is a non-zero \(D\)-parallel section \(\Psi\in \Gamma(E)\) taking values in \(S\) [2409.17347]. This directly corrects another common misconception: the existence of a CKY \(2\)-form is necessary but not sufficient for conformal Kählerity.

Dunajski and Gover also show that existence of a non-degenerate CKY \(2\)-form forces the Weyl tensor to be of type \(D\) in the higher-dimensional classification of Coley–Milson–Pravda–Pravdová, since the CKY \(2\)-form commutes with the Weyl tensor viewed as an endomorphism of \(\Lambda^2\) [2409.17347].

## 4. Principal closed CKY tensors and hidden symmetries

A rank-\(2\) closed CKY tensor is called principal when it is non-degenerate. For such a tensor \(h\),
\[
\nabla_c h_{ab}=g_{c[a}\xi_{b]},
\qquad
d h=0,
\qquad
\xi_b=-\tfrac1{D-1}\nabla^a h_{ab},
\]
and non-degeneracy means that \(h_{ab}\), viewed as a matrix, has maximal rank and its independent eigenvalues have linearly independent gradients [1712.08070].

A single rank-\(2\) closed CKY tensor generates a hierarchy of hidden symmetries. Writing \(D=2n+\varepsilon\), one forms
\[
h^{(j)}=\underbrace{h\wedge\cdots\wedge h}_{j\text{ times}},
\qquad
f^{(j)}=*\,h^{(j)}.
\]
Each \(h^{(j)}\) is a closed CKY form, each \(f^{(j)}\) is a Killing–Yano form, and from each \(f^{(j)}\) one obtains a rank-\(2\) Killing tensor \(K^{(j)}_{ab}\). Together with the primary Killing vector obtained from \(\xi\), these structures produce mutually commuting Killing tensors and Killing vectors, yielding Liouville integrability of the geodesic flow and separability of the Hamilton–Jacobi, Klein–Gordon, and Dirac equations in the canonical higher-dimensional Kerr–NUT–(A)dS family [1104.0852].

In the principal case there is a strong classification theorem: locally, any Einstein manifold admitting a principal CKY \(2\)-form is exactly the higher-dimensional Kerr–NUT–(A)dS metric, while the more general non-principal case leads to generalized Kerr–NUT–(A)dS metrics fibred over Kähler–Einstein bases [1104.0852]. At the operator level, first-order symmetries of the Dirac operator are in one-to-one correspondence with CKY forms; closed CKY forms produce Clifford-odd symmetries and Killing–Yano forms produce Clifford-even ones. For the principal tensor background, the tower \(\{h^{(j)},f^{(j)}\}\) yields a complete subset of mutually commuting first-order symmetry operators underlying Dirac separability [1102.4501].

The earlier belief that off-shell Kerr–NUT–(A)dS metrics exhaust geometries admitting a principal tensor depends on signature assumptions. Frolov, Krtouš, and Kubizňák showed that in Lorentzian and other indefinite signatures one may allow null eigenvalues of the principal tensor, and then new off-shell canonical metrics arise while retaining the same closed CKY \(2\)-form \(h=d b\) [1712.08070]. This shows that the Euclidean-signature uniqueness result does not extend unchanged to indefinite signatures.

## 5. Generalizations with skew-symmetric torsion

CKY theory extends naturally to metric connections with totally antisymmetric torsion. If
\[
\nabla^T_XY=\nabla_XY+\tfrac12\,(X\lrcorner T)\lrcorner Y,
\]
then the torsion-twisted differential operators are
\[
d^T\alpha=d\alpha-T\wedge\alpha,
\qquad
\delta^T\alpha=\delta\alpha+T\lrcorner\alpha,
\]
and a \(p\)-form \(k\) is a generalized conformal Killing–Yano tensor if
\[
\nabla^T_Xk
=
\frac1{p+1}\,X\lrcorner\,d^T k
-
\frac1{D-p+1}\,X^\flat\wedge\delta^T k.
\]
The specializations are generalized Killing–Yano tensors when \(\delta^T k=0\) and generalized closed conformal Killing–Yano tensors when \(d^T k=0\) [1004.1032].

Many structural properties survive. The Hodge dual of a GCCKY \(p\)-form is a GKY \((D-p)\)-form, wedge products of GCCKY forms remain GCCKY, and a GKY \(p\)-form gives a rank-\(2\) Killing tensor. In the Kerr–Sen black hole and in Chow’s higher-dimensional charged Kerr–NUT metrics, the natural torsion is the \(3\)-form field strength \(H\), and the spacetimes admit non-degenerate GCCKY \(2\)-forms. These forms generate commuting Killing tensors, establish Liouville integrability of geodesic motion, and ensure separability of the scalar and Dirac equations [1004.1032].

For the Dirac operator with skew-symmetric torsion,
\[
\mathbb D^T=\gamma^a\nabla^T_{X_a},
\]
a GCKY \(p\)-form \(f\) defines a first-order operator \(L_f\), but a torsion anomaly \(A(f,T)\) must vanish for this operator to be an on-shell symmetry. The anomaly splits into classical and quantum parts, and in strong KT and strong HKT geometries the Kähler forms are GCKY and generate genuine symmetries of \(\mathbb D^T\) [1002.3616].

In Riemann–Cartan geometry more generally, CKY and covariantly closed CKY tensors satisfy torsion-dependent integrability conditions involving the curvature \(R^{(T)}\), the torsion \(T\), and the divergence field \(h\). For rank \(n-1\) Killing–Yano tensors, Batista obtained a complete local classification in adapted coordinates. In the totally skew torsion case, a maximally symmetric space with torsion still has metric curvature of the usual constant-curvature form, and no further restriction on the skew torsion arises [1501.05029].

## 6. Local classifications, low-dimensional reductions, and Lie-group examples

In four-dimensional Lorentzian geometry, Ferrando and Sáez showed that the usual Jebsen–Birkhoff hypothesis can be weakened substantially. If a spacetime admits a CKY \(2\)-form \(A\) and the Ricci tensor commutes with \(A\), then the complex vector
\[
Z=\delta\mathcal A=\tfrac12(\delta A-i\,\delta *A)
\]
is a Killing vector, or vanishes identically. In the non-null case this leads to the class of \(D\)-metrics, including vacuum and charged Kerr–NUT, A-metrics, and B-metrics, and the additional symmetry appears as the invariant Killing vector \(Z=\delta A\) rather than being assumed a priori [1505.03317]. The result shows that “there is a CKY tensor” can replace “there is a 3-parameter isometry group” in the Birkhoff analysis.

The null case has a different algebraic structure. For a null CKY \(2\)-form, Ferrando and Sáez showed that the Weyl tensor is of Petrov type \(O\) or \(N\), and if it is type \(N\) then the self-dual CKY bivector is a repeated principal bivector. When the divergence is Killing, the non-flat possibilities are exhausted by three classes: conformally flat pure-radiation plus \(\Lambda\) metrics, generalized pp-waves, and Siklos A-pp-waves [1512.07057].

A useful constructive method exists when the spacetime admits a hypersurface-orthogonal Killing vector. Garfinkle and Glass decompose a CKY \(2\)-form \(A_{ab}\) as
\[
A_{ab}=2\,V^{-1}\,\xi_{[a}S_{b]}+Q_{ab},
\]
with \(S_a\) and \(Q_{ab}\) orthogonal to the Killing vector \(\xi^a\). In four dimensions \(Q_{ab}\) may be dualized to a spatial vector \(T^a\), and the full CKY system reduces to conformal Killing vector equations for \(S^a\) and \(T^a\) on the three-dimensional orbit space together with two first-order Lie-derivative constraints. This replaces the original four-dimensional CKY PDE system by two simpler three-dimensional CKV problems [1302.6207].

Invariant CKY forms also admit explicit Lie-algebraic classification in dimension five. Herrera and Origlia classified all \(5\)-dimensional metric Lie algebras admitting strict left-invariant CKY \(2\)-forms. Such algebras fall into two types: one-dimensional central extensions of \(4\)-dimensional metric Lie algebras carrying an invertible parallel skew endomorphism, and a center-two family \(\mathfrak g_{r,s}\). The center-two family provides the first explicit examples of strict CKY \(2\)-forms on metric Lie algebras that do not admit any Sasakian structure [2012.11054].

## 7. Conserved currents, charges, and explicit ambient constructions

CKY tensors support several distinct constructions of conserved quantities. For a four-dimensional spin-\(2\) field \(W_{\mu\nu\rho\sigma}\) and a CYK tensor \(Q_{\rho\sigma}\), Jezierski and Migacz defined
\[
F_{\mu\nu}=W_{\mu\nu}{}^{\rho\sigma}Q_{\rho\sigma},
\]
and showed \(\nabla^\nu F_{\mu\nu}=0\). The corresponding surface flux
\[
Q(W,Q)=\int_S W^{\mu\nu\rho\sigma}Q_{\rho\sigma}\,d\Sigma_{\mu\nu}
\]
is independent of the choice of \(S\). In Minkowski space the CYK solution space is \(20\)-dimensional, while in the exact Schwarzschild metric only two global CYK solutions remain; on conformally flat slices with vanishing extrinsic curvature one may nevertheless define “momentary” charges from the ten spatial conformal Killing vectors [1404.6629].

In \(\mathrm{AdS}_5\), Czajka and Jezierski gave an ambient-space construction of the full CYK space. The hyperboloid embedding in \(\mathbb R^{2,4}\) yields \(15\) CYK tensors from pullbacks of constant ambient \(2\)-forms and \(20\) more from Hodge duals of pullbacks of constant ambient \(3\)-forms, producing the full \(35\)-dimensional solution space. The same framework gives conserved charges for asymptotically \(\mathrm{AdS}_5\) spacetimes by contracting the Weyl tensor with a CYK \(2\)-form [1712.07433].

At the level of curvature currents, CKY tensors generate several conserved objects. For a rank-\(n\) CKYT \(k\), one has the divergence-free “trivial current”
\[
F^{a_1\cdots a_n}
=
k^{a_1\cdots a_n}
-
n\,\nabla^{[a_1}K^{a_2\cdots a_n]}
=
\nabla_b\bigl(\nabla^{[b}k^{a_1\cdots a_n]}\bigr).
\]
For rank \(1\), the Einstein current
\[
J^a=G^a{}_b\,K^b
\]
is conserved, and for a rank-\(2\) CKYT \(k_{ab}\) the Cotton current
\[
J^a=C^{abc}k_{bc}
\]
is likewise conserved. These constructions are conformally covariant, and in Kerr–Newman the Einstein and Cotton currents reproduce, up to normalization, the Komar mass, whereas in the C-metric the trivial current yields a divergent charge reflecting non-asymptotic flatness [2206.08037].

Lindström and Sarıoğlu further studied Cotton currents built from CKY and Killing–Yano tensors. In the four-dimensional Plebański–Demiański metric they identified two rank-\(2\) CKY tensors in Podolský–Vrátný coordinates and found that the corresponding Cotton charges are proportional to \(e^2+g^2\), the sum of the squares of the electric and magnetic charges [2110.03470].

A more recent higher-form formulation defines, for any CKY \(p\)-form \(K\),
\[
J_{(p)}[K]_{\mu_1\cdots\mu_p}
:=
-\,\frac{(p+2)(p+1)}4\,
\delta^{\nu_1\cdots\nu_p\gamma\delta}_{\mu_1\cdots\mu_p\alpha\beta}
\,K_{\nu_1\cdots\nu_p}\,
R^{\alpha\beta}{}_{\gamma\delta},
\]
with divergence relation
\[
\nabla^{\mu_1}J_{(p)}[K]_{\mu_1\cdots\mu_p}
=
(n-p-1)\,J_{(p-1)}[\hat K]_{\mu_2\cdots\mu_p}.
\]
The primary current \(J_{(p-1)}[\hat K]\) is strictly conserved, and the corresponding Penrose charge can be written as a boundary integral of the fully covariant \(\star J_{(p)}[K]\). In the Killing–Yano case \(\hat K=0\), the current is conserved off shell and defines a topological charge. Applications include Kerr–Newman, AdS–Kerr, and D-brane solutions in type II supergravity [2508.16723].

Taken together, these developments place CKY tensors at the intersection of conformal geometry, algebraic specialness, hidden symmetry algebras, separability theory, torsionful generalized geometry, and conserved-current constructions. Their rôle ranges from local curvature obstructions and tractor prolongations to explicit integrable black-hole metrics and higher-form charges.

Source: https://www.emergentmind.com/topics/conformal-killing-yano-tensors