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.

Non-Measure Hyperbolicity of Complex K3 Surfaces

On two-elementary K3 surfaces with finite automorphism group

On projective K3 surfaces $\mathcal{X}$ with $\mathrm{Aut}(\mathcal{X})=(\mathbb{Z}/2\mathbb{Z})^2$

K3 surfaces of Kummer type in characteristic two

A gluing construction of K3 surfaces

K3 surfaces with real or complex multiplication

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

Kodaira Dimensions and Hyperbolicity of Nonpositively Curved Compact Kähler Manifolds

K3 surfaces with two involutions and low Picard number

Curves on Brill–Noether special K3 surfaces

Sixfolds of generalized Kummer type and K3 surfaces

Geometric invariants of $K3$ surfaces with purely non-symplectic automorphisms

Curves on K3 surfaces and modular forms

On Hyperkähler manifolds of K3$^{[n]}$-type with large Picard number

Algebraic Hyperbolicity of Complements of Generic Hypersurfaces in Projective Spaces

Polarized K3 surfaces of genus thirteen and curves of genus three

On K3 surfaces which dominate Kummer surfaces

K3 surfaces from configurations of six lines in and mirror symmetry I

BHK mirror symmetry for K3 surfaces with non-symplectic automorphism

Kummer rigidity for K3 surface automorphisms via Ricci-flat metrics

Quotient spaces of K3 surfaces by non-symplectic involutions fixing a curve of genus 8 or more