REVIEW 2 major objections 3 minor 39 references
Torsionful Killing-Yano Forms under T-Duality: Transformation Conditions and Emergent Isometries
T0 review · 2 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read Under Abelian T-duality, Killing–Yano forms transform with an affine correction to the circle component; a Killing 1-form survives exactly when its transverse components are independent of the dualized direction.
desk verdict Conditional but honest attempt at T-duality rules for Killing–Yano forms; the p=1 criterion is likely right, but the p>1 theorem lacks an existence proof for its auxiliary torsion and the examples don't instantiate the hypotheses. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the decomposition of a Killing–Yano p-form into transverse and circle parts, K=α+e^θ∧β, relative to the adapted coframe of the dualized isometry. The transformation is carried by the comparison of original and T-dual component equations of the torsionful Killing–Yano equation, using the Buscher rules and a metric-compatible connection with skew torsion T=H+Ψ, where H is NS–NS flux and Ψ is an auxiliary skew-torsion used for matching. The affine correction term F (for p=1, a scalar f) carries the residual compatibility conditions.
What would settle it
Compute, for a fixed isometry background with physical H, the matching equations (3.12) for the auxiliary Ψ and show they admit no solution; or, conversely, find a Killing 1-form whose transverse components are independent of the dualized direction but for which equation (3.19) has no smooth solution on the compact dual circle—either would refute the claimed survival criterion.
Extended reading notes
Core claim
Retaining the standard metric-compatible torsionful Killing–Yano equation in both duality frames, and decomposing a p-form as K=α+e^θ∧β, the paper shows that under the matching assumptions (3.12)—which require the auxiliary skew-torsion parts and the circle torsion to align, ψθ=ψ̂θ=−Λ, and transverse torsion terms to match—the transformed circle component takes the affine form β̂=−e^{-2σ}β+F, with F constrained by two independent conditions (F0)_a=0 and (F2)_a=0. For Killing 1-forms, the transverse components are preserved, Xθ(K_a)=0, and the correction f satisfies (3.19). The paper states this as a sufficient criterion, and the examples show it is also selective: only some Killing forms of
Load-bearing premise
The transformation law depends on the existence of an auxiliary skew-torsion Ψ (and its T-dual) satisfying the matching conditions (3.12); if no such Ψ exists for a given background and physical H-flux, the derived survival criterion does not apply.
Editorial extensions
If this is right
- For any background with an Abelian isometry, the criterion (3.18)–(3.19) gives a directly checkable list of which Killing 1-forms survive a given T-duality.
- In the Hopf T-dual of S^3 to S^2×S^1, four of six Killing 1-forms survive and none of the Killing–Yano 2-forms survive; the dual background admits no nontrivial torsionful KY 2-form for the dual connection.
- For Schwarzschild, dualizing along time preserves the full continuous isometry group, while dualizing along the axial angle reduces it to R_t×U(1)_φ, with the surviving axial Killing 1-form acquiring a nonzero correction.
- For the Nappi–Witten plane wave with exact NS–NS torsion, all six torsionful Killing–Yano 2-forms transform to torsionful Killing–Yano 2-forms of the locally Nappi–Witten dual.
- Generalized geometry and double field theory show how Killing vectors that appear only in the T-dual frame arise from non-geometric generalized Killing vectors of the original generalized metric, so emergent isometries are encoded before duality.
Reading between the lines
- The matching assumptions (3.12) are sufficient, not necessary; the paper leaves open whether backgrounds can be classified by whether such an auxiliary Ψ exists, and one testable extension is to look for a geometric obstruction that prevents survival even when the naive coordinate condition holds.
- The same component-decomposition logic should extend to conformal Killing–Yano forms and to closed conformal Killing–Yano tensors, where the circle scaling may pick up conformal factors; this would connect the criterion to principal Killing–Yano tensors of rotating black holes with torsion.
- Since survival hinges on independence from the dualized direction, the criterion predicts that in a spacetime with multiple commuting isometries, the set of surviving hidden symmetries depends on the choice of T-duality direction—a property that could be probed in explicit dual pairs.
- The generalized-Killing construction suggests a practical algorithm: solve the generalized Killing equation on the original background with dual-coordinate dependence allowed, T-dualize, and identify which projected solutions become ordinary Killing vectors; applying this to higher-degree forms would require an O(d,d)-covariant KY equation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives sufficient conditions for a torsionful Killing-Yano p-form to be mapped to a torsionful Killing-Yano form under Abelian T-duality. Using an adapted coframe and Buscher rules, the authors decompose a KY form as K = α + e^θ ∧ β, compare the original and T-dual component equations, and impose matching assumptions (3.12) on an auxiliary skew-torsion Ψ. Under these assumptions they obtain an affine transformation rule β̂ = -e^{-2σ}β + F, with F constrained by (F0)_a = 0 and (F2)_a = 0, and a specialized statement for Killing 1-forms with scalar correction f satisfying (3.19). The framework is applied to S^3, Schwarzschild, and the Nappi-Witten plane wave, and a generalized-geometric construction is proposed to explain Killing vectors that emerge in the T-dual frame.
Significance. If the matching assumptions can be realized, the paper provides a compact, coordinate-free transformation law for KY forms of arbitrary degree, with an explicit survival criterion for p = 1. The component derivations in Section 3 and Appendix B are detailed, and the conditional logic is clear. The generalized-geometric reinterpretation in Section 5 is suggestive and connects the problem to DFT. However, the paper's physical applicability currently rests on unproved existence of the auxiliary torsion Ψ, and one of the Schwarzschild corrections is internally inconsistent as printed. These issues are substantial but addressable.
major comments (2)
- [§3, Eq. (3.12); §4 examples] The matching assumptions (3.12) are load-bearing, yet no proof is given that a skew 3-form Ψ (and its T-dual Ψ̂) exists for a given background (g, B, H), nor is Ψ exhibited in any Section 4 example. The paper states these assumptions are not consequences of the Buscher rules; without an existence result or explicit construction, the transformation law (3.13)-(3.15) and its p=1 corollary have no demonstrated instance. In the S^3 example, Λ = sin(2χ) dχ∧dφ ≠ 0, so (3.12) requires nonzero auxiliary ψ_θ; the subsequent computations use only H = 0 or Ĥ, not ∇^{H+Ψ}. In the Nappi-Witten example Ψ = 0 may be consistent but the τ-condition is not verified. Please prove existence in a general class, construct Ψ in the examples, or reformulate the examples so they directly instantiate the hypotheses.
- [§4, Schwarzschild timelike dual, Eq. (4.14)] The listed correction f^(1) = 2√κ contradicts Eq. (3.19). For K^(1) = √κ e^θ one has α = 0, and for the timelike duality dA = db = 0, A = b = 0, so (3.19) reduces to X_a(e^σ f) = 0, i.e. f = C e^{-σ} = C κ^{-1/2}. The value 2√κ does not satisfy this, and substituting it into (3.18) gives K̂_θ = 2√κ - κ^{-1/2}, not the displayed κ^{-1/2}. The correct value appears to be 2/√κ. Thus the claim that direct substitution verifies (3.19) for this entry is false as written.
minor comments (3)
- [§4, Nappi-Witten] The text says the correction forms F(i) = 0 satisfy (3.14)-(3.15). This is plausible, but the matching assumptions (3.12), especially the τ-condition and ψ_amc = ψ̂_amc, are not explicitly checked. Please state whether Ψ = 0 is chosen and verify the remaining condition, or note that the example uses only the physical torsion.
- [§5, Eq. (5.25)] The quotient im P_y / (im P_y ∩ isom_surv(ĝ)) is defined but not evaluated quantitatively in the examples. Clarify whether it is meant only as a conceptual measure of emergent symmetries.
- [General notation] The adjusted coframe e^θ and its dual ^? The notation for the dualized circle direction is not fully uniform; for example, Schwarzschild uses hatted frame elements inconsistently. Please harmonize.
Circularity Check
No significant circularity: the derivation is a transparently conditional theorem, not a repackaged input.
full rationale
The paper's central result is a sufficient transformation criterion derived by comparing the original and T-dual torsionful Killing–Yano component systems under explicitly stated matching assumptions (3.12). The paper openly states: 'These assumptions are not consequences of the Buscher rules. They are sufficient matching conditions on the auxiliary metric-compatible torsionful connections under which the original and T-dual component systems can be compared term by term.' That is a disclosed hypothesis of a conditional theorem, not a hidden identification of the conclusion with the input. The affine ansatz β̂ = −e^{−2σ}β + F is not taken as the definition of a dual Killing–Yano form; the compatibility conditions (F0)_a = 0 and (F2)_a = 0 are derived from the component equations, and the p = 1 reduction (3.18)–(3.19) is a genuine sufficient condition. The examples verify the displayed correction functions by direct substitution and independently identify the resulting hatted forms as Killing–Yano forms of the dual backgrounds. The only self-citation, ref. [24], is used as an analogy about dependence on the dualized direction and is not load-bearing for the derivation. The conditional nature of (3.12) — in particular, the lack of an explicit auxiliary Ψ realizing the matching assumptions in the examples — is a correctness/completeness concern, not a circularity: the paper does not silently assume the dual object is Killing–Yano and then present that assumption as a prediction.
Assumptions & free parameters
free parameters (2)
- Auxiliary skew-torsion 3-form Ψ (and Ψ̂) =
not fixed; chosen per background
- Correction term F / f =
e.g., f(3)=5, f(4)=−4 sin2χ sinφ, f(6)=−4 cos2χ in S3; f(1)=2√κ in the timelike Schwarzschild example
assumptions (5)
- domain assumption Buscher rules are valid for the adapted Abelian isometry with L_{∂θ} g = L_{∂θ} B = 0.
- ad hoc to paper The matching assumptions (3.12) are realizable: there exists a globally defined skew 3-form Ψ (and Ψ̂) satisfying ψ_θ = ψ̂_θ = −Λ and ψ_amc = ψ̂_amc and the τ-condition.
- ad hoc to paper The affine ansatz β̂ = −e^{-2σ}β + F with X_θ(F) = 0 is general enough to capture all transformable KY p-forms.
- standard math For a metric-compatible connection with totally antisymmetric torsion, the torsionful exterior derivative equals the de Rham exterior derivative, giving the KY equation (3.2).
- domain assumption In the DFT construction, the strong constraint and the restricted dual-coordinate dependence introduced in Section 5 are satisfied.
invented entities (2)
-
Auxiliary skew-torsion 3-form Ψ (and Ψ̂)
-
Non-geometric generalized Killing vectors depending on dual coordinates (e.g., V = cos θ̃ ∂χ − 2 sin θ̃ csc(2χ) ∂φ − 2 sin θ̃ cot(2χ) dθ)
Cite this review
Pith. "Pith review of Torsionful Killing-Yano Forms under T-Duality: Transformation Conditions and Emergent Isometries." pith.science (2026). https://pith.science/paper/47P2UEH3
@misc{pith2026260718842,
author = {Pith},
title = {Pith review of: Torsionful Killing-Yano Forms under T-Duality: Transformation Conditions and Emergent Isometries},
year = {2026},
howpublished = {\url{https://pith.science/paper/47P2UEH3}},
note = {Machine review of arXiv:2607.18842}
}
abstract
We investigate the transformation of Killing-Yano (KY) $p$-forms under Abelian T-duality in the presence of a non-trivial three-form torsion. Using a torsionful, metric-compatible connection and the Buscher rules of T-duality, we derive compact, coordinate-free transformation laws applicable to KY forms of arbitrary degree under explicit matching assumptions. In particular, we show that a Killing 1-form is preserved by the direct duality map whenever its transverse components are independent of the isometry direction, with the dual circle component determined by a scalar correction equation. The framework is then applied to several examples, including the Hopf T-dual of $S^3$, Schwarzschild spacetime, and the Nappi-Witten plane wave with exact NS-NS torsion, where we analyze the transformed Killing-Yano forms explicitly. Finally, we give a generalized-geometric and double-field-theoretic interpretation of emergent Killing 1-forms in the T-dual geometry, showing how they arise from generalized Killing data in the original duality frame.
Reference graph
Works this paper leans on
-
[1]
Some remarks on tensor fields and curvature,
K. Yano, “Some remarks on tensor fields and curvature,” Ann. Math.55(1952) 328–347
1952
-
[2]
Global structure of the Kerr family of gravitational fields,
B. Carter, “Global structure of the Kerr family of gravitational fields,” Phys. Rev.174 (1968) 1559–1571
1968
-
[3]
On quadratic first integrals of the geodesic equations for type {22}spacetimes,
M. Walker and R. Penrose, “On quadratic first integrals of the geodesic equations for type {22}spacetimes,” Commun. Math. Phys.18(1970) 265–274
1970
-
[4]
Penrose and W
R. Penrose and W. Rindler,Spinors and Space-Time. Vol. 2: Spinor and Twistor Methods in Space-Time Geometry, Cambridge University Press, Cambridge (1986)
1986
-
[5]
SUSY in the sky,
G. W. Gibbons, R. H. Rietdijk and J. W. van Holten, “SUSY in the sky,” Nucl. Phys. B404 (1993) 42–64
1993
-
[6]
Dirac symmetry operators from conformal Killing-Yano tensors,
I. M. Benn and P. Charlton, “Dirac symmetry operators from conformal Killing-Yano tensors,” Class. Quant. Grav.14(1997) 1037–1042
1997
-
[7]
First-order Dirac symmetry operators,
I. M. Benn and J. M. Kress, “First-order Dirac symmetry operators,” Class. Quant. Grav. 21(2004) 427–431
2004
-
[8]
Hidden symmetries of dynamics in classical and quantum physics,
M. Cariglia, “Hidden symmetries of dynamics in classical and quantum physics,” Rev. Mod. Phys.86(2014) 1283–1334
2014
Show all 39 references
-
[9]
Black holes, hidden symmetries, and complete integrability,
V. P. Frolov, P. Krtouˇ s and D. Kubizˇ n´ ak, “Black holes, hidden symmetries, and complete integrability,” Living Rev. Rel.20(2017) 6
2017
-
[10]
Hidden symmetry of higher dimensional Kerr-NUT-AdS spacetimes,
D. Kubizˇ n´ ak and V. P. Frolov, “Hidden symmetry of higher dimensional Kerr-NUT-AdS spacetimes,” Class. Quant. Grav.24(2007) F1–F6
2007
-
[11]
Higher-dimensional black holes: hidden symmetries and separation of variables,
V. P. Frolov and D. Kubizˇ n´ ak, “Higher-dimensional black holes: hidden symmetries and separation of variables,” Class. Quant. Grav.25(2008) 154005
2008
-
[12]
Closed conformal Killing-Yano tensor and Kerr-NUT-de Sitter spacetime uniqueness,
T. Houri, T. Oota and Y. Yasui, “Closed conformal Killing-Yano tensor and Kerr-NUT-de Sitter spacetime uniqueness,” Phys. Lett. B656(2007) 214–216
2007
-
[13]
Killing-Yano tensors, rank-2 Killing tensors, and conserved quantities in higher dimensions,
P. Krtouˇ s, D. Kubizˇ n´ ak, D. N. Page and V. P. Frolov, “Killing-Yano tensors, rank-2 Killing tensors, and conserved quantities in higher dimensions,” JHEP02(2007) 004. – 38 –
2007
-
[14]
Superstrings with torsion,
A. Strominger, “Superstrings with torsion,” Nucl. Phys. B274(1986) 253–284
1986
-
[15]
Sigma model beta functions and string compactifications,
C. M. Hull, “Sigma model beta functions and string compactifications,” Nucl. Phys. B267 (1986) 266–276
1986
-
[16]
Killing-Yano equations with torsion, worldline actions andG-structures,
G. Papadopoulos, “Killing-Yano equations with torsion, worldline actions andG-structures,” Class. Quant. Grav.29(2012) 115008
2012
-
[17]
Killing-Yano supersymmetry in string theory,
F. De Jonghe, K. Peeters and K. Sfetsos, “Killing-Yano supersymmetry in string theory,” Class. Quant. Grav.14(1997) 35–46
1997
-
[18]
Generalized hidden symmetries and the Kerr-Sen black hole,
T. Houri, D. Kubizˇ n´ ak, C. M. Warnick and Y. Yasui, “Generalized hidden symmetries and the Kerr-Sen black hole,” JHEP07(2010) 055
2010
-
[19]
Local metrics admitting a principal Killing-Yano tensor with torsion,
T. Houri, D. Kubizˇ n´ ak, C. M. Warnick and Y. Yasui, “Local metrics admitting a principal Killing-Yano tensor with torsion,” Class. Quant. Grav.29(2012) 165001
2012
-
[20]
A symmetry of the string background field equations,
T. H. Buscher, “A symmetry of the string background field equations,” Phys. Lett. B194 (1987) 59–62
1987
-
[21]
Path-integral derivation of quantum duality in nonlinear sigma models,
T. H. Buscher, “Path-integral derivation of quantum duality in nonlinear sigma models,” Phys. Lett. B201(1988) 466–472
1988
-
[22]
Target space duality in string theory,
A. Giveon, M. Porrati and E. Rabinovici, “Target space duality in string theory,” Phys. Rept.244(1994) 77–202
1994
-
[23]
An introduction to T-duality in string theory,
E. ´Alvarez, L. ´Alvarez-Gaum´ e and Y. Lozano, “An introduction to T-duality in string theory,” Nucl. Phys. Proc. Suppl.41(1995) 1–20
1995
-
[24]
Supersymmetry and non-Abelian T-duality in type II supergravity,
¨O. Kelekci, Y. Lozano, N. T. Macpherson and E. ´O Colg´ ain, “Supersymmetry and non-Abelian T-duality in type II supergravity,” Class. Quant. Grav.32(2015) 035014
2015
-
[25]
Killing(-Yano) tensors in string theory,
Y. Chervonyi and O. Lunin, “Killing(-Yano) tensors in string theory,” JHEP09(2015) 182
2015
-
[26]
Generalized Calabi-Yau manifolds,
N. Hitchin, “Generalized Calabi-Yau manifolds,” Q. J. Math.54(2003) 281–308
2003
-
[27]
Generalized complex geometry,
M. Gualtieri, “Generalized complex geometry,” Ann. Math.174(2011) 75–123
2011
-
[28]
Duality symmetric formulation of string world sheet dynamics,
A. A. Tseytlin, “Duality symmetric formulation of string world sheet dynamics,” Phys. Lett. B242(1990) 163–174
1990
-
[29]
Duality symmetric closed string theory and interacting chiral scalars,
A. A. Tseytlin, “Duality symmetric closed string theory and interacting chiral scalars,” Nucl. Phys. B350(1991) 395–440
1991
-
[30]
Two vierbein formalism for string inspired axionic gravity,
W. Siegel, “Two vierbein formalism for string inspired axionic gravity,” Phys. Rev. D47 (1993) 5453–5459
1993
-
[31]
Double field theory,
C. Hull and B. Zwiebach, “Double field theory,” JHEP09(2009) 099
2009
-
[32]
Generalized metric formulation of double field theory,
O. Hohm, C. Hull and B. Zwiebach, “Generalized metric formulation of double field theory,” JHEP08(2010) 008
2010
-
[33]
The spacetime of double field theory: review, remarks, and outlook,
O. Hohm, D. L¨ ust and B. Zwiebach, “The spacetime of double field theory: review, remarks, and outlook,” Fortsch. Phys.61(2013) 926–966
2013
-
[34]
Double field theory: a pedagogical review,
G. Aldazabal, D. Marqu´ es and C. N´ u˜ nez, “Double field theory: a pedagogical review,” Class. Quant. Grav.30(2013) 163001
2013
-
[35]
Duality symmetric string and M-theory,
D. S. Berman and D. C. Thompson, “Duality symmetric string and M-theory,” Phys. Rept. 566(2015) 1–60. – 39 –
2015
-
[36]
Double field theory, T-duality, and Courant brackets,
B. Zwiebach, “Double field theory, T-duality, and Courant brackets,” Lect. Notes Phys.851 (2012) 265–291
2012
-
[37]
Wess-Zumino-Witten model based on a nonsemisimple group,
C. R. Nappi and E. Witten, “Wess-Zumino-Witten model based on a nonsemisimple group,” Phys. Rev. Lett.71(1993) 3751–3753
1993
-
[38]
I. M. Benn and R. W. Tucker,An Introduction to Spinors and Geometry with Applications in Physics, Bristol: Adam Hilger (1989)
1989
-
[39]
Explicitly connecting T and Buscher dualities in string theory,
P. Matlock and R. Parthasarathy, “Explicitly connecting T and Buscher dualities in string theory,” Phys. Rev. D72(2005) 066007. – 40 –
2005
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.