[論文レビュー] Severi degrees on toric surfaces

Fu Liu, Brian Osserman|arXiv (Cornell University)|Jan 27, 2014

Polynomial and algebraic computation参考文献 11被引用数 7

ひとこと要約

この論文は、トーリック多様体上のノード曲線の数え上げに、ゲーツェ＝ヨウ＝ザスローフォーミュラを拡張し、セベリ次数の普遍多項式における係数の明示的組合せ公式を提供することで、その展開を行う。トロピカル幾何と線形性の結果を基盤とし、アルダイラとブロックの定理のより強い形を証明し、有理型二重点に対する補正項を導入し、行列式や辺の長さなどの格子多角形不変量を用いて線形化された生成関数の明確な関係を確立する。

ABSTRACT

Ardila and Block used tropical results of Brugalle and Mikhalkin to count nodal curves on a certain family of toric surfaces. Building on a linearity result of the first author, we revisit their work in the context of the Goettsche-Yau-Zaslow formula for counting nodal curves on arbitrary smooth surfaces, addressing several questions they raised by proving stronger versions of their main theorems. In the process, we give new combinatorial formulas for the coefficients arising in the Goettsche-Yau-Zaslow formulas, and give correction terms arising from rational double points in the relevant family of toric surfaces.

研究の動機と目的

• ノード曲線のセベリ次数に関して、アルダイラとブロックの結果を強化し、より鋭い定理を証明すること。
• ゲーツェ＝ヨウ＝ザスローフォーミュラの普遍多項式における係数の明示的組合せ公式を提供すること。
• トーリック多様体族における有理型二重点に由来する補正項を組み込むこと。
• 線形化された生成関数と多角形の幾何的不変量（例：det(Δ), idet(Δ), 辺の長さ）との明確な関係を確立すること。
• アルダイラとブロックの研究における未解決の問題、特にトーリック多様体の文脈における普遍性と線形性に関して解明すること。

提案手法

• 著者たちは、主に長辺グラフとテンプレートを用いたトロピカル幾何の技法を用い、トーリック多様体上のノード曲線をモデル化する。
• 劉（2012）の線形性結果を応用し、セベリ次数を多角形不変量からの線形寄与に分解する。
• この手法では、行列式と辺の方向を用いて多角形の上部および下部の頂点の寄与を分析する。
• 線形性からのずれを検討することで補正項を導出し、特に多角形の上部または下部に水平辺、または小さな行列式（1 または 2）が現れる場合に注目する。
• 生成関数 QΔ,δ は辺のデータと頂点不変量からの組合せ的再構成により計算され、w, x, y, z を用いた Qδ(Y,L) の明示的公式が得られる。
• このアプローチでは、べき級数展開とモジュラー形式（例：エーゼンスタイン級数とモジュラー判別式）を用い、生成関数 Q(t) を f1(t), f2(t), f3(t), f4(t) の線形結合として表現する。

実験結果

リサーチクエスチョン

• RQ1 滑らかでないトーリック多様体に対しても、滑らかな多様体と同様に、セベリ次数が普遍多項式で表せるか。
• RQ2 線形化された生成関数 QΔ,δ における係数 aδ,1, aδ,2, aδ,3, aδ,4 の明示的組合せ公式は何か。
• RQ3 トーリック多様体族における有理型二重点はセベリ次数の数え上げにどのように影響し、補正項を体系的に導出できるか。
• RQ4 上部および下部の頂点の寄与は、カノニカルクラス K² その他の不変量にどのように寄与するか。
• RQ5 線形性のある生成関数は、h-横断的多角形を持つ特異なトーリック多様体にまで拡張可能か。どのような条件下で成立するか。

主な発見

• この論文は、トーリック多様体上の十分に豊富な線分束に対して、セベリ次数 NΔ,δ が L², L·K, K², c2 における普遍多項式で与えられることを証明し、特異なトーリック多様体に対してもゲーツェ＝ヨウ＝ザスローフォーミュラを拡張する。
• 線形化された生成関数 QΔ,δ における係数 aδ,1, aδ,2, aδ,3, aδ,4 について、多角形の辺の長さと頂点の行列式を用いた明示的組合せ公式が導出された。
• 有理型二重点に対する補正項が導入され、多角形が強く h-横断的である場合には K² の公式が 12 − det(Δ) で与えられ、水平辺が存在する場合には追加の項が加わる。
• 上部および下部の頂点による生成関数への寄与は 8 − (r1 − rM) + (l1 − lM) = 12 − det(Δ) で与えられ、d^t や d^b が消える場合には調整が施される。
• 生成関数 QΔ(t) が f1(t), f2(t), f3(t), f4(t) の線形結合として表現され、係数は多角形の不変量によって決定されることが示された。
• 線分束が d-非常に豊富であるとき、多角形のすべての辺の長さが d 以上になるため、組合せ的モデルの有効性が保証される。