Space of prime congruences in tropical geometry

技術要約：トロピカル幾何学における素イデアル合同（Prime Congruences）の空間

問題設定
トロピカル幾何学は伝統的に、トロピカル化によって得られる有理多面体複体（トロピカル多様体）を研究している。半体としての $\mathbb{B} = (\{-\infty, 0\}, \max, +)$ や $\mathbb{T} = (\mathbb{R} \cup \{-\infty\}, \max, +)$ を用いた代数的な視点からのアプローチが近年試みられているが、古典的な代数幾何学に類似した厳密なスキーム論的枠組みの構築は依然として困難な課題である。主要な障害の一つは、素イデアル合同（prime congruences）の表現である。先行研究（例：[JM18]）では、ローラン多項式半環上の素イデアル合同を表現するために「許容行列（admissible matrices）」が用いられてきた。しかし、この表現は一意的ではなく、異なる行列が同一の合同に対応する場合があるため、包含関係の決定や、次元や分離性といった幾何学的性質の計算を困難にしている。さらに、トロピカル代数上の素イデアル合同の集合は、しばしば有限生成にならないことがあり、これが標準的な代数的道具であるヌルシュテルンツ（Nullstellensatz）の適用を複雑にしている。

手法
著者である田中健太郎は、順序単群（ordered monoids）に関連付けられたトロピカル代数に基づく新しい枠組みを提案している。トロピカル多項式を主要な対象として扱うのではなく、本論文では順序単群 $M$ から半環 $B[M]$ および $T[M]$ を構成する（ここで、単群演算は半環の乗法に対応する）。

• 順序単群: 本論文は、標準的なトロピカル代数（例：$\mathbb{T}[X_1^{\pm 1}, \dots, X_n^{\pm 1}]$）が、特定の順序単群（例：$\mathbb{R} \times \mathbb{Z}^n$）に対して $T[M]$ と一致することを示し、代数の階層構造を確立している。
• フラグとしての素イデアル合同: 素イデアル合同の表現における核心的な手法の革新は、行列ではなく**フラグ（flags）**として表現することにある。自由アーベル群 $M$ に対して、$\mathbb{B}[M]$ 上の素イデアル合同は、$M$-フラグ（向きを持つ線形部分空間の入れ子構造）に対応する。$\mathbb{T}[M]$ に対しては、$(\mathbb{R} \times M)$-フラグとの対応関係がある。
• 層状構造（Stratification）: 素イデアル合同の空間 $CSpec\ S$ は、「可動面（mobile faces）」（要素が $-\infty$ に合同しない部分単群）に基づく層状構造を通じて分析される。これにより、一般的な素イデアル合同の研究を、群完備化（ローラン多項式環）上の素イデアル合同の研究へと還元している。
• 大域的構成: ファン $\Sigma$ の組合せ論的データを用いて、著者は局所モデル $U^{cong}_{\sigma} = CSpec_{\mathbb{T}} \mathbb{T}[M_{\sigma}]$ を貼り合わせることで、トロピカルトーリックスキーム $X^{cong}_{\Sigma}$ を構成する。この大域的対象には、古典的なトロピカルトーリック多様体が部分集合として含まれる。

主な貢献および結果

1. フラグによる一意的表現:
   本論文は、$\mathbb{T}[X_1^{\pm 1}, \dots, X_n^{\pm 1}]$ 上の素イデアル合同の集合と、すべての $(\mathbb{R} \times M)$-フラグの集合との間に全単射が存在することを確立している（定理 5.11）。許容行列とは異なり、このフラグ表現は一意的である。これにより、素イデアル合同間の包含関係を正確に特徴付けることが可能となる：すなわち、$P_1 \subseteq P_2$ であるための必要十分条件は、$P_2$ に対応するフラグが $P_1$ に対応するフラグの「切断（truncation）」であることである（定理 5.12）。

2. トロピカルトーリックスキーム:
   著者は、大域的な幾何対象として機能するトロピカルトーリックスキーム $X^{cong}_{\Sigma}$ を定義する。

• トロピカル多様体の埋め込み: 古典的なトロピカルトーリック多様体 $X^{trop}_{\Sigma}$ は、$X^{cong}_{\Sigma}$ の中の、点 $P$ が $\dim_P X^{cong}_{\Sigma} = \dim X^{cong}_{\Sigma}$ を満たす部分集合として、位相的に埋め込まれることが示されている（定理 6.9）。
• 分離性と固有性: 本論文は、このスキームが分離的または固有なスキームとして振る舞う条件を調査している。具体的には、トロピカルトーリック多様体がスキームの閉点（closed points）の集合と一致するための必要十分条件は、基礎となるファン $\Sigma$ が完全（complete）であることであることを証明している（定理 6.13, 系 6.14）。これは、アフィン直線が固有ではないという古典的な結果を反映している。

3. 有限生成な素イデアル合同:
   本論文の大部分は、素イデアル合同がいつ有限生成になるかという代数的問題に対処している。

• 本論文は、標準的なトロピカル代数において、多くの素イデアル合同が有限生成ではないことを示している。
• 必要十分条件が提供されている：$\mathbb{T}[X_1^{\pm 1}, \dots, X_n^{\pm 1}]$ 上の素イデアル合同 $P$ が有限生成であるための必要十分条件は、その関連する部分単群 $L(P)$ が有限個の要素および $\mathbb{R}_{\ge 0} \times \{0\}$ によって生成されることである（定理 7.4）。
• この条件は、その合同が最大合同であるか、幾何学的合同であるか、あるいは有理超平面を持つ長さ1のフラグに対応することと同値である。
• $\mathbb{T}$ 上に乗っている合同については、有限生成であることは幾何学的合同であることと同値である（系 7.5）。

4. 次元理論:
   フラグによる層状構造を用いることで、本論文はトロピカル多項式環のクラウス次元（Krull dimensions）の代替的な証明を提供している：$\dim \mathbb{B}[X_1^{\pm 1}, \dots, X_n^{\pm 1}] = n$ および $\dim \mathbb{T}[X_1^{\pm 1}, \dots, X_n^{\pm 1}] = n+1$ （系 5.8, 5.13, 5.24）。

意義および主張
本論文は、素イデアル合同の空間を数値データの集合としてではなく、幾何学的対象（スキーム）として扱うことで、トロピカル幾何学のためのより強固な代数的基礎を提供するものであると主張している。

• 一意性: 許容行列からフラグへの転換は、非一意性の問題を解決し、トロピカル代数のスペクトラムに対して明確な位相的および順序論的な構造を与える。
• スキーム論的洞察: トロピカルトーリックスキームを構成することにより、著者は「閉点」、「分離性」、「固有性」といった概念が、ファンの組合せ論的性質（具体的には完全性）によって支配される、トロピカル幾何学における意味のある類似像を持つことを示している。
• 代数的特徴付け: 有限生成な合同の特性付けは、トロピアル代数集合が生成に関してどのように振る舞うかについての具体的な基準を提供しており、これは合同に関するヌルシュテルンツへの応用において極めて重要である。

本研究は、グレブナー理論やアディック幾何学（例：[FM25]）に基づく従来のアプローチとは異なる、代数的およびスキーム論的な発展であり、トロピカル多様体の研究を半環および順序単群のより広い理論と統一することを目指している。