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.

Constructions of derived equivalent hyper-Kähler fourfolds

Hodge Theory and Deformations of K\"ahler Manifolds

Quasi-isometry and Deformations of Calabi–Yau Manifolds

J ul 2 01 2 HODGE THEORY AND DEFORMATIONS OF KÄHLER MANIFOLDS

Applications of the affine structures on the Teichm\"uller spaces

Applications of the Affine Structures on the Teichmüller Spaces

The D-equivalence conjecture for hyper-Kähler varieties via hyperholomorphic bundles

Derived Equivalence for Elliptic K3 Surfaces and Jacobians

On L-equivalence for K3 surfaces and hyperkähler manifolds

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

Twisted K-theory constructions in the case of a decomposable Dixmier-Douady class II: Topological and equivariant models

Hodge similarities, algebraic classes, and Kuga-Satake varieties

Higher $K$-theory of forms III: from chain complexes to derived categories

A twistor sphere of generalized Kahler potentials on hyperkahler manifolds

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

Curves on K3 surfaces and modular forms

Computing Riemann-Roch polynomials and classifying hyper-Kähler fourfolds

Derived categories of quartic double fivefolds

A Kodaira type conjecture on almost complex 4 manifolds

Higher K-theory of forms II. From exact categories to chain complexes

Derived hyperquot schemes