[论文解读] Completions, Reversals, and Duality for Tropical Varieties

Zur Izhakian, Louis Rowen|ArXiv.org|Jun 6, 2008

Polynomial and algebraic computation参考文献 6被引用 14

一句话总结

本文在最大-加法半环中建立了一个新颖的代数恒等式，表明任何至少包含三个单项式的热带多项式均可整除于二项式乘积，从而实现任意热带代数簇被补全为超曲面的并集。这导致通过反转构造实现热带代数簇的几何对偶性，以及牛顿多面体的点对称性，揭示了热带几何中深刻的代数-几何对偶性。

ABSTRACT

The algebraic foundation of tropical polynomial algebra provides the framework for the geometric construction of the supplement and the reversal of tropical varieties, thereby inducing a duality of reduced tropical varieties; for classes of tropical hypersurfaces the corresponding point symmetry is obtained for their Newton polytopes and lattice polytopes.

研究动机与目标

• 在最大-加法半环中为至少包含三个单项式的热带多项式建立一个新的代数恒等式。
• 证明任何热带代数簇均可通过该代数结构补全为超曲面的并集。
• 定义并分析热带代数簇的“反转”及其与原代数簇的几何对偶性。
• 探讨反转运算下牛顿多面体的对称性及其对热带对偶性的意义。
• 将对偶性推广至洛朗多项式及对称多面体的整数平移。

提出的方法

• 推导热带多项式半环中的恒等式：∏_{i<j}(f_i + f_j) ≡ (∑f_i)(∑_{i<j}f_i f_j)⋯(∑_i ∏_{j≠i}f_j)，表明因式分解不唯一。
• 利用映射 f ↦ ˜f 建立热带多项式与分段线性凸函数之间的对应关系。
• 将多项式 f 的反转定义为 f^{trn}，其对应于其牛顿多面体的点对称变换。
• 应用热带超曲面与牛顿多面体之间的对偶性，表明 H 与 H^{trn} 分别对偶于对称多面体 Δ 与 Δ^{trn}。
• 引入“对称反转”Δ^{sym} 的概念，并证明 Δ^{trn} 是 Δ 的点对称，且在双重反转下具有逆对称性。
• 将结果扩展至 ℤ^n 上的洛朗多项式，表明 Δ^{trn} 的整数平移同样保持对称对偶性。

实验结果

研究问题

• RQ1 是否每个至少包含三个单项式的热带多项式均可在最大-加法代数中通过二项式乘积实现非唯一因式分解？
• RQ2 如何利用代数恒等式将热带代数簇 W 补全为超曲面的并集？
• RQ3 热带代数簇的反转具有何种几何意义？其与对偶性的关系为何？
• RQ4 多项式与其反转的牛顿多面体在点对称下如何关联？
• RQ5 整数平移在保持牛顿多面体对称对偶性中起何作用？

主要发现

• 恒等式 ∏_{i<j}(f_i + f_j) ≡ (∑f_i)(∑_{i<j}f_i f_j)⋯(∑_i ∏_{j≠i}f_j) 在最大-加法半环中成立，证明了至少含三个单项式的多项式具有非唯一因式分解。
• 任何热带代数簇 W 均可通过该恒等式的代数结构补全为超曲面的并集。
• 热带代数簇 H 的反转 H^{trn} 与原 H 的牛顿多面体 Δ 的点对称多面体 Δ^{trn} 对偶。
• 对于本原不可约多项式 f，其反转 f^{trn} 所生成的牛顿多面体 Δ^{trn} 是 Δ 的点对称，反之亦然。
• 对反转操作执行两次可恢复原始多面体：(Δ^{trn})^{trn} = Δ，从而在格点多面体上建立了对偶性。
• Δ^{trn} 的整数平移保持对称对偶性，因为其对应于热带多项式环中乘以单项式。