[論文レビュー] Geometries enumeratives complexe, reelle et tropicale

Erwan Brugallé|arXiv (Cornell University)|Jul 31, 2008

Mathematics and Applications被引用数 3

ひとこと要約

本稿は、複雑で現実の数え上げ幾何学的問題を解く強力な道具として、トロピカル幾何学を紹介する。トロピカル曲線が、グロモフ＝ウィッテンおよびウェルシュインター不変量といった古典的不変量を計算するために用いられることを示している。ミハルキンの対応定理とフロア図を活用することで、複素数および実射影平面における有理曲線の数え上げを組み合わせ論的枠組みで行い、点配置に依存しない正確な数え上げを可能にするとともに、ウェルシュインター不変量による実曲線の下界を確立する。

ABSTRACT

This text is an introduction to algebraic enumerative geometry and to applications of tropical geometry to classical geometry, based on a course given during the X-UPS mathematical days, 2008 May 14th and 15th. The aim of this text is to be understandable by a first year master student.

研究の動機と目的

• 最初の修士課程の学生が理解できるように、数え上げ幾何学へのアクセス可能な紹介を提供すること。
• トロピカル幾何学が、複素数および実代数的曲線の数え上げをどのように簡素化するかを説明すること。
• ウェルシュインターおよびグロモフ＝ウィッテン数のような不変量の計算に、フロア図とトロピカル曲線をどのように用いるかを示すこと。
• トロピカル手法が、符号付き不変量による実ケースでさえも、配置に依存しない数え上げをもたらすことを示すこと。
• トロピカル対応定理を用いて、ウェルシュインター不変量を計算する組み合わせ論的アルゴリズムを提示すること。

提案手法

• ミハルキンの対応定理を用いて、複素数または実曲線の数え上げをトロピカル曲線の数え上げに等置する。
• フロア図を組み合わせ論的ツールとして用い、トロピカル設定における有理曲線の数え上げを実行する。
• 再帰的公式と母関数を用いて、W(d) や N(d,0) などの不変量を計算する。
• 対数的漸近論を用いて、3d−1個の点を通る実有理曲線の数の下界を導出する。
• トロピカル曲線の「段差分解」の概念を導入し、数え上げを図の数え上げに還元する。
• 符号付き数え上げ（ウェルシュインター不変量）を用いて、実数の数え上げ幾何学における配置に依存しない不変性を保証する。

実験結果

リサーチクエスチョン

• RQ1 トロピカル幾何学を用いて、与えられた数の点を通る複素有理曲線の数をどのように計算できるか？
• RQ2 実有理曲線の数が点の配置に依存する理由は何か、そしてそれはどのように克服できるか？
• RQ3 ウェルシュインター不変量は、実有理曲線の数に対する配置に依存しない下界を提供できるか？
• RQ4 フロア図は、トロピカル曲線の数え上げをどのように簡素化し、古典的不変量と関係づけるか？
• RQ5 平面上の3d−1個の点を通る実有理曲線の数の漸近的挙動は何か？

主な発見

• 複素射影平面における一般の3d−1個の点を通る次数dの複素有理曲線の数は、コンツェビッチの公式で与えられ、トロピカル幾何学はフロア図による組み合わせ論的証明を提供する。
• 実有理曲線の場合、ウェルシュインター不変量 W(d) は符号付き数え上げを提供し、3d−1個の点の配置に依存せず、実曲線の数の下界を保証する。
• 本稿では、W(d) ≥ (3d−4)! − d ln 48 − 5∑(i=1 to l−1) 2^i ln(3n/2^i + 1) が証明され、これは漸近的に 3d ln d に比例して増加することが示され、少なくとも指数関数的に多くの実有理曲線が存在することを示している。
• トロピカル曲線の使用およびそれらのフロア図への分解により、ウェルシュインター不変量の正確な計算が可能となり、ミハルキンのアルゴリズムによって実証されている。
• 対応定理により、R²におけるトロピカル曲線の数え上げが、CP²のグロモフ＝ウィッテン不変量と一致することが保証され、この手法の妥当性が裏付けられる。
• 本稿では、ウェルシュインター不変量がグロモフ＝ウィッテン不変量と対数的に同値であることが確立され、実数と複素数の数え上げ幾何学の間の深い関係が確認された。