Abstract

Abstract Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and K-theoretic invariants for many moduli stacks of interest, including K-theoretic Donaldson-Thomas invariants of sheaves and complexes on Calabi-Yau threefolds. The construction of virtual structure sheaves is based on the K-theory and Gysin maps of sheaf stacks. In this paper, we generalize the virtual torus localization and cosection localization formulas and their combination to the setting of almost perfect obstruction theory. To this end, we further investigate the K-theory of sheaf stacks and its functoriality properties. As applications of the localization formulas, we establish a K-theoretic wall-crossing formula for simple $\mathbb{C} ^\ast $ -wall crossings and define K-theoretic invariants refining the Jiang-Thomas virtual signed Euler characteristics.

Highlights

  • Enumerative geometry is the study of counts of geometric objects subject to a set of given conditions

  • Li-Tian [20] and Behrend-Fantechi [4] developed the theory of virtual fundamental cycles, which have been instrumental in defining and investigating several algebro-geometric enumerative invariants of great importance, such as Gromov-Witten [2], Donaldson-Thomas [29] and Pandharipande-Thomas [25] invariants, and are still one of the major components in modern enumerative geometry

  • A perfect obstruction theory : → L gives an embedding of C into the vector bundle stack E = h1/h0 ( ∨), and the virtual fundamental cycle is defined as the intersection of the zero section 0E with C

Read more

Summary

Introduction

Enumerative geometry is the study of counts of geometric objects subject to a set of given conditions. In [16], we introduced the notion of coherent sheaves on a sheaf stack F, defined the -theory of F and constructed a Gysin map 0!F of F, which enabled us to construct the virtual structure sheaf [ vir] ∈ 0 ( ) for a Deligne-Mumford stack equipped with an almost perfect obstruction theory. In this preliminary section, we collect necessary ingredients from [16].

Coherent sheaves on a sheaf stack F
Almost perfect obstruction theory and virtual structure sheaf
Functorial behavior of coherent sheaves on sheaf stacks
Coherent descent theory
Pullbacks of coherent sheaves on sheaf stacks
Pushforwards of coherent sheaves on sheaf stacks
Cosection localization
Cosection localization for perfect obstruction theory
Intrinsic normal cone under a cosection
Virtual torus localization
An auxiliary almost perfect obstruction theory on the fixed locus
Refined intersection with the fixed locus
Virtual torus localization formula
Torus localization of cosection localized virtual structure sheaf
Applications
Dual obstruction cone
Deformation invariance of cosection localized virtual structure sheaf

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.