[論文レビュー] Orbifold techniques in degeneration formulas

Dan Abramovich, Barbara Fantechi|arXiv (Cornell University)|Mar 26, 2011

Algebraic Geometry and Number Theory参考文献 43被引用数 53

ひとこと要約

本稿では、特異的領域にオルビフォールド構造を導入した枠組みを用いて、相対的および退化 Gromov–Witten 不変量の新しい定式化を提示する。予め変形可能な写像の代わりに、ねじれた被覆への横断的写像を用いることで、歪みのない障害理論と、より自然で一般化された形での分解公式の再構築を実現する。歪みのない安定写像と簡略化された障害理論を用いることで、著者たちは分解公式を単純化し、オルビフォールド設定へと拡張する。

ABSTRACT

We give an approach for relative and degenerate Gromov--Witten invariants, inspired by that of Jun Li but replacing predeformable maps by transversal maps to a twisted target. The main advantage is a significant simplification in the definition of the obstruction theory. We reprove in our language the degeneration formula, extending it to the orbifold case.

研究の動機と目的

• 相対的および退化 Gromov–Witten 不変量の新しい代数的定義を、Deligne–Mumford スタックへ自然に拡張できる形で開発すること。
• 予め変形可能な写像の代わりに、ねじれた被覆への横断的写像を用いることで、分解公式における障害理論を単純化すること。
• より洗練され一般性の高い形で、分解公式を再証明すること、オルビフォールドの場合を含む。
• 対象が特異的またはオルビフォールドである場合でも、対数的およびスタック論的技法と整合する枠組みを提供することにより、形式的体系を強化すること。

提案手法

• 著者たちは、特異的領域にオルビフォールド構造を持つ被覆多様体へのねじれた安定写像を用い、モジュライスタックの固有性を保証する。
• 導来押し出しによる新しい障害理論を定義し、$ \mathbf{R}p_*({\mathbb{L}}_\Box \otimes \omega_\pi[-1]) $ と表される。これは $[-2,0]$ で完全であることが示される。
• この構成は、ノードに沿った対数的極を伴う相対的コタングェント複体のバージョンに依拠し、トポス $ \Sigma' C $ または $ \mathcal{A} $ への関連する準同型を用いる。
• 障害理論が基底変換と可換であり、1次元で消失することを証明し、仮想基本類が正しく定義されることを保証する。
• この枠組みを用いて分解公式を再導出し、鍵となるステップはねじれたモジュライ空間上の障害理論の同定にある。
• この方法は、$[-2,0]$ から $[-(d+1),0]$ に振幅の境界を調整することにより、$d$ 次元の Deligne–Mumford スタックへ一般化可能である。

実験結果

リサーチクエスチョン

• RQ1 固有性と仮想基本類の構成を保ちつつ、分解公式における障害理論をどのように単純化できるか？
• RQ2 より自然な幾何的枠組みを用いて、分解公式をオルビフォールドの場合にまで拡張できるか？
• RQ3 ねじれた安定写像は、特異的またはオルビフォールドの被覆に対して、固有性と完全な障害理論を保証するために果たす役割は何か？
• RQ4 対数的極とスタック論的構造を用いることで、相対不変量の定義はどのように改善されるか？
• RQ5 基底変換と可換となるように障害理論を設計することで、高次元のスタックへ一般化が可能になるか？

主な発見

• $ \mathbf{R}p_*({\mathbb{L}}_\Box \otimes \omega_\pi[-1]) $ を通じて定義された障害理論は $[-2,0]$ で完全であり、well-defined な仮想基本類を保証する。
• 非退化写像の開部分スタック上では、障害理論は $[-1,0]$ で完全であり、特異的ファイバーからの障害が存在しないことを反映する。
• 障害理論は基底変換と可換であり、モジュライ理論的応用および導来幾何学において重要な性質を満たす。
• 分解公式は、この新しい枠組みを用いて再証明され、ねじれた写像の使用により、オルビフォールド被覆に対しても有効である。
• この方法は $d$ 次元の Deligne–Mumford スタックへ一般化可能であり、障害理論の振幅は $[-(d+1),0]$ にシフトする。
• 著者たちは、予め変形可能な写像の代わりにねじれた被覆への横断的写像を用いることで、ジュン・リーの元々の手法の技術的道具を単純化する。