pith. sign in

arxiv: 1906.10072 · v1 · pith:TIU4474Znew · submitted 2019-06-24 · ✦ hep-th · gr-qc

Principal Tensor Strikes Again: Separability of Vector Equations with Torsion

Ramiro Cayuso , Finnian Gray , David Kubiznak , Aoibheann Margalit , Renato Gomes Souza , Leander Thiele This is my paper

Pith reviewed 2026-05-25 17:16 UTC · model grok-4.3

classification ✦ hep-th gr-qc
keywords black holesseparabilitytorsionprincipal tensorvector equationsKilling-Yano tensorsupergravity
0
0 comments X

The pith

A torsion generalization of the principal Killing-Yano tensor allows separation of the vector field equations in the Chong-Cvetič-Lu-Pope black hole.

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

Black hole spacetimes with a 3-form field possess a hidden symmetry captured by a torsion-modified principal Killing-Yano tensor. This tensor has been known to allow separation of the Hamilton-Jacobi, Klein-Gordon, and Dirac equations. The paper demonstrates that the same tensor permits separation of the torsion-modified vector field equations in the five-dimensional Chong-Cvetič-Lu-Pope solution of minimal gauged supergravity. It also provides new formulae for Proca field separation in higher-dimensional Kerr-NUT-AdS spacetimes.

Core claim

The torsion-modified vector field equations can be separated in the Chong-Cvetič-Lu-Pope black hole, with the principal tensor playing a key role in the separability ansatz.

What carries the argument

The torsion generalization of the principal Killing-Yano tensor, which encodes the hidden symmetry and underlies the separability ansatz for multiple field equations.

If this is right

  • The torsion-modified vector field equations admit separated solutions constructed from the principal tensor.
  • The same tensor continues to determine basic properties of the black hole while extending separability results.
  • New explicit separation formulae hold for the Proca field in higher-dimensional Kerr-NUT-AdS spacetimes, including odd dimensions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The approach may apply to other vector or tensor equations in backgrounds with torsion.
  • The hidden symmetry could reduce the computational cost of solving wave equations numerically in these spacetimes.
  • Links between this tensor and integrability in gauged supergravity theories remain open for further study.

Load-bearing premise

The Chong-Cvetič-Lu-Pope black hole admits a torsion generalization of the principal Killing-Yano tensor that satisfies the algebraic conditions needed for the separation ansatz.

What would settle it

An explicit check of whether every solution to the torsion-modified vector equations in this background can be expressed in the separated form built from the principal tensor, or the discovery of a mode that cannot.

read the original abstract

Many black hole spacetimes with a 3-form field exhibit a hidden symmetry encoded in a torsion generalization of the principal Killing--Yano tensor. This tensor determines basic properties of such black holes while also underlying the separability of the Hamilton--Jacobi, Klein--Gordon, and (torsion-modified) Dirac field equations in their background. As a specific example, we consider the Chong--Cveti\v{c}--L\"u--Pope black hole of $D=5$ minimal gauged supergravity and show that the torsion-modified vector field equations can also be separated, with the principal tensor playing a key role in the separability ansatz. For comparison, separability of the Proca field in higher-dimensional Kerr--NUT--AdS spacetimes (including new explicit formulae in odd dimensions) is also presented.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript asserts that a torsion generalization of the principal Killing-Yano tensor encodes hidden symmetries in black hole spacetimes with a 3-form and underlies separability of the Hamilton-Jacobi, Klein-Gordon, Dirac, and (newly) vector field equations; it demonstrates explicit separation of the torsion-modified vector equations for the Chong-Cvetič-Lu-Pope black hole in five-dimensional minimal gauged supergravity and supplies new explicit formulae for Proca separability in higher-dimensional Kerr-NUT-AdS geometries (including odd dimensions).

Significance. If the central claim holds, the work extends the known reach of the principal tensor to vector equations, reinforcing the role of hidden symmetries in supergravity black holes. The explicit separation ansatz and the new odd-dimensional Proca formulae constitute concrete additions to the literature on integrable systems in higher-dimensional gravity.

