Orientability of moduli spaces of Spin(7)-instantons and coherent sheaves on Calabi-Yau 4-folds

Abstract

This paper concerns orientability of moduli spaces of Spin(7)-instantons on compact 8-manifolds $X$ with Spin(7)-structure for the Lie groups SU($m$) and U($m$), and of moduli spaces of coherent sheaves on Calabi-Yau 4-folds. Such orientations are needed to define enumerative invariants 'counting' Spin(7) instantons, or coherent sheaves on Calabi-Yau 4-folds $X$. The previous version of the paper, version 2, published in Advances in Mathematics 368 (2020), claimed to prove all these moduli spaces are orientable. VERSION 3 BEGINS WITH AN ERRATUM. THERE IS A MISTAKE IN THE PROOF OF THEOREM 1.11 OF VERSION 2, AND THE THEOREM ITSELF, ONE OF OUR MAIN RESULTS, IS FALSE. THE 8-MANIFOLD SU(3) IS A COUNTEREXAMPLE. COROLLARIES 1.12 AND 1.17 OF VERSION 2 DEPEND ON THEOREM 1.11, AND SO MAY ALSO BE FALSE, THOUGH WE DO NOT HAVE COUNTEREXAMPLES. OUR OTHER MAIN RESULT, THEOREM 1.15, IS UNAFFECTED BY THE MISTAKE. THE AUTHORS APOLOGIZE FOR THIS. Joyce-Upmeier arXiv:2503.20456 (197 pages) gives a new theory for studying orientability of moduli spaces using 'bordism categories'. Amongst other results they prove corrected versions of Theorem 1.11 and Corollaries 1.12 and 1.17, which hold with an extra assumption on $H^3(X,\mathbb{Z})$. In version 3, we highlight and explain the mistakes, but we do not correct them, as this would take many pages. Except for Theorem 1.15, readers are advised to read, and cite, Joyce-Upmeier arXiv:2503.20456 instead of this paper.

arXiv comment(v3) Erratum added

References in corpus (16)

• The intrinsic normal cone
• Foundations of Topological Stacks I
• Topological and Smooth Stacks
• Higher and derived stacks: a global overview
• Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds
• Algebraic (geometric) $n$-stacks
• Topological K-theory of complex noncommutative spaces
• Donaldson-Thomas theory for Calabi-Yau 4-folds
• Orientability for gauge theories on Calabi-Yau manifolds
• On orientations for gauge-theoretic moduli spaces
• A construction of Spin(7)-instantons
• The topological realization of a simplicial presheaf
• Spin(7)-instantons, Cayley submanifolds, and Fueter sections
• Canonical orientations for moduli spaces of $G_2$-instantons with gauge group SU(m) or U(m)
• Orientability of the moduli space of Spin(7)-instantons
• Some remarks on topological $K$-theory of dg categories

Cited by in corpus (23)

• $K$-theoretic DT/PT correspondence for toric Calabi-Yau 4-folds
• Curve counting and DT/PT correspondence for Calabi-Yau 4-folds
• Counting sheaves on Calabi-Yau 4-folds, I
• On orientations for gauge-theoretic moduli spaces
• Curve counting via stable objects in derived categories of Calabi-Yau 4-folds
• Stable pair invariants of local Calabi-Yau 4-folds
• Gopakumar-Vafa type invariants on Calabi-Yau 4-folds via descendent insertions
• ADHM in 8d, coloured solid partitions and Donaldson-Thomas invariants on orbifolds
• Genus zero Gopakumar-Vafa type invariants for Calabi-Yau 4-folds II: Fano 3-folds
• Canonical vertex formalism in DT theory of toric Calabi-Yau 4-folds
• Tautological stable pair invariants of Calabi-Yau 4-folds
• Counting perverse coherent systems on Calabi-Yau 4-folds
• Canonical orientations for moduli spaces of $G_2$-instantons with gauge group SU(m) or U(m)
• Tetrahedron instantons in Donaldson-Thomas theory
• The homology of moduli stacks of complexes
• Enumerative invariants and wall-crossing formulae in abelian categories
• Deformation theory of deformed Donaldson-Thomas connections for $\mathrm{Spin}(7)$-manifolds
• Universal structures in $\mathbb{C}$-linear enumerative invariant theories
• Stable pairs and Gopakumar-Vafa type invariants on holomorphic symplectic 4-folds
• Cosection Localization and Vanishing for Virtual Fundamental Classes of D-Manifolds
• A Donaldson-Thomas crepant resolution conjecture on Calabi-Yau 4-folds
• Virtual pullbacks in Donaldson-Thomas theory of Calabi-Yau 4-folds
• Wall-crossing for zero-dimensional sheaves and Hilbert schemes of points on Calabi-Yau 4-folds