---
title: Torsionful Conformal Killing–Yano Forms
url: https://www.emergentmind.com/topics/torsionful-conformal-killing-yano-forms
type: topic
---

# Torsionful Conformal Killing–Yano Forms

Searching arXiv for recent and foundational papers on torsionful conformal Killing–Yano forms.
arXiv search query: "torsionful conformal Killing-Yano forms skew-symmetric torsion generalized conformal Killing-Yano"
Torsionful conformal Killing–Yano forms are antisymmetric tensors defined by replacing the Levi–Civita derivative in the conformal Killing–Yano equation with a metric-compatible connection carrying torsion, most often a totally antisymmetric 3-form. In the literature this produces several closely related notions—CKYT, GCKY, GCCKY, CCKYT, and, for general metric-compatible torsion, CCCKY—whose common role is to extend hidden-symmetry geometry, Hodge duality, separability structures, and Dirac-type symmetry operators beyond the torsion-free setting. A persistent terminological subtlety is that some influential papers on Killing–Yano geometry with torsion study only the coclosed sector or the intrinsic torsion of \(G\)-structures, rather than a full torsionful CKY formalism [1002.3616] [1511.09310] [1501.05029] [1108.0149].

## 1. Definitions and terminology

For an ordinary \(p\)-form \(f\), the torsion-free conformal Killing–Yano equation reviewed in the Killing–Yano survey is
\[
\nabla_X f = \frac{1}{p+1} i_X df -\frac{1}{n-p+1} X^\flat\wedge d^*f,
\]
and it reduces to the Killing–Yano equation when \(d^*f=0\) [1108.0149]. The torsionful generalization keeps the same CKY decomposition but substitutes a torsionful covariant derivative and torsion-modified differential operators.

A systematic formulation on a pseudo-Riemannian spin manifold with totally antisymmetric torsion \(T\in \Omega^3(M)\) defines a generalized conformal Killing–Yano \(p\)-form \(\omega\) by
\[
\nabla^T_X \omega = \frac{1}{p+1}\, X\lrcorner d^T\omega -\frac{1}{n-p+1}\, X^\flat\wedge \delta^T\omega,
\]
with generalized Killing–Yano forms characterized by \(\delta^T\omega=0\) and generalized closed conformal Killing–Yano forms by \(d^T\omega=0\) [1002.3616]. A closely related index formulation defines a conformal Killing–Yano form with torsion \(Y_{a_1\cdots a_p}\) by
\[
\nabla^T_a Y_{b_1\cdots b_p} = \nabla^T_{[a}Y_{b_1\cdots b_p]} + p\, g_{a[b_1}\,\widehat Y_{b_2\cdots b_p]},
\]
with \(\widehat Y_{b_2\cdots b_p}=\frac{1}{D-p+1}\nabla^T_c Y^c{}_{b_2\cdots b_p}\); the coclosed and closed subclasses are called KYT and CCKYT, respectively [1511.09310]. Batista, by contrast, allows a general metric-compatible torsion and defines a torsionful CKY \(p\)-form \(Y\) through
\[
\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]},
\]
with \(h\) determined by contraction; the covariantly closed subclass is termed CCCKY [1501.05029].

The nomenclature used across the literature is therefore not fully uniform.

| Term | Defining restriction | Usage |
|---|---|---|
| **CKYT / GCKY** | Full torsionful CKY equation | Skew-torsion formulations [1511.09310] [1002.3616] |
| **KYT / GKY** | \(\widehat Y=0\) or \(\delta^T\omega=0\) | Coclosed torsionful sector [1511.09310] [1002.3616] |
| **CCKYT / GCCKY** | \(\nabla^T_{[a}Y_{b_1\cdots b_p]}=0\) or \(d^T\omega=0\) | Closed torsionful sector [1511.09310] [1002.3616] |
| **CCCKY** | \(\nabla_{[a}H_{b_1\cdots b_p]}=0\) | General metric-compatible torsion [1501.05029] |

This suggests that the phrase “torsionful conformal Killing–Yano form” can refer either to the skew-torsion framework based on \(d^T,\delta^T\), or to the broader metric-compatible framework in which covariant closure replaces exterior closure.

## 2. Torsion-modified calculus, duality, and integrability

In the skew-torsion formalism of generalized CKY geometry, the natural operators are
\[
d^T\omega = d\omega - T\wedge_1 \omega,\qquad
\delta^T\omega = \delta\omega - \frac12\, T\wedge_2 \omega,
\]
and, in general, \((d^T)^2\neq 0\) and \((\delta^T)^2\neq 0\) [1002.3616]. A later algebraic treatment uses the notation \(H\) for the skew torsion and writes instead
\[
d^H\alpha = d\alpha + H\underset{1}\wedge\alpha,\qquad
\delta^H\alpha = \delta\alpha + \frac12 H\underset{2}\wedge\alpha,
\]
together with
\[
\nabla^H_X\alpha=\frac{1}{p+1}i_Xd^H\alpha-\frac{1}{n-p+1}\widetilde{X}\wedge\delta^H\alpha.
\]
This suggests that sign conventions vary across the literature, while the structural replacement \((\nabla,d,\delta)\mapsto (\nabla^T,d^T,\delta^T)\) remains the central idea [2508.05117].

