A Chip-Firing Game on the Product of Two Graphs and the Tropical Picard Group

In his preprint https://arxiv.org/abs/1308.3813, Cartwright introduced the notion of a weak tropical complex in order to generalize the concepts of divisors and the Picard group on graphs from Baker and Norine’s paper Riemann-Roch and Abel-Jacobi Theory on a Finite Graph. A tropical complex $\mathrm{\Gamma }$ is a $\mathrm{\Delta }$-complex equipped with certain algebraic data. Divisors in a tropical complex are formal linear combinations of ridges, and piecewise-linear functions on a tropical complex give rise in a natural way to divisors. Divisors that arise from PL-functions are called principal, and divisors that are locally principal are called Cartier. Two divisors that differ by a principal divisor are said to be linearly equivalent. The linear equivalence classes of Cartier divisors on a tropical complex $\mathrm{\Gamma }$ form a group called the Picard group of $\mathrm{\Gamma }$, by analogy to the definition of the Picard group of a variety in algebraic geometry. Every graph has a unique tropical complex structure. If $G$ and $H$ are graphs, and $\mathrm{\Gamma }$ is a triangulation of their product, then $\mathrm{\Gamma }$ has a weak tropical complex structure that is compatible with the tropical complex structures on $G$ and $H$. Thus, divisors on $\mathrm{\Gamma }$ can be thought of as states in a higher-dimensional chip-firing game on $\mathrm{\Gamma }$. Cartwright conjectured that the Picard groups of $\mathrm{\Gamma }$, $G$, and $H$ were closely related. Let $Pic(\mathrm{\Gamma })$ be the tropical Picard group of $\mathrm{\Gamma }$, and $Pic(G)$ and $Pic(H)$ be the tropical Picard groups of $G$ and $H$. Then, it was conjectured that there is a map $\gamma: Pic(G) \times Pic(H) \to Pic(\Gamma)$thatisalwaysinjectiveandissurjectiveifatleastoneof$G$or$H$ is a tree. In this paper, we prove the conjecture. In preparation, we discuss some basic properties of tropical complexes, along with some properties specific to the product-of-graphs case.