[論文レビュー] Toric degenerations of toric varieties and tropical curves

Takeo Nishinou, Bernd Siebert|ArXiv.org|Sep 4, 2004

Algebraic Geometry and Number Theory被引用数 8

ひとこと要約

本稿は、一般位置にあるトーリック除数に対して有理曲線の列挙と、デゲネレーション技法および対数変形理論を用いたトロピカル曲線の数え上げとの間で正確な対応関係を確立する。主な結果は、任意次元においてトロピカル曲線の数え上げが代数的曲線の数え上げと正確に一致することを示し、ミハルキンの2次元結果を一般化する組合せ論的枠組みを提供するとともに、ミラー対称性の計算に対する幾何的説明を提示する。

ABSTRACT

We show that the counting of rational curves on a complete toric variety that are in general position to the toric prime divisors coincides with the counting of certain tropical curves. The proof is algebraic-geometric and relies on degeneration techniques and log deformation theory. This generalizes results of Mikhalkin obtained by different methods in the surface case to arbitrary dimensions.

研究の動機と目的

• 2次元におけるミハルキンのトロピカル曲線の数え上げを、任意次元の完全トーリック多様体へ一般化すること。
• これまで概念的基盤の欠如していたミラー対称性の計算に対して、幾何的および代数的幾何的説明を提供すること。
• デゲネレーションおよび対数変形理論を用いて、代数的曲線の数え上げとトロピカル曲線の数え上げとの間に対応関係を確立すること。
• グロス–シエベルのミラー対称性プログラムにおけるカーボリ・ヤウ多様体へのこの手法の拡張に向けた基盤を築くこと。

提案手法

• 完全トーリック多様体上の代数的曲線と中心特異点の双対交差グラフにおけるトロピカル曲線との関係を、トーリックデゲネレーションを用いて構築する。
• 最大に退化した曲線の正規性とモジュライを扱うために、対数変形理論を適用し、以前の研究で用いられたパッチワーキング法に代わる。
• 多面体的分割とアフィン正規性を用いて、特異点が制御された退化曲線を構成する。
• トロピカル曲線を、三重頂点を持たない重み付き、連結で、有限のグラフとして定義し、非有界辺を漸近的挙動に対応させる。
• 線形写像の行列式と、準同型写像の余核における torsion 部分群の位数を用いて、各トロピカル曲線の寄与を計算する。
• 主定理を用いて、トーリック除数に対して一般位置にある有理曲線の代数的数え上げと、組合せ的重み付きのトロピカル数え上げとを等しくする。

実験結果

リサーチクエスチョン

• RQ1 高次元におけるトロピカル曲線の数え上げは、完全トーリック多様体上の有理曲線の代数的数え上げと正確に一致するか？
• RQ2 対数変形理論は、トーリック多様体における曲線の数え上げに、パッチワーキング法の代替として強固で明確な手法を提供できるか？
• RQ3 最大に退化した代数的曲線の双対交差グラフとして、トロピカル曲線はどのようにして生じるか？
• RQ4 代数的曲線の数え上げと対応するための、トロピカル曲線の正確な組合せ的重みは何か？
• RQ5 この枠組みは、グロス–シエベルのミラー対称性プログラムにおけるカーボリ・ヤウの場合へ拡張可能か？

主な発見

• 主結果、定理8.3は、トーリック除数に対して一般位置にある完全トーリック多様体上の有理曲線の数と、トロピカル曲線の重み付き数え上げとの完全な対応関係を確立する。
• 五つの直線が (C*)³ ⊂ P³ に存在する具体例において、八つの与えられた直線と交わる二次曲線の代数的数え上げは 8ν(μ+1)(λ+1) に一致し、トロピカル数え上げとも一致する。
• トロピカル曲線の重みは、線形写像の行列式の絶対値を torsion で割ったものとして計算され、数え上げにおける正しい重みを反映する。
• この手法は2次元を超える一般化に強く、従来のパッチワーキング手法の制限を克服する。
• λ が偶数のとき、Z/2Z の torsion 要素が存在し、ナイーブな行列式による数え上げに 1/2 の修正係数を加える必要がある。
• この枠組みは、[COGP] におけるミラー対称性の計算に対して幾何的説明を提供し、トロピカル幾何と鏡の多様体上の周期積分を結びつける。