[論文レビュー] The Algebraic Proof of the Universality Theorem

Ai-Ko Liu|ArXiv.org|Feb 3, 2004

Advanced Combinatorial Mathematics参考文献 13被引用数 8

ひとこと要約

本稿は、交差理論と代数幾何学を用いて、代数的表面におけるノード曲線の数え上げに関する普遍性定理の完全な代数的証明を提示する。一般に、5δ−1非常にアンビエントな線束 L の δ 次元線形系統における δ-ノード曲線の数は、c₁(L)²、c₁(L)·c₁(M)、c₁(M)²、および c₂(M) の普遍多項式として与えられ、表面 M に依存しないことが示された。

ABSTRACT

In the long paper "Family Blowup formula, Admissible Graphs and the Enumeration of Singular Curves (I)" (appearing in JDG), the author solved the enumeration problem of nodal (or general singular) curve counting on algebraic surfaces by using techniques from differential topology/symplectic geometry (including family Seiberg-Witten theory) and some ideas derived from Taubes' "SW=Gr". In the current paper, we offer an algebraic proof of the "universality theorem", showing that the counting of nodal curves for 5$δ$-1 very ample complete linear systems are controled by universal polynomials of the characteristic classes. The theorem (implicitly) was the backbone of the earlier long paper(cited above). In the current paper, we derive the result by using intersection theory and the concept of localized contributions of top Chern classes, and therefore relaxing the dependence on the symplectic techniques.

研究の動機と目的

• 微分トポロジーまたは擬全純曲線技法に依存せずに、代数的表面における δ-ノード曲線の数え上げに関する普遍性定理を完全に代数的に証明すること。
• 5δ−1非常にアンビエントな線束の一般な δ 次元線形系統における δ-ノード曲線の数え上げが、表面および線束のチャーン類に関する普遍多項式であることを確立すること。
• 可約曲線および多重被覆曲線の寄与に関する、代数的ファミリーシーブルト・ウィッテン不変量とグロモフ・ウィッテン不変量の不一致を解消すること。
• 正の幾何的 genus を持つ代数的表面の文脈において、修正されたファミリーファインダントの幾何的および数え上げ的意味を明確にすること。
• 標準的グロモフ・ウィッテン不変量が障害 bundle によって消える場合に、代数的ファミリーシーブルト・ウィッテン不変量とノード曲線の数え上げとの関係を形式化すること。

提案手法

• 商層のデータを用いて、標準的障害 bundle から商 bundle 建立 Vquot を構成し、特異点集合を制御する。
• 残差交差理論を適用し、特に閉部分集合の外で同型となるバンドル準同型の下で、ベクトル bundle の最高チャーン類を比較する。
• 射影 bundle P(E⊕1) 内のグラフ構成を用いて、吹き上げ操作を管理し、修正された bundle と標準的 bundle の引き戻しを関連付ける。
• 標準的ファミリー Kuranishi 空間 X = P(Vcanon) 上で帰納的吹き上げ手続きを適用し、残差交差理論を用いて、過剰寄与を段階的に除去する。
• 滑らかな部分集合上で修正された代数的ファミリーシーブルト・ウィッテン不変量を導入し、特異ストラトゥムからの寄与を分離・制御する。
• ゲーツェによるノード曲線の有限性結果（強化版）を用いて、数え上げ不変量のwell-defined性を保証する。

実験結果

リサーチクエスチョン

• RQ1 δ-ノード曲線の数え上げに関する普遍性定理を、擬全純曲線理論に依存せずに完全に代数的に証明可能か？
• RQ2 p_g > 0 の場合に、代数的ファミリーシーブルト・ウィッテン不変量は、標準的グロモフ・ウィッテン不変量とどのように異なり、ノード曲線の数え上げに影響を与えるか？
• RQ3 修正されたファミリーファインダントと、多重被覆曲線および可約曲線からの寄与との正確な関係は何か？
• RQ4 なぜ標準的グロモフ・ウィッテン不変量は特定の類（例：p_g > 0 のとき）で消えるのか、一方で代数的ファミリーファインダントは非自明のままであるのか？
• RQ5 可約ノード曲線および正規交叉特異点からの組合せ的寄与を、不変量に体系的に組み込むにはどうすればよいか？

主な発見

• 代数的表面 M 上の 5δ−1非常にアンビエントな線束 L の一般な δ 次元線形系統における δ-ノード曲線の数は、c₁(L)²、c₁(L)·c₁(M)、c₁(M)²、および c₂(M) の普遍多項式として与えられ、M に依存しない。
• 代数的ファミリーシーブルト・ウィッテン不変量は、標準的不変量を消去する p_g 次元の自明な障害 bundle を除去するため、ノード曲線の数え上げを可能にする。
• 修正されたファミリーファインダントは、可約曲線およびノード特異点（特に吹き上げによって正規交叉特異点に解決されたもの）を含むすべての曲線の寄与を考慮する。
• 残差交差技法により、吹き上げからの過剰寄与を、射影 bundle 構成を介して局所化された最高チャーン類に帰着させ、制御可能になる。
• 証明により、吹き上げの順序に依存しないことが示された。これは、局所化チャーン類が吹き上げ位置の順列に対して不変であることに起因する。
• この手法により、ヤウ＝ザスロー予想の予測が、原始的類ではグロモフ・ウィッテン不変量と一致することが確認された。非原始的類では、多重被覆補正を明示的に考慮する必要がある。