Hard Lefschetz for Chow groups of generalized Kummer varieties

DOI10.1007/S12188-016-0140-7MaRDI QIDQ525200zbMATH OpenOpenAlexFDO

Publication date 28 April 2017

Published in Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg (Search for Journal in Brave)

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

abelian varieties algebraic cycles algebraic equivalence Bloch-Beilinson conjectures Chow groups generalized Kummer varieties hard Lefschetz hyperkähler varieties motives multiplicative Chow-Künneth decomposition smash-nilpotence splitting property

Mathematics Subject Classification ID

(Equivariant) Chow groups and rings; motives (14C15) Algebraic cycles (14C25) Transcendental methods, Hodge theory (algebro-geometric aspects) (14C30) Abelian varieties and schemes (14K99)

Abstract: The main result of this note is a hard Lefschetz theorem for the Chow groups of generalized Kummer varieties. The same argument also proves hard Lefschetz for Chow groups of Hilbert schemes of abelian surfaces. As a consequence, we obtain new information about certain pieces of the Chow groups of generalized Kummer varieties, and Hilbert schemes of abelian surfaces. The proofs are based on work of Shen-Vial and Fu-Tian-Vial on multiplicative Chow-K"unneth decompositions.

Review text

Let \(X\) be a smooth projective variety over \(\mathbb{C}\) of dimenson \(n\). Let \(A^i(X)\) denote the Chow group of codimension \(i\) cycles on \(X\) with rational coefficients modulo rational equivalence. We say that \(X\) has a CK (=Chow-Künneth) decomposition if there exists a decomposition of the diagonal \(\Delta_X=\sum_{i=0}^{2n}\pi_i\) in \(A^n(X\times X)\), such that \(\pi_i\) are mutually orthogonal idempotents and \((\pi_i)_*H^*(X)=H^i(X)\). A CK decomposition is said to be multiplicative if it satisfies \(\pi_k\circ\Delta_X^{sm}\circ (\pi_i\times\pi_j)=0\) in \(A^{2n}(X\times X\times X)\) for all \(i+j\neq k\), where \(\Delta_X^{sm}\in A^{2n}(X\times X\times X)\) is the class of the small diagonal \(\{(x,x,x);x\in X\}\subset X\times X\times X\). One can show that if \(X\) has a multiplicative CK decomposition, then setting \(A^i_{(j)}(X)=(\pi_{2i-j})_*A^i(X)\), one obtains a bigraded structure on the Chow ring. The main result of this article is the following: Let \(h\in A^1(X)\) be an ample class and assume the following four conditions: (i) \(X\) has a multiplicative CK decomposition, (ii) \(X\) has finite-dimensional motive, (iii) the standard Lefschetz conjecture \(B(X)\) holds, (iv) the class \(h\) is in \(A^1_{(0)}(X)\). Then there are isomorphisms \(\cdot h^{n-2i+j}:A^i_{(j)}(X)\rightarrow A^{n-i+j}_{(j)}(X)\) for all \(0\leq 2i-j\leq n\). As a direct consequence, he shows that this result holds for any generalized Kummer varieties. This is because the assumption (i) holds by \textit{C. Vial} [J. Reine Angew. Math. 725, 235--247 (2017; Zbl 1364.14005)] (ii) and (iii) follow from \textit{M. A. A. de Cataldo} and \textit{L. Migliorini} [J. Algebra 251, No. 2, 824--848 (2002; Zbl 1033.14004)], and (iv) is immediate since \(A^1(X)=A^1_{(0)}(X)\).

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Hard Lefschetz for Chow groups of generalized Kummer varieties

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