arXiv++ Combinatorics

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 loop of 3 loops. After choosing edge-lengths, this class specializes to an algebraic invariant of a tropical curve with underlying graph $G$ that is closely related to the Ceresa cycle for an algebraic curve defined over $\mathbb{C}(\!(t)\!)$.

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 provides a class in étale cohomology called the Ceresa class. Describing the Ceresa class explicitly for non-hyperelliptic curves is in general not easy. We present a "combinatorialization" of this problem, explaining how to define a Ceresa class for a tropical algebraic curve, and also for a topological surface endowed with a multiset of commuting Dehn twists (where it is related to the Morita cocycle on the mapping class group). We explain how these are related to the Ceresa class of a smooth algebraic curve over $\mathbb{C}(\!(t)\!)$, and show that the Ceresa class in each of these settings is torsion.