[论文解读] Supertropical algebra

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

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

一句话总结

本文引入了超热带代数作为热带几何的结构化代数框架，利用幽灵元素来建模热带多项式及其根。它在超热带半环上建立了类Zariski的代数几何，证明了超热带的Nullstellensatz，并表明在一元情况下多项式因式分解是唯一的，但在多元情况下由于几何现象而失效。

ABSTRACT

We develop the algebraic polynomial theory for "supertropical algebra," as initiated earlier over the real numbers by the first author. The main innovation there was the introduction of "ghost elements," which also play the key role in our structure theory. Here, we work somewhat more generally over an ordered monoid, and develop a theory which contains the analogs of several basic theorems of classical commutative algebra. This structure enables one to develop a Zariski-type algebraic geometric approach to tropical geometry, viewing tropical varieties as sets of roots of (supertropical) polynomials, leading to an analog of the Hilbert Nullstellensatz. Particular attention is paid to factorization of polynomials. In one indeterminate, any polynomial can be factored into linear and quadratic factors, and unique factorization holds in a certain sense. On the other hand, the failure of unique factorization in several indeterminates is explained by geometric phenomena described in the paper.

研究动机与目标

• 通过超热带半环为热带几何建立严格的代数基础。
• 解决在最大-加法代数中缺乏纯代数框架来处理热带多项式的问题。
• 为多项式根与理想建立超热带版的希尔伯特Nullstellensatz类比。
• 分析超热带多项式环中因式分解的结构，特别是多元情况下唯一因式分解的失效。
• 通过实在元素与幽灵元素刻画超热带多项式环中的素理想与幽灵闭理想。

提出的方法

• 在有序独异点上引入超热带半环，通过实在与幽灵元素来建模热带算术。
• 定义幽灵闭理想与根理想，以将热带几何时空对象作为多项式零点集来捕捉。
• 应用超热带Nullstellensatz将理想与其根集关联，推广经典代数几何。
• 通过将多项式分解为一次与不可约二次因子，在超热带半域上分析因式分解。
• 利用根集（实在部分中的区间）的几何推理来确定理想生成与根结构。
• 通过幽灵值的直接计算与比较，证明理想包含与生成关系，尤其在一元与二次情形下。

实验结果

研究问题

• RQ1 能否发展一种超热带代数几何，为热带簇提供纯代数框架？
• RQ2 在超热带多项式环中，唯一因式分解行为如何表现，特别是在多元情况下？
• RQ3 超热带多项式环中素理想与幽灵闭理想的结构是怎样的？
• RQ4 幽灵元素与幽灵值如何与热带多项式的根及因式分解相关联？
• RQ5 超热带版的Nullstellensatz在热带设定下在多大程度上恢复了经典代数几何时？

主要发现

• 在一元情况下，每个超热带多项式均可唯一分解为一次与不可约二次因子的乘积，且在明确定义的意义下保持唯一因式分解。
• 在多元情况下，由于几何现象（如二次因子根集重叠），唯一因式分解失效。
• 幽灵闭理想的根由其生成元的实在根集的交集决定，尤其在二次多项式情形下成立。
• 在一元情形下，任意有限生成的幽灵闭素理想由至多两个一次多项式生成，具体形式为 $\lambda + \alpha$ 与 $\lambda + \beta$，或 $\lambda^\nu + \beta$，其中 $\alpha^\nu < \beta^\nu$。
• 超热带版的Nullstellensatz成立：理想根的集合恰好对应于在该理想公共根集上为零的多项式集合。
• 存在无限长的素理想链，表明即使在一元情形下，超热带多项式环的Krull维数也是无限的。