We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: Gromov-Witten invariants of the Hilbert schemes of points of a K3 surface

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 $\mathsf{Hilb}^d(S)$ be the Hilbert scheme of $d$ points of $S$. In case of elliptically fibered K3 surfaces $S \to \mathbb{P}^1$, we calculate genus $0$ Gromov-Witten invariants of $\mathsf{Hilb}^d(S)$, which count rational curves incident to two generic fibers of the induced Lagrangian fibration $\mathsf{Hilb}^d(S) \to \mathbb{P}^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 $\mathsf{Hilb}^d(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 $2$ points of $\mathbb{P}^1 \times E$, where $E$ is an elliptic curve.
Inspired by our results, we conjecture a formula for the quantum multiplication with divisor classes on $\mathsf{Hilb}^d(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 non-trivial case $\mathsf{Hilb}^2(S)$. As a corollary, we find that the full genus $0$ Gromov-Witten theory of $\mathsf{Hilb}^2(S)$ in primitive classes is governed by Jacobi forms.
We present two applications. A conjecture relating genus $1$ invariants of $\mathsf{Hilb}^d(S)$ to the Igusa cusp form was proposed in joint work with R. Pandharipande in \cite{K3xE}. Our results prove the conjecture in case $d=2$. Finally, we present a conjectural formula for the number of hyperelliptic curves on a K3 surface passing through $2$ general points.
Comments: Fully revised version. New material: A second proof of main result using a Kummer K3, and a conjecture for hyperelliptic curve counts on K3 surfaces. 117 pages. Compiling problem in last version
Subjects: Algebraic Geometry (math.AG)
Journal reference: Geom. Topol. 22 (2018) 323-437
DOI: 10.2140/gt.2018.22.323
Cite as: arXiv:1406.1139 [math.AG]
  (or arXiv:1406.1139v5 [math.AG] for this version)

Submission history

From: Georg Oberdieck [view email]
[v1] Wed, 4 Jun 2014 18:48:14 GMT (43kb)
[v2] Wed, 11 Jun 2014 10:59:34 GMT (43kb)
[v3] Sun, 8 Feb 2015 10:15:34 GMT (47kb)
[v4] Fri, 30 Oct 2015 23:02:22 GMT (74kb)
[v5] Tue, 3 Nov 2015 19:36:35 GMT (74kb)

Link back to: arXiv, form interface, contact.