[論文レビュー] Gromov-Witten invariants of P^2-stacks

Charles Cadman|ArXiv.org|May 1, 2005

Algebraic Geometry and Number Theory参考文献 11被引用数 6

ひとこと要約

本稿は、$\pi^2_{D,2}$ スタック（$\mathbb{P}^2$ 上の $\mathbb{Z}/2$-商スタックで、滑らかな平面曲線 $D$ に沿って分岐する）のすべての genus 0 Gromov-Witten 不変量を、初期不変量の小さな集合を用いて明示的な再帰関係で計算することを確立する。主な貢献は、ゴースト自己同型を持つねじれ安定写像の寄与により、常に可算的でないことがあるこれらの不変量の完全なアルゴリズム的決定である。

ABSTRACT

The Gromov-Witten theory of Deligne-Mumford stacks is a recent development, and hardly any computations have been done beyond 3-point genus 0 invariants. This paper provides explicit recursions which, together with some invariants computed by hand, determine all genus 0 invariants of the stack P^2_{D,2}. Here D is a smooth plane curve and P^2_{D,2} is locally isomorphic to the stack quotient [U/(Z/(2))], where U -> V \subset P^2 is a double cover branched along D \cap V. The introduction discusses an enumerative application of these invariants.

研究の動機と目的

• 滑らかな代数的空間とは異なり、$\mathbb{P}^2_{D,2}$ スタック（$\mathbb{P}^2$ 上の $\mathbb{Z}/2$-商スタックで、滑らかな平面曲線 $D$ に沿って分岐する）のすべての genus 0 Gromov-Witten 不変量を体系的に計算するための方法を開発すること。
• 滑らかな多様体では一般的な再構成定理が、特に $\mathbb{P}^2_{D,2}$ の文脈においてスタックへと拡張されるかどうかを調査すること。
• Gromov-Witten 数え上げと実際の曲線数のずれを特定することで、これらの不変量の可算的意味を明確化すること。特に、多重被覆やねじれ成分が寄与する場合に注目する。
• 量子積の結合則とねじれ安定写像の幾何的制約に基づいて導かれた再帰関係を用いて、不変量を計算する完全なアルゴリズム的枠組みを提供すること。

提案手法

• 量子積と $\mathbb{P}^2_{D,2}$ へのねじれ安定写像の構造に基づき、genus 0 Gromov-Witten 不変量 $I_d(n_2, n_3, n_4)$ に対する再帰関係 (5.5.5)–(5.5.8) を導出する。
• インertia スタックの粗いモジュライ空間を用い、重要なクラスを同定する：$T_2$（$\mathbb{P}^2$ の点）、$T_3$（$D$ の基本類）、$T_4$（$D$ 上の点）。
• ねじれ安定写像の理論を適用し、$\mathbb{P}^2_{D,2}$ への写像では、非ねじれ点では $D$ との接触位数が偶数で、ねじれ点では奇数でなければならないことを要求する。
• 仮想基本クラスの技法とゴースト自己同型補正（例：重み $1/2$）を用い、ねじれノードを持つ可約曲線からの寄与を補正する。
• 再帰の5種類のルール（$n_2, n_3, n_4, d$ の値に基づく）を用いて、不変量を再帰的に簡約するアルゴリズム (5.5.9) を確立する。$n_4 - n_3$ の有界な降下により、終了が保証される。
• 既知の不変量との整合性を確認し、多重被覆およびねじれ成分の幾何的解析により非可算的寄与を同定することで、アルゴリズムの妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 すべての genus 0 Gromov-Witten 不変量が、有限個の初期不変量と再帰関係を用いてアルゴリズム的に計算可能か？
• RQ2 なぜ $\mathbb{P}^2_{D,2}$ の Gromov-Witten 不変量は一般に可算的でないのか。このようなずれを引き起こす幾何的メカニズムは何か？
• RQ3 ゴースト自己同型と複数の成分を持つねじれ安定写像は、スタックの Gromov-Witten 理論における仮想数え上げにどのように影響するか？
• RQ4 曲線 $D$ の次数 $\delta$ がどのような条件下で、多重被覆やねじれ成分からの寄与が消えるか、または持続するか？
• RQ5 滑らかな多様体に対して成立する再構成定理と同様の、Deligne-Mumford スタックの genus 0 Gromov-Witten 不変量に対する再構成定理は存在するか？

主な発見

• genus 0 Gromov-Witten 不変量 $\mathbb{P}^2_{D,2}$ は、5種類の異なる再帰ルールに基づく再帰的アルゴリズム（アルゴリズム 5.5.9）によって完全に決定され、任意の不変量が初期値に還元される。
• $\deg(D) \geq 3$ の場合、有理曲線は $D$ に上に写像できないため、$D$ に写像する成分からの寄与は排除されるが、$\deg(D) \geq 4$ の場合、$I_2(T_2)$ が $D$ に接する直線の2重被覆を数えることから、多重被覆は依然として寄与する。
• 不変量 $I_4(T_2^7 T_4^4) = 416$ は、7つの一般の点と $D$ 上の4点を通る有理曲線の実際の数 398 を上回っている。これは、ゴースト自己同型（重み $1/2$）を持つ可約ねじれ曲線および奇数次ねじれノード成分からの寄与による。
• $D$ が三次曲線の場合、ねじれ安定写像のモジュライ空間には多重被覆成分が含まれるが、それらは不変量に寄与しないため、この場合すべての正次数 genus 0 不変量は可算的である。
• アルゴリズムは終了する。これは、$n_4 - n_3$ の降下が有界であり、$(n_3, n_4)$-平面上での許容可能な移動が有限かつ非循環的であるため、基本ケースに再帰的に還元可能である。
• 基本ケースは $I_1(2, \delta, 0) = \delta!$ および $I_1(1, \delta-1, 1) = (\delta-1)!$ であり、これらはすべて、次数1写像の幾何的制約から直接計算される。