Pith. sign in

REVIEW 5 minor 19 references

Obstructions to Spin(7) Nahm transforms on tori

T0 review · 0 major / 5 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read The usual Nahm transform fails for Spin(7) instantons on 8-tori, and even an asymptotic version does not stay Spin(7).

desk verdict 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. read the letter →

arxiv 2607.28303 v1 pith:KWCVV7G3 submitted 2026-07-30 math.DG

Spencer Whitehead This is my paper · ORCID
classification math.DG MSC 53C0753C2558J35
keywords NahmtransformSpin(7)instantonsasymptoticholonomyDirackernelsflattoriCayleyformheatkernelestimates
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

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).

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.

minor comments (5)
  1. [Section 6] 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.
  2. [Lemma 22] 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.
  3. [Example 25] 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.
  4. 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.
  5. 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: asymptotic holonomy bounds and the u(1)^4 obstruction are derived from heat-kernel estimates, Clifford algebra, and the index theorem

full rationale

The paper is a pure existence/obstruction argument in differential geometry. Theorem 1 applies Braverman’s external vanishing theorem to explicitly constructed Spin(7) line bundles and uses the index formula; nothing is fitted or defined in terms of the conclusion. The asymptotic holonomy spaces H_ℓ / H'_ℓ are newly defined via L² decay of constant-form contractions; membership criteria (Lemma 22, Corollary 23) are proved from the Mehler/heat-kernel approximation and Clifford identities (Lemmas 5–8), then specialised to V = M_21 to get H'_1 ⊂ Λ²_21. The counterexample that H' = u(1)⊕4 is sealed by direct matrix products for P_ℓ together with an independent index computation of c1(Ê), not by feeding the desired holonomy back into the definition. Background analytic machinery is taken from Charbonneau–Stern and Braverman (external); there are no load-bearing self-citations, fitted parameters, or uniqueness theorems imported from the author. The choice of test class (constant 2-forms) is a modelling definition, not a circular reduction of the stated theorems.

Assumptions & free parameters 0 free parameters · 5 assumptions · 2 invented entities

Load-bearing inputs are standard Spin(7)/Clifford representation theory, Braverman’s asymptotic vanishing, the Charbonneau–Stern heat-kernel calculus (adapted), and the existence of principally polarised abelian varieties with the given Cayley form making L a Spin(7) instanton. No numerical free parameters. The only paper-specific inventions are the asymptotic-holonomy filtration and the asymptotic Nahm transform itself, introduced definitionally to state the obstruction.

assumptions (5)
  • domain assumption Braverman’s asymptotic vanishing: for a positively (resp. negatively) oriented line bundle L, ker D^-_k=0 (resp. ker D^+_k=0) for E⊗L^k, k≫0.
    Invoked as Theorem 10 to build the chirality-opposite kernels in the proof of Theorem 1 and to guarantee the dual bundle exists for the asymptotic transform.
  • standard math Spin(7) representation theory: Λ²=Λ²_7⊕Λ²_21, S^+=S^+_1⊕S^+_7, and the Clifford actions of Lemma 3.
    Used throughout Sections 2 and 6 to identify which 2-forms can annihilate or mix chiralities and to compute P_ℓ(M_21).
  • domain assumption Existence of a principally polarised abelian variety (T^8,ω,L) with F_L=−iω that is simultaneously a Spin(7) instanton for the fixed Cayley form (2).
    Standing hypothesis from Section 4 onward; needed so that twisting preserves the Spin(7) instanton equation and supplies the dominant eigenvalue λ_*=−4.
  • domain assumption Heat-kernel / Mehler-kernel approximation calculus and Hilbert–Schmidt error bounds in the style of Charbonneau–Stern, including the spectral gap 2k−C_spec.
    Sections 4–5 adapt this machinery to control ∥Π−Q∥_HS and ∥G−R∥_HS; without it the curvature asymptotics are unavailable.
  • standard math Index theorem expression for c_1 of the dual bundle used in Example 25.
    Supplies the nonzero pairing ⟨γ_7,c_1(Ê)⟩ that shows γ_7 lies in H', completing the rank-4 claim.
