[論文レビュー] Formalism for Relative Gromov-Witten Invariants

Eric Katz|arXiv (Cornell University)|Jul 15, 2005

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

ひとこと要約

本稿は、シンプレクティック場理論（SFT）に類似した形式を用いて、相対的グロモフ＝ウィッテン不変量の生成関数形式を構築し、退化公式の体系的導出を可能にする。また、除法上のプロジェクティブバンドルへの安定写像のモジュライ空間における仮想サイクルを通じてラバーパラメータを導入し、$\bmod \bmod \bmod$ 局所化を用いて、カポラーソとハリス、ラン、バキルの古典的公式を再導出する。

ABSTRACT

We develop a formalism for relative Gromov-Witten invariants of Li that is analogous to the Symplectic Field Theory of Eliashberg, Givental, and Hofer. This formalism allows us to express natural degeneration formulae in terms of generating functions and re-derive the formulae of Caporaso-Harris, Ran, and Vakil. In addition, our framework gives a homology theory analogous to SFT Homology.

研究の動機と目的

• 相対的グロモフ＝ウィッテン不変量の形式的構造を、シンプレクティック場理論に類似させること。
• 交差数を生成関数として整理し、体系的な計算を可能にする相対的ポテンシャル $ F $ とラバーポテンシャル $ A $ を定義すること。
• 提案された形式的枠組みを用いて、カポラーソ＝ハリス、ラン、バキルの古典的退化公式を再導出すること。
• ラインバンドルとモジュライスタック上の仮想サイクルを用いて、SFTホモロジーに類似したホモロジー理論を構築すること。
• $\bmod \bmod \bmod$ 局所化を、固定点集合の解析を通じて相対的グロモフ＝ウィッテン理論に応用するための枠組みを提供すること。

提案手法

• 相対的写像とラバーラインマップのためのモジュライスタック $ \newcommand{\cM}{{\mathcal{M}}} \cM({\mathcal{Z}}, \Gamma) $ および $ \cM({\mathcal{A}}, \Gamma) $ を構築し、それぞれ仮想基本サイクルを備える。
• 幾何的解釈を零点を介して持つ主要なラインバンドル $ \operatorname{L}_{i,\text{ext}} $, $ \operatorname{Split} $, $ \operatorname{L^0} $, $ \operatorname{L^\infty} $, および $ \operatorname{L}_{i,\text{not top/bot}} $ を導入する。
• 仮想サイクルに対する交差数の生成関数として、順位付き代数 $ \mathcal{F} $ および $ \mathcal{R} $ に倣って相対的ポテンシャル $ F $ とラバーポテンシャル $ A $ を定義する。
• $\bmod \bmod \bmod$-不変コホモロジーにおける、固定点集合の3種類の寄与を仮想局所化を用いて計算する。
• 幾何的制約を符号化する関係式 $ \operatorname{L^0} \otimes \operatorname{L^\infty} = \operatorname{Split} $ および $ \operatorname{L^0} \otimes \operatorname{ev}_i^*L^\vee = \operatorname{L}_{i,\text{not top}} $ を確立する。
• 仮想局所化公式を適用し、$ \deg((\operatorname{ev}_i^*c_1(L) + c_1(\operatorname{L^\infty})) \operatorname{Ev}^*c \cap [\cM({\mathcal{A}}, \Gamma)]^{\text{vir}}) $ を含むマスターエンジンを導出する。この式は主結果に至る。

実験結果

リサーチクエスチョン

• RQ1 相対的グロモフ＝ウィッテン不変量の形式的枠組みを、シンプレクティック場理論の構造に類似させることは可能か？
• RQ2 相対的およびラバーパラメータの交差理論を、退化公式の導出を容易にする生成関数としてどのように表現できるか？
• RQ3 相対的写像のモジュライスタック上のラインバンドルが、中心成分への写像の不成立や分裂挙動といった幾何的制約をどのように符号化するか？
• RQ4 $\bmod \bmod \bmod$-局所化が、固定点集合の寄与を用いて相対的不変量を計算する際に果たす役割は何か？
• RQ5 カポラーソ＝ハリス、ラン、バキルの古典的退化公式は、統一的な仮想サイクルおよび生成関数枠組みから体系的に再導出可能か？

主な発見

• 本稿は、相対的ポテンシャル $ F $ およびラバーポテンシャル $ A $ を用いた生成関数形式を構築し、それぞれ順位付き代数 $ \mathcal{F} $ および $ \mathcal{R} $ に属する。
• 代数 $ \mathcal{R} $ が $ \mathcal{F} $ 上に作用することを確立し、これは $ \cM({\mathcal{Z}}, \Gamma_Z) $ および $ \cM({\mathcal{A}}, \Gamma_A) $ に属する曲線を結合して $ \cM({\mathcal{Z}}, \Gamma_Z * \Gamma_A) $ における分裂写像を形成することに対応する。
• 仮想局所化公式によりマスターエンジンが得られる：$ \deg((\operatorname{ev}_i^*c_1(L) + c_1(\operatorname{L^\infty})) \operatorname{Ev}^*c \cap [\cM({\mathcal{A}}, \Gamma)]^{\text{vir}}) = \frac{1}{|\operatorname{Aut}|} \sum \deg(\operatorname{Ev}^*c \cap [\cM({\mathcal{A}}, \Gamma_{A_t}) \times_{D^r} \cM({\mathcal{A}}, \Gamma_{A_b})]^{\text{vir}}) $。これは、$ i $ 番目のマークド点が $ D_0 $ に写像される固定点集合からの寄与に対して有効である。
• 第一種の固定点集合からの寄与は $ \frac{\hbar(\hbar + \operatorname{ev}_i^*c_1(L))}{\hbar - c_1(\operatorname{L^\infty})} $ を通じて与えられ、$ \deg((\operatorname{ev}_i^*c_1(L) + c_1(\operatorname{L^\infty})) \operatorname{Ev}^*c \cap [\cM({\mathcal{A}}, \Gamma)]^{\text{vir}}) $ に簡略化される。
• 第二種の固定点集合からの寄与は、$ i_\infty^*(c_1(\mathcal{O}(1)) + c_1(L)) = 0 $ であるため、寄与しない。これは評価写像が $ P $ の部分集合 $ D_\infty $ を通るためである。
• 第三種の固定点集合からの寄与は、エラー類 $ e(N) = (\hbar - p_t^*c_1(\operatorname{L^\infty}))\cdot(-\hbar - p_b^*c_1(\operatorname{L^0})) $ を伴い、自己同型群 $ \operatorname{Aut} $ はグラフ結合における対称性を補正する。