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.

Shimura- and Teichmueller curves

Teichmüller curves in hyperelliptic components of meromorphic strata

Curvatures of Moduli Space of Curves and Applications

On Positive Scalar Curvature and Moduli of Curves

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

Echoes in genus three of Teichmüller curves in genus two

A classification of Shimura curves in $\mathcal{A}_g$

Curve classes on irreducible holomorphic symplectic varieties

On Shimura curves in the Torelli locus of curves

The Oort Conjecture for Shimura Curves of Small Unitary Rank

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

Curves on K3 surfaces and modular forms

A Quadratic Curve Analogue of the Taniyama-Shimura Conjecture

Euler characteristics of Gothic Teichmüller curves

Non-Abelian number theory and the structure of curves on surfaces

Global classification of curves on the symplectic plane

l-adic Monodromy and Shimura curves in positive characteristics

A note on Shimura subvarieties in the hyperelliptic Torelli locus

K-moduli of Fano threefolds and genus four curves

The Chow rings of the moduli spaces of curves of genus 7, 8, and 9

Central curves on noncommutative surfaces