invented entities (2)
  • Asymptotic holonomy H'_ℓ / H'
    purpose: Replace classical reduced holonomy when the dual connection is only approximately special; defined as the orthogonal complement to constant 2-forms whose contraction with F̂ decays like O(k^{1/2−ℓ}).
    Definitional construct of Section 6; the paper’s obstruction statement is phrased entirely in this language. No external measurement is proposed.
  • Asymptotic Nahm transform [E(k),[A(k)] of E⊗L^k
    purpose: Provide a well-defined dual object when ordinary vanishing fails, by restricting to large positive twists where Braverman applies.
    Introduced in Section 6 to host the curvature expansion; exists by Braverman but the holonomy claims about it are the paper’s contribution.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Obstructions to Spin(7) Nahm transforms on tori." pith.science (2026). https://pith.science/paper/KWCVV7G3

@misc{pith2026260728303,
  author       = {Pith},
  title        = {Pith review of: Obstructions to Spin(7) Nahm transforms on tori},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KWCVV7G3}},
  note         = {Machine review of arXiv:2607.28303}
}
abstract

The Nahm transform for 4-dimensional flat hyperkahler tori is an isometry between the moduli space of anti-self-dual (ASD) instantons on a torus $T^4$ and the moduli space of ASD instantons on the dual torus $\hat{T^4}$ parametrising flat line bundles on $T^4$. This paper studies a generalised Nahm transform on an 8-dimensional torus with a Spin(7) structure. I construct instanton bundles with Dirac kernels respectively in positive and negative chiralities, demonstrating that the usual Nahm transform is not well-defined. I then define a notion of asymptotic holonomy for instantons twisted by a high power $k \gg 1$ of an instanton line bundle, and I show that this asymptotic holonomy reduces to Spin(7) to second order in $k$. Finally, I provide examples for which the asymptotic holonomy is $\mathfrak{u}(1)^4$, and thus not Spin(7).

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 7 canonical work pages

  1. [1]

    Izar Alonso, Jesse Madnick, and Emily Autumn Windes.Gauge Theory onT∗CP 2: Explicit Sp(2)-Instantons, HYM Connections, and Spin(7)-Instantons. Aug. 2025.doi:10 . 48550 / arXiv.2508.17119. arXiv:2508.17119 [math.DG]. (Visited on 07/30/2026)

    work page Pith review arXiv doi:10.48550/arxiv.2508.17119 2025

  2. [2]

    Construction of Instantons

    M. F. Atiyah et al. “Construction of Instantons”. In:Physics Letters. A65.3 (1978), pp. 185– 187.issn: 0375-9601,1873-2429.doi:10.1016/0375-9601(78)90141-X

    doi:10.1016/0375-9601(78)90141-x 1978

  3. [3]

    Boston: Birkhäuser Boston, 2009.isbn: 978-0-8176-3246-5 978-0-8176-4663-9.doi:10.1007/b11801

    Claudio Bartocci, Ugo Bruzzo, and Daniel Hernández Ruipérez.Fourier¿Mukai and Nahm Transforms in Geometry and Mathematical Physics. Boston: Birkhäuser Boston, 2009.isbn: 978-0-8176-3246-5 978-0-8176-4663-9.doi:10.1007/b11801. (Visited on 08/20/2025)

    doi:10.1007/b11801 2009

  4. [4]

    Theta Functions, Old and New

    Arnaud Beauville. “Theta Functions, Old and New”. In:Open Problems and Surveys of Contemporary Mathematics. Vol. 6. Surveys of Modern Mathematics. International Press of Boston, Inc., Dec. 2013, pp. 99–131.isbn: 978-1-57146-490-3

    2013

  5. [5]

    Maxim Braverman.Vanishing Theorems for the Kernel of a Dirac Operator. Sept. 1998.doi: 10.48550/arXiv.math/9805127. arXiv:math/9805127. (Visited on 08/20/2025)

    work page Pith review arXiv doi:10.48550/arxiv.math/9805127 1998

  6. [6]

    Asymptotic Hodge Theory of Vector Bundles

    Benoit Charbonneau and Mark Stern. “Asymptotic Hodge Theory of Vector Bundles”. In: Communications in Analysis and Geometry23.3(2015),pp.559–609.issn:10198385,19449992. doi:10.4310/CAG.2015.v23.n3.a4. (Visited on 08/20/2025)

    work page doi:10.4310/cag.2015.v23.n3.a4 2015

  7. [7]

    Sergey Cherkis, Andrés Larraín-Hubach, and Mark Stern.Instantons on Multi-Taub-NUT Spaces II: Bow Construction. Mar. 2021.doi:10.48550/arXiv.2103.12754. arXiv:2103. 12754 [math]. (Visited on 08/20/2025)

    work page Pith review arXiv doi:10.48550/arxiv.2103.12754 2021

  8. [8]

    Instantons on Multi-Taub-NUT Spaces I: Asymptotic Form and Index Theorem

    Sergey A. Cherkis, Andres Larrain-Hubach, and Mark Stern. “Instantons on Multi-Taub-NUT Spaces I: Asymptotic Form and Index Theorem”. In:Journal of Differential Geometry119.1 (Sept. 2021).issn: 0022-040X.doi:10.4310/jdg/1631124166. arXiv:1608.00018 [math]. (Visited on 08/20/2025)

    arXiv 2021

