[論文レビュー] Obstruction theories and virtual fundamental classes

Jonathan Wise|arXiv (Cornell University)|Nov 17, 2011

Homotopy and Cohomology in Algebraic Topology被引用数 5

ひとこと要約

本稿は、古典的な Artin–Fantechi–Manetti のアプローチと、Li–Tian や Behrend–Fantechi の現代的で完全な複体フレームワークの間の溝を埋める、変形理論における障害理論の新しい統一的定義を提案する。この新しい意味での障害理論が、Behrend–Fantechi の意味での完全な障害理論と同値であるための必要十分条件は、局所的に有限生成かつ準完全であることであることが示され、交わる代数的幾何における仮想基本類の主要な手法が統合される。

ABSTRACT

We give a new definition of an obstruction theory for infinitesimal deformation theory and relate it to earlier definitions of Artin, Fantechi-Manetti, Li-Tian, and Behrend-Fantechi.

研究の動機と目的

• 障害理論の定義に生じていた曖昧さを解消すること。これは、使用されている複数の同等でない定式化の存在に起因する。
• 一般性を損なわずに障害理論の本質的性質を捉える定義を提供すること。
• Li–Tian と Behrend–Fantechi による完全な障害理論の定義の関係を明確にすること。
• 新しい障害理論が Behrend–Fantechi の完全な障害理論を誘導するための条件を確立すること。
• より一貫性のある理論的基盤を提供することで、代数的幾何における仮想基本類の構成を支援すること。

提案手法

• 加法的にファイバーされたカテゴリと相対的内在正規スタックを用いた、障害理論の新しい定義を導入する。
• 変形と障害データを関連付けるために、余接複体を中心的な道具として用いる。
• 平方ゼロのイデアルを用いた拡張に関して、障害群を関手的に定義する。
• 二重拡張と双対化の理論を適用し、ベクトルバンドルの複体を用いて障害理論を特徴付ける。
• 構造層への拡張のカテゴリへの Hom の構成を用いて、スタックとその双対の間の自然な双対性を確立する。
• 局所的に有限生成かつ準完全な障害理論が、Behrend–Fantechi の意味での完全な障害理論と同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 統一的かつ一般的な障害理論の定義は何か？ これは、既存の手法を統合するものでなければならない。
• RQ2 新しい定義は、Li–Tian と Behrend–Fantechi による完全な障害理論の定義とどのように関係するか？
• RQ3 どのような条件下で、新しい障害理論が Behrend–Fantechi の完全な障害理論を誘導するか？
• RQ4 新しい枠組みは、より自然な方法で仮想基本類の構成を支援できるか？
• RQ5 余接複体は、障害理論的データの精錬においてどのような役割を果たすか？

主な発見

• 提案された障害理論が、Behrend–Fantechi の意味での完全な障害理論と同値であるための必要十分条件は、局所的に有限生成かつ準完全であることである。
• 新しい定義は、Li–Tian と Behrend–Fantechi のフレームワークの間にあるが、変形理論的本質的内容を捉えつつ、後者のコホホロジー的正確性を保っている。
• 構造層による拡張のカテゴリへの Hom を用いた双対カテゴリの構成により、ベクトルバンドルスタックに対して自然な双対性が得られる。
• 本稿では、ベクトルバンドルスタックとその二重双対の間の自然な同値性を確立し、この文脈でセール双対性原理を一般化する。
• 障害群は平方ゼロ拡張に関して関手的に定義され、変形が存在するための必要十分条件は障害類が消えることである。
• この枠組みにより、障害理論的データを用いた仮想基本類の洗練された、内在的な導出が可能になる。