[論文レビュー] A tropical calculation of the Welschinger invariants of real toric Del Pezzo surfaces

Eugeniĭ Shustin|ArXiv.org|Jun 6, 2004

Polynomial and algebraic computation参考文献 13被引用数 5

ひとこと要約

本稿は、関連するニュートン多角形におけるトロピカル曲線および格子パスの総重みと関連付けることにより、実トーリックデル・ペッツォ表面のウェルシュインガー不変量を計算するトロピカルな公式を確立する。この手法は、格子多角形の整合的分割に基づく組み合わせ的で再帰的なアルゴリズムを提供し、共役不変な点配置を通る実有理曲線の正確な数え上げを可能にする。主な結果として、トロピカル幾何と格子パスの数え上げを用いた、ウェルシュインガー不変量の閉形式表現が得られる。

ABSTRACT

The Welschinger invariants of real rational algebraic surfaces are natural analogues of the genus zero Gromov-Witten invariants. We establish a tropical formula to calculate the Welschinger invariants of real toric Del Pezzo surfaces for any conjugation-invariant configuration of points. The formula expresses the Welschinger invariants via the total multiplicity of certain tropical curves (non-Archimedean amoebas) passing through generic configurations of points, and then via the total multiplicity of some lattice path in the convex lattice polygon associated with a given surface. We also present the results of computation of Welschinger invariants, obtained jointly with I. Itenberg and V. Kharlamov.

研究の動機と目的

• 実トーリックデル・ペッツォ表面のウェルシュインガー不変量を計算する組み合わせ的技法の開発、これは genus-zero グロモフ＝ウィッテン不変量の実数版である。
• 実および共役虚数点の両方を含む点配置の下で、ウェルシュインガー不変量に対する閉形式または再帰的公式の欠如に対処すること。
• 共役不変な配置を扱えるようにトロピカル数え上げ幾何を拡張し、実有理曲線の数の非自明な下界を与える不変量の計算を可能にすること。
• バリエーションと崩壊技術を用いて、実有理トロピカル曲線と代数的曲線の間の正確な対応を確立し、一般の配置に対して不変性を保証すること。

提案手法

• 非アルキメデス的バリエーションを用いて、プアセュール級数上の複素代数的曲線を R² におけるトロピカル曲線に持ち上げ、その数え上げ的性質を保存する。
• 座標のバリエーションを用いて、一般の実および共役虚数点の配置を通る代数的曲線の極限として、実有理トロピカル曲線を構成する。
• ニュートン多角形 ∆ の整合的分割を、三角形または平行四辺形を追加することで再帰的に構築し、結果として得られるトロピカル曲線が平衡条件を満たし、正しい型 (r′, r′′, s′′) を持つようにする。
• ウェルシュインガー不変量は、すべての整合的トロピカル曲線からの重み付き寄与の和として計算され、重みは対応する代数的曲線における孤立ノードの数に依存する。
• 頂点集合 V および W に制約を課すことで、関連するトロピカル曲線のみが寄与するようにし、|σj| が j ∈ V に対して奇数である場合にのみ非ゼロの寄与が生じることを保証する。
• 最終的な公式は、一般の線形関数 λ によって順序付けられた ∆ ∩ ℤ² 内のすべての格子点の列に関する和として、不変量を表す。整合的分割が総不変量を生成する。

実験結果

リサーチクエスチョン

• RQ1 点配置に実点および共役虚数点が混在する場合、実トーリックデル・ペッツォ表面のウェルシュインガー不変量はどのように計算できるか？
• RQ2 ウェルシュインガー不変量のトロピカル的対応は何か、そして実有理曲線の数え上げとどのように関係するか？
• RQ3 格子多角形の分割に基づく再帰的で組み合わせ的なアルゴリズムは、このような表面のウェルシュインガー不変量の正確な値を導けるか？
• RQ4 トロピカル曲線が特定の数の孤立ノードを持つ実代数的曲線に対応するための条件は何か、そしてその影響が不変量の符号にどのように現れるか？
• RQ5 トロピカルアプローチは、共役対を含む一般のケースに拡張することで、すべてが実点である場合にのみ成立していた従来の結果をどのように拡張するか？

主な発見

• ウェルシュインガー不変量 W_r′′(Σ, D) は、ニュートン多角形 ∆ の整合的分割の和として計算され、各分割はトロピカル曲線の重み付き数え上げに基づく寄与を寄与する。
• 実平面の三次曲線（Δ = Conv{(0,0),(0,3),(3,0)}）に対して、公式は W_r′′(ℙ², 3L) = 8 − 2r′′ を得、トロピカル数え上げによる既知の結果を確認する。
• トロピカル幾何を用いて、対応する代数的曲線における孤立ノードの偶奇を追跡することで、ウェルシュインガー不変量の符号が正しく扱われる。
• トロピカル崩壊と変形による不変性を用いた証明により、Ω_r′′(Σ, D) 内の一般の配置の選択に依存しないことが示された。
• 構成により W_4(ℙ², 3L) = 0 であることが示され、これは4組の虚数共役点を通る非特異実三次曲線の線形系の存在によって確認される。
• 頂点集合の制約を組み込むことで、アルゴリズムは虚数共役点のケースを正しく扱い、奇数長の辺を持つ分割のみが非自明に寄与することを保証する。