[論文レビュー] Donaldson-Thomas invariants of certain Calabi-Yau 3-folds

Wei-Ping Li, Zhenbo Qin|arXiv (Cornell University)|Feb 22, 2010

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

ひとこと要約

この論文は、2つのクラスのCalabi-Yau 3-foldにおけるランク2のGieseker半安定層のDonaldson-Thomas不変量を計算する。その2つは、ℙ⁵における四次曲面と非特異二次曲面の交わり、およびℙ¹×ℙ¹×ℙ²におけるCalabi-Yau超曲面である。これらのモジュライ空間がQuot-スキームと同型であることを示し、トーラス作用下でのBehrendのν関数の公式を導出し、不変量の生成関数がMcMahon関数の累乗であることを証明する。これにより、壁越えの挙動が明らかになる。

ABSTRACT

We compute the Donaldson-Thomas invariants for two types of Calabi-Yau 3-folds. These invariants are associated to the moduli spaces of rank-2 Gieseker semistable sheaves. None of the sheaves are locally free, and their double duals are locally free stable sheaves investigated earlier by Donaldson and Thomas, Li and Qin respectively. We show that these Gieseker moduli spaces are isomorphic to some Quot-schemes. We prove a formula for Behrend's functions when torus actions present with positive dimensional fixed point sets, and use it to obtain the generating series of the relevant Donaldson-Thomas invariants in terms of the McMahon function. Our results might shed some light on the wall-crossing phenomena of Donaldson-Thomas invariants.

研究の動機と目的

• ランク2のGieseker半安定層が局所自由でない場合の、特定のCalabi-Yau 3-foldにおけるDonaldson-Thomas不変量を計算すること。
• 層のモジュライ空間の構造を、それらがQuot-スキームと同型であることを示すことによって理解すること。
• トーラス作用の固定点集合が正次元を持つ場合のBehrendのν関数の公式を構築すること。
• Donaldson-Thomas不変量の生成関数を導出し、McMahon関数と関連付けること。
• 明示的な計算を通じて、DT不変量における壁越え現象の証拠を提供すること。

提案手法

• 著者たちは、全チャーン類 c_m = c_0 - m[y₀] を持つランク2のGieseker半安定層のモジュライ空間を分析し、空でない場合にQuot-スキームと同型であることを示す。
• トーラス作用と正次元の固定点集合を持つモジュライ空間におけるBehrendのν関数の公式を確立し、不変量の計算に不可欠な役割を果たす。
• Quot-スキームとの同型を用いて、等置不変量の積分とν関数の制限を用いて重み付きオイラー標数を計算する。
• [BF]および[LQ2]の結果を応用し、Quot-スキームのオイラー標数と不変量の生成関数を関連付ける。
• 生成関数はMcMahon関数 M(q) = ∏_{m=1}^∞ (1 - q^m)^{-m} を用いて導出され、M(q²)の累乗として現れることが示される。
• この手法は、ℂ*-作用の固定点集合への局所化と、アフィン近傍におけるコホモロジー的技法に依存する。

実験結果

リサーチクエスチョン

• RQ1 ランク2のGieseker半安定層のモジュライ空間は、Calabi-Yau 3-fold上で局所自由でない場合、どのような構造を持つのか？
• RQ2 全チャーン類に点類をm倍して引いた場合、Donaldson-Thomas不変量はどのように変化するのか？
• RQ3 正次元のトーラス固定点集合を持つモジュライ空間に対して、Behrendのν関数を明示的に計算できるか？
• RQ4 このような層のDonaldson-Thomas不変量の生成関数は何か？ そして、McMahon関数のような既知の関数とどのように関係するか？
• RQ5 計算は、DT不変量における壁越えの証拠を示しているか？

主な発見

• ℙ⁵における四次曲面と非特異二次曲面の交わりとして与えられるCalabi-Yau 3-fold Y ⊂ ℙ⁵に対して、DT不変量の生成関数は 2·M(q²)^{2χ(Y)} に等しい。
• ℙ¹×ℙ¹×ℙ²におけるCalabi-Yau超曲面 Y ⊂ ℙ¹×ℙ¹×ℙ² に対して、生成関数は (−1)^k·(k+1)·M(q²)^{2χ(Y)} に等しく、ここで k = (1+ε₁)(4−ε₂)(3−ε₂)/2 − 1 である。
• m ≠ 0 のとき、モジュライ空間 M_L(c_m) 内のすべての層は局所自由でないが、それらの二重双対は局所自由であり、M_L(c_0) に属する。
• 第一のケースでは、モジュライ空間 M_L(c_2m) は、Quot^m_{E_{0,1}} と Quot^m_{E_{0,2}} の直和集合と同型である。第二のケースでは、相対的Quot-スキーム Quot^m_{ℰ₀/} と同型である。
• r < 2(2−ε₂)/(2+ε₁) のとき、不変量 λ(L, c_m) は消える。これは、安定性条件のパrameter空間に壁が存在することを示唆する。
• 計算により、生成関数がMcMahon関数の累乗であることが確認され、Gromov-Witten理論や壁越えと深い関係があることが示唆される。