A categorification of the quantum Lefschetz principle

Abstract

The quantum Lefschetz formula explains how virtual fundamental classes (or structure sheaves) of moduli stacks of stable maps behave when passing from an ambient target scheme to the zero locus of a section. It is only valid under special assumptions (genus $0$, regularity of the section and convexity of the bundle). In this paper, we give a general statement at the geometric level removing these assumptions, using derived geometry. Through a study of the structure sheaves of derived zero loci we deduce a categorification of the formula in the $\infty$-categories of quasi-coherent sheaves. We also prove that Manolache's virtual pullbacks can be constructed as derived pullbacks, and use them to recover the classical Quantum Lefschetz formula when its hypotheses are satisfied.

arXiv comment24 pages; comments are very much welcome. V2: Major revision; corrected several mistakes and improved exposition

References in corpus (19)

• The intrinsic normal cone
• On exact infinity-categories and the Theorem of the Heart
• Brauer groups and étale cohomology in derived algebraic geometry
• The Quantum Lefschetz Hyperplane Principle Can Fail for Positive Orbifold Hypersurfaces
• Virtual Cartier divisors and blow-ups
• On the Lie algebroid of a derived self-intersection
• Proper local complete intersection morphisms preserve perfect complexes
• Hilbert-Mumford stability on algebraic stacks and applications to $\mathcal{G}$-bundles on curves
• Virtual fundamental classes of derived stacks I
• Virtual cycles of stable (quasi)-maps with fields
• The Morel-Voevodsky localization theorem in spectral algebraic geometry
• Derived critical loci I - Basics
• Formal moduli problems and formal derived stacks
• K-theory and G-theory of derived algebraic stacks
• Deriving Deligne-Mumford Stacks with Perfect Obstruction Theories
• A double-dimensional approach to formal category theory
• Virtual excess intersection theory
• Non-archimedean quantum K-invariants
• Brane actions, Categorification of Gromov-Witten theory and Quantum K-theory

Cited by in corpus (1)

• Quantum Lefschetz without curves