Some Calabi-Yau fourfolds verifying Voisin's conjecture (Q1623022): Difference between revisions

Let \(X\) be a smooth projective complex variety of dimension \(n\), and let \(A^i(X)\) denote the Chow groups of \(X\) with \(\mathbb{Q}\)-coefficient. The main result of this paper gives examples of fourfolds verifying Voisin's conjecture, which asserts that if \(h^{j,0}(X)=0\) for \(j\in[1,n-1]\) and \(p_g(X)=0\), then the equality \((p_1)^*(a)\cdot(p_2)^*(a')=(-1)^n(p_1)^*(a')\cdot(p_2)^*(a)\) holds in \(A^{2n}(X\times X)\) for any zero-cycles \(a,a'\in A^n(X)\) of degree 0. The author's examples employ a \(K3\) surface \(X\) obtained as a double plane branched along the union of a smooth quartic and a smooth quadric. Let \(\iota:S\rightarrow S\) be the covering involution and let \(X\) be a smooth Calabi-Yau fourfold obtained as a crepant resolution of the quotient \(S^{[2]}/\iota^{[2]}\) or the quotient \((S\times S)/(\iota\times\iota)\). He shows that Voisin's conjecture holds true for any pair of zero-cycles \(a,a'\in A^4(X)\) of degree 0.