arXiv++ Combinatorics

This paper is the second in a series of two papers which study the phenomenon of tropical split Jacobians. The first paper is a contemplative study, embedded in the broader context of exploring connections between the category of tropical abelian varieties (tav), $\mathbb{T}\mathcal{A}$, and the category of tropical curves, $\mathbb{T}\mathcal{C}$. Tropical split Jacobians take on different forms depending on whether we look at them in $\mathbb{T}\mathcal{A}$ or $\mathbb{T}\mathcal{C}$: They appear either as 2 dimensional tavs that decompose into a product of two elliptic curves, or as a pair of optimal coverings. [11] examines both and then focuses on how optimal covers give rise to split Jacobians. This paper takes a different approach. Instead of looking at the phenomenon as a whole, we analyze its building blocks, a pair of elliptic curves together with a finite subgroup of their product, and how to reassemble them into a Jacobian.

We explore connections between the category of tropical abelian varieties (tav), $\mathbb{T}\mathcal{A}$, and the the category of tropical curves, $\mathbb{T}\mathcal{C}$, first in a broader context and then specifically by studying the phenomenon of tropical split Jacobians. Jacobians of genus $2$ curves are two-dimensional tav and as such more complicated than their one-dimensional cousins. Whenever $Γ$, however, is a covering of an elliptic curve, it so happens that $Jac(Γ)$ splits into simpler objects, the direct sum of elliptic curves. This relation is pathological in essentially two ways, the splitting of $Jac(Γ)$ is not unique, and it is a priori not clear how to compute it. Similar to algebraic geometry, optimal coverings offer a remedy for both: They resolve indeterminacy as they provide us with a canonical choice. They resolve indeterminability as they provide us with an algorithmic approach. Our methods build on theory developed by Len, Mikhalkin, Röhrle, Ulirsch, Zakharov, Zharkov and many more. In accordance with this heritage, we want to put forth tropical geometry as a setting in which we can see abstraction at work. This means pairing "abstract machinery" with a constructive/algorithmic approach.