Geometry & Topology

Gromov–Witten invariants of the Hilbert schemes of points of a K3 surface

Georg Oberdieck

Full-text: Access denied (no subscription detected)

However, an active subscription may be available with MSP at msp.org/gt.

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

We study the enumerative geometry of rational curves on the Hilbert schemes of points of a K3 surface.

Let S be a K3 surface and let Hilbd(S) be the Hilbert scheme of d points of  S. In the case of elliptically fibered K3 surfaces S1, we calculate genus-0 Gromov–Witten invariants of Hilbd(S), which count rational curves incident to two generic fibers of the induced Lagrangian fibration Hilbd(S)d. The generating series of these invariants is the Fourier expansion of a power of the Jacobi theta function times a modular form, hence of a Jacobi form.

We also prove results for genus-0 Gromov–Witten invariants of Hilbd(S) for several other natural incidence conditions. In each case, the generating series is again a Jacobi form. For the proof we evaluate Gromov–Witten invariants of the Hilbert scheme of two points of 1×E, where E is an elliptic curve.

Inspired by our results, we conjecture a formula for the quantum multiplication with divisor classes on Hilbd(S) with respect to primitive curve classes. The conjecture is presented in terms of natural operators acting on the Fock space of S. We prove the conjecture in the first nontrivial case Hilb2(S). As a corollary, we find that the full genus-0 Gromov–Witten theory of Hilb2(S) in primitive classes is governed by Jacobi forms.

We present two applications. A conjecture relating genus-1 invariants of Hilbd(S) to the Igusa cusp form was proposed in joint work with R Pandharipande. Our results prove the conjecture when d=2. Finally, we present a conjectural formula for the number of hyperelliptic curves on a K3 surface passing through two general points.

Article information

Source
Geom. Topol., Volume 22, Number 1 (2018), 323-437.

Dates
Received: 11 November 2015
Revised: 1 March 2017
Accepted: 30 March 2017
First available in Project Euclid: 20 December 2017

Permanent link to this document
https://projecteuclid.org/euclid.gt/1513774915

Digital Object Identifier
doi:10.2140/gt.2018.22.323

Mathematical Reviews number (MathSciNet)
MR3720346

Zentralblatt MATH identifier
06805081

Subjects
Primary: 14N35: Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants [See also 53D45]
Secondary: 14J28: $K3$ surfaces and Enriques surfaces 11F50: Jacobi forms

Keywords
Gromov–Witten invariants K3 surfaces

Citation

Oberdieck, Georg. Gromov–Witten invariants of the Hilbert schemes of points of a K3 surface. Geom. Topol. 22 (2018), no. 1, 323--437. doi:10.2140/gt.2018.22.323. https://projecteuclid.org/euclid.gt/1513774915


Export citation

