Related papers: Certifying nontriviality of Ceresa classes of curv…

The Ceresa cycle is an algebraic cycle attached to a smooth algebraic curve with a marked point, which is trivial when the curve is hyperelliptic with a marked Weierstrass point. The image of the Ceresa cycle under a certain cycle class map…

The Ceresa cycle is an algebraic 1-cycle on the Jacobian of an algebraic curve. Although it is homologically trivial, Ceresa famously proved that for a very general complex curve of genus at least 3, it is non-trivial in the Chow group. In…

We study the Abel-Jacobi image of the Ceresa cycle $W_{k, e}-W_{k, e}^-$, where $W_{k, e}$ is the image of the $k$th symmetric product of a curve $X$ with a base point $e$ on its Jacobian variety. For certain Fermat quotient curves of genus…

Fix a smooth, projective, geometrically integral curve $C$ of genus $g \geq 2$ over a characteristic zero field. We prove that the Ceresa cycle $\mathrm{Cer}(\widetilde{C})$ of a very general ramified cover $\widetilde{C}$ of $C$ is…

We exhibit a non-hyperelliptic curve C of genus 3 such that the class of the Ceresa cycle [C]-[(-1)*C] in JC modulo algebraic equivalence is torsion.

We define a new algebraic invariant of a graph $G$ called the Ceresa-Zharkov class and show that it is trivial if and only if $G$ is of hyperelliptic type, equivalently, $G$ does not have as a minor the complete graph on 4 vertices or the…

We introduce an equivalence relation for Lagrangians in a symplectic manifold known as \textit{algebraic Lagrangian cobordism}, which is meant to mirror algebraic equivalence of cycles. From this we prove a symplectic, mirror-symmetric…

We exhibit a non-hyperelliptic curve C of genus 3 such that the class of the Ceresa cycle [C]-[-C] in the intermediate Jacobian of JC is torsion.

Let l be a prime and G a pro-l group with torsion-free abelianization. We produce group-theoretic analogues of the Johnson/Morita cocycle for G -- in the case of surface groups, these cocycles appear to refine existing constructions when…

We give two new examples of non-hyperelliptic curves whose Ceresa cycles have torsion images in the intermediate Jacobian. For one of them, the central value of the $L$-function of the relevant motive is non-vanishing and the Ceresa cycle…

Associated to an algebraic curve $X$, there are two canonically constructed homologically trivial algebraic $1$-cycles, the Ceresa cycle in the Jacobian of $X$, and the Gross-Kudla-Schoen modified diagonal cycle in the triple product $X…

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…

We investigate a strong version of the integral Tate conjecture for 1-cycles on the product of a curve and a surface over a finite field, under the assumption that the surface is geometrically $CH_0$-trivial. By this we mean that over any…

Let $C$ be a smooth projective curve, and let $J$ be its Jacobian. We prove vanishing criteria for the Ceresa cycle $\kappa(C) \in \mathrm{CH}_1(J)\otimes \mathbb{Q}$ in the Chow group of 1-cycles on $J$. Namely, $(A)$ If…

We obtain the trace map image of the values of certain harmonic volumes for some quotients of Fermat curves. This provides the algorithm that the algebraic cycles called by the k-th Ceresa cycles are not algebraically equivalent to zero in…

We prove the Gersten conjecture for $p$-adic \'etale Tate twists for a smooth scheme $X$ in mixed characteristic in the Nisnevich topology. Our main observation is that, while $p$-adic \'etale Tate twists are not $\mathbb A^1$-invariant,…

Suppose $C$ is a smooth projective curve of genus 1 over a perfect field $F$, and $E$ is its Jacobian. In the case that $C$ has no $F$-rational points, so that $C$ and $E$ are not isomorphic, $C$ is an $E$-torsor with a class $\delta(C)\in…

We exhibit a 2-dimensional family of non-hyperelliptic curves of genus 5, called Humbert curves, for which the tautological ring injects into cohomology. In particular, Humbert curves have a multiplicative Chow-K\"unneth decomposition (in…

In this short note, we present a trick to ensure that the Jacobian of a given smooth curve over a number field has strictly positive Mordell-Weil rank. More explicitly, we prove that a smooth curve with no rational non-trivial 2-torsion and…

Assuming the Tate conjecture and the computability of \'etale cohomology with finite coefficients, we give an algorithm that computes the N\'eron-Severi group of any smooth projective geometrically integral variety, and also the rank of the…