[論文レビュー] Gromov-Witten/Donaldson-Thomas correspondence for toric 3-folds

Davesh Maulik, Alexei Oblomkov+2 more|ArXiv.org|Sep 23, 2008

Algebraic Geometry and Number Theory参考文献 22被引用数 27

ひとこと要約

この論文は、一次挿入を持つ非特異なトーリック3次元多様体について、等変Gromov-Witten/Donaldson-Thomas (GW/DT) 対応を確立し、変数変換の下で両理論の不変量の母関数が等価であることを証明する。主な結果は、局所Calabi-Yau トーリック3次元多様体の3脚設定におけるAgánéc, Klemm, Mariño, Vafaによるトップスロジカル・バーテックス計算の正しさを、局所化およびキャップド・バーテックス技法を用いて裏付ける。

ABSTRACT

We prove the equivariant Gromov-Witten theory of a nonsingular toric 3-fold X with primary insertions is equivalent to the equivariant Donaldson-Thomas theory of X. As a corollary, the topological vertex calculations by Agangic, Klemm, Marino, and Vafa of the Gromov-Witten theory of local Calabi-Yau toric 3-folds are proven to be correct in the full 3-leg setting.

研究の動機と目的

• 一次挿入を持つ非特異なトーリック3次元多様体について、等変GW/DT対応を確立すること。
• 局所Calabi-Yau トーリック3次元多様体の3脚設定において、Agánéc, Klemm, Mariño, Vafaによるトップスロジカル・バーテックス計算が、GW不変量を正しく計算することを証明すること。
• 等変局所化を用いて、キャップド・バーテックスおよびキャップド・エッジのレベルにまでGW/DT対応を拡張すること。
• 量子パラメータおよび等変変数に関して、キャップド・バーテックスおよびエッジ不変量の有理関数的および多項式的構造を分析すること。

提案手法

• トーリック3次元多様体における等変局所化を用いて、GW理論およびDT理論の両方の不変量を計算する。
• キャップド・バーテックスおよびエッジ構成を適用して、モジュライ空間を局所的パーツに分解する。
• 微分方程式およびラバーバリエーション計算を用いて、母関数の特異性および有理関数的構造を分析する。
• 仮想基本クラスおよびチャウ多様体へのプッシュフォワードを用いて、GW不変量とDT不変量を比較する。
• GWおよびDTの分配関数を関係付けるために、変数変換 $ e^{iu} = -q $ を用いる。
• ホモロジカルプッシュフォワードの定義を保証するために、半正規化を適用する。

実験結果

リサーチクエスチョン

• RQ1 一次挿入を持つ非特異なトーリック3次元多様体の等変Gromov-Witten理論は、そのDonaldson-Thomas理論と等価であるか？
• RQ2 Agánéc, Klemm, Mariño, Vafaによるトップスロジカル・バーテックス計算は、3脚設定におけるGW不変量を正しく計算するのか？
• RQ3 量子パラメータおよび等変変数に関して、キャップド・バーテックスおよびエッジ不変量の有理関数的および多項式的構造は何か？
• RQ4 GW/DT対応は、チャウ多様体へのホモロジカルプッシュフォワードのレベルにまで拡張可能か？

主な発見

• 一次挿入を持つすべての非特異なトーリック3次元多様体について、GW/DT対応が成り立ち、両理論の母関数が等価であることが示された。
• 局所Calabi-Yau トーリック3次元多様体の3脚設定において、トップスロジカル・バーテックス計算が正しく計算されていることが確認された。
• キャップド・バーテックス $ \mathsf{C}_{DT}(\lambda,\mu,\nu,t_1,t_2,t_3) $ は、$ q $ に関する有理関数であり、その極は単位根および 0 のみに限られる。
• キャップド・バーテックスは $ q $ に関するローレンツ多項式であると予想されており、$ \mathsf{R}(\lambda,\mu,\nu) $ も $ q $ に関するローレンツ多項式であると予想されている。
• $ \mathsf{C}^\circ_{DT}(\lambda,\mu,\nu) $ の明示的公式が $ \mathsf{R}(\lambda,\mu,\nu) $、$ P_{\lambda,\mu,\nu} $、および $ \Pi_{\lambda} $ を用いて与えられ、小さな分割について値が検証された。
• $ a,b \geq 0 $ のとき、キャップド・エッジ $ \mathsf{E}_{DT} $ が $ q $ に関するローレンツ多項式であることが示され、J. Bryanの予想が確認された。