References

  • A Beauville, Counting rational curves on $K3$ surfaces, Duke Math. J. 97 (1999) 99–108
  • K Behrend, B Fantechi, The intrinsic normal cone, Invent. Math. 128 (1997) 45–88
  • J Bryan, N C Leung, The enumerative geometry of $K3$ surfaces and modular forms, J. Amer. Math. Soc. 13 (2000) 371–410
  • J Bryan, G Oberdieck, R Pandharipande, Q Yin, Curve counting on abelian surfaces and threefolds, preprint (2015)
  • K Chandrasekharan, Elliptic functions, Grundl. Math. Wissen. 281, Springer (1985)
  • X Chen, A simple proof that rational curves on $K3$ are nodal, Math. Ann. 324 (2002) 71–104
  • C Ciliberto, A L Knutsen, On $k$–gonal loci in Severi varieties on general $K3$ surfaces and rational curves on hyperkähler manifolds, J. Math. Pures Appl. 101 (2014) 473–494
  • M Eichler, D Zagier, The theory of Jacobi forms, Progress in Mathematics 55, Birkhäuser, Boston (1985)
  • C Faber, R Pandharipande, Relative maps and tautological classes, J. Eur. Math. Soc. 7 (2005) 13–49
  • C Faber, R Pandharipande, Tautological and non-tautological cohomology of the moduli space of curves, from “Handbook of moduli, I” (G Farkas, I Morrison, editors), Adv. Lect. Math. 24, International Press, Somerville, MA (2013) 293–330
  • W Fulton, Intersection theory, 2nd edition, Ergeb. Math. Grenzgeb. 2, Springer (1998)
  • W Fulton, R Pandharipande, Notes on stable maps and quantum cohomology, from “Algebraic geometry, 2” (J Kollár, R Lazarsfeld, D R Morrison, editors), Proc. Sympos. Pure Math. 62, Amer. Math. Soc., Providence, RI (1997) 45–96
  • T Graber, Enumerative geometry of hyperelliptic plane curves, J. Algebraic Geom. 10 (2001) 725–755
  • V Gritsenko, K Hulek, G K Sankaran, Moduli of $K3$ surfaces and irreducible symplectic manifolds, from “Handbook of moduli, I” (G Farkas, I Morrison, editors), Adv. Lect. Math. 24, International Press, Somerville, MA (2013) 459–526
  • I Grojnowski, Instantons and affine algebras, I: The Hilbert scheme and vertex operators, Math. Res. Lett. 3 (1996) 275–291
  • J Harris, D Mumford, On the Kodaira dimension of the moduli space of curves, Invent. Math. 67 (1982) 23–88
  • K Hori, S Katz, A Klemm, R Pandharipande, R Thomas, C Vafa, R Vakil, E Zaslow, Mirror symmetry, Clay Math. Monographs 1, Amer. Math. Soc., Providence, RI (2003)
  • S Katz, A Klemm, R Pandharipande, On the motivic stable pairs invariants of $K3$ surfaces, from “$K3$ surfaces and their moduli” (C Faber, G Farkas, G van der Geer, editors), Progr. Math. 315, Birkhäuser (2016) 111–146
  • T Kawai, K Yoshioka, String partition functions and infinite products, Adv. Theor. Math. Phys. 4 (2000) 397–485
  • Y-H Kiem, J Li, Localizing virtual cycles by cosections, J. Amer. Math. Soc. 26 (2013) 1025–1050
  • M Lehn, Chern classes of tautological sheaves on Hilbert schemes of points on surfaces, Invent. Math. 136 (1999) 157–207
  • M Lehn, Lectures on Hilbert schemes, from “Algebraic structures and moduli spaces” (J Hurtubise, E Markman, editors), CRM Proc. Lecture Notes 38, Amer. Math. Soc., Providence, RI (2004) 1–30
  • M Lehn, C Sorger, The cup product of Hilbert schemes for $K3$ surfaces, Invent. Math. 152 (2003) 305–329
  • W-p Li, Z Qin, W Wang, Vertex algebras and the cohomology ring structure of Hilbert schemes of points on surfaces, Math. Ann. 324 (2002) 105–133
  • A Libgober, Elliptic genera, real algebraic varieties and quasi-Jacobi forms, from “Topology of stratified spaces” (G Friedman, E Hunsicker, A Libgober, L Maxim, editors), Math. Sci. Res. Inst. Publ. 58, Cambridge Univ. Press (2011) 95–120
  • D Maulik, A Oblomkov, Donaldson–Thomas theory of $\mathscr{A}\sb{n}\times P^1$, Compos. Math. 145 (2009) 1249–1276
  • D Maulik, A Oblomkov, Quantum cohomology of the Hilbert scheme of points on $\mathscr{A}\sb{n}$–resolutions, J. Amer. Math. Soc. 22 (2009) 1055–1091
  • D Maulik, A Okounkov, Quantum groups and quantum cohomology, preprint (2012)
  • D Maulik, R Pandharipande, Gromov–Witten theory and Noether–Lefschetz theory, from “A celebration of algebraic geometry” (B Hassett, J McKernan, J Starr, R Vakil, editors), Clay Math. Proc. 18, Amer. Math. Soc., Providence, RI (2013) 469–507
  • D Maulik, R Pandharipande, R P Thomas, Curves on $K3$ surfaces and modular forms, J. Topol. 3 (2010) 937–996
  • H Nakajima, Heisenberg algebra and Hilbert schemes of points on projective surfaces, Ann. of Math. 145 (1997) 379–388
  • H Nakajima, Lectures on Hilbert schemes of points on surfaces, University Lecture Series 18, Amer. Math. Soc., Providence, RI (1999)
  • G Oberdieck, A Serre derivative for even weight Jacobi forms, preprint (2012)
  • G Oberdieck, The enumerative geometry of the Hilbert schemes of points of a K3 surface, PhD thesis, ETH Zürich (2015) Available at \setbox0\makeatletter\@url \unhbox0
  • G Oberdieck, R Pandharipande, Curve counting on $K3\times E$, the Igusa cusp form $\chi\sb{10}$, and descendent integration, from “$K3$ surfaces and their moduli” (C Faber, G Farkas, G van der Geer, editors), Progr. Math. 315, Birkhäuser (2016) 245–278
  • A Okounkov, R Pandharipande, Quantum cohomology of the Hilbert scheme of points in the plane, Invent. Math. 179 (2010) 523–557
  • R Pandharipande, R P Thomas, The Katz–Klemm–Vafa conjecture for $K3$ surfaces, Forum Math. Pi 4 (2016) art. id. e4, 111 pages
  • D Pontoni, Quantum cohomology of ${\rm Hilb}^2(\mathbb{P}^1\times\mathbb{P}^1)$ and enumerative applications, Trans. Amer. Math. Soc. 359 (2007) 5419–5448
  • J P Pridham, Semiregularity as a consequence of Goodwillie's theorem, preprint (2012)
  • S C F Rose, Counting hyperelliptic curves on an Abelian surface with quasi-modular forms, Commun. Number Theory Phys. 8 (2014) 243–293
  • T Schürg, B Toën, G Vezzosi, Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes, J. Reine Angew. Math. 702 (2015) 1–40
  • S-T Yau, E Zaslow, BPS states, string duality, and nodal curves on $K3$, Nuclear Phys. B 471 (1996) 503–512