[论文解读] Elimination Theory for Tropical Varieties

Bernd Sturmfels, Jenia Tevelev|arXiv (Cornell University)|Apr 26, 2007

Polynomial and algebraic computation参考文献 8被引用 13

一句话总结

本文建立了热带消去理论，用于计算代数环簇在环同态下的像的热带化。它引入了热带簇上重数的前推公式，推广了经典消去理论，并通过热带几何实现算法化隐式化，关键结果将混合体积与热带完备交点及纤维多面体联系起来。

ABSTRACT

Tropical algebraic geometry offers new tools for elimination theory and implicitization. We determine the tropicalization of the image of a subvariety of an algebraic torus under any homomorphism from that torus to another torus.

研究动机与目标

• 开发一种计算子簇在环同态下像的热带化的框架。
• 通过热带簇及其重数，将经典消去理论推广至热带设置。
• 为在一般有限的热带态射下重数的前推提供公式。
• 将关于 $A$-判别式和隐式化的结果推广至任意环态射。
• 通过混合体积建立热带完备交点与混合纤维多面体之间的联系。

提出的方法

• 本文使用代数环中子簇的热带化，通过初等理想和赋值向量定义。
• 引入了热带簇作为对 $(\mathcal{T}, m)$ 的概念，其中 $\mathcal{T} \subset \mathbb{Q}^n$ 且 $m$ 为满足平衡条件的重数函数。
• 关键技术工具是利用齐次理想的格罗布纳扇构造具有明确定义重数的热带扇。
• 通过涉及线性映射 $\mathbf{A}$ 下切空间像中格子指数的公式，计算重数的前推。
• 对于完备交点，热带簇及其重数通过定义方程的牛顿多面体的混合体积表示。
• 该方法通过将参数化图视为定义域，并通过环同态投影，应用于隐式化。

实验结果

研究问题

• RQ1 如何算法化地计算子簇在环同态下像的热带化？
• RQ2 在一般有限的热带态射下，重数前推的正确公式是什么？
• RQ3 牛顿多面体的混合体积如何与热带完备交点中的重数相关？
• RQ4 能否通过奇点消去和边界除子赋值解决热带隐式化问题？
• RQ5 在何种条件下，一种紧化能计算出像簇的热带化？

主要发现

• 像的热带化 $\alpha(X)$ 等于子簇的热带化 $\mathcal{T}(X)$ 在线性映射 $\mathbf{A}$ 下的像，即 $\mathcal{T}(\alpha(X)) = \mathbf{A}(\mathcal{T}(X))$。
• 建立了在一般有限态射下重数前推的公式，涉及切空间像中格子的指数。
• 对于完备交点，热带簇 $\mathcal{T}(X)$ 及其重数通过定义方程牛顿多面体的混合体积计算。
• 当 $\alpha(X)$ 为超曲面时，前推公式计算出麦克马洪的混合纤维多面体。
• 定理 5.1 中的隐式化公式使得可通过奇点消去和除子赋值计算参数化簇像的热带化。
• 本文表明，热带化中的正则点集未必是凸的，意味着一般情况下不存在最粗的扇结构。