Pith. sign in

REVIEW 3 major objections 3 minor 32 references

Partially contracted Killing–Yano squares are generalized Killing tensors whose conformal versions give tensors parallel-transported along null geodesics in Kerr–NUT–AdS spacetimes.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 14:06 UTC pith:YN5JQZUR

load-bearing objection A genuinely useful extension of the Collinson–Howarth GKT program with first Kerr–NUT–AdS examples, but the CGKT existence proof has a load-bearing gap: the null-contraction step does not establish the local equation (5.1), and ξ is never computed. the 3 major comments →

arxiv 2607.18871 v1 pith:YN5JQZUR submitted 2026-07-21 gr-qc hep-th

On Generalized (Conformal) Killing Tensors

Cynthia Arias , David Kop\v{c}an , David Kubiznak , Marek Mili\v{c}ka This is my paper
classification gr-qc hep-th MSC 83C5753C80 PACS 04.20.Jb04.70.Bw
keywords generalized Killing tensorsKilling–Yano formsconformal Killing tensorsparallel transportnull geodesicsKerr–NUT–AdS spacetimeshidden symmetriesmixed index symmetries
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper broadens the concept of hidden symmetries in general relativity to tensors with mixed index symmetries. It shows that partially contracted products of Killing–Yano forms satisfy the generalized Killing tensor equation while carrying Riemann-type symmetries, and that such objects occur naturally in every off-shell Kerr–NUT–AdS spacetime. It then proposes a conformal-like generalization whose symmetrized derivative is pure metric, and constructs explicit examples from closed conformal Killing–Yano forms. The payoff: new tensors that stay parallel-transported along geodesics, including null geodesics, in a family of geometries that includes higher-dimensional rotating black holes.

Core claim

The central claim is that the tensors Q_abcd = f_aba3... f_cd^{a3...}, formed from two Killing–Yano p-forms with all but two indices contracted, obey ∇_(a Q_b|c|d)e = 0 and have the index symmetries Q_abcd = Q_[ab]cd = Q_ab[cd] = Q_cdab. Because these symmetries are incompatible with the fully symmetric parallel-transported indices of the original generalized Killing tensors, they form a new class of solutions to the GKT equation. The paper further claims that by adding metric terms to the same square, the resulting 'upgraded' tensor Q̃ satisfies the conformal-like equation ∇_(a Q̃_b|c|d)e = g_(ab ξ_|c|d)e, and hence that F_bd = Q̃_acbd l^a l^c is parallel-transported along any null geodesic

What carries the argument

The construction mechanism is the partially contracted product of a (closed conformal) Killing–Yano form with itself or another form: Q_abcd = f_aba3... f_cd^{a3...}. Contracting with two tangent vectors gives w_ab = Q_acbd u^c u^d, which is automatically parallel-transported along geodesics because the inserted forms generate parallel-transported lower-degree forms. For the conformal version, the paper identifies the 'right square root' Q̃ by symmetrizing the products and adding metric terms proportional to (h·k)_ab and (h·k); this ensures the null-contracted quantity is parallel-transported and the symmetrized derivative has the metric form of (5.1). The Kerr–NUT–AdS principal tensor h and

Load-bearing premise

The load-bearing premise is that the 'upgraded' tensor Q̃, read off from a null-geodesic contraction by dropping a term that vanishes only on null vectors, satisfies the full pointwise CGKT equation (5.1); this identity is asserted, never verified, and the explicit ξ is never computed.

What would settle it

In a concrete Kerr–NUT–AdS metric (e.g., five-dimensional Kerr), compute Q̃ from (5.22), form the symmetrized derivative ∇_(a Q̃_b|c|d)e, and compare it to g_(ab ξ_|c|d)e with ξ given by (5.2); any non-vanishing difference would disprove the CGKT claim. A weaker check would be to test whether Q̃_acbd l^b l^d is parallel-transported along every null geodesic even when the pointwise equation fails.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Every off-shell Kerr–NUT–AdS spacetime admits Riemann-type generalized Killing tensors of rank (2-2), and higher-rank analogues, yielding new parallel-transported objects along geodesics.
  • The conformal-like GKTs constructed from closed conformal Killing–Yano forms give rank-2 tensors parallel-transported along null geodesics, extending conformal Killing tensor conservation to a mixed-symmetry setting.
  • The existence of these objects is independent of the field equations: they rely only on the off-shell Kerr–NUT–AdS geometry.
  • The Riemann-type GKTs already find use in constructing stealth solutions of higher-rank vector-tensor field theories, an application the paper cites.