major comments (2)
  1. [§3] §3 (vector field equations with torsion): the algebraic conditions on the torsion-modified principal tensor (closedness under the torsion connection and commutation with the vector operator) are imported from the scalar/Dirac cases without an explicit re-derivation of the cross terms generated by the torsion 3-form acting on the vector potential; any mismatch would leave non-separable residues.
  2. [Eq. (4.8)] Eq. (4.8) (separation ansatz for the vector field): the additive separation constant is introduced by direct analogy with the Dirac case, but the paper does not verify that the torsion contributions cancel identically for the vector operator, which is load-bearing for the claimed decoupling into ODEs.
minor comments (2)
  1. [§2] The notation distinguishing the torsion connection from the Levi-Civita connection is introduced only in §2 and could be restated once in the vector-equation section for readability.
  2. [Table 1] Table 1 (comparison of separation constants) omits the vector-field row; adding it would make the Proca versus torsion-vector comparison immediate.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and for identifying points where the presentation of the vector-field separability can be strengthened. We agree that explicit verification of the torsion contributions for the vector operator is necessary to fully substantiate the claims. The revised manuscript will incorporate the requested derivations and checks.

read point-by-point responses

  1. Referee: [§3] §3 (vector field equations with torsion): the algebraic conditions on the torsion-modified principal tensor (closedness under the torsion connection and commutation with the vector operator) are imported from the scalar/Dirac cases without an explicit re-derivation of the cross terms generated by the torsion 3-form acting on the vector potential; any mismatch would leave non-separable residues.

    Authors: We accept that the algebraic conditions in §3 were stated by direct extension from the scalar and Dirac analyses without a self-contained re-derivation of the torsion-induced cross terms for the vector potential. In the revision we will add an explicit calculation of these cross terms, confirming that they are absorbed into the commutation relations with the torsion-modified principal tensor and do not produce non-separable residues. This will be placed immediately before the statement of the conditions so that the vector case stands on its own. revision: yes

  2. Referee: [Eq. (4.8)] Eq. (4.8) (separation ansatz for the vector field): the additive separation constant is introduced by direct analogy with the Dirac case, but the paper does not verify that the torsion contributions cancel identically for the vector operator, which is load-bearing for the claimed decoupling into ODEs.

    Authors: The separation ansatz (4.8) is indeed introduced by analogy, and the manuscript demonstrates decoupling by explicit substitution for the Chong–Cvetič–Lu–Pope solution. However, we agree that an intermediate verification that all torsion 3-form contributions cancel identically (rather than merely cancel after substitution) is missing. The revision will insert a short calculation immediately after (4.8) that isolates the torsion-dependent pieces of the vector operator and shows they vanish for the chosen ansatz, thereby justifying the additive separation constant on the same footing as the Dirac case. revision: yes

Circularity Check

0 steps flagged

No significant circularity; separability ansatz follows from established tensor properties without reduction to self-fit or self-citation chain

full rationale

The paper extends the known role of the torsion-modified principal Killing-Yano tensor (from prior literature on Hamilton-Jacobi, Klein-Gordon, and Dirac separability) to vector equations in the Chong-Cvetič-Lu-Pope background. The abstract and setup present the algebraic conditions (closedness, contractions, commutation) as properties of the tensor that enable the ansatz, with explicit verification for the vector case rather than importing a fitted result or renaming. No self-definitional loop, no fitted parameter renamed as prediction, and the central claim does not reduce to a self-citation whose verification depends on the present work. The derivation remains self-contained against external benchmarks for the tensor's properties.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the existence of a torsion generalization of the principal Killing-Yano tensor in the specific black hole; no free parameters or invented entities beyond this tensor are mentioned in the abstract.

axioms (1)
  • domain assumption A torsion generalization of the principal Killing-Yano tensor exists in the Chong-Cvetič-Lu-Pope spacetime and encodes the hidden symmetry required for separability.
    Invoked in the abstract as the object that 'determines basic properties' and 'underlies the separability' of multiple field equations.
