Pith. sign in

REVIEW 1 cited by

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

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1811.09658 v3 pith:5VXOGVRW submitted 2018-11-21 math.DG math.AGmath.AT

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

classification math.DG math.AGmath.AT
keywords theoremversionmodulispacesspincalabi-yaucoherentfolds
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original 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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Virtual Jeffrey--Kirwan localisation

    math.AG 2026-07 accept novelty 7.0

    Virtual integrals over GIT quotients X//G equal Jeffrey–Kirwan residues of virtual integrals over T-fixed loci, for perfect obstruction theories and oriented (−2)-shifted symplectic structures, in cohomology and K-theory.