The balancing condition
Statement
Let be a tropical polynomial in two variables and let be a vertex of its tropical curve . Let the edges of incident to have primitive integer direction vectors (each pointing away from ) and positive integer weights . Then .
Why is it true?
This is a conservation law, structurally identical to Kirchhoff's current law at a node of an electrical circuit: near , the polynomial is the minimum of the affine pieces that achieve equality at , and each edge is where exactly two of them stay tied. As you walk once around , the slope of jumps by an amount proportional to each time you cross an edge; since is a single well-defined continuous function, these jumps must cancel out after a full turn, which is exactly the balancing equation. It is this local cancellation — not just any polyhedral complex will do — that makes a tropical curve genuinely algebraic, i.e. the corner locus of an honest tropical polynomial, rather than an arbitrary collection of rays and segments.
Proof sketch
Recall that is dual to the regular subdivision of its Newton polygon obtained by lifting each point to height and projecting the lower convex hull back down. Every edge of is dual to an edge of : is perpendicular to (rotate by ), and its weight equals the lattice length of . Every vertex of is dual to a -dimensional cell (a polygon) of , and the edges of incident to correspond, in matching cyclic order, exactly to the boundary edges of . Traversing the boundary of the closed polygon once around, its edge vectors sum to zero — a polygon returns to where it started: . Rotation by is a linear map , and each equals up to the fixed choice of orientation (the weight is the lattice length of , and is rotated and rescaled to a primitive vector). Applying the linear map to both sides of gives , which is exactly the balancing condition.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Diane Maclagan, Bernd Sturmfels (2015). Introduction to Tropical Geometry
- Grigory Mikhalkin (2005). Enumerative tropical algebraic geometry in R^2 · arXiv:math/0312530
- Imre Simon (1978). Limited subsets of a free monoid · DOI:10.1109/SFCS.1978.21