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.

Birational Geometry of moduli spaces of pointed curves

Curvatures of Moduli Space of Curves and Applications

Curves on K3 surfaces and modular forms

Lectures on birational geometry

The geometry of double nested Hilbert schemes of points on curves

On the geometry of some strata of uni-singular curves

Sheaf stable pairs, Quot-schemes, and birational geometry

On symplectic birational self-maps of projective hyperkähler manifolds of K3$^{[n]}$-type

A Geometric Approach to Problems in Birational Geometry.

Some Geometry of Nodal Curves

On the birational geometry of sextic threefold hypersurface in $\mathbf{P}(1,1,2,2,3)$

Derived category of moduli of pointed curves -- II

The birational type of the moduli space of even spin curves

A geometry of the moduli space of Higgs pairs on an irreducible nodal curve of arithmetic genus one

Birational geometry of Calabi-Yau pairs $(\mathbb{P}^3, D)$ of coregularity 2

On Some Birational Invariants of Hyper-Kähler Manifolds

Rational curves on wonderful compactifications of symmetric varieties

Projectivity of the moduli of equidimensional branchvarieties

Moduli of algebraic varieties

Perspective and open problems on birational properties and singularities of moduli scheme of sheaves on surfaces

The birational geometry of moduli of cubic surfaces and cubic surfaces with a line