Relations in the tautological ring of the moduli space of K3 surfaces

DOI10.4171/JEMS/920MaRDI QIDQ2302425zbMATH OpenOpenAlexFDO

Authors Qizheng Yin, Rahul Pandharipande

Publication date 26 February 2020

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1607.08758

zbMATH Keywords

\(K3\) surfacesGromov-Witten theorymoduli spacesNoether-Lefschetz locitautological cycles

Mathematics Subject Classification ID

(Equivariant) Chow groups and rings; motives (14C15) Variation of Hodge structures (algebro-geometric aspects) (14D07) Families, moduli, classification: algebraic theory (14J10) (K3) surfaces and Enriques surfaces (14J28) Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants (algebro-geometric aspects) (14N35)

Abstract: We study the interplay of the moduli of curves and the moduli of K3 surfaces via the virtual class of the moduli spaces of stable maps. Using Getzler's relation in genus 1, we construct a universal decomposition of the diagonal in Chow in the third fiber product of the universal K3 surface. The decomposition has terms supported on Noether-Lefschetz loci which are not visible in the Beauville-Voisin decomposition for a fixed K3 surface. As a result of our universal decomposition, we prove the conjecture of Marian-Oprea-Pandharipande: the full tautological ring of the moduli space of K3 surfaces is generated in Chow by the classes of the Noether-Lefschetz loci. Explicit boundary relations are constructed for all kappa classes. More generally, we propose a connection between relations in the tautological ring of the moduli spaces of curves and relations in the tautological ring of the moduli space of K3 surfaces. The WDVV relation in genus 0 is used in our proof of the MOP conjecture.

Review text

The paper under review deals with the interplay of the moduli of curves and the moduli of \(K3\) surfaces via the virtual class of the moduli spaces of stable maps. Using Getzler's relation for \(\overline{\mathrm{M}}_{1,4}\) [\textit{E. Getzler}, J. Am. Math. Soc. 10, No. 4, 973--998 (1997; Zbl 0909.14002)], the authors construct a universal decomposition of the diagonal in Chow in the third fiber product of the universal \(K3\) surface. This decomposition together with the Witten-Dijkgraaf-Verlinde-Verlinde relation in genus 0 is used to prove a conjecture of Marian-Oprea-Pandharipande [\textit{A. Marian} et al., Ann. Sci. Éc. Norm. Supér. (4) 50, No. 1, 239--267 (2017; Zbl 1453.14016)]: the full tautological ring of the moduli space of \(K3\) surfaces is generated in Chow by the classes of the Noether-Lefschetz loci. Furthermore the authors propose a connection between relations in the tautological ring of the moduli spaces of curves and relations in the tautological ring of the moduli space of \(K3\) surfaces.

Recommendations

• Curves on K 3 surfaces and modular forms
• Note on tautological classes of moduli of \(K3\) surface
• A vanishing result for tautological classes on the moduli of K3 surfaces
• Relations in the tautological ring of the moduli space of curves
• Note on the relations in the tautological ring of \(\mathcal M_{g}\)

Cites work

• A calculus for the moduli space of curves
• A geometric construction of Getzler's elliptic relation
• A vanishing result for tautological classes on the moduli of K3 surfaces
• Chow rings and decomposition theorems for K3 surfaces and Calabi-Yau hypersurfaces
• Curve Counting on K3 × E, The Igusa Cusp Form χ10, and Descendent Integration
• scientific article; zbMATH DE number 3882570 (Why is no real title available?)
• On the orthogonal groups of unimodular quadratic forms
• The Katz-Klemm-Vafa conjecture for K3 surfaces

Cited in

(13)

• Tautological classes on moduli spaces of hyper-Kähler manifolds
• Higher rank Segre integrals over the Hilbert scheme of points
• Relative proportionality for subvarieties of moduli spaces of \(K3\) and abelian surfaces
• Cones of Heegner divisors
• A vanishing result for tautological classes on the moduli of K3 surfaces
• Note on tautological classes of moduli of \(K3\) surface
• Cohomology of moduli space of cubic fourfolds. I
• On T‐divisors and intersections in the moduli space of stable surfaces M¯1,3$\overline{\mathfrak {M}}_{1,3}$
• Gopakumar-Vafa type invariants of holomorphic symplectic 4-folds
• Koszul modules with vanishing resonance in algebraic geometry
• The integral Chow rings of moduli of Weierstrass fibrations
• The Chow ring of the moduli space of degree 2 quasi-polarized \(K3\) surfaces
• Tautological and non-tautological cycles on the moduli space of abelian varieties

This page was built for publication: Relations in the tautological ring of the moduli space of \(K3\) surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2302425)