Hodge duality survives torsion in a strong form. In the skew-torsion setting, GKY and GCCKY forms are exchanged by the Hodge star, and the same statement holds for KYT and CCKYT in the lift framework [1002.3616] [1511.09310]. Batista proves an analogous statement for a general metric-compatible connection: a Killing–Yano \(p\)-form with respect to the torsionful connection is Hodge dual to a covariantly closed conformal Killing–Yano \((n-p)\)-form with respect to the same connection, because the volume form remains covariantly constant under any metric-compatible connection [1501.05029].

A central torsion-specific issue is the distinction between exterior closure and covariant closure. For a \(p\)-form \(F\),
\[
(dF)_{a b_1\cdots b_p}
=
(p+1)\nabla_{[a}F_{b_1\cdots b_p]}
+\frac{p(p+1)}{2}\, T_{[ab_1|}{}^{e}F_{e|b_2\cdots b_p]},
\]
so \(dF=0\) and \(\nabla_{[a}F_{b_1\cdots b_p]}=0\) are no longer equivalent when torsion is present [1501.05029]. This is why GCCKY and CCCKY are not interchangeable notions.

Integrability theory is correspondingly richer. For GCKY forms one has
\[
\Delta^T \omega
=
\frac{1}{p+1}\,\delta^T d^T\omega
+
\frac{1}{n-p+1}\, d^T \delta^T\omega,
\]
together with a torsionful Weitzenböck identity and curvature terms involving both \(R\) and \(T\) [1002.3616]. For CCCKY forms, Batista derives a coupled system involving curvature, torsion, and the derivative of the trace field \(h\), and also isolates a purely torsional obstruction,
\[
2\, h_{[a b c_1} H_{c_2\cdots c_p]}
=
(-1)^p p\left( \nabla_{[a}T_{bc}{}^{e} H_{c_1\cdots c_p]e}
+
T_{[ab}{}^{d}T_{c|d|}{}^{e}H_{c_1\cdots c_p]e} \right),
\]
which has no torsion-free analogue [1501.05029].

## 3. Dirac operators, particle models, and anomalies

A major reason torsionful CKY geometry matters is that it survives into symmetry-operator theory for spinors. In the skew-torsion spin setting, the relevant Dirac operator is not the naive torsion Dirac operator \(D^T\), but the modified Bismut operator
\[
\mathcal{D}=D^T+\frac12 T = D^{T/3}=D-\frac14 T.
\]
For a GCKY \(p\)-form \(\omega\), one constructs a first-order operator
\[
L_\omega
=
e^a\omega \nabla^T_{X_a}
+
\frac{p}{p+1} d^T\omega
-
\frac{n-p}{n-p+1}\delta^T\omega
+
\frac12 T\omega,
\]
and the deviation from exact symmetry is an explicit anomaly \(A\) built from \(T\), \(dT\), \(d^Td^T\omega\), and \(\delta^T\delta^T\omega\). The anomaly splits into classical and quantum parts; when it vanishes, GKY and GCCKY forms generate graded symmetry operators of the massless Dirac equation [1002.3616].

The same paper identifies strong KT and strong HKT manifolds as particularly clean torsion backgrounds. On a KT manifold the Hermitian form \(F\) satisfies
\[
\nabla^T F=0,\qquad d^T F=0,\qquad \delta^T F=0,
\]
and the anomaly reduces to \(A=[dT,F]\), so it vanishes whenever \(dT=0\). On a strong HKT manifold the three Kähler forms \(F_i\) satisfy the analogous relations and each generates a commuting symmetry of the modified Dirac operator [1002.3616].

The charged-particle and lift literature reveals a second mechanism. If \(Y\) is a KYT \(p\)-form and the Kaluza–Klein field strength satisfies
\[
F^{b}{}_{[a_1}Y_{a_2\cdots a_p]b}=0,
\]
then the quadratic quantity built from the associated Killing–Stäckel tensor is conserved for charged particle motion, and the same algebraic condition appears in first-order Dirac symmetry operators and in pseudo-classical spinning-particle transformations [1511.09310].