Where Pith is reading between the lines

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

  • If the pointwise CGKT equation is confirmed, the new null-geodesic tensors could serve as building blocks for symmetry operators of photon and higher-spin fields in Kerr–NUT–AdS, an application the paper leaves open.
  • The need to add metric terms to the naive square suggests a general pattern: conformal hidden symmetries may require non-minimal combinations, which could be probed by attempting to close the CGKT algebra under the natural bracket on Killing tensors.
  • A direct eigenvalue computation for w_ab in four- or five-dimensional Kerr would test the paper's asserted irreducibility of the Riemann-type GKTs.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The paper develops a framework for higher-rank generalized Killing tensors (GKTs) with mixed or no symmetry on the parallel-transported indices. It introduces equivalence classes of such tensors, identifies a special Riemann-type subclass obtained from contracted products of Killing–Yano forms, and proposes a conformal-like generalization (CGKT) satisfying Eq. (5.1). The main advertised results are: (i) the existence of Riemann-type GKTs in Kerr–NUT–AdS spacetimes as partially contracted squares of the Killing–Yano tower, and (ii) the construction of CGKTs in the same spacetimes from products of closed conformal Killing–Yano forms, Eqs. (5.21)–(5.22). The paper also shows that the proposed CGKTs do not appear to transform covariantly under conformal rescalings.

Significance. If the main claims are established, the paper provides the first non-trivial examples of Collinson–Howarth-type GKTs beyond the spherical-symmetry cases, and gives new objects that are parallel-transported along null geodesics in rotating black hole spacetimes. The framework in Secs. II–III is well organized: the equivalence-class argument (2.10), the construction of Riemann-type GKTs from Killing–Yano squares (3.6)–(3.9), and the differential identities (3.16)–(3.21) are explicit and appear correct. The direct construction of parallel-transported forms in Appendix A is also useful. However, the central existence claim for CGKTs rests on an unproven implication in Sec. V.B, and the claimed irreducibility/count of the Kerr–NUT–AdS examples is asserted rather than demonstrated. With those gaps repaired, this would be a valuable contribution to the hidden-symmetries literature.

major comments (3)
  1. [§V.B, Eqs. (5.15)–(5.17)] The paper asserts that after dropping the term proportional to u^2, the object \tilde{Q} in (5.17) obeys the CGKT equation (5.1). What is actually established in (5.15) is that along a null geodesic l, the tensor I_ab = l^c l^d \tilde Q_{c a d b} is parallel transported; hence l^c l^d l^e ∇_e \tilde Q_{c a d b}=0 for each a,b. This is a statement about a totally symmetric contraction of the symmetrized derivative on the null cone. It implies (5.1) only if one invokes the algebraic lemma that a symmetric rank-3 tensor vanishing on the null cone must be of the form g_{(ab}v_{c)} — and even then one must compute the corresponding ξ_{cde}, e.g. from (5.2). Neither the lemma nor the explicit ξ is provided. Without this step, Eqs. (5.21) and (5.22) are valid null-geodesic conservation laws but not proven solutions of the defining equation (5.1). This is load-bearing for the main existence clai
  2. [§IV.C and §III.C] The Kerr–NUT–AdS examples are advertised as the first non-trivial irreducible GKTs of this type. However, the assertions that Q^{(p)}_{abcd} in (4.11) is irreducible, that there are (n−2+ε) such rank-(2-2) objects and (n−2) higher-rank objects, and that the associated w_ab has several non-trivial eigenvalues, are made without proof or computation. The reducibility test is not performed; in particular, it is not shown that these objects cannot be obtained from traces or products of the known Killing tensors (4.10). A proof or a precise reference is needed to support the novelty claim.
  3. [§V.B, Eq. (5.14)] The same null-cone gap appears earlier: from the Killing tensor (5.13), the paper infers that (h·k)_{(ab)} is a conformal Killing tensor solely because u^2=0 makes the two conserved quantities coincide along null geodesics. This step also requires the algebraic lemma about symmetric rank-3 tensors vanishing on the null cone; it is not automatic. This is a smaller instance of the missing justification in Eqs. (5.15)–(5.17) and should be addressed together with it.
