[論文レビュー] Introduction to Tropical Geometry (notes from the IMPA lectures in Summer 2007)

Grigory Mikhalkin|ArXiv.org|Sep 7, 2007

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

ひとこと要約

本稿は、代数幾何の組合せ的双対としてのトロピカル幾何を紹介し、max-plus半体を用いて分岐線形対象（トロピカル多様体や曲線など）を研究する。トロピカル・グロモフ＝ウィッテン理論の枠組みを確立し、$℔\mathbb{P}^n$ 内のトロピカル曲線が古典的曲線に対応することを示し、床構造を用いた曲線の数え上げを可能にするとともに、トロピカル設定下でのWDVV方程式により量子積の結合的性質を証明する。

ABSTRACT

These condensed notes treat some basic notions in Tropical Geometry (varieties, cycles, modifications, equivalence). These topics are to be extended, illustrated and included to the upcoming book project http://www.math.toronto.edu/mikha/book.pdf .

研究の動機と目的

• max-plus半体$\mathbb{T} = \mathbb{R} \cup \{-\infty\}$を用いたトロピカル幾何の基礎的枠組みを構築すること。ここで演算は$x+y = \max\{x,y\}$および$xy = x+y$である。
• バランス構造を持つ多面体複体としてのトロピカル多様体を定義し、非アルキメデス的体上の代数的多様体を一般化すること。
• トロピカル曲線とそれらの古典的（複素および実）対応物との間の対応関係を確立し、数え上げ不変量の計算を可能にすること。
• 安定トロピカル曲線のモジュライ空間と評価写像によるサイクルの引き戻しを用いて、トロピカル・グロモフ＝ウィッテン理論を導入すること。
• WDVV方程式がトロピカル設定下でも成立することを示し、これにより量子積の結合的性質が保証されること。

提案手法

• トロピカル代数的多項式を、$f(x_1,\dots,x_n) = \max_j (j_1x_1 + \cdots + j_nx_n)$として定義し、トロピカルアフィン空間$\mathbb{T}^n$上の正則関数を形成する。
• バランス性（codimension-1の面における原始的整数ベクトルの和が0になること）を持つ多面体複体を用いて、$\mathbb{T}^N$ 内の開被覆で局所的にモデル化されたトロピカル多様体を構成する。
• 整数重みを備えたトロピカル超曲面（トロピカル多項式の角領域）を定義し、代数幾何における除数に類似したバランス性を保証する。
• 床構造を用いて、$\mathbb{T}\mathbb{P}^n$ 内のトロピカル曲線を、垂直方向のレベル間の射影により段階的に数える。この手法により、問題を低次元の計算に還元する。
• 正則トロピカル曲線のモジュライ空間$\mathcal{M}^{\text{reg}}_{g,k,d}(\mathbb{T}\mathbb{P}^n)$を、次元$(n+1)d + (n-3)(1-g)$のトロピカル多様体として定義し、コンパクト化にはコンツェビッチ条件を満たす安定曲線を用いる。
• モジュライ空間へのサイクルの引き戻しとその安定的交わりを用いて、トロピカル・グロモフ＝ウィッテン不変量を構成し、トロピカル量子積を導出する。

実験結果

リサーチクエスチョン

• RQ1 非アルキメデス的体上の代数幾何を、max-plus半体における分岐線形構造を用いてどのように形式化できるか？
• RQ2 トロピカル多様体がバランスを保つための条件は何か？また、これは超曲面の幾何とその重みとどのように関係するか？
• RQ3 過剰なトロピカル曲線（正則領域に属さないもの）が存在しない場合とはどのような状況か？また、これは曲線のモジュライ空間にどのような影響を与えるか？
• RQ4 トロピカル・グロモフ＝ウィッテン理論は、どのように古典的不変量を再現するのか？また、WDVV方程式は量子積の結合的性質を保証するために果たす役割は何か？
• RQ5 床構造は、$\mathbb{T}\mathbb{P}^n$ 内のトロピカル曲線の数え上げに効果的なアルゴリズム的手法を提供できるか？

主な発見

• 正則トロピカル曲線のモジュライ空間$\mathcal{M}^{\text{reg}}_{g,k,d}(\mathbb{T}\mathbb{P}^n)$は、次元$(n+1)d + (n-3)(1-g)$のトロピカル多様体であり、リーマン・ロッホの公式が予測する次元と一致する。
• 過剰な曲線（正則領域に属さないもの）は、$n=2$ または $g=0$ の場合に存在しない。このため、これらの設定ではモジュライ空間の構造が単純化される。
• トロピカル・グロモフ＝ウィッテン不変量は、モジュライ空間へのサイクルの引き戻しとその安定的交わりを用いて定義され、$\overline{\mathcal{M}}_{0,4}$ 内の点の線形同値性により、結合的性質を持つ積演算が得られる。
• WDVV方程式はトロピカル設定下でも成立する。これは$\overline{\mathcal{M}}_{0,4}$ の境界構造に由来し、古典的量子コホモロジーと整合性を保つ。
• 床構造により、$\mathbb{T}\mathbb{P}^n$ 内のトロピカル曲線を、低次元空間への射影を用いた帰納的計算が可能となり、床図式は曲線の組合せ的構造を符号化する。
• トロピカル曲線とそれらの古典的（複素および実）対応物との間に対応関係が存在し、古典的数え上げ問題を計算可能な重みを持つトロピカル組合せ論に還元できる。