Papadopoulos derives the torsionful Killing–Yano equation directly from invariance of an \(N=1\) supersymmetric worldline action with torsion 3-form \(c\),
\[
\hat\nabla_{j_1} L_{j_2\ldots j_{k+1}} = \hat\nabla_{[j_1} L_{j_2\ldots j_{k+1}]},
\]
supplemented by an extra torsion constraint and a magnetic-field condition. That paper does not formulate a full torsionful CKY equation, but it identifies the mechanical origin of the coclosed sector and shows that the torsion solving the KY invariance equations need not be unique [1111.6744].

## 4. Principal torsionful CKY structures and local metrics

The most developed local geometry arises from the principal Killing–Yano tensor with torsion. This is defined as a non-degenerate rank-2 \(d^T\)-closed GCKY tensor \(h\) satisfying
\[
\nabla^T_X h = X^\flat\wedge \xi,\qquad
\xi = -\frac{1}{D-1}\,\delta^T h.
\]
It is the torsionful analogue of the usual principal closed conformal Killing–Yano tensor [1203.0393].

In dimension \(D=2n+\varepsilon\), the principal tensor admits a Darboux frame in which
\[
g=\sum_{\mu=1}^n \bigl(e^\mu e^\mu + e^{\hat\mu} e^{\hat\mu}\bigr) + \varepsilon\, e^0 e^0,
\qquad
h=\sum_{\mu=1}^n x_\mu\, e^\mu\wedge e^{\hat\mu}.
\]
The torsion is then strongly constrained: in even dimensions only \(\mu\hat\mu\hat\nu\)-components may survive, while in odd dimensions \(\mu\hat\mu 0\)-components may also be nonzero. Because \(h\) is only \(d^T\)-closed, not necessarily \(d\)-closed, torsion creates genuinely new local possibilities unavailable in torsion-free principal CKY geometry [1203.0393].

The hidden-symmetry tower persists. The wedge powers
\[
h^{(j)}=\underbrace{h\wedge\cdots\wedge h}_{j\ \text{times}}
\]
are \(d^T\)-closed GCKY forms, their Hodge duals are generalized KY forms, and they generate explicit rank-2 Killing tensors
\[
K^{(j)} = \sum_{\mu=1}^n A_\mu^{(j)}\, \bigl(e^\mu e^\mu + e^{\hat\mu} e^{\hat\mu}\bigr) +\varepsilon\, A^{(j)} e^0 e^0
\]
that mutually commute under the Schouten–Nijenhuis bracket [1203.0393]. The local classification reduces to a nonlinear first-order PDE system and splits into types A, B, and C; Type A generalizes the torsionless Kerr–NUT–(A)dS pattern, while Types B and C occur only when torsion is present [1203.0393].

In five dimensions, Houri, Oota, and Yasui analyze the dual picture of a rank-2 GKY tensor \(f\) and its rank-3 GCCKY dual \(h=*f\). Under the additional assumption that the zero-eigenvalue eigenvector is Killing, the local metrics again fall into types A, B, and C. Type A contains charged rotating Kaluza–Klein black holes and black strings; the physical torsion is
\[
T=\frac{1}{\sqrt{3}}*F
\]
in minimal supergravity and
\[
T=H
\]
in heterotic supergravity. The associated Killing–Stäckel tensor yields additive separability of the Hamilton–Jacobi equation, and in the heterotic branch the relevant scalar equation is a deformed Klein–Gordon equation rather than the ordinary one [1212.2163].

These local models intersect supergravity black-hole geometry in several ways. The principal CCKYT 2-form appearing in charged Kerr–NUT solutions of string theory and gauged supergravity has Darboux form
\[
Y=\sum_{\mu=1}^{n} x_\mu\, e^\mu\wedge e^{\hat\mu},
\]
and its powers lift under a Kaluza–Klein ansatz whenever the gauge field strength is aligned with the same Darboux 2-planes [1511.09310].

## 5. \(G\)-structures, intrinsic torsion, and adjacent classifications

Not all torsion-related Killing–Yano literature develops torsionful CKY forms in the modern sense. The review of Killing–Yano tensors and applications reproduces Papadopoulos’ list for \(G\)-structures by analyzing intrinsic torsion classes and testing whether \(G\)-invariant forms satisfy the ordinary Levi–Civita Killing–Yano equation
\[
\nabla_X \sigma_p^G = \frac{1}{p+1} i_X d\sigma_p^G.
\]
It explicitly does **not** introduce a torsion-modified CKY equation. Within that Levi–Civita framework, the almost Kähler form \(\omega\) is KY in the nearly Kähler case, the \(G_2\) 3-form \(\varphi\) is KY for nearly parallel \(G_2\), and on Sasakian manifolds one has
\[
\nabla_X(d\eta) = -2 X^\flat\wedge \eta
= -\frac{1}{n-1} X^\flat\wedge d^*d\eta,
\]
so \(d\eta\) is of conformal Killing–Yano type, but still with respect to the Levi–Civita derivative [1108.0149].