invented entities (1)
  • Torsion generalization of the principal Killing-Yano tensor no independent evidence
    purpose: To encode hidden symmetry and enable separation of vector equations with torsion.
    Generalized from the standard principal tensor to accommodate the 3-form field; no independent evidence supplied in abstract.

pith-pipeline@v0.9.0 · 5691 in / 1342 out tokens · 27542 ms · 2026-05-25T17:16:47.564483+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages · 25 internal anchors

  1. [1]

    In particular, the Hodge star of a closed conformal Killing–Yano with torsion p-form is a Killing–Yano with torsion ( D − p)-form and vice versa

    The Hodge star ∗ maps conformal Killing–Yano with torsion p-forms to conformal Killing–Yano with torsion (D−p)-forms. In particular, the Hodge star of a closed conformal Killing–Yano with torsion p-form is a Killing–Yano with torsion ( D − p)-form and vice versa

    work page

  2. [2]

    Closed conformal Killing–Yano tensors with torsion form a (graded) algebra with respect to a wedge product. Namely, let h1 and h2 be a closed confor- mal Killing–Yano tensor with torsion p-form and q-form, respectively, then h3 = h1 ∧ h2 is a closed conformal Killing–Yano with torsion ( p +q)-form

    work page

  3. [3]

    Then Kab =h(a|c1...c p−1|kb) c1...c p−1 (9) is a (conformal) Killing tensor of rank 2

    Let h and k be two (conformal) Killing–Yano ten- sors with torsion of rank p. Then Kab =h(a|c1...c p−1|kb) c1...c p−1 (9) is a (conformal) Killing tensor of rank 2. 3 In what follows, we shall concentrate on a principal tensor with torsion, h, which is a non-degenerate closed conformal Killing–Yano with torsion 2-form. It obeys ∇ T X h = X ∧ ξ, ξ = − 1 D ...

    work page

  4. [4]

    Our aim is to show that it also guarantees the separability of properly torsion modified (massive) vector field equations

    and modified Dirac [31–33] equations. Our aim is to show that it also guarantees the separability of properly torsion modified (massive) vector field equations. III. BLACK HOLE OF MINIMAL GAUGED SUPERGRA VITY The bosonic sector of D = 5 minimal gauged super- gravity is governed by the Lagrangian £ = ∗(R + Λ) − 1 2 F ∧ ∗F + 1 3 √ 3 F ∧ F ∧ A, (11) where Λ is ...

    work page

  5. [5]

    off-shell

    can now explicitly be written as ∇ chab = 2gc[aξb] + 1√ 3 (∗F )cd[ahd b], ξa = 1 4 ∇ bhba − 1 2 √ 3 (∗F )abchbc. (17) A general doubly spinning charged black hole solution in this theory has been constructed by Chong, Cvetiˇ c, L¨ u, and Pope [26]. It can be written in a symmetric Wick-rotated form, c.f. [25]: g = ∑ µ =1, 2 ( ωµ ωµ + ˜ωµ ˜ωµ ) + ω0ω0, (18...

    work page

  6. [6]

    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 [ 1411.1262]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  7. [7]

    Black holes, hidden symmetries, and complete integrability

    V. Frolov, P. Krtous and D. Kubiznak, Black holes, hidden symmetries, and complete integrability , Living Rev. Rel. 20 (2017) 6 [ 1705.05482]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  8. [8]

    Carter, Hamilton-Jacobi and Schrodinger separable solutions of Einstein ’s equations , Commun

    B. Carter, Hamilton-Jacobi and Schrodinger separable solutions of Einstein ’s equations , Commun. Math. Phys. 10 (1968) 280

    work page 1968

  9. [9]

    Carter, Global structure of the Kerr family of gravitational fields , Phys

    B. Carter, Global structure of the Kerr family of gravitational fields , Phys. Rev. 174 (1968) 1559

    work page 1968

  10. [10]

    W. G. Unruh, Separability of the neutrino equations in a Kerr background , Phys. Rev. Lett. 31 (1973) 1265

    work page 1973

  11. [11]

    Chandrasekhar, The solution of Dirac’s equation in Kerr geometry, Proc

    S. Chandrasekhar, The solution of Dirac’s equation in Kerr geometry, Proc. R. Soc. Lond., Ser A 349 (1976) 571

    work page 1976

  12. [12]

    S. A. Teukolsky, Rotating black holes - separable wave equations for gravitational and electromagnetic perturbations, Phys. Rev. Lett. 29 (1972) 1114

    work page 1972

  13. [13]

    S. A. Teukolsky, Perturbations of a rotating black hole. I. Fundamental equations for gravitational electromagnetic and neutrino field perturbations , Astrophys. J. 185 (1973) 635

    work page 1973

  14. [14]

    R. C. Myers and M. J. Perry, Black holes in higher dimensional space-times, Ann. Phys. (N.Y.) 172 (1986) 304

    work page 1986

  15. [15]

    D. N. Page, D. Kubizˇ n´ ak, M. Vasudevan and P. Krtouˇ s, Complete integrability of geodesic motion in general Kerr–NUT-AdS spacetimes, Phys. Rev. Lett. 98 (2007) 061102 [ hep-th/0611083]

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  16. [16]

    V. P. Frolov, Hidden symmetries of higher-dimensional black hole spacetimes , in Gravitation and astrophysics , vol. 172, pp. 210–219, 2008, 0712.4157, DOI

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  17. [17]

    Separability of Dirac equation in higher dimensional Kerr-NUT-de Sitter spacetime

    T. Oota and Y. Yasui, Separability of Dirac equation in higher dimensional Kerr-NUT-de Sitter spacetime , Phys. Lett. B 659 (2008) 688 [ 0711.0078]

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  18. [18]

    Maxwell's Equations in the Myers-Perry Geometry

    O. Lunin, Maxwell’s equations in the Myers–Perry geometry, JHEP 1712 (2017) 138 [ 1708.06766]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  19. [19]

    G. W. Gibbons, H. Lu, D. N. Page and C. N. Pope, The General Kerr-de Sitter metrics in all dimensions , J. Geom. Phys. 53 (2005) 49 [ hep-th/0404008]

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  20. [20]

    V. P. Frolov, P. Krtouˇ s and D. Kubizˇ n´ ak,Separation of variables in Maxwell equations in Plebanski-Demianski spacetime, Phys. Rev. D97 (2018) 101701 [ 1802.09491]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  21. [21]

    Separation of Maxwell equations in Kerr-NUT-(A)dS spacetimes

    P. Krtouˇ s, V. P. Frolov and D. Kubizˇ n´ ak,Separation of Maxwell equations in Kerr–NUT-(A)dS spacetimes , Nucl. Phys. B934 (2018) 7 [ 1803.02485]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  22. [22]

    W. Chen, H. Lu and C. N. Pope, General Kerr–NUT-AdS metrics in all dimensions , Class. Quant. Grav. 23 (2006) 5323 [ hep-th/0604125]

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  23. [24]

    S. R. Dolan, Instability of the Proca field on Kerr spacetime, Phys. Rev. D98 (2018) 104006 [ 1806.01604]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  24. [25]

    V. P. Frolov and P. Krtouˇ s, Duality and µ separability of Maxwell equations in Kerr-NUT-(A)dS spacetimes , Phys. Rev. D99 (2019) 044044 [ 1812.08697]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  25. [26]

    S. R. Dolan, Electromagnetic fields on Kerr spacetime, Hertz potentials and Lorentz gauge , 1906.04808

    work page arXiv 1906

  26. [27]

    Hidden Symmetries of Higher Dimensional Black Holes and Uniqueness of the Kerr-NUT-(A)dS spacetime

    P. Krtous, V. P. Frolov and D. Kubiznak, Hidden Symmetries of Higher Dimensional Black Holes and Uniqueness of the Kerr–NUT-(A)dS spacetime , 8 Phys. Rev. D78 (2008) 064022 [ 0804.4705]

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  27. [28]

    Yano and S

    K. Yano and S. Bochner, Curvature and Betti numbers . Princeton University Press, Princeton, NJ, 1953

    work page 1953

  28. [29]

    R. H. Rietdijk and J. W. van Holten, Killing tensors and a new geometric duality , Nucl. Phys. B 472 (1996) 427 [ hep-th/9511166]

    work page internal anchor Pith review Pith/arXiv arXiv 1996

  29. [30]

    Generalized Killing-Yano equations in D=5 gauged supergravity

    D. Kubiznak, H. K. Kunduri and Y. Yasui, Generalized Killing-Yano equations in D=5 gauged supergravity , Phys. Lett. B678 (2009) 240 [ 0905.0722]

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  30. [31]

    Z. W. Chong, M. Cvetic, H. Lu and C. N. Pope, General non-extremal rotating black holes in minimal five-dimensional gauged supergravity, Phys. Rev. Lett. 95 (2005) 161301 [ hep-th/0506029]

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  31. [32]

    Symmetries of the Dirac operator with skew-symmetric torsion

    T. Houri, D. Kubiznak, C. Warnick and Y. Yasui, Symmetries of the Dirac Operator with Skew-Symmetric Torsion, Class. Quant. Grav. 27 (2010) 185019 [1002.3616]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  32. [33]

    Generalized hidden symmetries and the Kerr-Sen black hole

    T. Houri, D. Kubiznak, C. M. Warnick and Y. Yasui, Generalized hidden symmetries and the Kerr–Sen black hole, JHEP 07 (2010) 055 [ 1004.1032]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  33. [34]

    V. P. Frolov, P. Krtous and D. Kubiznak, New metrics admitting the principal Killing–Yano tensor , Phys. Rev. D97 (2018) 104071 [ 1712.08070]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  34. [35]

    Local metrics admitting a principal Killing-Yano tensor with torsion

    T. Houri, D. Kubiznak, C. M. Warnick and Y. Yasui, Local metrics admitting a principal Killing-Yano tensor with torsion , Class. Quant. Grav. 29 (2012) 165001 [1203.0393]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  35. [36]

    Special symmetries of the charged Kerr-AdS black hole of D=5 minimal gauged supergravity

    P. Davis, H. K. Kunduri and J. Lucietti, Special symmetries of the charged Kerr-AdS black hole of D=5 minimal gauged supergravity , Phys. Lett. B628 (2005) 275 [ hep-th/0508169]

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  36. [37]

    Separability of a modified Dirac equation in a five-dimensional rotating, charged black hole in string theory

    S.-Q. Wu, Separability of a modified Dirac equation in a five-dimensional rotating, charged black hole in string theory, Phys. Rev. D80 (2009) 044037 [ 0902.2823]

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  37. [38]

    S.-Q. Wu, Separability of massive field equations for spin-0 and spin-1/2 charged particles in the general non-extremal rotating charged black holes in minimal five-dimensional gauged supergravity , Phys. Rev. D80 (2009) 084009 [ 0906.2049]

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  38. [39]

    V. P. Frolov, P. Krtouˇ s, D. Kubizˇ n´ ak and J. E. Santos, Massive vector fields in rotating black-hole spacetimes: separability and quasinormal modes , 1804.00030

    work page internal anchor Pith review Pith/arXiv arXiv

  39. [40]

    Complete Set of Commuting Symmetry Operators for the Klein-Gordon Equation in Generalized Higher-Dimensional Kerr-NUT-(A)dS Spacetimes

    A. Sergyeyev and P. Krtouˇ s, Complete set of commuting symmetry operators for Klein-Gordon equation in generalized higher-dimensional Kerr–NUT-(A)dS spacetimes, Phys. Rev. D 77 (2008) 044033 [0711.4623]

    work page internal anchor Pith review Pith/arXiv arXiv 2008