MathLabs
TheoremProved

The balancing condition

Statement

Let pp be a tropical polynomial in two variables and let vv be a vertex of its tropical curve V(p)V(p). Let the edges of V(p)V(p) incident to vv have primitive integer direction vectors v1,…,vk∈Z2v_1, \dots, v_k \in \mathbb{Z}^2 (each pointing away from vv) and positive integer weights w1,…,wkw_1, \dots, w_k. Then ∑j=1kwjvj=0\sum_{j=1}^{k} w_j v_j = 0.

Why is it true?

This is a conservation law, structurally identical to Kirchhoff's current law at a node of an electrical circuit: near vv, the polynomial pp is the minimum of the affine pieces that achieve equality at vv, and each edge is where exactly two of them stay tied. As you walk once around vv, the slope of pp jumps by an amount proportional to wjvjw_j v_j each time you cross an edge; since pp 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 p(x)=min⁡α∈S(cα+α⋅x)p(x) = \min_{\alpha \in S}(c_\alpha + \alpha \cdot x) is dual to the regular subdivision Δp\Delta_p of its Newton polygon conv(S)\mathrm{conv}(S) obtained by lifting each point α∈S\alpha \in S to height cαc_\alpha and projecting the lower convex hull back down. Every edge ee of V(p)V(p) is dual to an edge e∗e^* of Δp\Delta_p: ee is perpendicular to e∗e^* (rotate by 90∘90^\circ), and its weight ww equals the lattice length of e∗e^*. Every vertex vv of V(p)V(p) is dual to a 22-dimensional cell (a polygon) σv\sigma_v of Δp\Delta_p, and the edges of V(p)V(p) incident to vv correspond, in matching cyclic order, exactly to the boundary edges of σv\sigma_v. Traversing the boundary of the closed polygon σv\sigma_v once around, its edge vectors e1∗,…,ek∗e_1^*, \dots, e_k^* sum to zero — a polygon returns to where it started: e1∗+⋯+ek∗=0e_1^* + \cdots + e_k^* = 0. Rotation by 90∘90^\circ is a linear map RR, and each R(ej∗)R(e_j^*) equals wjvjw_j v_j up to the fixed choice of orientation (the weight wjw_j is the lattice length of ej∗e_j^*, and vjv_j is ej∗e_j^* rotated and rescaled to a primitive vector). Applying the linear map RR to both sides of e1∗+⋯+ek∗=0e_1^* + \cdots + e_k^* = 0 gives w1v1+⋯+wkvk=R(0)=0w_1 v_1 + \cdots + w_k v_k = R(0) = 0, 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

  1. Diane Maclagan, Bernd Sturmfels (2015). Introduction to Tropical Geometry
  2. Grigory Mikhalkin (2005). Enumerative tropical algebraic geometry in R^2 · arXiv:math/0312530
  3. Imre Simon (1978). Limited subsets of a free monoid · DOI:10.1109/SFCS.1978.21