[論文レビュー] Tropical Geometry and its applications

Grigory Mikhalkin|ArXiv.org|Jan 3, 2006

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

ひとこと要約

本稿は、代数幾何学の分岐的線形的アナログとしてのトロピカル幾何学を導入し、max-plus半体を用いて複素数および実代数的多様体の退化を研究する。実代数幾何学におけるWelschinger不変量とトロピカルな数え上げの間の対応関係を確立し、組合せ的トロピカル手法を用いて実曲線の数え上げを可能にする。

ABSTRACT

These notes outline some basic notions of Tropical Geometry and survey some of its applications for problems in classical (real and complex) geometry. To appear in the Proceedings of the Madrid ICM.

研究の動機と目的

• 複素数および実代数幾何学における古典的問題を解くためのツールとしてトロピカル幾何学を確立すること。
• トロピカル半体を用いて複素構造を分岐的線形的基底へと退化させる形式的定式化を行うこと。
• トロピカル曲線の数え上げと、Welschinger数のような実代数的不変量との関連を確立すること。
• Viroのパッチワーキング法を、トロピカル技法を用いて高次元の実トーリック多様体へと拡張すること。
• 符号付きで、一般の点配置に対して不変である実有理曲線の数え上げを計算可能な方法で提供すること。

提案手法

• $\mathbb{T} = \mathbb{R} \cup \{-\infty\}$ と定義されるトロピカル半体を用い、$a \oplus b = \max(a,b)$ および $a \otimes b = a + b$ を演算とする。
• トロピカル多項式を、線形関数の点ごとの最大値として定義し、有限関数のLegendre変換に対応させる。
• トロピカル曲線を、トロピカル射影平面 $\mathbb{T}\mathbb{P}^2$ への写像を持つ、整数重み付きの頂点および辺を持つメトリックグラフとしてモデル化する。
• トロピカル曲線に実重み $m^{\mathbb{R}}(h)$ を導入：すべての辺の重みが奇数のとき $\pm 1$、それ以外の場合は $0$ で、局所的頂点寄与に基づく。
• 次数 $d$ および genus $g$ のすべてのトロピカル曲線にわたる符号付き実重みの和として、トロピカルWelschinger不変量 $W^{\mathbb{T}}_{g,d}$ を計算する。
• 対応定理（定理3）を適用し、$W_d = W^{\mathbb{T}}_{g,d}$ を等置することで、トロピカル数え上げと実代数的不変量を結びつける。

実験結果

リサーチクエスチョン

• RQ1 トロピカル幾何学は、複素多様体のGromov-Witten不変量を数える組合せ的枠組みを提供できるか？
• RQ2 トロピカル曲線は、Calabi-Yau多様体内の正則曲線の退化をどのようにモデル化できるか？
• RQ3 トロピカル手法を用いて、$\mathbb{R}\mathbb{P}^2$ 内の実有理曲線のWelschinger不変量を計算できるか？
• RQ4 実位相的符号を捉えるために、トロピカル曲線における実位相と重みの役割は何か？
• RQ5 トロピカルパッチワーキングは、高次元トーリック多様体内の実代数的ねじれや曲線へと拡張可能か？

主な発見

• トロピカルWelschinger不変量 $W^{\mathbb{T}}_{g,d}$ は、古典的Welschinger数 $W_d$ に等しく、実曲線の数え上げをトロピカルな数え上げにより可能にする。
• 次数 $d=3$ の場合、$W_3 = 8$ を計算し、トロピカルな三次曲線にわたる符号付き実重みの和が正しい不変量をもたらすことを示す。
• 8個の一般の点を通る12個のトロピカル三次曲線のうち、8つが非ゼロの実重みを持つ：8つが $m^{\mathbb{R}} = +1$、1つが $m^{\mathbb{R}} = -1$、1つが $m^{\mathbb{R}} = 0$ であり、結果として $W_3 = 8$ となる。
• 偶数重みの辺を含むトロピカル曲線は実数の数え上げに寄与しないが、奇数重みの辺を含む曲線は局所的頂点データに基づき $\pm 1$ を寄与する。
• 実重み $m^{\mathbb{R}}(h)$ は、曲線の重みが1のとき $+1$、偶数のとき $0$ であり、複数の奇数重みの辺が負に寄与する場合にのみ $m^{\mathbb{R}}(h) = -1$ となる。
• この方法は、一般の場合に非トロピカル手法が現在では非現実的であるため、Welschinger数を計算する唯一の既知のアルゴリズム的手法を提供する。