minor comments (3)
  1. [§3.1 and §5.1] The vertical-bar notation in Eqs. (3.1) and (5.1) is ambiguous: it is not immediately clear which indices are symmetrized and which are held fixed. Since several later contractions (e.g. (3.5), (5.4)) depend on this convention, please define it explicitly and consistently.
  2. [§V.B, Eq. (5.16)] The phrase 'the last term vanishes' is misleading with the displayed index placement. In the contracted form Q_{c a d b}u^c u^d, the term that disappears for null u is the g_{cd}(h·k)_{ab} contribution, not literally the last term −g_{ac}(h·k)_{bd} as printed in (5.16). Please adjust the index convention or the wording.
  3. [§V.C] The statement that CGKTs 'do not seem to' transform nicely under conformal transformations is vague. Since the conformal property is not needed for the main results, either state the result as a definite negative property of the class (5.1) or remove the hedging.

Circularity Check

0 steps flagged

No significant circularity; the construction is self-contained algebra over standard KY/CCKY structure, with only minor non-load-bearing self-citations.

full rationale

The paper's derivation chain is not circular. The GKT and CGKT objects are defined by local derivative equations ((2.8), (3.1), (5.1)), and the claimed examples are obtained by explicit algebraic contractions of KY/CCKY forms: (3.6), (4.11), (5.16)-(5.22), with the p-form calculation carried out in Appendix B. No parameter is fitted and no quantity is defined in terms of the result it is meant to establish. The background facts imported from earlier work (existence of the principal tensor, the CCKY wedge-product tower, and complete integrability of Kerr-NUT-AdS) are parameter-free theorems with assumptions that do not include the target objects; although several citations share author D. Kubiznak ([8], [21], [22]), this is independent support rather than a load-bearing self-citation chain. The only genuinely fragile step is Sec. V.B: the paper infers the pointwise CGKT equation (5.1) from null-contraction/parallel-transport (5.15) without computing xi_{cde} or verifying (5.2). That is a potential mathematical gap, not circularity, because the proposed object is not defined as a solution of (5.1); it is an explicit tensor whose equation is asserted. Accordingly, no circular step is identified.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 2 invented entities

This is a definition-and-derivation paper: zero free parameters (no constants fitted; all tensors are explicit index formulas (3.6), (5.16)–(5.22) built from the metric and its given symmetries). The axioms it leans on are standard geometry plus the imported KY/CCKY structure of Kerr-NUT-AdS from [8], [10], [21] — results with independent published derivations, though [8], [21] share authors with the present paper. The one in-paper 'axiom' is the asserted irreducibility of the constructed examples. Two new formal objects (equivalence classes, CGKTs) are introduced as definitions; neither carries an independent falsifiable handle here, so their physical utility rests on prospective applications ([12], separability).

axioms (5)
  • standard math Standard pseudo-Riemannian geometry: Levi-Civita connection, parallel transport along affine geodesics, conformal transformation rules (5.23), (5.27).
    Used throughout §§II–III and §V.C; standard background.
  • domain assumption Kerr-NUT-AdS spacetimes (4.1)–(4.4) admit a non-degenerate closed conformal Killing–Yano 2-form (principal tensor h) with tower h^p and KY forms f_p = *h^p.
    Imported from [8], [10], [21] (author overlap with the present paper for [8], [21]); used as the existence engine in §IV.
  • domain assumption Wedge product of two closed conformal KY tensors is closed conformal KY; Hodge duality maps CCKY to KY.
    Invoked for the tower (4.8)–(4.9) and in Appendix A; cited to [21] and [8].
  • domain assumption The contracted squares Q^(p)_{ab} (4.10) give complete integrability of geodesic motion and (n−1) irreducible Carter constants.
    Background used in §IV.C to position the new GKT examples; cited to [21], [22].
  • ad hoc to paper The constructed higher-rank GKT examples in §IV are irreducible / w_ab has several non-trivial eigenvalues.
    Asserted without proof in §III.C and §IV.C; not a background theorem — an unproven foreground claim about the examples' non-triviality.
invented entities (2)
  • CGKT (conformal-like generalized Killing tensor), defined by (5.1) no independent evidence
    purpose: Proposed generalization of conformal Killing tensors to rank-(2-2) mixed-symmetry tensors that keep F_bd = Q_abcd l^a l^c parallel-transported along null geodesics.
    A new definition proposed in §V.A; no falsifiable physical consequence is derived in this paper (the Proca connection in [12] is prospective). Its claimed property ('obeying (5.1)') is verified only at the level of null-contracted parallel transport.
  • Equivalence classes of GKTs with no symmetry on parallel-transported indices (2.10) no independent evidence
    purpose: Organizing principle: many tensors satisfying (2.8) map to the same parallel-transported object; each class has a unique symmetric representative.
    New mathematical structure from §II.B; a definition/reformulation rather than a physical postulate — included for completeness of the ledger.

