Dimensional reduction in cohomological Donaldson-Thomas theory
arXiv:2102.01568 · doi:10.1112/S0010437X21007740
Abstract
For oriented -shifted symplectic derived Artin stacks, Ben-Bassat-Brav-Bussi-Joyce introduced certain perverse sheaves on them which can be regarded as sheaf theoretic categorifications of the Donaldson-Thomas invariants. In this paper, we prove that the hypercohomology of the above perverse sheaf on the -shifted cotangent stack over a quasi-smooth derived Artin stack is isomorphic to the Borel-Moore homology of the base stack up to a certain shift of degree. This is a global version of the dimensional reduction theorem due to Davison. We give two applications of our main theorem. Firstly, we apply it to the study of the cohomological Donaldson-Thomas invariants for local surfaces. Secondly, regarding our main theorem as a version of Thom isomorphism theorem for dual obstruction cones, we propose a sheaf theoretic construction of the virtual fundamental classes for quasi-smooth derived Artin stacks.
arXiv comment46 pages. v2:Minor revisions, added some references
References in corpus (17)
- The intrinsic normal cone
- Cycle groups for Artin stacks
- Non-commutative Donaldson-Thomas theory and the conifold
- A 'Darboux Theorem' for shifted symplectic structures on derived Artin stacks, with applications
- Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds
- Relative Calabi-Yau structures
- Motivic degree zero Donaldson-Thomas invariants
- Two-dimensional categorified Hall algebras
- Donaldson-Thomas theory for Calabi-Yau 4-folds
- The integrality conjecture and the cohomology of preprojective stacks
- Shifted cotangent stacks are shifted symplectic
- Perversely categorified Lagrangian correspondences
- Virtual fundamental classes of derived stacks I
- q-Stability conditions on Calabi-Yau-X categories
- Natural Commuting of Vanishing Cycles and the Verdier Dual
- S^1-Equivariant simplicial algebras and de Rham theory
- Perverse sheaves on Artin stacks