{"id":"53a29665-fd30-44b8-aeef-f81042c8bd25","arxiv_id":"1908.10250","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Using the Eisenhart-Duval lift, the authors reproduce previously known commuting symmetry operators for the Maxwell (LFKK) equation on Kerr-NUT-(A)dS spacetimes in covariant form, and construct the analogous operator for the Teukolsky equation.","lead":"This paper derives, in a coordinate-independent way, the commuting operators that make the Maxwell equations on rotating black hole spacetimes solvable by separation of variables. It uses the Eisenhart-Duval lift, a geometric construction in two extra dimensions, to explain where these operators come from and to write them in covariant form.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Mutual commutativity of the LFKK operators rests on unshown cancellations in Appendix C; an independent check of these identities would settle whether the central claim stands.","rationale":"The reader identifies the same soft spot: the commutativity verification in Appendix C is the least secure step, with several results delegated to 'straightforward calculation'. This is genuinely load-bearing because the mutual commutativity of K_(j) is what guarantees independent separation constants, and the paper's main result is specifically that the Eisenhart-Duval construction reproduces the commuting operators of [7]. If the cancelled terms do not actually cancel, the central claim fails. The paper has real strengths: the Benenti construction is explicit, the coordinate expressions are given, and the comparison with [7] provides a strong consistency check. The Teukolsky part is also a useful illustration, though its verification is similarly compressed. However, the mathematical proof of the key property is not fully exhibited, and the claim is precise enough that a finite symbolic computation can settle it. For this reason, I would not reject the paper, but I would make acceptance conditional on the Appendix C identities being checked independently. The comparison with [7] makes it plausible that the computation goes through, but it does not remove the need for the check, since the paper's stated contribution is precisely the covariant Killing-tensor route to those operators.","tokens_in":28062,"tokens_out":26119,"duration_ms":262940,"concrete_test":"Perform an independent symbolic computation of the commutativity conditions for the LFKK construction. Using the uplifted metric (4.22), the Killing tensors (4.26), and the connection data (C.2)-(C.6), evaluate the 2-form m(i,j) from Eq. (2.38) for n=2 and n=3 (and, if feasible, general n), and check that all components asserted to vanish in Appendix C indeed vanish, that δU(i,j)_+ = 0, and that Eqs. (C.14)-(C.16) hold. A direct computation of the operator commutators [K_(i), K_(j)] applied to a generic test function would provide an even more explicit confirmation. If all checks pass, the central claim is fully supported; if any check fails, the mutual commutativity of the LFKK symmetry operators is disproven.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's central claim is that the Eisenhart-Duval lift produces the LFKK symmetry operators in covariant form, with the operators K_(j) of Eq. (4.35) mutually commuting and equal to those of [7] up to lower-order symmetry operators. The mutual commutativity is not demonstrated in the main text: it is delegated to Appendix C, where the decisive verification is compressed into assertions of 'straightforward calculation'. In particular, the vanishing of the components m(i,j)_{μμ̂}, m(i,j)_{a-}, and m(i,j)_{+-}, as well as the identity δU(i,j)_+ = 0, are stated without the intermediate algebra. Equation (C.14), δm(i,j)=0, is passed to the known commutativity of the base-space Killing tensors without showing that the uplifted m(i,j) reduces to the base-space object. If any of these cancellations fails, the operators K_(i) and K_(j) will not commute, and the separation constants they generate will not be independent. No concrete error is identified here; the concern is that the load-bearing property is asserted rather than exhibited. The agreement with [7] gives indirect support, but it does not by itself validate the Killing-tensor computation that is supposed to produce that agreement.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":28236,"tokens_out":13865,"duration_ms":141697,"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":[{"comment":"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":"Appendix C, Eqs. (C.14)–(C.19)"},{"comment":"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.","section":"Section 4.4, Eq. (4.40)"}],"minor_comments":[{"comment":"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).","section":"Section 2.4 and Figure 1"},{"comment":"The phrase 'bland-new technique' should read 'brand-new technique'.","section":"Introduction"},{"comment":"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.","section":"Section 4.4"},{"comment":"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.","section":"Equation (4.24)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within the journal's scope and the central idea is attractive. The main concern is not novelty but completeness of the commutativity proof: the mutual commutativity of the LFKK operators is asserted rather than fully demonstrated, and the comparison with [7] is explicitly made only in even dimensions. I would be willing to support publication after the authors supply the omitted algebra for Appendix C or a clear proof that the Benenti construction automatically gives the required Schouten-Nijenhuis commutativity."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Useful paper. The main result is a covariant construction, via the Eisenhart-Duval lift, of the commuting symmetry operators behind variable separation in the LFKK formulation of Maxwell on Kerr-NUT-(A)dS, plus a new symmetry operator for the four-dimensional Teukolsky equation. The authors say plainly that the LFKK operators coincide with Krtouš-Frolov-Kubizňák up to first-order pieces; what is genuinely new is the lift derivation and the covariant form, and for Teukolsky the operator K with [H,K]=0 and eigenvalue equal to the separation constant. The chain is mostly self-contained, with detailed appendices, and I think the reader's ACCEPT verdict is right. This is a real conceptual advance in understanding why these equations separate.\n\nThe soft spot is where the stress-test note points. Mutual commutativity of the K_(j) is delegated to Appendix C, and the decisive cancellations—vanishing of m^(i,j)_{μμ̂}, m^(i,j)_{a-}, m^(i,j)_{+-} and δU^(i,j)_+=0—are asserted as 'straightforward calculation' rather than exhibited. That is a fair thing to ask for, but I don't read it as a demonstrated flaw. The paper's own cross-check against [7] is independent and supportive: the operators match up to lower-order terms, which would not happen if the commutativity algebra were badly wrong. The stress-test worry that δm^(i,j)=0 is just handed to known base-space commutativity is also fair, but again it is a request for more detail, not evidence of failure. I would ask the authors to expand C.2 or provide a check in n=2 where a reader can verify by hand.\n\nMinor: there is a sign/typo in the sentence about V before Eq. (4.21); the explicit formula for V is what matters and it checks out. The citation pattern is honest, β is a parameter of the ansatz rather than a fitted number, and there is no circularity.\n\nBottom line: people working on hidden symmetries and black-hole perturbation theory will want this. It deserves a serious referee; I would send it out and expect accept after minor revision, chiefly the expanded Appendix C.","headline":"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.","tokens_in":28834,"tokens_out":4098,"would_cite":true,"duration_ms":39933,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C50","83C57","83C15"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Kerr-NUT-(A)dS spacetime","Eisenhart-Duval lift","Maxwell equation","commuting symmetry operators","separation of variables","Killing tensors","Teukolsky equation","hidden symmetries"],"falsifier":"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.","tokens_in":27804,"feed_emoji":"⚡","tokens_out":8600,"duration_ms":87183,"temperature":0.7,"pith_summary":"Maxwell's equations around rotating black holes are usually solved by separation of variables, but the deeper reason the separation works has often been tied to coordinate-dependent operator expressions. This paper tries to show that the commuting symmetry operators behind that separation are geometric objects: they descend from Killing tensors on a spacetime obtained by adding two extra dimensions via the Eisenhart-Duval lift. On the lifted spacetime, the scalar equation that encodes the Maxwell field becomes an ordinary massless Klein-Gordon equation, and its hidden symmetries become Killing vectors and tensors. The paper establishes that the resulting operators on the original spacetime coincide with the previously known coordinate operators up to first-order terms, and that the same procedure supplies a symmetry operator for the Teukolsky equation whose eigenvalue is the separation constant.","feed_headline":"Lifted spacetime turns Maxwell separation into hidden symmetry","feed_subtitle":"The same commuting operators that separate variables on Kerr-NUT-(A)dS come from Killing tensors in two extra dimensions.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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$."],"supporting_citations":[{"why":"Introduces the separation method for Maxwell fields in rotating higher-dimensional spacetimes that this paper rederives geometrically.","marker":"[5]"},{"why":"Provides the coordinate expressions of the commuting symmetry operators with which the paper compares its covariant operators.","marker":"[7]"},{"why":"Supplies the Eisenhart-Duval lift construction that embeds the equation into a higher-dimensional Klein-Gordon problem.","marker":"[15-19]"},{"why":"Gives Benenti's canonical-form construction used to obtain Killing tensors on the lifted metric.","marker":"[21]"},{"why":"Derives the Debye scalar equations from gauged Killing-Yano tensors, the basis for the Teukolsky section.","marker":"[22]"},{"why":"States the anomaly-free condition a Killing tensor must satisfy to define a commuting symmetry operator.","marker":"[23]"},{"why":"Establishes the Schouten-Nijenhuis commutativity conditions used to prove mutual commutation of the symmetry operators.","marker":"[25]"},{"why":"Provides the Carter form of the Kerr metric and the separation framework used throughout the paper.","marker":"[26]"}],"fun_headline_variants":["Hidden symmetries from lifted spacetime solve Maxwell on Kerr-NUT-(A)dS","Covariant lift yields commuting operators for Maxwell on Kerr-NUT-(A)dS","Lift method makes Maxwell separation on Kerr-NUT-(A)dS covariant","Eisenhart-Duval lift exposes Maxwell symmetries on Kerr-NUT-(A)dS"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Hidden symmetries from lifted spacetime solve Maxwell on Kerr-NUT-(A)dS","Covariant lift yields commuting operators for Maxwell on Kerr-NUT-(A)dS","Lift method makes Maxwell separation on Kerr-NUT-(A)dS covariant","Eisenhart-Duval lift exposes Maxwell symmetries on Kerr-NUT-(A)dS"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001392,"raw_usage":{"total_tokens":5645,"prompt_tokens":971,"completion_tokens":4674,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":587,"completion_tokens_details":{"reasoning_tokens":4583}},"tokens_in":587,"tokens_out":4674,"duration_ms":29672,"temperature":1.0,"reasoning_tokens":4583,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:48:59.886763+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Benenti, Separation of variables in the geodesic Hamilton-Jacobi eq uation, in Symplectic geometry and mathematical physics (Aix-en-Provence, 1990) , vol","cited_arxiv_id":null,"evidence_quote":"Gives Benenti's canonical-form construction used to obtain Killing tensors on the lifted metric."},{"cited_title":"Debye Potentials for Maxwell and Dirac Fields from a Generalisation of the Killing-Yano Equation","cited_arxiv_id":"gr-qc/9610037","evidence_quote":"Derives the Debye scalar equations from gauged Killing-Yano tensors, the basis for the Teukolsky section."},{"cited_title":"Carter, Killing Tensor Quantum Numbers and Conserved Currents in Cu rved Space, Phys","cited_arxiv_id":null,"evidence_quote":"States the anomaly-free condition a Killing tensor must satisfy to define a commuting symmetry operator."},{"cited_title":"Weak electromagnetic field admitting integrability in Kerr-NUT-(A)dS spacetimes","cited_arxiv_id":"1504.00524","evidence_quote":"Establishes the Schouten-Nijenhuis commutativity conditions used to prove mutual commutation of the symmetry operators."},{"cited_title":"Carter, Hamilton-Jacobi and Schrodinger separable solutions of Ei nstein’s equations, Commun","cited_arxiv_id":null,"evidence_quote":"Provides the Carter form of the Kerr metric and the separation framework used throughout the paper."}],"review_version":1}