The generalized Franchetta conjecture for some hyper-Kähler varieties

DOI10.1016/J.MATPUR.2019.01.018MaRDI QIDQ2274096zbMATH OpenOpenAlexWikidataFDO

Authors Lie Fu, Robert Laterveer, Charles Vial, Mingmin Shen

Publication date 19 September 2019

Published in Journal de Mathématiques Pures et Appliquées. Neuvième Série (Search for Journal in Brave)

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

\(K3\) surfaces algebraic cycles and Chow groups cubic fourfolds irreducible holomorphic symplectic varieties moduli spaces

Mathematics Subject Classification ID

(Equivariant) Chow groups and rings; motives (14C15) Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17) Algebraic cycles (14C25) Fine and coarse moduli spaces (14D22) Families, moduli, classification: algebraic theory (14J10) (K3) surfaces and Enriques surfaces (14J28) Calabi-Yau manifolds (algebro-geometric aspects) (14J32)

Abstract: The generalized Franchetta conjecture for hyper-K"ahler varieties predicts that an algebraic cycle on the universal family of certain polarized hyper-K"ahler varieties is fiberwise rationally equivalent to zero if and only if it vanishes in cohomology fiberwise. We establish Franchetta-type results for certain low (Hilbert) powers of low degree K3 surfaces, for the Beauville--Donagi family of Fano varieties of lines on cubic fourfolds and its relative square, and for

0

-cycles and codimension-

2

cycles for the Lehn--Lehn--Sorger--van Straten family of hyper-K"ahler eightfolds. We also draw many consequences in the direction of the Beauville--Voisin conjecture as well as Voisin's refinement involving coisotropic subvarieties. In the appendix, we establish a new relation among tautological cycles on the square of the Fano variety of lines of a smooth cubic fourfold and provide some applications.

Review text

Let \(\mathcal{F}_g\) be the moduli stack of polarized \(K3\) surfaces of genus \(g\), and let \(\mathcal{S}\rightarrow \mathcal{F}_g\) be the universal family of \(K3\) surfaces. \textit{K. G. O'Grady} proposed in [J. Math. Pures Appl. (9) 100, No. 5, 701--718 (2013; Zbl 1325.14054)] the following analoque of the Franchetta conjecture which concerns about the universal family of the smooth projective curves of genus \(g\): For any algebraic cycle \(z\in \mathrm{CH}^2(\mathcal{S})\) and any point \(b\in\mathcal{F}_g\), the restriction of \(z\) to the fiber \(\mathcal{S}_b\) is a multiple of the Beauville-Voisin class [\textit{A. Beauville} and \textit{C. Voisin}, J. Algebr. Geom. 13, No. 3, 417--426 (2004; Zbl 1069.14006)] of \(\mathcal{S}_b\). This conjecture is verified in [\textit{N. Pavic} et al., Int. Math. Res. Not. 2017, No. 16, 4971--4983 (2017; Zbl 1405.14017)] for \(K3\) surfaces of genus \(g\leq 10\) and \(g=12,13,16,18,20\). The main goal of the present paper is to investigate a higher-dimensional analogue of O'Grady's conjecture, and proves the following result: Let \(\mathcal{M}\) be the moduli stack of smooth \(K3\) surfaces of genus 3,4, or 5, and let \(\mathcal{S}\rightarrow\mathcal{M}\) be the universal family. Let \(\mathcal{X}\) be \(\mathcal{S}\times_{\mathcal{M}}\mathcal{S}, \mathcal{S}\times_{\mathcal{M}}\mathcal{S}\times_{\mathcal{M}}\mathcal{S}, \mathrm{Hilb}_{\mathcal{M}}^2\mathcal{S}, \mathcal{S}\times_{\mathcal{M}}\mathrm{Hilb}_{\mathcal{M}}^2\mathcal{S}\), or \(\mathrm{Hilb}_{\mathcal{M}}^3\mathcal{S}\). Then for any algebraic cycle \(z\in \mathrm{CH}^*(\mathcal{X})_{\mathbb{Q}}\) and any point \(b\in\mathcal{M}\), the restriction of \(z\) to the fiber \(\mathcal{X}_b\) is zero if and only if it is numerically trivial. The authors also draw many consequences in the direction of the Beauville-Voisin conjecture as well as Voisin's refinement involving coisotropic subvarieties.

Recommendations

Cites work

Cited in

(50)

This page was built for publication: The generalized Franchetta conjecture for some hyper-Kähler varieties

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