[論文レビュー] Appendix to "Welschinger invariant and enumeration of real rational curves"

Ilia Itenberg, Viatcheslav Kharlamov+1 more|arXiv (Cornell University)|Dec 7, 2003

Algebraic Geometry and Number Theory参考文献 15被引用数 10

ひとこと要約

本稿は、シンプレクティック的手法を用いずに、曲線の配置と変形理論を用いることで、ノードのないデル・ペッツォ表面における実有理型曲線のウェルシュインガー不変量の不変性を、完全に代数的・幾何学的な証明により示している。主な結果は、偶数個と奇数個の孤立ノード数の差として定義されるウェルシュインガー数が、点配置の一般的実および複素変形においても一定に保たれることであり、ターツキー–ザイデンバーグの原理を用いて、実閉体への拡張が可能である。

ABSTRACT

The invariance of the Welschinger numbers for real unnodal Del Pezzo surfaces, which we used for the enumeration of real rational curves on real toric Del Pezzo surfaces (see math.AG/0303378 and IMRN 49 (2003), 2639-2653), follows from J.-Y. Welschinger's theorem stated and proved in a symplectic setting (math.AG/0303145 and CRAS, Ser. I, 336 (2003), 341-344). Here, we give an algebraic geometry version of the proof of the above invariance.

研究の動機と目的

• シンプレクティック幾何学を避けて、素朴な代数幾何学的証明を提供すること。
• ノードのないデル・ペッツォ表面における点配置の実および複素変形において、ウェルシュインガー数の不変性を確立すること。
• 半代数的幾何学とターツキー–ザイデンバーグの原理を用いて、不変性結果を実閉体へ拡張すること。
• 方程式に基づく手法を用いて、ウェルシュインガー不変量を高種数曲線へ一般化する基盤を築くこと。

提案手法

• 特異点を通過する曲線の線型系統として、ノードを持つ曲線における有理曲線の族の接空間を記述するために、ブルスォティ–セベリの定理を用いる。
• 変形理論を適用し、特異点が課す条件が独立していることを示し、横断的な同時変形が可能であることを保証する。
• 曲線の配置に実構造 $ c_{r,m} $ を導入し、実点および共役対の点を定義する。$ c_{r,m} $-不変配置の開かつ稠密な部分集合 $ \Omega_{r,m}(\Sigma) $ を用いて議論を行う。
• 2種類の移動（$ \mathbb{R}\Sigma $ 内の実点の移動、$ \Sigma \setminus \mathbb{R}\Sigma $ 内の共役対の移動）を用いて、$ \Omega_{r,m}(\Sigma) $ の路連結性を解析し、両者に対して不変性を示す。
• このような移動における分岐点を研究し、ノード数の変化が符号が反対のペアとして発生することを示し、ウェルシュインガー数が保存されることを示す。
• ターツキー–ザイデンバーグの原理を適用し、$ \mathbb{R} $ からの不変性を任意の実閉体へ拡張し、半代数的連結成分上で定数であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ノードのないデル・ペッツォ表面における点配置の一般的実および複素変形において、ウェルシュインガー数は不変であるか？
• RQ2 シンプレクティック手法を一切用いずに、代数幾何学的および方程式的アプローチによってウェルシュインガー数の不変性を証明できるか？
• RQ3 実閉体上の配置空間のすべての半代数的連結成分において、ウェルシュインガー数は一定であるか？
• RQ4 曲線の退化および分岐点において、孤立ノードと非孤立ノードの寄与はどのように振る舞うか？
• RQ5 本稿で用いられた代数的・幾何学的アプローチは、高種数曲線へ一般化可能か？

主な発見

• 任意の $ \Omega_{r,m}(\Sigma) $ の連結成分内において、一般的配置 $ \mathbf{w} $ の選び方に依存しない、ウェルシュインガー数 $ W_{r,m}(\mathbf{w}) $ の不変性が示された。
• 偶数個と奇数個の孤立ノードをもつ既約実有理型曲線の数の変化は、その差が変形によって一定に保たれるように変化する。
• 実点の移動（$ \mathbb{R}\Sigma $ 内）および共役対の移動（$ \Sigma \setminus \mathbb{R}\Sigma $ 内）の両方において不変性が成立し、分岐点が符号の反対のペアとしてノード数を変化させることで、偶奇の差が保存される。
• 任意の実閉体 $ \mathbb{K} $ に対して、配置空間族の半代数的連結成分上でウェルシュインガー数は一定であり、$ \mathbb{R} $ を超えて結果が拡張される。
• 証明により、ウェルシュインガー数が不変でなくなる唯一の可能性は、高種数における非孤立ノードの寄与によるものであり、有理曲線ではそのような状況は発生しない。
• 不変量は $ \mathbb{R}_{\text{alg}} $ 上で適切に定義され、半代数的であるため、ターツキー–ザイデンバーグの移行原理により、すべての実閉体へ自然に拡張可能である。