Pith. sign in

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 →

arxiv 2607.18842 v2 pith:47P2UEH3 submitted 2026-07-21 math-ph hep-thmath.MP

classification math-phhep-thmath.MP MSC 53C8083E3053C29
keywords T-dualityKilling–YanoformshiddensymmetriestorsiongeneralizedgeometrydoublefieldtheoryBuscherrulesemergentisometries
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper asks how hidden symmetries of a spacetime—encoded in antisymmetric Killing–Yano forms—behave under Abelian T-duality when the background carries NS–NS torsion. It derives transformation laws for torsionful Killing–Yano p-forms and gives an explicit survival criterion. For p=1, a Killing 1-form maps to a Killing 1-form of the T-dual metric precisely when its transverse components do not depend on the dualized circle direction; the dual circle component is then fixed up to a scalar correction satisfying a first-order equation. The testable content is that survival is controlled by the same kind of duality-direction dependence that governs supersymmetry preservation. Examples on the Hopf T-dual of the three-sphere, Schwarzschild, and an exact torsionful plane wave show the criterion discriminating which symmetries survive.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

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)
  1. [§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.
  2. [§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)
  1. [§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.
  2. [§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.
  3. [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

0 steps flagged · score 0.0 of 10

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 2 free parameters · 5 assumptions · 2 invented entities

The central claims rest on several free choices. The auxiliary torsion Ψ is freely chosen to enforce matching assumptions; the correction F/f is determined by compatibility equations only up to homogeneous freedom, and the reported example constants are hand-picked to match dual bases. The DFT section additionally assumes a restricted dual-coordinate sector satisfying the strong constraint. No physical new entity beyond the auxiliary-mathematical Ψ is introduced, and that entity carries no independent evidence.

free parameters (2)
  • Auxiliary skew-torsion 3-form Ψ (and Ψ̂) = not fixed; chosen per background
    Section 2/3: T = H + Ψ, with Ψ described as 'additional skew-torsion freedom of the auxiliary connection.' The matching assumptions (3.12) set ψ_θ = ψ̂_θ = −Λ and ψ_amc = ψ̂_amc, so Ψ is effectively a free field chosen to align the two KY systems.
  • 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
    The affine ansatz β̂ = −e^{-2σ}β + F introduces F; for p = 1, f is fixed by (3.19) up to a homogeneous shift C e^{-σ}. The constants in the examples are chosen by hand to match the normalization of the displayed dual bases.
assumptions (5)
  • domain assumption Buscher rules are valid for the adapted Abelian isometry with L_{∂θ} g = L_{∂θ} B = 0.
    Section 2, Eqs. (2.1)–(2.5). The entire transformation law rests on the standard Buscher form of T-duality.
  • 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.
    Section 3, Eq. (3.12). The paper states these are 'not consequences of the Buscher rules' but are load-bearing for the derivation.
  • ad hoc to paper The affine ansatz β̂ = −e^{-2σ}β + F with X_θ(F) = 0 is general enough to capture all transformable KY p-forms.
    Section 3, Eq. (3.13). No argument is given that a more general ansatz cannot produce additional surviving 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).
    Section 3 and Appendix A. This is standard in torsionful geometry and underlies the p=1 reduction.
  • domain assumption In the DFT construction, the strong constraint and the restricted dual-coordinate dependence introduced in Section 5 are satisfied.
    Section 5, Eqs. (5.7)–(5.9). The emergent-Killing construction requires generalized Killing parameters with dual-coordinate dependence while keeping ∂_y = 0 and satisfying the strong constraint.
invented entities (2)
  • Auxiliary skew-torsion 3-form Ψ (and Ψ̂)
    purpose: Additional torsion freedom in the metric-compatible connection, used to satisfy the matching assumptions and make the original and dual KY systems term-by-term comparable.
    Ψ is not the physical NS–NS flux H; no observable or independent prediction is attached to it. It is introduced per background to make the transformation law close.
  • Non-geometric generalized Killing vectors depending on dual coordinates (e.g., V = cos θ̃ ∂χ − 2 sin θ̃ csc(2χ) ∂φ − 2 sin θ̃ cot(2χ) dθ)
    purpose: Explain emergent Killing 1-forms in the T-dual geometry as projections of generalized Killing vectors in the original doubled description.
    The constructed vectors are chosen to reproduce known dual isometries in the worked examples; they do not make a falsifiable prediction outside the paper's own dual-metric computations.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references

  1. [1]

    Some remarks on tensor fields and curvature,

    K. Yano, “Some remarks on tensor fields and curvature,” Ann. Math.55(1952) 328–347

  2. [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

  3. [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

  4. [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)

  5. [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

  6. [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

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

  8. [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

Show all 39 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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 –

  6. [14]

    Superstrings with torsion,

    A. Strominger, “Superstrings with torsion,” Nucl. Phys. B274(1986) 253–284

  7. [15]

    Sigma model beta functions and string compactifications,

    C. M. Hull, “Sigma model beta functions and string compactifications,” Nucl. Phys. B267 (1986) 266–276

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [25]

    Killing(-Yano) tensors in string theory,

    Y. Chervonyi and O. Lunin, “Killing(-Yano) tensors in string theory,” JHEP09(2015) 182

  18. [26]

    Generalized Calabi-Yau manifolds,

    N. Hitchin, “Generalized Calabi-Yau manifolds,” Q. J. Math.54(2003) 281–308

  19. [27]

    Generalized complex geometry,

    M. Gualtieri, “Generalized complex geometry,” Ann. Math.174(2011) 75–123

  20. [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

  21. [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

  22. [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

  23. [31]

    Double field theory,

    C. Hull and B. Zwiebach, “Double field theory,” JHEP09(2009) 099

  24. [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

  25. [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

  26. [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

  27. [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 –

  28. [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

  29. [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

  30. [38]

    I. M. Benn and R. W. Tucker,An Introduction to Spinors and Geometry with Applications in Physics, Bristol: Adam Hilger (1989)

  31. [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 –

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.