[論文レビュー] The enumerative geometry of K3 surfaces and modular forms

Jim Bryan, Naichung Conan Leung|arXiv (Cornell University)|Nov 24, 1997

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

ひとこと要約

この論文は、Gromov-Witten不変量、退化技術、障害バンドル計算を用いて、K3表面における genus-g 曲線の n 個のノードを持つ曲線の数に関する Yau-Zaslow および Gottsche の予想を証明する。これらのカウントの母関数が準モジュラー形式であることが示され、以前の有理曲線に関する結果を任意の genus に拡張する。

ABSTRACT

We prove the conjectures of Yau-Zaslow and Gottsche concerning the number curves on K3 surfaces. Specifically, let X be a K3 surface and C be a holomorphic curve in X representing a primitive homology class. We count the number of curves of geometric genus g with n nodes passing through g generic points in X in the linear system |C| for any g and n satisfying C^2=2g+2n-2. When g=0, this coincides with the enumerative problem studied by Yau and Zaslow who obtained a conjectural generating function for the numbers. Recently, Gottsche has generalized their conjecture to arbitrary g in terms of quasi-modular forms. We prove these formulas using Gromov-Witten invariants for families, a degeneration argument, and an obstruction bundle computation. Our methods also apply to P^2 blown up at 9 points where we show that the ordinary Gromov-Witten invariants of genus g constrained to g points are also given in terms of quasi-modular forms.

研究の動機と目的

• K3 表面におけるノードを持つ有理曲線（genus 0）の数に関する Yau-Zaslow 予想を解決すること。
• Gottsche の準モジュラー形式に関する予想を用いて、Yau-Zaslow の公式を任意の genus g に一般化すること。
• 高度な代数幾何学的手法を用いて、K3 表面の列挙的不変量とモジュラー形式の間の厳密な関係を確立すること。
• この手法を他の表面、例えば 9 点で blown up された射影平面へと拡張し、Gromov-Witten 不変量が同様のモジュラー性を示すことを示すこと。
• K3 表面上の線形系統における曲線の数を、障害理論と退化論法を用いて統一的かつ体系的に計算するフレームワークを提供すること。

提案手法

• K3 表面における曲線族の Gromov-Witten 不変量を用いて、相対的設定下での列挙的不変量を計算する。
• 退化論法を用いて、計算が容易なより単純な幾何に問題を還元する。
• 障害バンドル技術を適用して、指定された特異性（ノード）と genus を持つ曲線の仮想的カウントを計算する。
• 得られた母関数のモジュラー性を活用し、それらが準モジュラー形式であることを示す。
• 安定写像のモジュライ空間と仮想基本類の構造を用いて、家族における不変量を定義する。
• P^2 を 9 点で blown up した場合にも同様の手法を拡張し、g 点に制約された通常の genus-g Gromov-Witten 不変量が準モジュラーであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 K3 表面におけるプリミティブな線形系統内での genus-g 曲線の n 個のノードを持つ曲線の数の正確な母関数は何か？
• RQ2 このような曲線のカウントは、特に高 genus の場合にモジュラー形式とどのように関係するか？
• RQ3 有理曲線の Yau-Zaslow 公式は、モジュラー形式を用いて任意の genus に一般化可能か？
• RQ4 Gromov-Witten 不変量は、指定された特異性を持つ K3 表面における列挙的不変量の計算にどのように寄与するか？
• RQ5 他の代数的表面、例えば例外的除法を持つ有理表面においても、同様のモジュラー構造が Gromov-Witten 不変量に現れるか？

主な発見

• 本論文は、K3 表面におけるプリミティブな線形系統内での genus-g 曲線の n 個のノードを持つ曲線の数の母関数が準モジュラー形式であることを証明する。
• genus 0 の場合、結果は Yau-Zaslow 予想を確認し、母関数が重さ 10 のモジュラー形式であることを示す。
• Gottsche が予想したように、任意の genus g への一般化が検証され、母関数が準モジュラー形式として表現される。
• この手法は P^2 を 9 点で blown up した場合にも適用可能であり、g 点に制約された通常の genus-g Gromov-Witten 不変量が準モジュラーであることが示される。
• 計算は、障害バンドル技術が正しい仮想的カウントを与えるように、曲面の和への退化に依存する。
• 結果として、K3 表面の列挙的幾何とモジュラー形式の理論との間に深い関係が確立され、長年の予想が確認される。