Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds
type: Item
instance of: scholarly article
title: Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds
zbMATH Open document ID: 1390.14008
published in: Geometry \& Topology
publication date: 2017-09-26T00:00:00Z
full work available at URL: https://arxiv.org/abs/1504.00690
review text: The main result of this paper relates two classes of geometric objects: derived \(\mathbb{C}\) schemes \(\mathbf{X}\) of Toën-Vezzosi [\textit{T. Pantev} et al., Publ. Math., Inst. Hautes Étud. Sci. 117, 271--328 (2013; Zbl 1328.14027)] equipped with a \(-2\) shifted symplectic structure \(\omega^*_{\mathbf{X}}\) of [loc. cit.] (expected structures on 4D Calabi-Yau derived moduli \(\mathbb{C}\)-schemes); and derived smooth manifolds \(\mathbf{X}_{\text{dm}}\) of \textit{D. I. Spivak} [Duke Math. J. 153, No. 1, 55--128 (2010; Zbl 1420.57073)] and the first author with \textit{J. Noel} [``Simplicial approach to derived differential manifolds'', Preprint, \url{arXiv:1112.0033}] (the authors work with them in terms of Kuranishi atlases). Namely, the underlying complex analytic space \(X_{\text{an}}\) of \(\mathbf{X}\) can be given a structure of smooth derived manifold \(\mathbf{X}_{\text{dm}}\) of \(\text{vdim}_{\mathbb{R}}\mathbf{X}_{\text{dm}}=\text{vdim}_{\mathbb{C}}\mathbf{X}\). Although not canonical, \(\mathbf{X}_{\text{dm}}\) is independent of choices of derived bordisms fixing \(X_{\text{an}}\), and there is a \(1-1\) correspondence between orientations on \((\mathbf{X},\omega^*_{\mathbf{X}})\) and \(\mathbf{X}_{\text{dm}}\). A surprising consequence is that \(-2\) shifted symplectic derived \(\mathbb{C}\)-schemes \((\mathbf{X},\omega^*_{\mathbf{X}})\) have virtual classes, surprising because the standard Behrend-Fantechi construction [\textit{K. Behrend} and \textit{B. Fantechi}, Invent. Math. 128, No. 1, 45--88 (1997; Zbl 0909.14006)] of them only works for obstruction theories perfect in \([-1,0]\), not \([-2,0]\) as here. Moreover, the virtual classes have half the expected dimension, roughly reflecting the base of a ``Lagrangian fibration'' \(\mathbf{X}^{C^\infty}\to\mathbf{X}_{\text{dm}}\) with derived \( C^\infty\) scheme \(X^{C^\infty}\). The motivation for, and the intended application of, the results is to define new invariants, conjectured by \textit…
reviewed by: Sergiy Koshkin
Mathematics Subject Classification ID: 14A20
Mathematics Subject Classification ID: 14N35
Mathematics Subject Classification ID: 14J35
Mathematics Subject Classification ID: 14F05
Mathematics Subject Classification ID: 55N22
Mathematics Subject Classification ID: 53D30
zbMATH DE Number: 6779917
zbMATH Keywords: derived scheme
zbMATH Keywords: moduli space
zbMATH Keywords: Calabi-Yau 4-fold
zbMATH Keywords: Kuranishi atlas
zbMATH Keywords: semistable coherent sheaf
zbMATH Keywords: virtual class
zbMATH Keywords: perfect obstruction theory
author: Dennis V. Borisov
author: Dominic Joyce
MaRDI profile type: Publication
OpenAlex ID: W3103047252
arXiv ID: 1504.00690
cites work: The intrinsic normal cone
cites work: A `Darboux theorem' for shifted symplectic structures on derived Artin stacks, with applications
cites work: Symmetries and stabilization for sheaves of vanishing cycles
cites work: Orientability for gauge theories on Calabi-Yau manifolds
cites work: Q3182715
cites work: Arnold conjecture and Gromov-Witten invariant
cites work: A classical model for derived critical loci
cites work: A theory of generalized Donaldson-Thomas invariants
cites work: Q3648299
cites work: Shifted symplectic structures
cites work: Derived smooth manifolds
cites work: A holomorphic Casson invariant for Calabi-Yau 3-folds, and bundles on \(K3\) fibrations.
cites work: Derived algebraic geometry
cites work: Homotopical algebraic geometry. II. Geometric stacks and applications
DOI: 10.2140/GT.2017.21.3231
Recommended article: Shifted symplectic structures
Recommended article: The derived moduli stack of shifted symplectic structures
Recommended article: An introduction to d-manifolds and derived differential geometry
Recommended article: Q5371250
Recommended article: Relative Calabi-Yau structures. II: Shifted Lagrangians in the moduli of objects
Recommended article: A `Darboux theorem' for shifted symplectic structures on derived Artin stacks, with applications
Recommended article: A Lagrangian neighbourhood theorem for shifted symplectic derived schemes
Recommended article: Calabi-Yau structures, spherical functors, and shifted symplectic structures
Recommended article: Supergeometry in Mathematics and Physics
Recommended article: Algebraic deformations and Fourier–Mukai transforms for Calabi–Yau manifolds
description: scientific article