Orientability of moduli spaces of coherent sheaves on Calabi–Yau 4-folds

Gauge-theoretic invariants such as Donaldson or Seiberg–Witten invariants of 4-manifolds, Casson invariants of 3-manifolds, Donaldson–Thomas invariants of Calabi–Yau 3- and 4-folds, and putative Donaldson–Segal invariants of G_2 manifolds are defined by constructing a moduli space of solutions to an elliptic PDE as a (derived) manifold and integrating the (virtual) fundamental class against cohomology classes. For a moduli space to have a (virtual) fundamental class it must be compact, oriented, and (quasi-)smooth. We first describe a general framework for addressing orientability of gauge-theoretic moduli spaces due to Joyce–Tanaka–Upmeier. We then show that the moduli stack of perfect complexes of coherent sheaves on a Calabi–Yau 4-fold X is a homotopy-theoretic group completion of the topological realisation of the moduli stack of algebraic vector bundles on X. This allows one to extend orientations on the locus of algebraic vector bundles to the boundary of the (compact) moduli space of coherent sheaves using the universal property of homotopy-theoretic group completions. This is a necessary step in constructing Donaldson–Thomas invariants of Calabi–Yau 4-folds. This is joint work with Yalong Cao and Dominic Joyce.