定理已证明
平衡条件
命题陈述
设 是二元热带多项式, 是其热带曲线 的一个顶点。设与 相邻的 的各条边具有本原整数方向向量 (每个都指向远离 的方向)以及正整数权重 。则 。
为什么成立?
这是一条守恒律,其结构与电路节点处的基尔霍夫电流定律完全相同:在 附近,多项式 是在 处取得相等的那些仿射分支的最小值,而每条边正是其中恰好两个分支保持相等之处。当你绕 走一圈时,每穿过一条边, 的斜率就会跳变一个与 成比例的量;由于 是一个良定义的连续函数,这些跳变在走完一整圈后必须相互抵消,这正是平衡方程。正是这种局部的相互抵消——而不是任意的多面体复形都具备——使得热带曲线成为真正代数意义上的曲线,即某个真实热带多项式的拐角轨迹,而不是射线与线段的任意拼凑。
证明思路
回顾 与其牛顿多边形 的正则剖分 相对偶,该剖分通过将每个点 提升到高度 、再把下凸包投影回平面而得到。 的每条边 都与 的某条边 对偶: 与 垂直(旋转 ),且其权重 等于 的格长。 的每个顶点 都与 的某个 维胞腔(多边形) 对偶,且与 相邻的 的边,按相应的循环顺序,恰好对应于 的边界边。沿闭多边形 的边界走一圈,其边向量 之和为零——多边形会回到出发点:。旋转 是一个线性映射 ,在固定取向的选择下,每个 都等于 (权重 是 的格长, 是 经旋转并缩放为本原向量后所得)。对 两边同时施加线性映射 ,得到 ,这正是平衡条件。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- 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