[论文解读] 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

一句话总结

本文證明了Göttsche猜想：在光滑射影曲面 S 上的充分 ample 線性系統 |L| 中，r-節點曲線的數目由四個拓撲不變量 L², LK_S, c₁(S)², 和 c₂(S) 的通用多項式給出。透過代數cobordism 與 Hilbert 模棧的退化技術，作者建立了 Göttsche-Yau-Zaslow 公式，將這些計數的生成函數表示為擬模形式與兩個通用冪級數的有理函數，從而完成了一項長久以來在枚舉代數幾何中的猜想。

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.

研究动机与目标

• 證明Göttsche猜想：當 L 為 (5r−1)-非常ample 時，|L| 中 r-節點曲線的數目是四個拓撲不變量的通用多項式。
• 建立所有曲面與線叢的節點曲線計數之封閉形式生成函數。
• 透過以擬模形式與兩個未知的通用冪級數表達生成函數，解決 Göttsche-Yau-Zaslow 公式。
• 證明生成函數在拓撲不變量下具有乘法性，並與 K3 曲面與 ℙ² 上的已知結果一致。
• 提供一種系統性方法，透過線性代數計算通用多項式 T_r，使用 ℙ² 和 K3 曲面上已知的 Severi 度數。

提出的方法

• 使用曲面上線叢的代數cobordism群，將問題簡化為一個通用不變量。
• 應用 Hilbert 模棧的退化技術，計算線性系統中 r-節點曲線的數目。
• 定義生成函數 φ(S,L)(x) = ∑ T_r(L², LK_S, c₁(S)², c₂(S)) x^r，並透過一個關鍵推論證明其等於 T(S,L)(x)。
• 以擬模形式表達生成函數：G₂(τ), DG₂(τ), D²G₂(τ)，以及模形式 Δ(τ)，其中 q = e^{2πiτ}。
• 利用 Picard 數為一的 K3 曲面上的已知公式，固定通用冪級數 B₁(q) 和 B₂(q)，並推導出完整的封閉表達式。
• 利用 (K_S², LK_S, χ(L), χ(𝒪_S)) 與 (L², LK_S, c₁(S)², c₂(S)) 之間的線性等價性，證明生成函數的乘法性與唯一性。

实验结果

研究问题

• RQ1 在光滑射影曲面 S 上的充分 ample 線性系統 |L| 中，r-節點曲線的數目是否僅依賴於四個通用拓撲不變量：L², LK_S, c₁(S)², 和 c₂(S)？
• RQ2 r-節點曲線計數的生成函數能否以模形式與擬模形式的封閉形式表示？
• RQ3 通用多項式 T_r 的係數是否可由 ℙ² 和 K3 曲面上的已知計數唯一確立？
• RQ4 生成函數是否在拓撲不變量下具有乘法性？此性質能否用於重建完整公式？
• RQ5 Göttsche-Yau-Zaslow 公式中的通用冪級數 B₁(q) 和 B₂(q) 是否與由 K3 曲面計數推導出的結果一致？

主要发现

• 當 L 為 (5r−1)-非常ample 時，在 |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 在 Picard 數為一的 K3 曲面上的結果一致，確認係數 B₁ 和 B₂ 為通用。
• 生成函數在不變量 (K_S², LK_S, χ(L), χ(𝒪_S)) 下具有乘法性，這表示通用級數的結構完全由此乘法性決定。
• 透過利用 ℙ² 上已知的 Severi 度數與 K3 曲面上的節點計數，可透過求解線性系統明確計算出通用多項式 T_r。
• 證明確立了 Göttsche-Yau-Zaslow 公式對所有光滑射影曲面與充分 ample 線叢均成立，從而完成 1998 年的猜想。