For prime level p, the Ceresa cycle of X0(p) is nontrivial if and only if X0(p) is not hyperelliptic; for general N, only finitely many X0(N) can have a vanishing Ceresa cycle.
Ceresa cycles of bielliptic Picard curves
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We show that the Ceresa cycle $\kappa(C_t)$ of the genus $3$ curve $C_t \colon y^3 = x^4 + 2tx^2 + 1$ is torsion if and only if $Q_t=( \sqrt[3]{t^2 -1},t)$ is a torsion point on the elliptic curve $y^2 = x^3 + 1$. This shows that there are infinitely many smooth plane quartic curves over $\mathbb{C}$ (resp. $\mathbb{Q}$) with torsion (resp. infinite order) Ceresa cycle. Over $\overline{\mathbb{Q}}$, we show that the Beilinson--Bloch height of $\kappa(C_t)$ is proportional to the Neron--Tate height of $Q_t$. Thus, the height of $\kappa(C_t)$ is nondegenerate and satisfies a Northcott property. To prove all this, we show that the Chow motive that controls $\kappa(C_t)$ is isomorphic to $\mathfrak{h}^1$ of an appropriate elliptic curve.
citation-role summary
citation-polarity summary
fields
math.AG 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Ceresa Cycles of $X_{0}(N)$
For prime level p, the Ceresa cycle of X0(p) is nontrivial if and only if X0(p) is not hyperelliptic; for general N, only finitely many X0(N) can have a vanishing Ceresa cycle.