The Chow ring of the moduli space of degree $2$ quasi-polarized K3 surfaces

TL;DR

This paper computes the Chow ring of the moduli space of degree 2 quasi-polarized K3 surfaces, revealing its generators, relations, and structure, and showing it aligns with even cohomology but lacks divisor generation.

Contribution

It provides a detailed description of the Chow ring of , including generators, relations, Betti numbers, and its isomorphism to even cohomology, with explicit calculations of the kernel of the pairing.

Findings

Chow ring is generated by tautological classes and is isomorphic to even cohomology.

The highest nonvanishing Chow group is 7, isomorphic to .

The Chow ring is not generated by divisors and does not satisfy duality.

Abstract

We study the Chow ring with rational coefficients of the moduli space $\mathcal F_{2}$ of quasi-polarized $K3$ surfaces of degree $2$. We find generators, relations, and calculate the Chow Betti numbers. The highest nonvanishing Chow group is $\mathsf A^{17}(\mathcal F_2)\cong {\mathbb{Q}}$. We prove that the Chow ring consists of tautological classes and is isomorphic to the even cohomology. The Chow ring is not generated by divisors and does not satisfy duality with respect to the pairing into $\mathsf A^{17}(\mathcal F_2)$. The kernel of the pairing is a 1-dimensional subspace of $\mathsf{A}^{9}(\mathcal F_2)$ which we calculate explicitly. In the appendix, we revisit Kirwan-Lee's calculation of the Poincar\'e polynomial of $\mathcal{F}_2$.