English

Bordism categories and orientations of gauge theory moduli spaces

Algebraic Topology 2025-03-28 v2 Algebraic Geometry Differential Geometry

Abstract

This is the second paper of a series that develops a bordism-theoretic point of view on orientations in enumerative geometry. The first paper is arXiv:2312.06818. This paper focuses on those applications to gauge theory that can be established purely using formal arguments and calculations from algebraic topology. We prove that the orientability of moduli spaces of connections in gauge theory for all principal GG-bundles PXP\to X over compact spin nn-manifolds at once is equivalent to the vanishing of a certain morphism ΩnSpin(LBG)Z2\Omega_n^{\rm Spin}(\mathcal L BG)\to{\mathbb Z}_2 on the nn-dimensional spin bordism group of the free loop space of the classifying space of G,G, and we give a complete list of all compact, connected Lie groups GG for which this holds. Moreover, we apply bordism techniques to prove that mod-88 Floer gradings exist for moduli spaces of G2G_2-instantons for all principal SU(2)-bundles. We also prove that there are canonical orientations for all principal U(m)(m)-bundles PXP\to X over compact spin 88-manifolds satisfying c2(P)c1(P)2=0.c_2(P)-c_1(P)^2=0. The proof is based on an interesting relationship to principal E8E_8-bundles. These canonical orientations play an important role in many conjectures about Donaldson-Thomas type invariants on Calabi-Yau 44-folds, and resolve an apparent paradox in these conjectures.

Keywords

Cite

@article{arxiv.2312.10516,
  title  = {Bordism categories and orientations of gauge theory moduli spaces},
  author = {Dominic Joyce and Markus Upmeier},
  journal= {arXiv preprint arXiv:2312.10516},
  year   = {2025}
}

Comments

This paper is withdrawn, as some results rely on Cao-Gross-Joyce arXiv:1811.09658 Theorem 1.11, which is false. In particular, Theorems 3.18 and 3.27 and other results are false as stated, though they can be corrected with an extra assumption. A new, corrected, expanded version of the paper is given in Joyce-Upmeier arXiv:2503.20456, which includes a new version of arXiv:1811.09658 Theorem 1.11