[论文解读] Tropical Geometry and its applications

Grigory Mikhalkin|ArXiv.org|Jan 3, 2006

Polynomial and algebraic computation参考文献 26被引用 231

一句话总结

本文将热带几何作为代数几何的分段线性类比，利用最大-加法半环研究复代数簇和实代数簇的退化。它建立了实代数几何中的韦尔斯奇纳不变量与热带计数之间的对应关系，从而可通过组合热带方法计算实曲线计数。

ABSTRACT

These notes outline some basic notions of Tropical Geometry and survey some of its applications for problems in classical (real and complex) geometry. To appear in the Proceedings of the Madrid ICM.

研究动机与目标

• 将热带几何确立为解决复代数几何和实代数几何时经典问题的工具。
• 通过热带半环形式化复结构在分段线性基上的退化。
• 将热带曲线计数与实代数不变量（如韦尔斯奇纳数）联系起来。
• 利用热带技术将维罗的拼接方法扩展到高维实环簇。
• 提供一种计算上可访问的方法，用于计算带符号的实有理曲线数，且在一般点配置下保持不变。

提出的方法

• 使用热带半域 $\mathbb{T} = \mathbb{R} \cup \{-\infty\}$，其运算为 $a \oplus b = \max(a,b)$ 和 $a \otimes b = a + b$。
• 将热带多项式定义为线性函数的逐点最大值，对应于有限函数的勒让德变换。
• 将热带曲线建模为映射到热带射影平面 $\mathbb{T}\mathbb{P}^2$ 的度量图，其顶点和边具有整数权重。
• 引入热带曲线的实重数 $m^{\mathbb{R}}(h)$：若所有边权重均为奇数，则为 $\pm 1$，否则为 $0$，基于局部顶点贡献。
• 通过所有度数为 $d$、亏格为 $g$ 的热带曲线的带符号实重数之和，计算热带韦尔斯奇纳不变量 $W^{\mathbb{T}}_{g,d}$。
• 应用对应定理（定理 3）将 $W_d = W^{\mathbb{T}}_{g,d}$ 联系起来，建立热带计数与实代数不变量之间的联系。

实验结果

研究问题

• RQ1 热带几何能否为计算复代数簇的格罗莫夫-威滕不变量提供组合框架？
• RQ2 热带曲线如何建模卡拉比-丘流形中全纯曲线的退化？
• RQ3 热带方法能否计算 $\mathbb{R}\mathbb{P}^2$ 中实有理曲线的韦尔斯奇纳不变量？
• RQ4 在热带曲线中，实相位和重数在捕捉实代数几何时的拓扑符号方面起什么作用？
• RQ5 热带拼接方法能否扩展到高维环簇中的实代数扭结和曲线？

主要发现

• 热带韦尔斯奇纳不变量 $W^{\mathbb{T}}_{g,d}$ 等于经典韦尔斯奇纳数 $W_d$，从而可通过热带枚举计算实曲线计数。
• 对于度数 $d=3$，本文计算得 $W_3 = 8$，表明所有热带三次曲线的带符号实重数之和给出正确的不变量。
• 当 12 条热带三次曲线通过 8 个一般点时，仅有 8 条具有非零实重数：8 条满足 $m^{\mathbb{R}} = +1$，1 条满足 $m^{\mathbb{R}} = -1$，1 条满足 $m^{\mathbb{R}} = 0$，因此 $W_3 = 8$。
• 具有偶数权重边的热带曲线对实计数无贡献；而具有奇数权重边的曲线根据局部顶点数据贡献 $\pm 1$。
• 实重数 $m^{\mathbb{R}}(h)$ 在曲线权重为 1 时为 $+1$，在权重为偶数时为 $0$；仅当多个奇数权重边的贡献为负时，$m^{\mathbb{R}}(h) = -1$。
• 该方法是目前唯一已知可计算韦尔斯奇纳数的算法方式，因为非热带方法在一般情况下尚不可行。