Notes on the proof of the KKV conjecture

Abstract

The Katz-Klemm-Vafa conjecture expresses the Gromov-Witten theory of K3 surfaces (and K3-fibred 3-folds in fibre classes) in terms of modular forms. Its recent proof gives the first non-toric geometry in dimension greater than 1 where Gromov-Witten theory is exactly solved in all genera. We survey the various steps in the proof. The MNOP correspondence and a new Pairs/Noether-Lefschetz correspondence for K3-fibred 3-folds transform the Gromov-Witten problem into a calculation of the full stable pairs theory of a local K3-fibred 3-fold. The stable pairs calculation is then carried out via degeneration, localisation, vanishing results, and new multiple cover formulae.

23 pages, 9 figures, 2 tables. Expanded version of lecture given at JDG Conference on Geometry and Topology 2014 for "Surveys in Differential Geometry". v2: figure fixed

References in corpus (3)

• Three questions in Gromov-Witten theory
• The Katz-Klemm-Vafa conjecture for K3 surfaces
• On the motivic stable pairs invariants of K3 surfaces

Cited by in corpus (3)

• The Hodge-elliptic genus, spinning BPS states, and black holes
• Gromov-Witten/Hilbert versus AdS3/CFT2 Correspondence
• Algebraic structure of $t{t}^{\ast }$ equations for Calabi-Yau sigma models