On Modified Diagonal Cycles and the Beauville Decomposition of the Ceresa Cycle

Abstract: Let $C$ be a curve of genus $g \geq 2$, and let $J$ be its Jacobian. The choice of a degree 1 divisor $e$ on $C$ gives an embedding of $C$ into $J$; we denote by $[C]{}^{e}\in \mathrm{CH}\left( J;\mathbb{Q} \right) $ the class in the Chow group of $J$ defined by the image of this embedding. It is known from the work of S.-W. Zhang that the vanishing of the Ceresa cycle $\mathrm{Cer}(C,e):=[C]^{e} - [-1]* [C]^e$ is equivalent to both the vanishing of the 1st Beauville component $[C]{(1)}^e$ and the vanishing of the 3rd Gross--Kudla--Schoen modified diagonal cycle $\Gamma^3(C,e) \in \mathrm{CH}(C^3;\mathbb{Q})$. In this paper, we extend this result to show that the vanishing of the $s$-th Beauville component $[C]^e{(s)}$ for $s \geq 1$ is equivalent to the vanishing of the $(s+2)$-nd modified diagonal cycle $\Gamma^{s + 2}(C, e) \in \mathrm{CH}(C^{s+2};\mathbb{Q})$. We also establish "successive vanishing" results for these cycles: for instance, if $\Gamma^n(C, e) = \Gamma^{n + 1}(C, e)=0$, then $\Gamma^{k}(C, e) = 0$ for all $k \geq n$. In the $s=1$ case, we show an integral refinement to the original statement, relating the order of torsion of $\mathrm{Cer}(C,e) \in \mathrm{CH}(J;\mathbb{Z})$ to that of $\Gamma^3(C,e) \in \mathrm{CH}(C^3;\mathbb{Z})$.