Geometry & Topology

Virtual fundamental classes for moduli spaces of sheaves on Calabi–Yau four-folds

Abstract

Let $(X,ωX∗)$ be a separated, $− 2$–shifted symplectic derived $ℂ$–scheme, in the sense of Pantev, Toën, Vezzosi and Vaquié (2013), of complex virtual dimension $vdimℂX = n ∈ ℤ$, and $Xan$ the underlying complex analytic topological space. We prove that $Xan$ can be given the structure of a derived smooth manifold $Xdm$, of real virtual dimension $vdimℝXdm = n$. This $Xdm$ is not canonical, but is independent of choices up to bordisms fixing the underlying topological space $Xan$. There is a one-to-one correspondence between orientations on $(X,ωX∗)$ and orientations on $Xdm$.

Because compact, oriented derived manifolds have virtual classes, this means that proper, oriented $− 2$–shifted symplectic derived $ℂ$–schemes have virtual classes, in either homology or bordism. This is surprising, as conventional algebrogeometric virtual cycle methods fail in this case. Our virtual classes have half the expected dimension.

Now derived moduli schemes of coherent sheaves on a Calabi–Yau $4$–fold are expected to be $− 2$–shifted symplectic (this holds for stacks). We propose to use our virtual classes to define new Donaldson–Thomas style invariants “counting” (semi)stable coherent sheaves on Calabi–Yau $4$–folds $Y$ over $ℂ$, which should be unchanged under deformations of $Y$.

Article information

Source
Geom. Topol., Volume 21, Number 6 (2017), 3231-3311.

Dates
Revised: 3 October 2016
Accepted: 23 November 2016
First available in Project Euclid: 16 November 2017

https://projecteuclid.org/euclid.gt/1510859321

Digital Object Identifier
doi:10.2140/gt.2017.21.3231

Mathematical Reviews number (MathSciNet)
MR3692967

Zentralblatt MATH identifier
06779917

Citation

Borisov, Dennis; Joyce, Dominic. Virtual fundamental classes for moduli spaces of sheaves on Calabi–Yau four-folds. Geom. Topol. 21 (2017), no. 6, 3231--3311. doi:10.2140/gt.2017.21.3231. https://projecteuclid.org/euclid.gt/1510859321

References

• K Behrend, B Fantechi, The intrinsic normal cone, Invent. Math. 128 (1997) 45–88
• O Ben-Bassat, C Brav, V Bussi, D Joyce, A “Darboux theorem” for shifted symplectic structures on derived Artin stacks, with applications, Geom. Topol. 19 (2015) 1287–1359
• D Borisov, Derived manifolds and Kuranishi models, preprint (2012)
• D Borisov, J Noel, Simplicial approach to derived differential manifolds, preprint (2011)
• C Brav, V Bussi, D Dupont, D Joyce, B Szendrői, Symmetries and stabilization for sheaves of vanishing cycles, J. Singul. 11 (2015) 85–151
• C Brav, V Bussi, D Joyce, A “Darboux theorem” for derived schemes with shifted symplectic structure (2013)
• V Bussi, D Joyce, S Meinhardt, On motivic vanishing cycles of critical loci, preprint (2013)
• Y Cao, Donaldson–Thomas theory for Calabi–Yau four-folds, preprint (2013)
• Y Cao, N C Leung, Donaldson–Thomas theory for Calabi–Yau $4$–folds, preprint (2014)
• Y Cao, N C Leung, Orientability for gauge theories on Calabi–Yau manifolds, Adv. Math. 314 (2017) 48–70
• P E Conner, Differentiable periodic maps, 2nd edition, Lecture Notes in Math. 738, Springer (1979)
• S K Donaldson, P B Kronheimer, The geometry of four-manifolds, Oxford Univ. Press (1990)
• S K Donaldson, R P Thomas, Gauge theory in higher dimensions, from “The geometric universe” (S A Huggett, L J Mason, K P Tod, S T Tsou, N M J Woodhouse, editors), Oxford Univ. Press (1998) 31–47
• K Fukaya, Y-G Oh, H Ohta, K Ono, Lagrangian intersection Floer theory: anomaly and obstruction, I–II, AMS/IP Studies in Advanced Mathematics 46, Amer. Math. Soc., Providence, RI (2009)
• K Fukaya, K Ono, Arnold conjecture and Gromov–Witten invariant, Topology 38 (1999) 933–1048
• R Hartshorne, Algebraic geometry, Graduate Texts in Math. 52, Springer (1977)
• D Joyce, Algebraic geometry over $C^\infty$–rings, preprint (2009) To appear in Mem. Amer. Math. Soc.
• D Joyce, D-manifolds and d-orbifolds: a theory of derived differential geometry, book project (2012) Available at \setbox0\makeatletter\@url http://people.maths.ox.ac.uk/~joyce/dmanifolds.html {\unhbox0
• D Joyce, D-manifolds, d-orbifolds and derived differential geometry: a detailed summary, preprint (2012)
• D Joyce, An introduction to d-manifolds and derived differential geometry, from “Moduli spaces” (L Brambila-Paz, O Garcí a-Prada, P Newstead, R P Thomas, editors), London Math. Soc. Lecture Note Ser. 411, Cambridge Univ. Press (2014) 230–281
• D Joyce, A new definition of Kuranishi space, preprint (2014)
• D Joyce, A classical model for derived critical loci, J. Differential Geom. 101 (2015) 289–367
• D Joyce, Kuranishi spaces as a $2$–category, preprint (2015)
• D Joyce, Kuranishi spaces and symplectic geometry, multiple-volume book project (2017) Available at \setbox0\makeatletter\@url http://people.maths.ox.ac.uk/~joyce/Kuranishi.html {\unhbox0
• D Joyce, Y Song, A theory of generalized Donaldson–Thomas invariants, Mem. Amer. Math. Soc. 1020, Amer. Math. Soc., Providence, RI (2012)
• M Kontsevich, Y Soibelman, Stability structures, motivic Donaldson–Thomas invariants and cluster transformations (2008)
• J Lurie, Derived algebraic geometry, V: Structured spaces, preprint (2009)
• D McDuff, Notes on Kuranishi atlases, preprint (2014)
• D McDuff, K Wehrheim, Kuranishi atlases with trivial isotropy: the $2013$ state of affairs, preprint (2012)
• J Milnor, On the Steenrod homology theory, from “Collected papers of John Milnor, IV: Homotopy, homology and manifolds” (J McCleary, editor), Amer. Math. Soc., Providence, RI (2009) 83–100 Reprint of the 1961 original
• T Pantev, B Toën, M Vaquié, G Vezzosi, Shifted symplectic structures, Publ. Math. Inst. Hautes Études Sci. 117 (2013) 271–328
• D I Spivak, Derived smooth manifolds, Duke Math. J. 153 (2010) 55–128
• R P Thomas, A holomorphic Casson invariant for Calabi–Yau $3$–folds, and bundles on $K3$ fibrations, J. Differential Geom. 54 (2000) 367–438
• B Toën, Higher and derived stacks: a global overview, from “Algebraic geometry, 1” (D Abramovich, A Bertram, L Katzarkov, R Pandharipande, M Thaddeus, editors), Proc. Sympos. Pure Math. 80, Amer. Math. Soc., Providence, RI (2009) 435–487
• B Toën, Derived algebraic geometry, EMS Surv. Math. Sci. 1 (2014) 153–240
• B Toën, G Vezzosi, Homotopical algebraic geometry, II: Geometric stacks and applications, 902, Amer. Math. Soc., Providence, RI (2008)