MathLabs
定理已证明

平衡条件

命题陈述

设 pp 是二元热带多项式,vv 是其热带曲线 V(p)V(p) 的一个顶点。设与 vv 相邻的 V(p)V(p) 的各条边具有本原整数方向向量 v1,…,vk∈Z2v_1, \dots, v_k \in \mathbb{Z}^2(每个都指向远离 vv 的方向)以及正整数权重 w1,…,wkw_1, \dots, w_k。则 ∑j=1kwjvj=0\sum_{j=1}^{k} w_j v_j = 0。

为什么成立?

这是一条守恒律,其结构与电路节点处的基尔霍夫电流定律完全相同:在 vv 附近,多项式 pp 是在 vv 处取得相等的那些仿射分支的最小值,而每条边正是其中恰好两个分支保持相等之处。当你绕 vv 走一圈时,每穿过一条边,pp 的斜率就会跳变一个与 wjvjw_j v_j 成比例的量;由于 pp 是一个良定义的连续函数,这些跳变在走完一整圈后必须相互抵消,这正是平衡方程。正是这种局部的相互抵消——而不是任意的多面体复形都具备——使得热带曲线成为真正代数意义上的曲线,即某个真实热带多项式的拐角轨迹,而不是射线与线段的任意拼凑。

证明思路

回顾 p(x)=min⁡α∈S(cα+α⋅x)p(x) = \min_{\alpha \in S}(c_\alpha + \alpha \cdot x) 与其牛顿多边形 conv(S)\mathrm{conv}(S) 的正则剖分 Δp\Delta_p 相对偶,该剖分通过将每个点 α∈S\alpha \in S 提升到高度 cαc_\alpha、再把下凸包投影回平面而得到。V(p)V(p) 的每条边 ee 都与 Δp\Delta_p 的某条边 e∗e^* 对偶:ee 与 e∗e^* 垂直(旋转 90∘90^\circ),且其权重 ww 等于 e∗e^* 的格长。V(p)V(p) 的每个顶点 vv 都与 Δp\Delta_p 的某个 22 维胞腔(多边形)σv\sigma_v 对偶,且与 vv 相邻的 V(p)V(p) 的边,按相应的循环顺序,恰好对应于 σv\sigma_v 的边界边。沿闭多边形 σv\sigma_v 的边界走一圈,其边向量 e1∗,…,ek∗e_1^*, \dots, e_k^* 之和为零——多边形会回到出发点:e1∗+⋯+ek∗=0e_1^* + \cdots + e_k^* = 0。旋转 90∘90^\circ 是一个线性映射 RR,在固定取向的选择下,每个 R(ej∗)R(e_j^*) 都等于 wjvjw_j v_j(权重 wjw_j 是 ej∗e_j^* 的格长,vjv_j 是 ej∗e_j^* 经旋转并缩放为本原向量后所得)。对 e1∗+⋯+ek∗=0e_1^* + \cdots + e_k^* = 0 两边同时施加线性映射 RR,得到 w1v1+⋯+wkvk=R(0)=0w_1 v_1 + \cdots + w_k v_k = R(0) = 0,这正是平衡条件。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  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