{"id":"6d04a590-b32b-48be-9bd0-b76a1ce815d2","arxiv_id":"2607.28303","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Spin(7) Nahm transforms on 8-tori lack generic vanishing, and asymptotic holonomy of highly twisted instantons need not be Spin(7).","lead":"The usual Nahm transform fails for Spin(7) instantons on 8-tori: Dirac kernels need not vanish in either chirality. An asymptotic version still only reduces holonomy to Spin(7) at second order, and explicit examples stay at u(1)^4.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"Reader correctly notes that Lemma 22 supplies only a sufficient criterion and that asymptotic holonomy is tested only against constant 2-forms. That observation does not load-bear against either half of Theorem 2: the second-order reduction uses the sufficient direction to upper-bound H', while the rank-4 obstruction is pinned down by the topological c1 pairing, which forces non-decay in four independent directions and cannot be hidden by oscillations. Heat-kernel comparison (Prop 20, Lemmas 18–21) and the algebraic filtration P_ℓ(V) are internally consistent with the cited Charbonneau–Stern and Braverman inputs. No parameter fitting, no circularity. Verdict remains ACCEPT.","tokens_in":19786,"tokens_out":457,"duration_ms":57616,"concrete_test":"Re-expand ★(1/6)(k γ12 + γ34 ± γ56)³ on the square torus and verify that the resulting c1(Ê) has nonzero pairings with each of γ12, γ34, γ56, γ7 as claimed in Ex 25; simultaneously check that those four matrices commute in so(8) and span a 4-dimensional abelian subalgebra.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims (Thm 24: H'_1 ⊂ Λ²_21; Ex 25: H'=u(1)⁴) are not threatened by the sufficiency-only character of Lemma 22. For the inclusion H'_ℓ ⊂ skew(P_ℓ(V)), sufficiency is the correct direction: extra decaying modes would only shrink H', preserving the ⊆ Λ²_21 statement. For the obstruction, equality H'=span{γ12,γ34,γ56,γ7} is sealed by the index/c1 computation in Ex 25 (c1(Ê) carries independent components along all four generators, so ∫Tr(η⌟F̂)≠0 and those directions lie in H'), not by Lemma 22. Oscillatory modes invisible to constant-form contractions are a modelling caveat about the definition, not an internal gap in the stated theorems.","agreement_with_reader":"partial"},"referee_report":{"model":"grok-4.5","summary":"The paper studies whether a Nahm-type transform can be defined for Spin(7) instantons on flat 8-tori. It first shows there is no generic vanishing theorem: using Braverman’s asymptotic vanishing and Spin(7)-instanton line bundles of opposite orientation (built from γ12 versus γ12+γ34+γ56), it produces examples with Dirac kernel in either chirality (Theorem 1). It then introduces an asymptotic Nahm transform of E⊗L⊗k for a principally polarised abelian 8-fold whose polarising line bundle is itself a Spin(7) instanton, and defines asymptotic holonomy H′ℓ / H′ via L2 decay rates of contractions of the dual curvature against constant 2-forms. Heat-kernel and Green’s-operator approximations (adapting Charbonneau–Stern) yield H′0 ⊂ ⟨ω⟩ and H′1 ⊂ Λ221 (Theorem 2 / Theorem 24). Finally, an explicit rank-2 example has H′=H′2=u(1)⊕4, which cannot lie in Λ221 for any Spin(7) structure on the dual torus (Example 25).","tokens_in":19964,"tokens_out":882,"duration_ms":28157,"significance":"The work cleanly obstructs a direct Spin(7) analogue of the toric Nahm transform and replaces it with a well-defined asymptotic notion that still recovers Spin(7) reduction to second order. The vanishing counterexamples are elementary but decisive; the heat-kernel analysis is a careful, documented adaptation of existing technology; and the u(1)4 example gives a sharp rank obstruction (4>3). These are concrete, falsifiable contributions to higher-dimensional gauge theory and special-holonomy instantons. Strengths include explicit constructions, Clifford-algebra identities that are fully written out, and an index/c1 check that seals the non-reduction claim without relying only on the sufficient algebraic criterion.","major_comments":[],"minor_comments":[{"comment":"Section 6: The definition of Hℓ / H′ℓ via contractions against constant 2-forms is natural on a flat torus, but a short paragraph motivating why this class detects reduced holonomy (and what oscillatory modes it might miss) would help non-specialist readers. The theorems as stated are unaffected.","section":"Section 6"},{"comment":"Lemma 22 / Corollary 23: It would be clearer to state explicitly that Lemma 22 supplies a sufficient condition for membership in Hℓ and that the inclusion H′ℓ ⊂ skew(Pℓ(V)) is the direction needed for both the Spin(7) reduction and the subsequent obstruction.","section":"Lemma 22"},{"comment":"Example 25: The c1 computation is the load-bearing step for equality H′=span{γ12,γ34,γ56,γ7}. Flagging that ∫Tr(η⌟F̂) is topological (hence cannot decay in k) makes the argument easier to scan.","section":"Example 25"},{"comment":"Notation: The dual bundle is written variously [E(k), bE, Ê; a single consistent hat/check convention would improve readability. Likewise, the Cayley form (2) and the γ-matrix conventions in §2 could cross-reference each other more explicitly.","section":null},{"comment":"Typos / small points: “Fourier¿Mukai” in Ref. [3]; “ask→∞” spacing in several displays; “u(1)⊕4” versus “u(1)4” in the abstract versus Example 25.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is technically solid and appropriate for a specialist differential-geometry journal. The reader’s and skeptic’s assessments align with mine: the sufficiency-only character of Lemma 22 does not threaten the stated theorems. No novelty or citation concerns. I see no reason to delay acceptance for anything beyond ordinary copy-editing."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"Punchline first: Whitehead shows there is no usable Spin(7) Nahm transform on flat 8-tori in the classical sense, and even the large-k twisted version is not asymptotically Spin(7) in general.\n\nWhat is actually new is concrete. Theorem 1 builds Spin(7) instantons (line bundles from opposite-orientation (1,1)-forms, then tensor with anything) whose Dirac kernels sit in + and − chirality respectively; Braverman plus the sign of ω^4 does the work. Sections 4–5 adapt the Charbonneau–Stern Mehler/heat-kernel machine to the Spin(7) Clifford setting with a clean W-filtration and exponential-gap control; that lets him define asymptotic holonomy via L^2 decay of constant-form contractions against the dual curvature. Theorem 24 then gets H'_0 ⊂ ⟨ω⟩ and H'_1 ⊂ Λ²_21, while Example 25 (L− ⊕ L+ twisted by γ12) produces H' = span{γ12, γ34, γ56, γ7} ≅ u(1)^4 by direct matrix products plus the index formula for c1. Rank 4 > rank so(7) kills any hope that the dual is asymptotically Spin(7) for some structure. The algebra (Lemmas 3–8, 22) is careful and the citations are the right ones.\n\nSoft spots are real but limited. Asymptotic holonomy only tests constant 2-forms; highly oscillatory pieces of F̂ could in principle hide. That is a modelling choice, not a hole in the stated theorems: the inclusion H'_1 ⊂ Λ²_21 is only helped by extra decay, and the u(1)^4 obstruction is sealed by the c1 pairing, not by the sufficient criterion in Lemma 22. No code, no formal verification, pure analysis on tori—fine for the claim.\n\nThis is for people already working on higher-dimensional Nahm/Fourier–Mukai or moduli of G2/Spin(7) instantons. A serious referee should see it. I would accept it for peer review and would bring it to a reading group if we have anyone in special holonomy; I would cite the obstruction examples if I ever need to rule out a naïve Spin(7) duality.","headline":"Clean obstruction paper: vanishing fails for Spin(7) on T^8, and the twisted dual is only Spin(7) to second order and can be u(1)^4.","tokens_in":20652,"tokens_out":580,"would_cite":true,"duration_ms":16304,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C07","53C25","58J35"],"pacs":[],"model":"grok-4.5","headline":"The usual Nahm transform fails for Spin(7) instantons on 8-tori, and even an asymptotic version does not stay Spin(7).","keywords":["Nahm transform","Spin(7) instantons","asymptotic holonomy","Dirac kernels","flat tori","Cayley form","heat kernel estimates"],"falsifier":"Explicitly compute the dual curvature (or its contractions against a basis of constant 2-forms) for the line-bundle sum in Example 25 and check whether the four claimed generators of H′ really remain of order one while all other directions decay.","tokens_in":20624,"feed_emoji":"🔄","tokens_out":872,"duration_ms":16421,"temperature":0.7,"pith_summary":"The classical Nahm transform turns anti-self-dual instantons on a 4-torus into anti-self-dual instantons on the dual torus. This paper asks whether an analogous duality exists for Spin(7) instantons on an 8-torus. It first shows that the usual construction is not even well-defined: there exist Spin(7) instantons whose Dirac operators have kernels in both chiralities, so one cannot consistently form a dual bundle. The author then studies an asymptotic version obtained by twisting with a high power of a positive instanton line bundle. The dual curvature asymptotically reduces to the Spin(7) 21-plane at first order, but concrete examples are given whose asymptotic holonomy is four commuting circle directions—larger than the rank of Spin(7). Thus the dual cannot be asymptotically Spin(7) for any choice of Spin(7) structure on the dual torus.","feed_headline":"Spin(7) Nahm transform fails even asymptotically","feed_subtitle":"Dual holonomy can be four circles, larger than Spin(7), so no dual Spin(7) structure works","key_machinery":"Asymptotic holonomy H′_ℓ: the orthogonal complement to those constant 2-forms whose contraction with the dual curvature decays at rate O(k^{1/2−ℓ}). Heat-kernel approximations to the Dirac projection and Green’s operator convert membership in H_ℓ into an algebraic vanishing condition on matrix products of the original curvature.","core_discovery":"There is no generic vanishing theorem for Spin(7) instantons on flat 8-tori, so the ordinary Nahm transform is undefined. For the asymptotic Nahm transform of E twisted by a high power of a polarising Spin(7) line bundle, the asymptotic holonomy satisfies H′_0 ⊂ ⟨ω⟩ and H′_1 ⊂ Λ²_21, yet there exist examples with H′ = H′_2 = u(1)⁴, which cannot sit inside Λ²_21 for any Spin(7) structure on the dual.","pith_inferences":["The failure already at the vanishing step suggests that Fourier–Mukai-type transforms for Spin(7) may need derived or spectral categories rather than single bundles.","The u(1)⁴ examples are essentially abelian; non-abelian irreducible Spin(7) instantons might still have better asymptotic holonomy, offering a possible positive residual case.","The same obstruction technique could be run for G₂ instantons on 7-tori to test whether the pattern is dimension-specific or general."],"forward_implications":["Ordinary Nahm duality cannot produce a moduli-space isometry for Spin(7) instantons on 8-tori.","Any successful higher-dimensional Nahm transform in the Spin(7) setting must either abandon Dirac kernels or work with a weaker asymptotic notion of dual connection.","The rank obstruction shows that asymptotic holonomy can jump outside every conjugate of so(7), so the dual cannot be forced into Spin(7) by choice of structure.","The same heat-kernel and asymptotic-holonomy package applies immediately to other special-holonomy instanton problems on tori."],"fun_headline_variants":["Spin(7) Nahm transform undefined on flat 8-tori","No vanishing theorem: ordinary Spin(7) Nahm fails","Asymptotic holonomy can be u(1)^4, outside Spin(7)","Twisted instantons yield dual holonomy too large for Spin(7)","Asymptotic Nahm holonomy need not reduce to Spin(7)"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The claim that reduced holonomy is detected by L² decay rates of contractions of the dual curvature against constant 2-forms; highly oscillatory curvature invisible to those tests could still reduce holonomy.","fun_headline_variants_meta":{"raw":{"variants":["Spin(7) Nahm transform undefined on flat 8-tori","No vanishing theorem: ordinary Spin(7) Nahm fails","Asymptotic holonomy can be u(1)^4, outside Spin(7)","Twisted instantons yield dual holonomy too large for Spin(7)","Asymptotic Nahm holonomy need not reduce to Spin(7)"]},"model":"grok-4.5","effort":"low","cost_usd":0.004838,"raw_usage":{"total_tokens":1356,"prompt_tokens":770,"num_sources_used":0,"completion_tokens":100,"cost_in_usd_ticks":48384000,"prompt_tokens_details":{"text_tokens":770,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":486,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":770,"tokens_out":100,"duration_ms":7594,"temperature":1.0,"reasoning_tokens":486,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T11:45:54.481729+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Explicitly compute the dual curvature (or its contractions against a basis of constant 2-forms) for the line-bundle sum in Example 25 and check whether the four claimed generators of H′ really remain of order one while all other directions decay.","supporting_citations":[],"review_version":1}