Chow rings and decomposition theorems for K3 surfaces and Calabi–Yau hypersurfaces

Voisin, Claire¹

¹ CNRS, Institut de Mathématiques de Jussieu, Case 247, 4 Place Jussieu, 75005 Paris, France

Geometry & topology, Tome 16 (2012) no. 1, pp. 433-473.

Résumé

The decomposition theorem for smooth projective morphisms $\pi :\mathcal{X}\to B$ says that $R{\pi }_{\ast }\mathbb{Q}$ decomposes as $\oplus R^i{\pi }_{\ast }\mathbb{Q}\left[-i\right]$. We describe simple examples where it is not possible to have such a decomposition compatible with cup product, even after restriction to Zariski dense open sets of $B$. We prove however that this is always possible for families of $K3$ surfaces (after shrinking the base), and show how this result relates to a result by Beauville and the author [J. Algebraic Geom. 13 (2004) 417–426] on the Chow ring of a $K3$ surface $S$. We give two proofs of this result, the first one involving $K$–autocorrespondences of $K3$ surfaces, seen as analogues of isogenies of abelian varieties, the second one involving a certain decomposition of the small diagonal in $S^3$ obtained by Beauville and the author. We also prove an analogue of such a decomposition of the small diagonal in $X^3$ for Calabi–Yau hypersurfaces $X$ in ${\mathbb{P}}^n$, which in turn provides strong restrictions on their Chow ring.

Détail

DOI : 10.2140/gt.2012.16.433

Classification : 14C15, 14C30, 14D99
Keywords: decomposition theorem, Chow ring, decomposition of the small diagonal

Bibliographie

[1] A Beauville, On the splitting of the Bloch–Beilinson filtration, from: "Algebraic cycles and motives. Vol. 2" (editors J Nagel, C Peters), London Math. Soc. Lecture Note Ser. 344, Cambridge Univ. Press (2007) 38

[2] A Beauville, C Voisin, On the Chow ring of a $K`3$ surface, J. Algebraic Geom. 13 (2004) 417

[3] S Bloch, V Srinivas, Remarks on correspondences and algebraic cycles, Amer. J. Math. 105 (1983) 1235

[4] P Deligne, Théorème de Lefschetz et critères de dégénérescence de suites spectrales, Inst. Hautes Études Sci. Publ. Math. (1968) 259

[5] P Deligne, Décompositions dans la catégorie dérivée, from: "Motives (Seattle, WA, 1991)" (editors U Jannsen, S Kleiman, J P Serre), Proc. Sympos. Pure Math. 55, Amer. Math. Soc. (1994) 115

[6] C Deninger, J Murre, Motivic decomposition of abelian schemes and the Fourier transform, J. Reine Angew. Math. 422 (1991) 201

[7] W Fulton, Intersection theory, Ergeb. Math. Grenzgeb. 2, Springer (1984)

[8] R Godement, Topologie algébrique et théorie des faisceaux, Actualit'es Sci. Ind. 1252, Hermann (1964)

[9] D Huybrechts, A note on the Bloch–Beilinson conjecture for $K`3$ surfaces and spherical objects, Pure Appl. Math. Q. 7 (2011) 1395

[10] D Mumford, Rational equivalence of $0$–cycles on surfaces, J. Math. Kyoto Univ. 9 (1968) 195

[11] J P Murre, On the motive of an algebraic surface, J. Reine Angew. Math. 409 (1990) 190

[12] C Voisin, Hodge theory and complex algebraic geometry, II, Cambridge Studies in Adv. Math. 77, Cambridge Univ. Press (2003)

[13] C Voisin, Intrinsic pseudo-volume forms and $K$–correspondences, from: "The Fano Conference" (editors A Collino, A Conte, M Marchisio), Univ. Torino (2004) 761

[14] C Voisin, On the Chow ring of certain algebraic hyper-Kähler manifolds, Pure Appl. Math. Q. 4 (2008) 613

[15] C Voisin, Chow rings, decomposition of the diagonal and the topology of families, to appear in the Annals of Math. Studies, Princeton Univ. Press (2011)