{"id":"4b69d834-55c3-43ab-b4b9-1ed104f0d15c","arxiv_id":"2607.18842","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Under explicit matching assumptions, a Killing–Yano p-form survives Abelian T-duality precisely when its transverse part is independent of the dualized direction and a correction term satisfies two compatibility equations.","lead":"This paper derives conditions under which Killing–Yano forms—antisymmetric hidden symmetries—survive Abelian T-duality when the background has NS–NS torsion: the transverse part must be constant along the dualized circle, and a correction term must solve a stated equation. It applies the criterion to S^3, Schwarzschild, and the Nappi–Witten plane wave, and offers a generalized-geometry explanation for isometries that appear only after duality.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central claim is conditional on existence of an auxiliary torsion Ψ satisfying (3.12); no proof or example supplies such Ψ, and the examples' direct verifications use only physical torsion, so the transformation law may be vacuous as stated.","rationale":"The reader's weakest assumption—that the matching assumptions (3.12) are realizable—is also the most load-bearing point for the paper's central claim. The derivation in Section 3 and Appendix B is careful and the reduction to (F0) and (F2) is plausible, but the theorem is conditional on the existence of an auxiliary torsion Ψ that is never constructed. The examples do not close this gap: in S³ with B=0, Λ≠0 forces a non-zero auxiliary torsion, yet the final check of the dual no-KY-2-form statement is performed for the connection with physical torsion Ĥ only; in the Nappi–Witten case, the verification uses ∇^H, not ∇^{H+Ψ}. Thus the hypotheses of the central theorem are not instantiated in the examples. The timelike Schwarzschild f(1) issue noted by the reader is a separate, concrete example-level error, but it does not change the fundamental concern: without a proof of existence and global consistency of Ψ, the transformation law may have no physical domain of applicability. Since the central derivation is conditional and the missing step is addressable, the existing CONDITIONAL verdict is appropriate; no adjustment is needed.","tokens_in":28534,"tokens_out":13216,"duration_ms":115552,"concrete_test":"In the Hopf S³ example, explicitly solve (3.12) for a global skew 3-form Ψ: fix ψ_θ=−Λ with Λ=sin(2χ)dχ∧dϕ, determine ψ_amc from the τ–h condition, and check total antisymmetry ψ_amc=−ψ_mac and global well-definedness over the Hopf circle. Then test whether the four round-S³ KY 2-forms (4.8) satisfy the torsionful KY equation with T=H+Ψ. If no global Ψ exists, or if those forms fail the torsionful equation, the example and the status of (3.18)–(3.19) as a usable criterion must be revised.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3's transformation law (3.13), and its p=1 consequence (3.18)–(3.19), are conditional on the matching assumptions (3.12). The paper states that these assumptions are not consequences of the Buscher rules, but it never proves that for a given background (g,B,H) there exists an auxiliary skew-torsion Ψ (and its T-dual Ψ̂) satisfying ψ_θ=ψ̂_θ=−Λ and the accompanying τ–h relation, nor does it exhibit Ψ in any of the Section 4 examples. This is not a bookkeeping detail: for p>1 the torsionful Killing–Yano equation depends explicitly on Ψ, so without an explicit Ψ the statement that the original form is torsionful KY in the original frame is not checked. In the Hopf S³ example, Λ=sin(2χ)dχ∧dϕ is non-zero, so the auxiliary torsion cannot simply be taken to vanish; nevertheless the dual-side no-KY-2-form verification uses only the physical torsion Ĥ, not Ψ̂. Similarly, in the Nappi–Witten example the transformed forms are verified with ∇^H, not with ∇^{H+Ψ}. Thus the examples do not instantiate the hypotheses of the central theorem. If (3.12) is inconsistent or globally obstructed, the transformation law has no demonstrated physical examples, and the claimed survival criteria are not operational.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":1301,"tokens_out":1668,"duration_ms":156743,"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":[{"comment":"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.","section":"§3, Eq. (3.12); §4 examples"},{"comment":"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.","section":"§4, Schwarzschild timelike dual, Eq. (4.14)"}],"minor_comments":[{"comment":"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.","section":"§4, Nappi-Witten"},{"comment":"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.","section":"§5, Eq. (5.25)"},{"comment":"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.","section":"General notation"}],"recommendation":"major_revision","confidential_remarks":"The paper has a clear conditional core and detailed computations, but the central physical claim depends on the existence of Ψ satisfying (3.12), which is neither proved nor instantiated in the examples. The Schwarzschild correction f^(1) should be corrected to 2/√κ (or the surrounding equations adjusted). I believe the paper can be made publishable after these points are resolved, but they require more than cosmetic changes."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper is a serious, technically detailed attempt to get a direct transformation law for torsionful Killing–Yano forms under Abelian T-duality. The genuinely new piece is the p=1 criterion: a Killing 1-form survives as a Killing 1-form of the dual metric iff its transverse components are θ-independent and the dual circle component satisfies the first-order equation (3.19). That equation is plausible and, because the torsionful KY equation for 1-forms coincides with the ordinary Killing equation, it is independent of the auxiliary torsion. The generalized-geometric reconstruction of emergent Killing vectors (Section 5) is also a nice explicit illustration of how non-geometric generalized Killing vectors become ordinary isometries after T-duality.\n\nThe soft spots are real. The general p>1 theorem rests on matching assumptions (3.12) that the authors explicitly say are not consequences of the Buscher rules, and they never prove that an auxiliary skew-torsion Ψ satisfying those assumptions exists for any physical background. This matters: for p>1 the torsionful KY equation depends on Ψ, so without an explicit Ψ the statement that the original form is torsionful KY in the original frame is not checked. The examples do not fill this gap. The S^3 and Nappi-Witten verifications use only the physical NS-NS torsion, not H+Ψ, so they do not instantiate the hypotheses of the central theorem. The direct proof that S^2×S^1 admits no non-trivial KY 2-form with respect to the physical dual torsion is an independent, credible calculation, but it does not validate the transformation law. There is also a concrete error in the timelike Schwarzschild example: for κ=1-2M/r, f(1) should be 2/√κ to satisfy (3.19); the printed 2√κ gives e^σ f = 2κ, not constant, so this example violates the paper's own equation. Likely a typo, but it needs fixing.\n\nOverall: the p=1 survival criterion is probably correct and useful, and the generalized-geometry section is worth reading. The p>1 transformation law, as stated, is a conditional statement whose hypotheses are not realized in the paper's own examples. A revision should either prove existence of Ψ (or identify classes of backgrounds where it exists) or restrict the theorem to the case where the auxiliary torsion can be taken to vanish. I would send it to a referee; the subfield would benefit from a clean statement, and the issues are addressable.\n\nRecommendation: engage with it, but treat the p>1 results as provisional until the Ψ question is settled.","headline":"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.","tokens_in":29417,"tokens_out":7712,"would_cite":true,"duration_ms":65476,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C80","83E30","53C29"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["T-duality","Killing–Yano forms","hidden symmetries","torsion","generalized geometry","double field theory","Buscher rules","emergent isometries"],"falsifier":"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.","tokens_in":28417,"feed_emoji":"🌀","tokens_out":4919,"duration_ms":43143,"temperature":0.7,"pith_summary":"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.","feed_headline":"T-duality spares Killing forms that ignore the dual circle","feed_subtitle":"Survival depends on the dualized direction; examples on S^3, Schwarzschild, and a torsionful plane wave.","key_machinery":"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.","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["T-duality preserves Killing-Yano forms that ignore dual circle","Emergent isometries via T-duality of Killing forms","Torsionful T-duality: Condition for Killing form survival","When T-duality keeps Killing forms: A new criterion","Killing-Yano forms under T-duality with torsion"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["T-duality preserves Killing-Yano forms that ignore dual circle","Emergent isometries via T-duality of Killing forms","Torsionful T-duality: Condition for Killing form survival","When T-duality keeps Killing forms: A new criterion","Killing-Yano forms under T-duality with torsion"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000284,"raw_usage":{"total_tokens":1516,"prompt_tokens":753,"completion_tokens":763,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":497,"completion_tokens_details":{"reasoning_tokens":678}},"tokens_in":497,"tokens_out":763,"duration_ms":6942,"temperature":1.0,"reasoning_tokens":678,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T14:10:39.511588+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}