Abstract:We study the virtual geometry of the moduli spaces of curves and sheaves on K3 surfaces in primitive classes. Equivalences relating the reduced Gromov-Witten invariants of K3 surfaces to characteristic numbers of stable pairs moduli spaces are proven. As a consequence, we prove the Katz-Klemm-Vafa conjecture evaluating $\lambda_g$ integrals (in all genera) in terms of explicit modular forms. Indeed, all K3 invariants in primitive classes are shown to be governed by modular forms. The method of proof is by degeneration to elliptically fibered rational surfaces. New formulas relating reduced virtual classes on K3 surfaces to standard virtual classes after degeneration are needed for both maps and sheaves. We also prove a Gromov-Witten/Pairs correspondence for toric 3-folds. Our approach uses a result of Kiem and Li to produce reduced classes. In Appendix A, we answer a number of questions about the relationship between the Kiem-Li approach, traditional virtual cycles, and symmetric obstruction theories. The interplay between the boundary geometry of the moduli spaces of curves, K3 surfaces, and modular forms is explored in Appendix B by A. Pixton.

Reduction type of genus-3 curves in a special stratum of their moduli space

Curvatures of Moduli Space of Curves and Applications

Classification of genus 3 curves in special strata of the moduli space

Reduction types of CM curves

Lower Degree Curves in X 3,3 ⊂ ℙ 2 × ℙ 2

On moduli spaces of canonical threefolds with small genera and minimal volumes

Composition law and Nodal genus-2 curves in P^2

Reduced genus-two Gromov-Witten Invariants for complex manifolds

The Fine Structure of the Moduli Space of Abelian Differentials in Genus 3

Irreducibility of the space of cyclic covers of algebraic curves of fixed numerical type and the irreducible components of $Sing (\bar{\mathfrak M_g})$

K-moduli of Fano threefolds and genus four curves

Reduction of Plane Quartics and Dixmier-Ohno invariants

On invariants of Artin-Schreier curves

Threefolds on the Noether line and their moduli spaces

Hyperelliptic curves of genus 3 with prescribed automorphism group

Curves on K3 surfaces and modular forms

On Irreducible Symplectic Varieties of $\mathrm{K3}^{[n]}$-type in Positive Characteristic

Explicit Birational Geometry of 3-Folds of General Type, II

O'Grady tenfolds as moduli spaces of sheaves

Canonical stability of 3-folds of general type with $p_g\geq 3$

Classification of the invariants of foliations by curves of low degree on the three-dimensional projective space