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.

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

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

Hodge Theory and Deformations of K\"ahler Manifolds

Derived Equivalence for Elliptic K3 Surfaces and Jacobians

Involutions on K3 surfaces and derived equivalence

Equivariant Moduli Theory on $ K3 $ Surfaces

Autoequivalences of Derived Category of A K3 Surface and Monodromy Transformations

Curves on K3 surfaces and modular forms

Mukai duality on K3 surfaces from the differential geometric perspective

K-equivalence in Birational Geometry and Characterizations of Complex Elliptic Genera

On two-elementary K3 surfaces with finite automorphism group

Constructions of derived equivalent hyper-Kähler fourfolds

K3 Surfaces from Configurations of Six Lines in ℙ2 and Mirror Symmetry II—λK3-functions

Motives of derived equivalent K3 surfaces

On K3 surfaces which dominate Kummer surfaces

Hodge similarities, algebraic classes, and Kuga-Satake varieties

Equivariant K-Homology and K-Theory for Some Discrete Planar Affine Groups

Indecomposable motivic cycles on K3 surfaces of degree 2

Equivariant log-concavity and equivariant Kähler packages

On the moduli space of simple sheaves on singular K3 surfaces

K3 surfaces associated to a cubic fourfold