[論文レビュー] Enumeration of plane unicuspidal curves of any genus via tropical geometry

Yaniv Ganor, Eugeniĭ Shustin|arXiv (Cornell University)|Jul 30, 2018

Polynomial and algebraic computation参考文献 29被引用数 4

ひとこと要約

本稿は、単一の尖点とノードをもつ複素代数的曲線と、それらのトロピカル版との間の対応関係を、修正された格子パスアルゴリズムを用いたトロピカル数え上げ幾何学により確立する。主な結果は、h-横断的多角形に対して有効な、1つの尖点とノードをもつ、種数g、次数Δの曲線の数に対する閉形式の組合せ的公式である。

ABSTRACT

We enumerate complex curves on toric surfaces of any given degree and genus, having a single cusp and nodes as their singularities, and matching appropriately many point constraints. The solution is obtained via tropical enumerative geometry. The same technique applies to enumeration of real plane cuspidal curves: We show that, for any fixed $r\ge1$ and $d\ge2r+3$, there exists a generic real $2r$-dimensional linear family of plane curves of degree $d$ in which the number of real $r$-cuspidal curves is asymptotically comparable with the total number of complex $r$-cuspidal curves in the family, as $d o\infty$.

研究の動機と目的

• トーリック面上の単一の尖点とノードをもつ複素代数的曲線を数えるためのトロピカル的手法を開発すること。
• ミハルキンの格子パスアルゴリズムを拡張し、尖点をもつトロピカル曲線を数えることが可能になるようにすること。
• 所定の特異点と点制約をもつ代数的曲線とトロピカル曲線との間の対応関係を確立すること。
• トロピカル曲線内の尖点断片の重みに対する明示的公式を提供すること。
• 結果を実数の数え上げ幾何学へ拡張し、一般の族において実数のr-尖点曲線が漸近的に等分布することを示すこと。

提案手法

• トロピカル幾何学を用いて、トーリック面上の代数的曲線を、マークされた点をもつ距離付きグラフ（トロピカル曲線）としてモデル化する。
• 1つの尖点とノードをもつ代数的曲線と、尖点断片と3価頂点をもつトロピカル曲線との間の対応関係を定義する。
• 種数gと次数Δのトロピカル曲線を数えるために、λ-単調順序を用いた修正された格子パスアルゴリズムを導入する。
• 各トロピカル曲線の重みを、尖点断片の重みとミハルキンの頂点重みの積として計算する。
• h-横断的多角形に対して、3種類の尖点断片（有理的4価頂点、有理的平坦3価頂点、楕円的辺）それぞれについて、明示的な閉形式の重み公式を導出する。
• パッチワーキング技法と変形理論を用いて、代数的設定における横断性と重みの数え上げを検証する。

実験結果

リサーチクエスチョン

• RQ1 トロピカル幾何学を用いて、トーリック面上の単一の尖点とノードをもつ代数的曲線をどのように数え上げることができるか。
• RQ2 ユニシスパル代数的曲線に対応するトロピカル曲線の組合せ的構造は何か。
• RQ3 ミハルキンの格子パスアルゴリズムを修正し、尖点をもつトロピカル曲線を数えるために使用できるか。
• RQ4 トロピカル曲線内の尖点断片の明示的重み公式は何か。
• RQ5 一般の族において、実数のr-尖点曲線の数え上げは、複素数のそれと漸近的にどのように比較できるか。

主な発見

• 次数Δのトーリック面上の、1つの尖点とノードをもつ複素種数g曲線の数は、種数g、次数Δのすべてのトロピカル曲線がN個の一般位置の点を通る場合の、尖点重みの総和に等しい。
• h-横断的多角形に対して、尖点断片のタイプは3つに分類される：有理的4価頂点、有理的平坦3価頂点、楕円的辺で、それぞれ明示的な重み公式が与えられる。
• 修正された格子パスアルゴリズムは、Δ内に長さNのλ-単調格子パスの総和として、合計数を計算し、各パスが計算可能な重みを寄与する。
• 尖点断片の重みは、尖点における局所的等クラス変形重みの和として決定され、mult(ℬ₂ₖ^{ec}) = k で与えられる。
• 実数曲線に対しては、次数d ≥ 2r+3である任意の2r次元の一般族において、d → ∞のとき、実数のr-尖点曲線の数は、複素数のr-尖点曲線の総数と漸近的に同等である。
• 代数的曲線とトロピカル曲線の間の対応関係は、変形空間の横断性と、退化フレームワークにおける強化されたトロピカル極限の使用によって確立される。