Algebraic cycles and Todorov surfaces (Q1797224): Difference between revisions

The principal aim of this paper is to verify Voisin's conjecture about 0-cycles on self-products of surfaces of geometric genus one for a family of Todorov surfaces. A Todorov surface is a smooth projective surface \(S\) of general type with \(p_g(S)=1\) and \(q=0\) such that the bicanonical map factors through an involution \(\iota\) of \(S\) for which \(S/\iota\) is birational to a \(K3\) surface. Voisin's conjecture concerns with a smooth complex projectire surface with \(h^{0,2}(S)=1\) and \(q(S)=0\), and predicts that for any two 0-cycles \(a,a'\in A_{\text{hom}}^2(S)\) of degree 0 the equality \((p_1)^*(a)\cdot(p_2)^*(a')=(p_1)^*(a')\cdot(p_2)^*(a)\) holds in \(A^4(S\times S)\). The author's main theorem shows that the conjecture holds for any Todorov surface \(S\) with \(K_S^2=2\) and \(\pi_1(S)=\mathcal{Z}/2\mathcal{Z}\). He proves this by showing that the natural correspondence from such a Todorov surface \(S\) to the associated \(K3\) surace \(P\) induces an isomorphism \(A_{\text{hom}}^2(S)_{\mathcal{Q}}\cong A_{\text{hom}}^2(P)_{\mathcal{Q}}\).