[論文レビュー] Enumerating Cuspidal Curves on Toric Surfaces

Yaniv Ganor|arXiv (Cornell University)|Jun 14, 2013

Polynomial and algebraic computation被引用数 5

ひとこと要約

この論文は、一般の点配置を通る、特異点が1つの尖点と指定された数のノードを持つ有理曲線の数え上げ問題を、トロピカル幾何とパッチワーキングを用いて解いている。その結果、その数が特定のトロピカル曲線の重複度の和に等しいことを証明し、極限ファイバーからの再構成を経て、組合せ論的公式を提供する。

ABSTRACT

Enumerative algebraic geometry deals with problems of counting geometric objects defined algebraically, An important class of enumerative problems is that of counting curves: given a class of curves in some projective variety defined by fixing some algebraic or geometric invariants (such as degree, genus and types of singularities), the problem usually takes the form of "how many curves of that class pass through a configuration of n points in general position?" Tropical Geometry deals with certain piecewise-linear complexes, which arise as degeneration of families of complex algebraic varieties, and can also be described algebraically using "max-plus" algebra, (The tropical semi-field). The problem we solve is that of counting rational curves with one cusp and certain number of nodes on toric surfaces, passing through a configuration of sufficient points in general position. We show that that this number equals the number of certain tropical curves counted with multiplicities and we describe these curves and their multiplicities. The main tools are tropicalization and patchworking. In tropicalization we pass from an equisingular family of curves to a special limit fiber which can be described in terms of tropical data and analytic data. We then classify these possible limits, and use the patchworking theorem to reconstruct the families that correspond to them.

研究の動機と目的

• トーリック多様体上での、1つの尖点と固定されたノード数を持つ有理曲線の数え上げ問題を解くこと。
• 一般線形系内の代数的曲線と、特定の重複度を持つトロピカル曲線との間の対応を確立すること。
• 等付加的族から生じる可能性のある極限ファイバーを、トロピカル化によって分類すること。
• パッチワーキング定理を用いて、そのトロピカル極限から元の代数的曲線族を再構成すること。

提案手法

• トロピカル化を用いて、等付加的族を、トロピカル的および解析的データによって記述される特別な極限ファイバーに退化させる。
• 退化におけるトロピカル構造と関連する解析的データに基づいて、極限ファイバーを分類する。
• 退化の構造と極限ファイバーの幾何に基づいて、トロピカル曲線に重複度を割り当てる。
• 分類されたトロピカル極限から、パッチワーキング定理を適用して代数的曲線族を再構成する。
• 組合せ論的および幾何的解析を通じて、代数的曲線の数え上げとトロピカル曲線の重み付き和との対応を確立する。
• マックスプラス代数とトロピカル幾何における区分的線形構造を用いて、数え上げ不変量をモデル化および計算する。

実験結果

リサーチクエスチョン

• RQ1 一般の点配置を通る、トーリック多様体上に1つの尖点と固定されたノード数を持つ有理曲線の数は、どのように数え上げられるか？
• RQ2 このような曲線を数える数え上げ不変量のトロピカル的双対は何か？
• RQ3 どのトロピカル曲線が数え上げに寄与し、それぞれどのような重複度を持つのか？
• RQ4 等付加的族から生じる極限ファイバーは、退化におけるトロピカルデータとどのように関係するか？
• RQ5 パッチワーキング定理を用いて、そのトロピカル極限から元の代数的族を再構成できるか？

主な発見

• 一般の点配置を通る、トーリック多様体上に1つの尖点と指定されたノード数を持つ有理曲線の数は、特定のトロピカル曲線の重複度の和に等しい。
• 重複度は、トロピカル化プロセスにおける極限ファイバーの幾何によって決定される。
• 極限ファイバーの分類により、寄与するトロピカル曲線の完全な組合せ論的記述が可能になる。
• パッチワーキング定理により、各トロピカル曲線が元の多様体内に一意の代数的曲線族に対応することが保証される。
• 代数的曲線とトロピカル曲線の数え上げの間には、正確で重複度付きの対応が成立し、数え上げ問題に対する完全な解が得られる。
• 本手法により、トロピカル幾何と退化技術を用いて、数え上げ不変量を体系的に計算する方法が提供される。