Papadopoulos’ worldline paper moves closer to the torsionful setting. For \(G=U(n),SU(n),Sp(n),Sp(n)\!\cdot\!Sp(1),G_2,\Spin(7)\), it studies the torsionful KY equation generated by the supersymmetric particle action and determines when compatible skew-torsion connections exist and whether they are unique. A central outcome is non-uniqueness for \(U(n)\), \(SU(n)\), and \(G_2\) in certain sectors, contrasted with uniqueness and actual parallelism for \(Sp(n)\), \(Sp(n)\!\cdot\!Sp(1)\), and \(\Spin(7)\). That paper remains in the coclosed sector: it contains no torsionful codifferential term and no full conformal trace term [1111.6744].

This neighboring \(G\)-structure literature is therefore best interpreted as background for torsionful CKY theory rather than as a complete theory of torsionful conformal Killing–Yano forms. It shows how intrinsic torsion, compatible skew-torsion connections, and hidden symmetry interact, but it also clarifies that the full conformal equation entered the literature only in more specialized treatments [1108.0149] [1111.6744].

## 6. Lifts, graded brackets, and generalized extensions

A substantial structural development concerns higher-dimensional lifts. Under the Kaluza–Klein ansatz
\[
d\bar s^2 = ds^2 + (dz+A)^2,\qquad \bar H = H + F\wedge (dz+A),
\]
a KYT \(p\)-form \(Y\) lifts directly if
\[
F^{b}{}_{[a_1}Y_{a_2\cdots a_p]b}=0,
\]
while a CCKYT \(p\)-form lifts as
\[
Y\wedge (dz+A).
\]
Because wedge products of liftable CCKYT forms remain liftable, principal torsionful conformal forms generate towers of higher-degree liftable hidden symmetries in supergravity black-hole backgrounds [1511.09310].

Recent work has also addressed the algebra of torsionful CKY forms themselves. For a pseudo-Riemannian manifold with skew torsion \(H\), one introduces
\[
\widehat{R}(X_a,X_b)\alpha
=
R^H(X_a,X_b)\alpha+\nabla^H_{T(X_a,X_b)}\alpha
\]
and derives torsionful CKY integrability conditions in terms of \(d^H\), \(\delta^H\), and \(\widehat R\). A graded bracket
\[
[\alpha_1,\alpha_2]_{HCKY}
\]
is obtained from the ordinary CKY bracket by replacing \(d,\delta\) with \(d^H,\delta^H\). The bracket closes on a special subset of torsionful CKY forms when \(H\) is closed and \(\nabla^H\)-parallel, and when the forms satisfy
\[
\nabla^H_{T(X_a,X_b)}\alpha=0.
\]
Under these assumptions, one gets a graded Lie algebra on constant-curvature manifolds, and on Einstein manifolds for the corresponding normal subset [2508.05117].

An even broader generalization arises from supergravity Killing spinor equations. Papadopoulos shows that bilinears of Killing spinors satisfy twisted covariant form hierarchies
\[
\nabla^F_X(\{\chi^p\}) = i_X P(F,\{\chi^p\}) + \alpha_X \wedge Q(F,\{\chi^p\}),
\]
which imply a generalized CKY equation for a collection of forms on \(\Lambda^*(M)\). In heterotic and ungauged \(N=(1,0)\), \(d=6\) supergravity, this hierarchy reduces to the standard skew-torsion connection \(\nabla^H\). In minimal \(d=5\) supergravity, the 2-form bilinear is a CKY form with torsion \(H=*F\). In \(d=4\) and \(d=11\), however, the hierarchy generally mixes form degree and goes beyond the standard torsionful CKY setting [2001.07423].

A useful boundary marker is provided by the Cotton-current paper, which writes the natural torsionful CKY definition for completely skew torsion,
\[
\nabla^{(T)}_a k_{b_1\cdots b_n}
=
\nabla^{(T)}_{[a}k_{b_1\cdots b_n]}
+
\frac{n}{D-n+1}g_{a[b_1}k_{b_2\cdots b_n]},
\]
but then develops only a torsionful second-derivative identity for KY 2-forms, not a full torsionful CKY integrability theory. Its detailed CKY identities remain torsion-free [2110.03470].

Taken together, these results identify torsionful conformal Killing–Yano forms as a hierarchy of hidden-symmetry objects ranging from coclosed KY-type forms to closed conformal subclasses, principal tensors, lifted black-hole symmetries, graded Lie brackets, and supergravity flux-twisted generalizations. The subject is unified by the replacement of Levi–Civita data with torsionful or flux-twisted operators, but internally differentiated by the choice of torsion class, the notion of closure, and the extent to which conformal, spinorial, and algebraic structures remain intact [1002.3616] [1511.09310] [1501.05029] [2508.05117]

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