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.

The Kodaira dimension of the moduli space of Prym varieties

Curvatures of Moduli Space of Curves and Applications

The birational geometry of $\overline{\mathcal{R}}_{g,2}$ and Prym-canonical divisorial strata

The Kodaira dimensions of $\overline{\mathcal{M}}_{22}$ and $\overline{\mathcal{M}}_{23}$

On the Kodaira dimension of moduli spaces of Abelian differentials

Kodaira dimension of moduli spaces of hyperkähler varieties

The birational type of the moduli space of even spin curves

The uniruledness of the Prym moduli space of genus 9

On the Kodaira Dimension of the Moduli of Deformation Generalised Kummer Varieties

On the Jacobian locus in the Prym locus and geodesics

Kodaira dimension of moduli of special $K3^{[2]}$-fourfolds of degree 2

Cyclic coverings of genus curves of Sophie Germain type

On the Prym map for cyclic covers of genus two curves

Big monodromy for higher Prym representations

On the local geometry of the moduli space of $(2,2)$-threefolds in ${\mathcal A}_9$

Cyclic Coverings of genus 2 curves of Sophie Germain type

On the Existence of Shimura curves in the Prym locus of abelian covers of projective line

Moduli of K3 families over $\mathbb{P}^1$, cycle spaces of IHS period domains, and deformations of complex-hyperkähler metrics

Prym-Brill-Noether theory for ramified double covers

Curves on K3 surfaces and modular forms

Moduli of algebraic varieties