Algebraically trivial tropical cycles are smash-nilpotent

Abstract

We prove that if $Z$ is a tropical cycle in a tropical variety $Y$ which is algebraically trivial, then for $k\gg 1$ sufficiently large, $k!\cdot Z^k\subset Y^k$ is rationally trivial. The proof involves explicitly constructing a rational equivalence $k!\cdot (p-q{)}^k\sim 0$ in the product $C^k$, where $p$ and $q$ are any points on $C$. We use this to formulate a tropical version of Voevodsky's conjecture, provide explicit examples, and comment on potential applications to symplectic geometry.

Comments welcome!