Some new results on modified diagonals

Abstract

O'Grady studied recently $m$-th modified diagonals for a smooth projective variety, generalizing the Gross-Schoen modified small diagonal. These cycles $Γ^m(X,a)$ depend on a choice of reference point $a\in X$ (or more generally a degree $1$ zero-cycle). We prove that for any $X,a$, the cycle $Γ^m(X,a)$ vanishes for large $m$. We also prove the following conjecture of O'Grady: if $X$ is a double cover of $Y$ and $Γ^m(Y,a)$ vanishes (where $a$ belongs to the branch locus), then $Γ^{2m-1}(X,a)$ vanishes, and we provide a generalization to higher degree finite covers. We finally prove the vanishing $Γ^{n+1}(X,o_X)=0$ when $X=S^{[m]}$, $S$ a $K3$ surface, and $n=2m$, which was conjectured by O'Grady and proved by him for $m=2,3$.