REVIEW 2 major objections 4 minor 1 cited by
On symmetry operators for the Maxwell equation on the Kerr-NUT-(A)dS spacetime
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper derives the commuting symmetry operators that separate Maxwell equations on Kerr-NUT-(A)dS from Killing tensors on an Eisenhart-Duval lifted spacetime, and shows they match earlier coordinate operators up to first-order terms.
desk verdict A solid covariant construction of the LFKK commuting symmetry operators and a new Teukolsky symmetry operator; the main result holds up, with the only real soft spot being compressed algebra in Appendix C. 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 Eisenhart-Duval lift is the engine: given an equation of the form $H\Phi=[g^{ab}(\nabla_a-iqA_a)(\nabla_b-iqA_b)-2V]\Phi=E\Phi$, one forms the metric $\tilde{g}=g_{ab}dx^a dx^b+2qA_a dx^a du+2du\,dv-2V\,du^2$ and writes solutions as $\tilde{\Phi}=e^{iEu/2}e^{iv}\Phi(x)$. The wave operator upstairs is then the massless Klein-Gordon operator $\tilde{\Box}$, and any Killing vector or Killing tensor on the lifted metric satisfying the anomaly-free and Schouten-Nijenhuis conditions projects to a symmetry operator on the base. Benenti's inverse-Stäckel form is the tool that produces the Killing tensors: it turns the single-variable structure of the inverse lifted metric into $D$ mutually commuting tensors. The main calculation is checking the commutativity conditions of Section 2.5 for those tensors.
What would settle it
For a concrete generic choice, say $D=4$ with $X_1=x_1^2-2mx_1+a^2$ and $X_2=a^2-x_2^2$, evaluate the right-hand side of condition (2.37) for the Killing tensors in (4.26) using computer algebra. The paper's claim is false if any component of $\tilde\nabla_A\tilde{m}^{AB}_{(i,j)}$ is nonzero for $i\neq j$, or if the operators (4.35) fail to commute when applied to a separated mode solution.
Extended reading notes
Core claim
On the Kerr-NUT-(A)dS family, the reduced Maxwell equation (the LFKK equation) can be embedded into a massless Klein-Gordon equation on a lifted, two-dimension-higher spacetime. The lifted metric inherits a separability structure from the base, so it admits a full set of Killing vectors $\tilde{L}_{(i)}$ and Killing tensors $\tilde{K}_{(i)}^{AB}$. The corresponding first- and second-order operators commute with the lifted d'Alembertian and with one another, and projecting them back to the base gives symmetry operators $L_{(i)}$ and $K_{(i)}$ of the LFKK equation. The main claim is that these operators are the covariant version of the coordinate-form operators of [7]: they agree up to first-order operators generated by Killing vector fields. For the four-dimensional Teukolsky equation, the same construction gives an operator $K$ with $[H,K]=0$ and $K\Phi=\kappa\Phi$, where $\kappa$ is the separation constant.
Load-bearing premise
The load-bearing premise is that the cancellations reported in Appendix C are complete: each component such as $\tilde{m}^{(i,j)}_{\mu\hat\mu}$, $\tilde{m}^{(i,j)}_{a-}$, and $\tilde{m}^{(i,j)}_{+-}$, and each divergence such as $\delta U_+^{(i,j)}$, really vanishes. If even one of these identities fails for a generic choice of metric functions $X_\mu$, the operators $K_{(j)}$ would not commute and the separation constants would not be independent. The proof of these identities is delegated to 'straightforward calculation' rather than exhibited.
Editorial extensions
If this is right
- The LFKK separation of variables for Maxwell fields on Kerr-NUT-(A)dS is explained by hidden symmetries of a lifted spacetime, not by a coordinate accident.
- The Teukolsky equation for Maxwell perturbations in four dimensions acquires a genuine second-order symmetry operator, and its eigenvalue is the separation constant $\kappa$, so the operator maps solutions to solutions.
- The construction applies to any equation fitting the form (2.6), so spin-$s$ perturbation equations, including gravitational perturbations ($s=2$) in four dimensions, are natural candidates for the same treatment.
- The Lorenz gauge condition becomes an algebraic constraint on the separation constants, showing that admissible modes satisfy a polynomial condition in the polarization parameter $\beta$.
Reading between the lines
- Inference: the same lift should produce commuting symmetry operators for massive vector (Proca) fields on Kerr-NUT-(A)dS, with the mass entering through $V$ in (2.6); a nonzero mass would likely break the exact coincidence with the operators of [7] by adding a $V$-dependent term.
- Inference: the ambiguity in comparing $K_{(j)}$ with the earlier coordinate operators, namely differences proportional to first-order operators $L_{(i)}$, suggests the separation constants themselves are defined only up to shifts that depend on the Killing-vector charges.
- Inference: a direct testable extension is to check whether the eigenvalue identity $K\Phi=\kappa\Phi$ persists for the $s=2$ Teukolsky equation; if it does, the method would supply a covariant symmetry operator for gravitational perturbations without needing a higher-dimensional LFKK analogue.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a covariant method, based on the Eisenhart-Duval lift, for constructing commuting symmetry operators for scalar equations of the form (2.6). It applies the method to the Teukolsky equation on the four-dimensional Kerr-NUT-(A)dS spacetime, obtaining a second-order symmetry operator K whose eigenvalue is the separation constant of the separated equations (Eq. (3.33)), and to the LFKK equation on the D-dimensional Kerr-NUT-(A)dS spacetime, obtaining mutually commuting operators K_(j) in the covariant form (4.35). The authors then compare these operators with the coordinate expressions of Frolov-Krtouš-Kubizňák [7] and show agreement up to first-order operators generated by Killing vectors, at least in even dimensions. The Lorenz gauge condition is also discussed in Section 4.5.
Significance. If the proof is completed, the paper gives a genuinely geometric explanation for the commutativity of the symmetry operators underlying separation of variables in the LFKK equation, and it provides a covariant form of the operators previously given only in coordinates in [7]. The method is potentially applicable to other field equations. The paper is carefully structured and includes extensive explicit formulas; the cross-check with [7] and the eigenvalue identity (3.33) for the Teukolsky operator are valuable independent confirmations of the main construction. The main weakness is that the commutativity proof in Appendix C is not fully exhibited, which is important because mutual commutativity is the load-bearing property behind the separation constants.
major comments (2)
- [Appendix C, Eqs. (C.14)–(C.19)] The mutual commutativity of the LFKK symmetry operators is the central claim of the paper, but Appendix C verifies only the divergence condition (2.37) for the two-form \tilde m^(i,j); it does not explicitly verify the Schouten-Nijenhuis commutativity conditions (2.33) for the Killing tensors (4.25). Moreover, the decisive identities \tilde m^(i,j)_{\mu\hat\mu}=0, \tilde m^(i,j)_{a-}=0, \tilde m^(i,j)_{+-}=0, and \delta U^(i,j)_+=0 are stated as following from 'straightforward calculation' without the intermediate algebra. Since an error in any of these cancellations would invalidate [K_(i),K_(j)]=0 and hence the independence of the separation constants, please display the calculation in full, or state and prove a lemma that the Benenti-constructed tensors (4.25) automatically satisfy (2.33), and then supply the remaining component checks.
- [Section 4.4, Eq. (4.40)] The comparison with the operators of [7] is made only in the even-dimensional case (\epsilon=0), where it is stated that \check S_\mu coincides with the operators \tilde C_\mu of [7]. The abstract and Section 4, however, claim agreement for the D-dimensional Kerr-NUT-(A)dS spacetime without parity restriction. The odd-dimensional case should either be compared explicitly with the corresponding expressions in [7] or the claim should be restricted to the cases actually verified.
minor comments (4)
- [Section 2.4 and Figure 1] The procedure and Figure 1 say to check 'Eqs. (2.23), (2.33) and (2.38)'; Eq. (2.38) is the definition of \tilde m^(i,j), not a condition to be checked. The condition should be Eq. (2.37).
- [Introduction] The phrase 'bland-new technique' should read 'brand-new technique'.
- [Section 4.4] The sentence 'In the even-dimensional case (\epsilon=0), \check S_\mu coincides with the operators \tilde C_\mu of [7]' would be more useful if it cited the specific equation in [7] being compared, and if it stated explicitly how the odd-dimensional case is handled.
- [Equation (4.24)] The notation '\tilde g^{AB} = \sum_{\mu=1}^n \zeta^{AB}_\mu Q_\mu (A=B\neq\mu)' is confusing because the condition 'A=B\neq\mu' mixes index labels with the summation index; please rephrase the index range and the exceptional case more clearly.
Circularity Check
No significant circularity: the derivation is self-contained, with cited previous results used as external benchmarks rather than as load-bearing inputs.
full rationale
The paper's central claim is that Eisenhart-Duval lift provides a covariant construction of the LFKK commuting symmetry operators, with the Teukolsky symmetry operator as a four-dimensional illustration. The construction does not fit any parameter to the target result: β is an ansatz parameter of the LFKK polarization tensor, and s is the physical spin. The symmetry operators are obtained by reading g, A, V out of the equation of motion, lifting the metric, applying Benenti's method to find Killing tensors, and then projecting the resulting operators back to the base spacetime. The comparison with operators of [7] is explicitly a cross-check, not an input: 'Up to differences proportional to L(i), these operators coincide with those of [7]' and 'we devised a method to express the symmetry operators of [7] in a covariant manner and this is the main result of this work.' The Teukolsky eigenvalue statement KΦ = κΦ is verified against the explicitly separated equations, not imposed. The main verification gap is in Appendix C, where the decisive commutativity conditions are reduced to statements such as 'After a straightforward calculation, we find that the components ... are vanishing.' This is an omitted or compressed calculation, not a circular reduction: the conditions being checked are exactly the independent conditions (2.33) and (2.37), and the paper does not define the operators in terms of their own commutativity. Self-citations to [24] and [30] are used for background facts about Killing equations and hidden symmetries, and the crucial commutativity of the base-space Killing tensors is attributed to the external reference [25]; none of these citations replaces the paper's own construction of the uplifted metric and Killing tensors. The result is therefore essentially self-contained against external benchmarks, and no equation or parameter is shown to reduce by construction to an input of the derivation.
Assumptions & free parameters
free parameters (1)
- β =
not fitted; constant in the polarization ansatz
assumptions (5)
- standard math Benenti's canonical form construction yields Killing tensors for metrics of the form (3.8).
- standard math The Eisenhart-Duval lift maps the equation of motion (2.6) to the massless Klein-Gordon equation (2.7) on the uplifted spacetime.
- domain assumption The LFKK equation (1.7) is the correct scalar reduction of the Maxwell equation on Kerr-NUT-(A)dS via the ansatz (1.4)-(1.5).
- domain assumption The Kerr-NUT-(A)dS spacetime admits the principal tensor (4.9) and the commuting Killing tensors (4.12), with Schouten-Nijenhuis commutativity from Kolar-Krtous [25].
- standard math The anomaly-free condition (2.23) is sufficient for a Killing tensor to define a commuting symmetry operator of the scalar d'Alembertian (Carter [23]).
Cite this review
Pith. "Pith review of On symmetry operators for the Maxwell equation on the Kerr-NUT-(A)dS spacetime." pith.science (2026). https://pith.science/paper/RQCBIAPO
@misc{pith2026190810250,
author = {Pith},
title = {Pith review of: On symmetry operators for the Maxwell equation on the Kerr-NUT-(A)dS spacetime},
year = {2026},
howpublished = {\url{https://pith.science/paper/RQCBIAPO}},
note = {Machine review of arXiv:1908.10250}
}
read the original abstract
We focus on the method recently proposed by Lunin and Frolov-Krtou\v{s}-Kubiz\v{n}\'{a}k to solve the Maxwell equation on the Kerr-NUT-(A)dS spacetime by separation of variables. In their method, it is crucial that the background spacetime has hidden symmetries because they generate commuting symmetry operators with which the separation of variables can be achieved. In this work we reproduce these commuting symmetry operators in a covariant fashion. We first review the procedure known as the Eisenhart-Duval lift to construct commuting symmetry operators for given equations of motion. Then we apply this procedure to the Lunin-Frolov-Krtou\v{s}-Kubiz\v{n}\'{a}k (LFKK) equation. It is shown that the commuting symmetry operators obtained for the LFKK equation coincide with the ones previously obtained by Frolov-Krtou\v{s}-Kubiz\v{n}\'{a}k, up to first-order symmetry operators corresponding to Killing vector fields. We also address the Teukolsky equation on the Kerr-NUT-(A)dS spacetime and its symmetry operator is constructed.
Figures
Forward citations
Cited by 1 Pith paper
-
On Generalized (Conformal) Killing Tensors
Mixed-symmetry generalized Killing tensors, plus a null-geodesic conformal-like version, are constructed and shown to exist in Kerr-NUT-AdS black holes.
Reference graph
Works this paper leans on
-
[7]
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]
arXiv 2018
-
[1]
R. P. Kerr, Gravitational field of a spinning mass as an example of algebr aically special metrics , Phys. Rev. Lett. 11 (1963) 237
work page 1963
-
[2]
R. C. Myers and M. J. Perry, Black Holes in Higher Dimensional Space-Times , Annals Phys. 172 (1986) 304
1986
-
[3]
S. A. Teukolsky, Rotating black holes: Separable wave equations for gravita tional and electromagnetic perturbations, Phys. Rev. Lett. 29 (1972) 1114
work page 1972
-
[4]
S. A. Teukolsky, Perturbations of a rotating black hole. 1. Fundamental equa tions for gravitational electromagnetic and neutrino field perturbations , Astrophys. J. 185 (1973) 635
work page 1973
-
[5]
Lunin, Maxwell’s equations in the Myers-Perry geometry , JHEP 12 (2017) 138 [ 1708.06766]
O. Lunin, Maxwell’s equations in the Myers-Perry geometry , JHEP 12 (2017) 138 [ 1708.06766]
arXiv 2017
-
[6]
V. P. Frolov, P. Krtouˇ s and D. Kubizˇ n´ ak,Separation of variables in Maxwell equations in Pleba´ nski-Demia´ nski spacetime, Phys. Rev. D97 (2018) 101701 [ 1802.09491]
arXiv 2018
-
[8]
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 , Phys. Rev. Lett. 120 (2018) 231103 [ 1804.00030]
arXiv 2018
Show all 31 references
-
[9]
S. R. Dolan, Instability of the Proca field on Kerr spacetime , Phys. Rev. D98 (2018) 104006 [ 1806.01604]
2018 arXiv
-
[10]
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]
2019 arXiv
-
[11]
S. R. Dolan, Electromagnetic fields on Kerr spacetime, Hertz potentials and Lorenz gauge , 1906.04808. 25
1906 arXiv
-
[12]
Araneda, Two-dimensional twistor manifolds and Teukolsky operator s, 1907.02507
B. Araneda, Two-dimensional twistor manifolds and Teukolsky operator s, 1907.02507
1907 arXiv
-
[13]
Lunin, Excitations of the Myers-Perry Black Holes , 1907.03820
O. Lunin, Excitations of the Myers-Perry Black Holes , 1907.03820
1907 arXiv
-
[14]
Cayuso, F
R. Cayuso, F. Gray, D. Kubizˇ n´ ak, A. Margalit, R. Gomes Souz a and L. Thiele, Principal Tensor Strikes Again: Separability of Vector Equations with Torsion , Phys. Lett. B795 (2019) 650 [ 1906.10072]
2019 arXiv
-
[15]
L. P. Eisenhart, Dynamical trajectories and geodesics , Annals of Mathematics 30 (1928) 591
1928
-
[16]
L. P. Eisenhart, Separable systems of stackel , Annals of Mathematics 35 (1934) 284
1934
-
[17]
Duval, G
C. Duval, G. Burdet, H. P. K¨ unzle and M. Perrin, Bargmann structures and newton-cartan theory , Phys. Rev. D 31 (1985) 1841
1985
-
[18]
Duval, G
C. Duval, G. W. Gibbons and P. Horvathy, Celestial mechanics, conformal structures and gravitatio nal waves, Phys. Rev. D43 (1991) 3907 [ hep-th/0512188]
1991 arXiv
-
[19]
Duval and G
C. Duval and G. Valent, Quantum integrability of quadratic killing tensors , Journal of Mathematical Physics 46 (2005) 053516 [ https://doi.org/10.1063/1.1899986]
2005 doi
-
[20]
Cariglia, Hidden Symmetries of Dynamics in Classical and Quantum Phys ics, Rev
M. Cariglia, Hidden Symmetries of Dynamics in Classical and Quantum Phys ics, Rev. Mod. Phys. 86 (2014) 1283 [ 1411.1262]
2014 arXiv
-
[21]
Benenti, Separation of variables in the geodesic Hamilton-Jacobi eq uation, in Symplectic geometry and mathematical physics (Aix-en-Provence, 1990) , vol
S. Benenti, Separation of variables in the geodesic Hamilton-Jacobi eq uation, in Symplectic geometry and mathematical physics (Aix-en-Provence, 1990) , vol. 99 of Progr. Math., pp. 1–36. Birkh¨ auser Boston, Boston, MA, 1991. DOI
1990
-
[22]
I. M. Benn, P. Charlton and J. M. Kress, Debye potentials for Maxwell and Dirac fields from a generalization of the Killing-Yano equation , J. Math. Phys. 38 (1997) 4504 [ gr-qc/9610037]
1997 arXiv
-
[23]
Carter, Killing Tensor Quantum Numbers and Conserved Currents in Cu rved Space, Phys
B. Carter, Killing Tensor Quantum Numbers and Conserved Currents in Cu rved Space, Phys. Rev. D16 (1977) 3395
1977
-
[24]
Houri, K
T. Houri, K. Tomoda and Y. Yasui, On integrability of the Killing equation , Class. Quant. Grav. 35 (2018) 075014 [ 1704.02074]
2018 arXiv
-
[25]
Kolar and P
I. Kolar and P. Krtouˇ s, Weak electromagnetic field admitting integrability in Kerr -NUT-(A)dS spacetimes, Phys. Rev. D91 (2015) 124045 [ 1504.00524]
2015 arXiv
-
[26]
Carter, Hamilton-Jacobi and Schrodinger separable solutions of Ei nstein’s equations, Commun
B. Carter, Hamilton-Jacobi and Schrodinger separable solutions of Ei nstein’s equations, Commun. Math. Phys. 10 (1968) 280
1968
-
[27]
Benenti and M
S. Benenti and M. Francaviglia, Remarks on certain separability structures and their appli cations to general relativity, General Relativity and Gravitation 10 (1979) 79
1979
-
[28]
V. P. Frolov and D. Kubizˇ n´ ak,Higher-Dimensional Black Holes: Hidden Symmetries and Sep aration of Variables, Class. Quant. Grav. 25 (2008) 154005 [ 0802.0322]
2008 arXiv
-
[29]
V. P. Frolov, P. Krtouˇ s and D. Kubizˇ n´ ak,Black holes, hidden symmetries, and complete integrabilit y, Living Rev. Rel. 20 (2017) 6 [ 1705.05482]
2017 arXiv
-
[30]
Yasui and T
Y. Yasui and T. Houri, Hidden Symmetry and Exact Solutions in Einstein Gravity , Prog. Theor. Phys. Suppl. 189 (2011) 126 [ 1104.0852]
2011 arXiv
-
[31]
Chandrasekhar, The mathematical theory of black holes , in Oxford, UK: Clarendon (1992) 646 p., OXFORD, UK: CLARENDON (1985) 646 P
S. Chandrasekhar, The mathematical theory of black holes , in Oxford, UK: Clarendon (1992) 646 p., OXFORD, UK: CLARENDON (1985) 646 P. , 1985. 26
1992
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.