Show all 19 references
  1. [9]

    Cherkis, Andrés Larraín-Hubach, and Mark Stern.Instantons on Multi-Taub-NUT Spaces III: Down Transform, Completeness, and Isometry

    Sergey A. Cherkis, Andrés Larraín-Hubach, and Mark Stern.Instantons on Multi-Taub-NUT Spaces III: Down Transform, Completeness, and Isometry. Jan. 2025.doi:10.48550/arXiv. 2308.02048. arXiv:2308.02048 [math]. (Visited on 08/20/2025)

    2025 doi arXiv

  2. [10]

    A Survey on Nahm Transform

    Marcos Jardim. “A Survey on Nahm Transform”. In:Journal of Geometry and Physics52.3 (Nov. 2004), pp. 313–327.issn: 0393-0440.doi:10.1016/j.geomphys.2004.03.006. (Visited on 12/05/2025)

    2004 doi

  3. [11]

    Joyce.Compact Manifolds with Special Holonomy

    Dominic D. Joyce.Compact Manifolds with Special Holonomy. Oxford Mathematical Mono- graphs. Oxford, New York: Oxford University Press, Sept. 2000.isbn: 978-0-19-850601-0

    2000

  4. [12]

    Yang-Mills Instantons on ALE Gravitational Instantons

    Peter B. Kronheimer and Hiraku Nakajima. “Yang-Mills Instantons on ALE Gravitational Instantons”. In:Mathematische Annalen(1990).doi:10 . 1007 / BF01444534. (Visited on 03/31/2026)

    1990

  5. [13]

    Lando and Alexander K

    Sergei K. Lando and Alexander K. Zvonkin.Graphs on Surfaces and Their Applications. Ed. by R. V. Gamkrelidze and V. A. Vassiliev. Vol. 141. Encyclopaedia of Mathematical Sciences. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.isbn: 978-3-642-05523-2 978- 3-540-38361-1.d...

    2004 doi

  6. [14]

    Spin(7) Instantons

    Christopher Lewis. “Spin(7) Instantons”. PhD thesis. Oxford University. 19

  7. [15]

    July 2024.doi:10.48550/arXiv.2407.06412

    Jesse Madnick and Emily Autumn Windes.On Sp(n)-Instantons and the Fourier-Mukai Transform of Complex Lagrangians. July 2024.doi:10.48550/arXiv.2407.06412. arXiv: 2407.06412 [math]. (Visited on 08/20/2025)

    2024 doi arXiv

  8. [16]

    Vicente Muñoz and C. S. Shahbazi.Transversality for the Moduli Space of Spin(7)-Instantons. Mar. 2018.doi:10 . 48550 / arXiv . 1611 . 04127. arXiv:1611 . 04127 [math]. (Visited on 08/20/2025)

    2018

  9. [17]

    All Self-Dual Multimonopoles for Arbitrary Gauge Groups

    W Nahm. “All Self-Dual Multimonopoles for Arbitrary Gauge Groups”. In:NATO ASI, B82 (1983), pp. 301–310. (Visited on 12/05/2025)

    1983

  10. [18]

    Wolfgang Pauli.Wave Mechanics. Vol. 5. Pauli Lectures on Physics

  11. [19]

    Hyperholomorphic Bundles over a Hyper-Kähler Manifold

    Mikhail Verbitsky. “Hyperholomorphic Bundles over a Hyper-Kähler Manifold”. In:Journal of Algebraic Geometry5.4 (1996), pp. 633–669.issn: 1056-3911,1534-7486. 20

    1996

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.