[論文レビュー] Algebraic Aspects in Tropical Mathematics

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

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

ひとこと要約

本論文は、双対的半体 $Π$ が二価半体であるとき、その分数体 $Π(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}(x_1,\dots,x_n)$ 上での代数幾何学の理論を構築し、トロピカル幾何学の基礎を築くこと。
• idempotent 半体の文脈において、核とスケルトンを用いて、古典的代数幾何学の概念（イデアル、零点集合、ヌルスティレンツァ）を一般化すること。
• 代数的対象（極と核）と幾何的対象（スケルトンとコーナー・ローカス）の間の正確な対応関係を確立し、それらが $Π^n$ の同じ部分集合を定義することを示すこと。
• 凸性次数とハイパーディメンジョンといった新しい不変量を導入し、代数的構造と幾何的複雑性を結びつけること。
• 主核と主スケルトンの対応関係を通じて、スーパートロピカル幾何学がトロピカル幾何学を自然に一般化することを示すこと。

提案手法

• 二価半体 $Π$ の分数体 $\mathbb{H}(x_1,\dots,x_n)$ を用い、これは冪等的かつアーキメデス的である。これにより、トロピカル代数的構造をモデル化する。
• 核を半体準同型による $1$ の逆像として定義し、古典的代数幾何学におけるイデアルの一般化とする。
• スケルトンを零点集合の幾何的類似物として定義し、$\mathbb{H}^n$ 内のすべての核の元が $1$ に評価される点の集合として定義する。
• 極（ラティス順序群からのラティス的構成）とスケルトンの間の対応関係を確立し、古典的ヌルスティレンツァを一般化する。
• スケルトンとコーナー・ローカス（トロピカル多項式のコーナー根によって定義されるトロピカル多様体）を結びつけ、異なる代数的・幾何的定式化を通じて、$Π^n$ の同じ部分集合を定義することを示す。
• コーナー整域性の概念を導入し、これにより主核を HS-核と有界核の積に分解し、ハイパーディメンジョンと凸性次数の定義を可能にする。

実験結果

リサーチクエスチョン

• RQ1 トロピカル幾何学およびスーパートロピカル幾何学の文脈において、半体上の代数的構造を用いて、古典的ヌルスティレンツァをどのように一般化できるか。
• RQ2 半体の文脈において、核（イデアルの類似物）とスケルトン（零点集合の類似物）の間の正確な代数的・幾何的双対性は何か。
• RQ3 コーナー・ローカス（トロピカル多項式のコーナー根によって定義される）と、分数体における $1$ への等価性によって定義されるスケルトンの間の関係は何か。
• RQ4 凸性次数やハイパーディメンジョンといった、この枠組みにおける代数的対象の幾何的複雑性を測る不変量として定義できるものは何か。
• RQ5 核－スケルトン対応を通じて、スーパートロピカル幾何学の理論がどのようにトロピカル幾何学の自然な一般化として現れるか。

主な発見

• 極とスケルトンの対応関係により、極（根理想の一般化）とスケルトンの間の全単射な関係が確立され、古典的ヌルスティレンツァが半体の文脈に一般化された。
• 主スケルトンの場合、特別な半体（$Π(x_1,\dots,x_n)$ の核である半体）に制限することで、対応関係が簡略化され、明確な代数的・幾何的双対性が得られる。
• コーナー・ローカスとスケルトンは $Π^n$ の同じ部分集合を定義する。コーナー・ローカスはトロピカル多項式のコーナー根によって定義され、スケルトンは分数体における $1$ への等価性によって定義され、トロピカル多様体の双対的特徴付けが確立される。
• 主核 $\langle f\rangle$ のハイパーディメンジョンは、$L_i$ が HS-核であるとき、$(Hdim(\mathscr{R}(x_1,\dots,x_n)/L_1),\dots,Hdim(\mathscr{R}(x_1,\dots,x_n)/L_s))$ のタプルとして定義され、スケルトン $Skel(f)$ を構成するアフィン部分空間の代数的記述を提供する。
• 核 $L$ の凸性次数は、その高さに等しく、$condeg(L) = hgt(L)$ が成り立ち、最大鎖におけるすべての因子は、自身が HP-核である。
• 核 $K$ のハイパースペース領域（HO）分解は、正則なコーナー整域主核によって生成され、$K$ のハイパーディメンジョンは、商 $\mathscr{R}(x_1,\dots,x_n)/L_i$ の次元によって決定され、代数的構造と幾何的分解を結びつける。