[论文解读] Algebraic Aspects in Tropical Mathematics

Tal Perri|arXiv (Cornell University)|May 13, 2013

Polynomial and algebraic computation参考文献 5被引用 4

一句话总结

本文通过在双值半域 $\mathbb{H}$ 的分式半域 $\mathbb{H}(x_1,\dots,x_n)$ 上引入核与骨架，建立了热带数学中的基础代数-几何对应关系。证明了极线（一种理想根的推广）与骨架之间的类似希尔伯特零点定理的对应关系，并进一步将其与角落点集——由热带多项式的角落根定义的热带代数曲线——联系起来，表明它们通过代数与几何对偶性定义了相同的几何集合。

ABSTRACT

Much like in the theory of algebraic geometry, we develop a correspondence between certain types of algebraic and geometric objects. The basic algebraic environment we work in is the a semifield of fractions H(x1,...,xn) of the polynomial semidomain H[x1,...,xn], where H is taken to be an idempotent semifield, while for the geometric environment we have the space H^n. We show that taking H to be idempotent makes both H(x1,...,xn) and Hn idempotent which turn out to satisfy many desired properties that we utilize for our construction. The fundamental algebraic and geometric objects having interrelations are called kernels, encapsulating congruences over semifields and skeletons which serve as the analog for zero-sets of algebraic geometry. As an analog for the celebrated Nullstellenzats theorem, we develop a correspondence between skeletons and a family of kernels called polars originally developed in the theory of lattice-ordered groups. For a special kind of skeletons, called principal skeletons, we have simplified the correspondence by restricting our algebraic environment to a certain kernel of H(x1,...,xn). After establishing the linkage between kernels and skeletons we proceed to construct a second linkage, this time between a family of skeletons and what we call "corner-loci". Essentially a corner locus is what is called a tropical variety in the theory of tropical geometry, which is a set of corner roots of some set of tropical polynomials. A skeleton and a corner-locus define the exact same subset of H^n in different ways: while a corner locus is defined by corner roots of tropical polynomials, the skeleton is defined by equating fractions from H(x1,...,xn) to 1. All the connections presented above form a path connecting a tropical variety to a certain kind of kernel.

研究动机与目标

• 在半域上发展代数几何理论，特别是针对双值半域 $\mathbb{H}$ 的分式半域 $\mathbb{H}(x_1,\dots,x_n)$，作为热带几何的基础。
• 在幂等半域的背景下，利用核与骨架推广经典代数几何时的概念——理想、零点集与希尔伯特零点定理。
• 建立代数对象（极线与核）与几何对象（骨架与角落点集）之间的精确对应关系，表明它们在 $\mathbb{H}^n$ 中定义相同的子集。
• 引入并研究新的不变量，如凸性次数与超维数，将代数结构与几何复杂性联系起来。
• 通过主核与主骨架之间的对应关系，证明超热带几何自然推广了热带几何。

提出的方法

• 使用双值半域 $\mathbb{H}$ 上的分式半域 $\mathbb{H}(x_1,\dots,x_n)$，其为幂等且阿基米德的，以建模热带代数结构。
• 将核定义为半域同态下 $1$ 的原像，推广经典代数几何中的理想概念。
• 引入骨架作为零点集的几何类比，定义为 $\mathbb{H}^n$ 中所有核元素取值为 $1$ 的点的集合。
• 建立极线（由格序群构造的格论构造）与骨架之间的对应关系，推广经典希尔伯特零点定理。
• 将骨架与角落点集——由热带多项式的角落根定义的热带代数曲线——联系起来，表明它们通过不同的代数与几何表述在 $\mathbb{H}^n$ 中定义相同的子集。
• 引入角落整性概念，并利用其将主核分解为 HS-核与有界核的乘积，从而定义超维数与凸性次数。

实验结果

研究问题

• RQ1 在热带与超热带几何的背景下，如何利用半域上的代数结构推广经典希尔伯特零点定理？
• RQ2 在半域设定下，核（类比于理想）与骨架（类比于零点集）之间存在何种精确的代数-几何对应关系？
• RQ3 通过热带多项式定义的角落点集与通过分式半域中取值为 $1$ 定义的骨架之间有何关系？
• RQ4 在该框架下，可定义哪些不变量（如凸性次数与超维数）以度量代数对象的几何复杂性？
• RQ5 超热带几何理论如何通过核-骨架对应关系自然地推广热带几何？

主要发现

• 极线-骨架对应关系在极线（一种理想根的推广）与骨架之间建立了双射关系，将经典希尔伯特零点定理推广至半域设定。
• 当限制在既是 $\mathbb{H}(x_1,\dots,x_n)$ 的核的特殊半域上时，主骨架的对应关系得以简化，从而实现清晰的代数-几何对偶性。
• 角落点集与骨架在 $\mathbb{H}^n$ 中定义相同的子集：角落点集通过热带多项式的角落根定义，骨架通过分式半域中取值为 $1$ 定义，从而建立了热带代数曲线的双重表征。
• 主核 $\langle f\rangle$ 的超维数定义为元组 $(Hdim(\mathscr{R}(x_1,\dots,x_n)/L_1),\dots,Hdim(\mathscr{R}(x_1,\dots,x_n)/L_s))$，其中 $L_i$ 为 HS-核，从而提供了骨架 $Skel(f)$ 所组成仿射子空间的代数描述。
• 核 $L$ 的凸性次数等于其高度，即 $condeg(L) = hgt(L)$，且极大链中所有 HS-核的因子本身也是 HP-核。
• 核 $K$ 的超空间区域（HO）分解由正规角落整性主核生成，且 $K$ 的超维数由商 $\mathscr{R}(x_1,\dots,x_n)/L_i$ 的维数决定，从而将代数结构与几何分解联系起来。