Hard Lefschetz for Chow groups of generalized Kummer varieties (Q525200): Difference between revisions

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)\).