Table of Contents
Fetching ...

Stable pairs with descendents on local surfaces I: the vertical component

M. Kool, R. P. Thomas

TL;DR

This work studies the full stable-pair theory with descendents on the local Calabi–Yau 3-fold $X=Tot(K_S)$ for a surface $S$ with a smooth canonical divisor $C$. It localises the problem to vertical thickenings of $C$ indexed by partitions, proves that only strict (in particular length-1) thickenings contribute, and derives a remarkably simple closed product formula for the vertical contributions in degree $d[C]$. The authors develop a nested Hilbert scheme description of the $T$-fixed vertical component, compute the obstruction and virtual normal bundles, and obtain explicit descendent formulas in terms of tautological classes on symmetric products of $C$, yielding a complete evaluation of the vertical generating function without and with descendents. Via the descendent-MNOP correspondence, these results produce vanishing and product formulas for Gromov–Witten invariants of $X$ and $S$, connect to spin Hurwitz numbers, and provide a framework that unifies stable-pairs, GW theory, and Hurwitz theory in the vertical sector.

Abstract

We study the full stable pair theory --- with descendents --- of the Calabi-Yau 3-fold $X=K_S$, where $S$ is a surface with a smooth canonical divisor $C$. By both $\mathbb C^*$-localisation and cosection localisation we reduce to stable pairs supported on thickenings of $C$ indexed by partitions. We show that only strict partitions contribute, and give a complete calculation for length-1 partitions. The result is a surprisingly simple closed product formula for these "vertical" thickenings. This gives all contributions for the curve classes $[C]$ and $2[C]$ (and those which are not an integer multiple of the canonical class). Here the result verifies, via the descendent-MNOP correspondence, a conjecture of Maulik-Pandharipande, as well as various results about the Gromov-Witten theory of $S$ and spin Hurwitz numbers.

Stable pairs with descendents on local surfaces I: the vertical component

TL;DR

This work studies the full stable-pair theory with descendents on the local Calabi–Yau 3-fold for a surface with a smooth canonical divisor . It localises the problem to vertical thickenings of indexed by partitions, proves that only strict (in particular length-1) thickenings contribute, and derives a remarkably simple closed product formula for the vertical contributions in degree . The authors develop a nested Hilbert scheme description of the -fixed vertical component, compute the obstruction and virtual normal bundles, and obtain explicit descendent formulas in terms of tautological classes on symmetric products of , yielding a complete evaluation of the vertical generating function without and with descendents. Via the descendent-MNOP correspondence, these results produce vanishing and product formulas for Gromov–Witten invariants of and , connect to spin Hurwitz numbers, and provide a framework that unifies stable-pairs, GW theory, and Hurwitz theory in the vertical sector.

Abstract

We study the full stable pair theory --- with descendents --- of the Calabi-Yau 3-fold , where is a surface with a smooth canonical divisor . By both -localisation and cosection localisation we reduce to stable pairs supported on thickenings of indexed by partitions. We show that only strict partitions contribute, and give a complete calculation for length-1 partitions. The result is a surprisingly simple closed product formula for these "vertical" thickenings. This gives all contributions for the curve classes and (and those which are not an integer multiple of the canonical class). Here the result verifies, via the descendent-MNOP correspondence, a conjecture of Maulik-Pandharipande, as well as various results about the Gromov-Witten theory of and spin Hurwitz numbers.

Paper Structure

This paper contains 21 sections, 30 theorems, 255 equations.

Key Result

Theorem 1.1

If $S$ has a reduced, irreducible canonical divisor then unless $\beta$ is an integer multiple of the canonical class $\mathsf k$ and all $\sigma_i$ lie in $H^{\le2}(S)$.

Theorems & Definitions (63)

  • Theorem 1.1
  • Example 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Remark 1.5
  • Remark 1.6
  • Lemma 3.1
  • proof
  • Example 3.2
  • Proposition 3.3
  • ...and 53 more