[論文レビュー] Generators of modules in tropical geometry

Shuhei Yoshitomi|arXiv (Cornell University)|Jan 4, 2010

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

ひとこと要約

本稿は、半体上の「ストレート」トロピカル加群を導入し、自由トロピカル加群のラティスを保存する部分加群を一般化する。有限生成なストレート部分加群が $ℓ^n$ においてちょうど $n$ 個の生成元によって生成されることを証明し、基底、双対性、可逆性に関する基礎的結果を確立する。主な貢献は、トロピカル加群と多面体幾何およびトロピカル曲線を結ぶ構造的特徴付けである。

ABSTRACT

A module $M$ over the tropical semifield $T$ is analogous to a module over a field. We assume that $M$ is straight reflexive, and define the dimension of $M$ to the number of elements of a basis. We study the dimension of a straight reflexive submodule $N \subset M$. Also we find an enough condition to the reflexivity. This result has an application to polytopes in a tropical projective space, and also to a Riemann-Roch theorem for tropical curves.

研究の動機と目的

• トロピカル半体上の加群理論を構築すること、特に有限生成および双対的加群に焦点を当てる。
• 「ストレート」加群の概念を用いて、$ℓ^n$ のラティスを保存する部分加群を一般化すること。
• これらの加群の構造的性質、特に基底のサイズ、双対性、および準同型の可逆性を確立すること。
• 加群論的枠組みをトロピカル多面体およびトロピカル曲線に適用し、代数的構造と幾何的対象を結びつけること。

提案手法

• 半体 $ℓ = \mathbb{R} \cup \{-\infty\}$ 上のトロピカル半群および加群を導入し、演算 $\oplus = \max$、$\odot = +$ を用いる。
• 「ストレート」$ℓ$-加群を、$\u2113^n$ のラティスを保存する部分加群の一般化として定義し、標準的部分順序と整合性を持つこととして特徴付ける。
• 加群構造および基底性質を分析するために「ロケータ」および「ストレート双対的加群」の概念を用いる。
• トロピカル多面体 $ℓ\mathbb{P}^n$ に理論を適用し、関連する加群がストレート双対的であれば、多面体が高々 $n+1$ 個の点のトロピカル的凸包であることを示す。
• トロピカル曲線を、空間 $H^0(C, \mathcal{O}_C(D))$ として扱い、これを $ℓ$-加群とみなす。
• リーマン・ロッホ不変量 $r(D)$ と加群次元の間の不等式を確立し、$r(D) \leq \dim(M) - 1$ を示す。

実験結果

リサーチクエスチョン

• RQ1 有限生成なストレート部分加群 $ℓ^n$ の最小生成数は何か？
• RQ2 有限生成なストレート前双対的加群がいつ双対的になるか？
• RQ3 リーマン・ロッホ不変量 $r(D)$ と $ℓ$-加群 $H^0(C, \mathcal{O}_C(D))$ の次元の関係は何か？
• RQ4 トロピカル多面体の幾何的特徴付けは、関連部分加群の加群構造によってどのように記述できるか？
• RQ5 $k$-加群の単射準同型が左逆写像を持つのはいつか？

主な発見

• 有限生成なストレート部分加群 $ℓ^n$ はちょうど $n$ 個の生成元によって生成される（定理 1.1）。
• 有限生成なストレート前双対的 $k$-加群は双対的である（定理 2.3）。
• ストレート双対的 $k$-加群 $M \subset N$ に対して、不等式 $\dim(M) \leq \dim(N)$ が成り立つ（定理 2.2）。
• 多面体 $P \subset \mathbb{T}\mathbb{P}^n$ が高々 $n+1$ 個の点のトロピカル的凸包であるための必要十分条件は、関連部分加群 $M \subset \mathbb{T}^{n+1}$ がストレート双対的であることである（定理 2.5）。
• リーマン・ロッホ不変量は $r(D) \leq \dim(M) - 1$ を満たす。ここで $M = H^0(C, \mathcal{O}_C(D))$ である（定理 2.7）。
• 写像 $D \mapsto r(D)$ は $ℓ$-加群 $M$ の不変量ではない。同型な加群でも $r(D)$ の値が異なる具体例が存在する（例 6.5）。