[論文レビュー] Localization in Gromov-Witten Theory and Orbifold Gromov-Witten Theory

Chiu-Chu Melissa Liu|arXiv (Cornell University)|Jul 23, 2011

Algebraic Geometry and Number Theory参考文献 57被引用数 44

ひとこと要約

本稿では、等化局在を用いて、滑らかなトーリック多様体のグロモフ＝ウィッテン不変量および滑らかなトーリックデリーニ＝マーフィー スタックのオルビフォールド グロモフ＝ウィッテン不変量を体系的に計算する手法を提示する。仮想局在と固定集合のグラフに基づく分解を活用することで、仮想不変量の計算を、オルビフォールド構造をもつ安定曲線のモジュライ空間上の積分に還元し、ホッジ積分と等化クラスを用いた明示的公式を得る。

ABSTRACT

In this expository article, we explain how to use localization to compute Gromov-Witten invariants of smooth toric varieties and orbifold Gromov-Witten invariants of smooth toric Deligne-Mumford stacks.

研究の動機と目的

• トーリス局在を用いた滑らかな射影的トーリック多様体のグロモフ＝ウィッテン不変量を計算する一般アルゴリズムの開発。
• 局在技法を滑らかなトーリックデリーニ＝マーフィー スタックのオルビフォールド グロモフ＝ウィッテン不変量へ拡張すること。
• すべての生成数および次数において不変量を計算する統一的な枠組みを提供し、それらを安定曲線のモジュライ空間上の交線数に還元すること。
• 特にオルビフォールド設定において、不安定な頂点（例えば、2つの特別点をもつ生成数0）の取り扱いに関して一貫した規約を確立すること。
• 等化コホモロジーと仮想正規バンドルを用いて、各固定集合からの寄与の明示的公式を導出すること。

提案手法

• 等化コホモロジーにおける仮想局在を用い、安定写像のモジュライ空間の仮想基本クラスをトーリス固定成分からの寄与に分解する。
• 固定集合を、頂点の種類、エッジのデータ、およびマークド点の割り当てを符号化する装飾付きグラフによってインデックス化された、オルビフォールド構造をもつ安定曲線のモジュライ空間の積としてモデル化する。
• 等化リーマン・ロッホおよび仮想正規バンドルの計算を適用し、各固定集合の寄与を等化エーラー類および局在化された被積分関数の形で表現する。
• 例えば、∫_{Mbar_{0,(c,c^{-1})}(BG)} ψ₂^a / (w₁ - ψ₁) = (-w₁)^a / |G| といった、オルビフォールドモジュライ空間上の積分恒等式を用いて、不安定な頂点（例：生成数0で2つの特別点をもつもの）に対する一貫した規約を導入する。
• グラフ表記を用いて安定および不安定な頂点を統一し、すべての頂点タイプにわたる被積分関数の均一な表現を可能にする。
• 装飾付きグラフの和としての総不変量の閉形式の公式（定理143）を導出する。各項は、等化クラス、ホッジ積分、およびオルビフォールド群からの構造定数の積を含む。

実験結果

リサーチクエスチョン

• RQ1 滑らかなトーリック多様体のグロモフ＝ウィッテン不変量は、どのようにトーリス局在と等化技術を用いて効率的に計算できるか？
• RQ2 トーリックデリーニ＝マーフィー スタックのオルビフォールド グロモフ＝ウィッテン不変量への局在の正しい一般化は何か？
• RQ3 オルビフォールド不変量のグラフモデルにおいて、不安定な頂点（例：生成数0で2つのマークド点をもつもの）はどのように一貫して取り扱うべきか？
• RQ4 オルビフォールド設定において、仮想正規バンドルの正確な形とその等化エーラー類は何か？
• RQ5 安定および不安定な頂点の両方からの寄与を統一する、同一の公式を導出できるか？

主な発見

• 本稿では、仮想局在を用いて、すべての生成数および次数において滑らかなトーリック多様体のグロモフ＝ウィッテン不変量を完全に計算するアルゴリズムを確立する。
• 定理143により、トーリック DM スタックのオルビフォールド グロモフ＝ウィッテン不変量を装飾付きグラフの和として表現する公式を提供する。各項は、ねじれ安定写像のモジュライ空間上の等化積分を含む。
• タイプ (0, (c, c^{-1})) の不安定な頂点に対して、積分 ∫_{Mbar_{0,(c,c^{-1})}(BG)} ψ₂^a / (w₁ - ψ₁) は (-w₁)^a / |G| に等しくなる。これにより、すべての頂点タイプにわたる一貫した取り扱いが可能になる。
• 各固定集合の寄与は、頂点寄与の積、エッジ要因、およびオルビフォールドモジュライ空間上のホッジ積分で与えられ、h(e), h(e,v), h(v) に対する明示的表現が与えられる。
• 仮想正規バンドルの寄与は、仮想正規バンドルの等化エーラー類によって計算され、これは局在公式において不可欠である。
• 一貫した規約を用いることで、安定および不安定な頂点の取り扱いが統一され、すべてのグラフタイプに同じ公式が適用可能になる。