[論文レビュー] A Proof of the Göttsche-Yau-Zaslow Formula

Yu-jong Tzeng|arXiv (Cornell University)|Sep 27, 2010

Algebraic Geometry and Number Theory参考文献 17被引用数 28

ひとこと要約

この論文は、滑らかな射影的曲面 S 上の十分に豊富な線形系統 |L| における r 個のノードを持つ曲線の数が、L²、LK_S、c₁(S)²、c₂(S) の4つの位相的不変量における普遍多項式で与えられることを証明する。代数的コボルディズムとヒルベルト層の退化を用いて、著者たちは Göttsche-Yau-Zaslow 公式を確立し、これらの数え上げの母関数を、クasiモジュラー形式と2つの普遍的べき級数の有理関数として表現した。これにより、数え上げ代数幾何学における長年の予想が完全に解決された。

ABSTRACT

Let S be a complex smooth projective surface and L be a line bundle on S. Göttsche conjectured that for every integer r, the number of r-nodal curves in |L| is a universal polynomial of four topological numbers when L is sufficiently ample. We prove Göttsche's conjecture using the algebraic cobordism group of line bundles on surfaces and degeneration of Hilbert schemes of points. In addition, we prove the the Göttsche-Yau-Zaslow Formula which expresses the generating function of the numbers of nodal curves in terms of quasi-modular forms and two unknown series.

研究の動機と目的

• L が (5r−1)-非常に豊富であるとき、|L| 内の r 個のノードを持つ曲線の数が、位相的不変量 L²、LK_S、c₁(S)²、c₂(S) における普遍多項式であるという Göttsche の予想を証明すること。
• すべての曲面と線束に対して、ノード曲線の数え上げの閉形式母関数を確立すること。
• 母関数をクasiモジュラー形式と2つの未知の普遍的べき級数を用いて表現することで、Göttsche-Yau-Zaslow 公式を解明すること。
• 母関数が位相的不変量において乗法的であり、K3 曲面および ℙ² における既知の結果と一致することを示すこと。
• 既知の ℙ² における Severi 度および K3 曲面におけるノード数を用いて、線形代数による方法で普遍多項式 T_r を体系的に計算すること。

提案手法

• 曲面の線束の代数的コボルディズム群を用いて、問題を普遍的不変量に還元すること。
• 点のヒルベルト層の退化技術を適用して、線形系統内の r 個のノードを持つ曲線の数を計算すること。
• 母関数 φ(S,L)(x) = ∑ T_r(L², LK_S, c₁(S)², c₂(S)) x^r を定義し、重要な推論から T(S,L)(x) に等しいことを示すこと。
• 母関数をクasiモジュラー形式 G₂(τ)、DG₂(τ)、D²G₂(τ)、およびモジュラー形式 Δ(τ) を用いて表現する。ここで q = e^{2πiτ} である。
• ピカール数が1の K3 曲面における既知の公式を用いて、普遍的べき級数 B₁(q) および B₂(q) を固定し、完全な閉形式表現を導出すること。
• (K_S², LK_S, χ(L), χ(𝒪_S)) と (L², LK_S, c₁(S)², c₂(S)) が線形同値であることに着目し、母関数の乗法性と一意性を示すこと。

実験結果

リサーチクエスチョン

• RQ1 滑らかな射影的曲面 S 上の十分に豊富な線形系統 |L| における r 個のノードを持つ曲線の数は、L²、LK_S、c₁(S)²、c₂(S) の4つの普遍的位相的不変量にのみ依存するか？
• RQ2 r 個のノードを持つ曲線の数え上げの母関数は、モジュラー形式およびクasiモジュラー形式を用いて閉形式で表現可能か？
• RQ3 普遍多項式 T_r の係数は、ℙ² および K3 曲面における既知の数え上げによって一意に決定されるか？
• RQ4 母関数は位相的不変量において乗法的であり、この性質を用いて全公式を再構成可能か？
• RQ5 Göttsche-Yau-Zaslow 公式における普遍的べき級数 B₁(q) および B₂(q) は、K3 曲面の数え上げから導出されたものと一致するか？

主な発見

• L が (5r−1)-非常に豊富であるとき、|L| の一般の r 次元部分線形系統における r 個のノードを持つ曲線の数は、普遍多項式 T_r(L², LK_S, c₁(S)², c₂(S)) で与えられる。
• 母関数 ∑ T_r x^r は、普遍的級数 B₁(q)、B₂(q)、およびモジュラー形式の累乗の積に等しく、具体的には ∑ T_r (DG₂)^r = (DG₂/q)^χ(L) B₁^{K_S²} B₂^{LK_S} / (Δ D²G₂ / q²)^{χ(𝒪_S)/2} が成り立つ。
• Bryan と Leung の K3 曲面（ピカール数1）における結果と一致することを検証し、係数 B₁ および B₂ が普遍的であることを確認した。
• 母関数は (K_S², LK_S, χ(L), χ(𝒪_S)) の不変量において乗法的であり、これは普遍的級数の構造がこの乗法性によって完全に決定されることを示唆する。
• 既知の ℙ² における Severi 度および K3 曲面におけるノード数を用いて、線形方程式系を解くことにより、普遍多項式 T_r を明示的に計算可能である。
• 証明により、Göttsche-Yau-Zaslow 公式がすべての滑らかな射影的曲面および十分に豊富な線束に対して有効であることが示され、1998 年の予想が完全に解決された。