pith-pipeline@v1.3.0-alltime-deepseek · 15369 in / 33498 out tokens · 260182 ms · 2026-08-01T14:06:03.294794+00:00 · methodology

0 comments
read the original abstract

We study higher-rank generalized Killing tensors with mixed symmetries, providing a couple of examples and applications. It is shown that such objects naturally exist in higher-dimensional rotating black hole spacetimes, where they arise as partially contracted "squares" of Killing-Yano tensors and display interesting algebraic and differential properties. Motivated by conformal Killing tensors, a generalization of these objects that gives rise to parallel-transported tensors along null geodesics is proposed and shown to exist in higher-dimensional rotating black hole spacetimes.

discussion (0)

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

Reference graph

Works this paper leans on

32 extracted references · 20 linked inside Pith

  1. [1]

    It follows that ξ= 1 D−p+ 1 ∇ ·k , κ= 1 p+ 1 dk ,(A2) 6 A reducible example of such an object can trivially be obtained by taking a product of a KY 2-form with a Killing vector

    Definitions and basic properties Aconformal Killing–Yano (CKY)p-formkis defined by the following equation: ∇X k=X∧ξ+X·κ ,(A1) whereXis an arbitrary vector field. It follows that ξ= 1 D−p+ 1 ∇ ·k , κ= 1 p+ 1 dk ,(A2) 6 A reducible example of such an object can trivially be obtained by taking a product of a KY 2-form with a Killing vector. 10 or in componen...

  2. [2]

    Indeed, we have ∇uw=u·(∇ uf) =u·(u·κ) = 0,(A13) where in the second equality, we have used the KY defin- ing property (A6)

    Parallel transport Let us first consider the case of timelike geodesics: ∇uua = 0.(A11) Then, having a KYp-formf, we may define a (p−1)-form w=u·f⇔w a2...ap =u afaa2...ap .(A12) Such a form is then automatically parallel-transported along the above timelike geodesics. Indeed, we have ∇uw=u·(∇ uf) =u·(u·κ) = 0,(A13) where in the second equality, we have us...

  3. [3]

    Staeckel,Sur l’integration de l’´ equation diff` erentielle de Hamilton(Gauthier-Villars, 1895)

    P. Staeckel,Sur l’integration de l’´ equation diff` erentielle de Hamilton(Gauthier-Villars, 1895)

  4. [4]

    Walker and R

    M. Walker and R. Penrose, On quadratic first integrals of the geodesic equations for type [22] spacetimes, Commun. Math. Phys.18, 265 (1970)

    1970

  5. [5]

    Yano, Some remarks on tensor fields and curvature, Annals of Mathematics55, 328 (1952)

    K. Yano, Some remarks on tensor fields and curvature, Annals of Mathematics55, 328 (1952)

    1952

  6. [6]

    Penrose, Naked singularities, Annals N

    R. Penrose, Naked singularities, Annals N. Y. Acad. Sci. 224, 125 (1973)

    1973

  7. [7]

    Carter, Global structure of the Kerr family of gravi- tational fields, Phys

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

    1968

  8. [8]

    Carter, Killing Tensor Quantum Numbers and Con- served Currents in Curved Space, Phys

    B. Carter, Killing Tensor Quantum Numbers and Con- served Currents in Curved Space, Phys. Rev. D16, 3395 (1977)

    1977

  9. [9]

    Carter and R

    B. Carter and R. G. Mclenaghan, GENERALIZED TOTAL ANGULAR MOMENTUM OPERATOR FOR THE DIRAC EQUATION IN CUR VED SPACE-TIME, Phys. Rev. D19, 1093 (1979)

    1979

  10. [10]

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

    Pith/arXiv arXiv 2017

  11. [11]

    Collinson and L

    C. Collinson and L. Howarth, Generalized killing tensors, General Relativity and Gravitation32, 1767 (2000)

    2000

  12. [12]

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

    Pith/arXiv arXiv 2006

  13. [13]

    Kubiznak, R

    D. Kubiznak, R. B. Mann, and M. Miliˇ cka, Proca-type Hair of Rotating Black Holes in Higher Dimensions, (2026), arXiv:2605.23077 [hep-th]

    Pith/arXiv arXiv 2026

  14. [14]

    Kubiznak, R

    D. Kubiznak, R. B. Mann, and M. Miliˇ cka, From (Hidden) Symmetries to Stealth Solutions, (2026), arXiv:2606.07212 [gr-qc]

    Pith/arXiv arXiv 2026

  15. [15]

    A. G. Nikitin and O. I. Prylypko, Generalized killing ten- sors and symmetry of klein-gordon-fock equations, arXiv preprint math-ph/0506002 (2005)

    Pith/arXiv arXiv 2005

  16. [16]

    Colladay and V

    D. Colladay and V. A. Kostelecky, Lorentz violating ex- tension of the standard model, Phys. Rev. D58, 116002 (1998), arXiv:hep-ph/9809521

    Pith/arXiv arXiv 1998

  17. [17]

    Heisenberg, Generalization of the Proca Action, JCAP 05, 015, arXiv:1402.7026 [hep-th]

    L. Heisenberg, Generalization of the Proca Action, JCAP 05, 015, arXiv:1402.7026 [hep-th]

    Pith/arXiv arXiv

  18. [18]

    Feng and H

    X.-H. Feng and H. Lu, Higher-Derivative Gravity with Non-minimally Coupled Maxwell Field, Eur. Phys. J. C 76, 178 (2016), arXiv:1512.09153 [hep-th]

    Pith/arXiv arXiv 2016

  19. [19]

    Fan, Black holes in vector-tensor theories and their thermodynamics, Eur

    Z.-Y. Fan, Black holes in vector-tensor theories and their thermodynamics, Eur. Phys. J. C78, 65 (2018), arXiv:1709.04392 [hep-th]

    Pith/arXiv arXiv 2018

  20. [20]

    R. C. Myers and M. J. Perry, Black Holes in Higher Di- mensional Space-Times, Annals Phys.172, 304 (1986)

    1986

  21. [21]

    G. W. Gibbons, H. Lu, D. N. Page, and C. N. Pope, Rotating black holes in higher dimensions with a cos- mological constant, Phys. Rev. Lett.93, 171102 (2004), arXiv:hep-th/0409155

    Pith/arXiv arXiv 2004

  22. [22]

    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, 49 (2005), arXiv:hep-th/0404008

    Pith/arXiv arXiv 2005

  23. [23]

    Krtous, D

    P. Krtous, D. Kubiznak, D. N. Page, and V. P. Frolov, Killing-Yano Tensors, Rank-2 Killing Tensors, and Con- served Quantities in Higher Dimensions, JHEP02, 004, arXiv:hep-th/0612029

    Pith/arXiv arXiv

  24. [24]

    D. N. Page, D. Kubiznak, M. Vasudevan, and P. Kr- tous, Complete integrability of geodesic motion in general Kerr-NUT-AdS spacetimes, Phys. Rev. Lett.98, 061102 (2007), arXiv:hep-th/0611083

    Pith/arXiv arXiv 2007

  25. [25]

    V. P. Frolov, P. Krtous, and D. Kubiznak, Separability of Hamilton-Jacobi and Klein-Gordon Equations in General Kerr-NUT-AdS Spacetimes, JHEP02, 005, arXiv:hep- th/0611245

    arXiv

  26. [26]

    Sergyeyev and P

    A. Sergyeyev and P. Krtous, Complete Set of Commuting Symmetry Operators for Klein-Gordon Equation in Gen- eralized Higher-Dimensional Kerr-NUT-(A)dS Space- times, Phys. Rev. D77, 044033 (2008), arXiv:0711.4623 [hep-th]

    Pith/arXiv arXiv 2008

  27. [27]

    Krtouˇ s, V

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

    Pith/arXiv arXiv 2018

  28. [28]

    Houri, N

    T. Houri, N. Tanahashi, and Y. Yasui, On symmetry operators for the Maxwell equation on the Kerr-NUT- (A)dS spacetime, Class. Quant. Grav.37, 015011 (2020), arXiv:1908.10250 [gr-qc]

    Pith/arXiv arXiv 2020

  29. [29]

    Gray and D

    F. Gray and D. Kubiznak, Slowly rotating black holes with exact Killing tensor symmetries, Phys. Rev. D105, 064017 (2022), arXiv:2110.14671 [gr-qc]

    Pith/arXiv arXiv 2022

  30. [30]

    Andersson, T

    L. Andersson, T. B¨ ackdahl, and P. Blue, Second or- der symmetry operators, Class. Quant. Grav.31, 135015 (2014), arXiv:1402.6252 [gr-qc]

    Pith/arXiv arXiv 2014

  31. [31]

    Kubiznak, H

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

    Pith/arXiv arXiv 2009

  32. [32]

    Houri, D

    T. Houri, D. Kubiznak, C. M. Warnick, and Y. Yasui, Generalized hidden symmetries and the Kerr-Sen black hole, JHEP07, 055, arXiv:1004.1032 [hep-th]

    Pith/arXiv arXiv