2019/08/09 by Joyce, Dominic, Upmeier, Markus
#14F05 (Secondary) #53C05 (Primary) 70S15 #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #Differential Geometry (math.DG) #FOS: Mathematics
paper · doi:10.48550/arxiv.1908.03524
Let X be a compact manifold, G a Lie group, P → X a principal G-bundle, and BP the infinite-dimensional moduli space of connections on P modulo gauge. For a real elliptic operator E_\bullet we previously studied orientations on the real determinant line bundle over BP. These are used to construct orientations in the usual sense on smooth gauge theory moduli spaces, and have been extensively studied since the work of Donaldson. Here we consider complex elliptic operators F_\bullet and introduce the idea of spin structures, square roots of the complex determinant line bundle of F_\bullet. These may be used to construct spin structures in the usual sense on smooth complex gauge theory moduli spaces. We study the existence and classification of such spin structures. Our main result identifies spin structures on X with orientations on X × S1. Thus, if P → X and Q → X × S1 are principal G-bundles with Q|_X×\1\ ≅ P, we relate spin structures on (BP,F_\bullet) to orientations on (BQ,E_\bullet) for a certain class of operators F_\bullet on X and E_\bullet on X× S1. Combined with arXiv:1811.02405, we obtain canonical spin structures for positive Diracians on spin 6-manifolds and gauge groups G=U(m), SU(m). In a sequel arXiv:2001.00113 we apply this to define canonical orientation data for all Calabi-Yau 3-folds X over the complex numbers, as in Kontsevich-Soibelman arXiv:0811.2435, solving a long-standing problem in Donaldson-Thomas theory.