[論文レビュー] Deformation-obstruction theory for complexes via Atiyah and Kodaira--Spencer classes

Daniel Huybrechts, Richard Thomas|arXiv (Cornell University)|May 22, 2008

Algebraic Geometry and Number Theory参考文献 12被引用数 10

ひとこと要約

この論文は、滑らかで射影的ファイバーの上で、切断されたアティヤ類およびコイダラ–スペンサークラスを用いて、完全複体の普遍的な変形・障害理論を確立する。変形の障害クラスがこれらのクラスの積であることを証明し、3次元多様体上の単純複体のモジュライ空間に変形不変な仮想サイクルを構成することを可能にする。

ABSTRACT

We give a universal approach to the deformation-obstruction theory of objects of the derived category of coherent sheaves over a smooth projective family. We recover and generalise the obstruction class of Lowen and Lieblich, and prove that it is a product of Atiyah and Kodaira--Spencer classes. This allows us to obtain deformation-invariant virtual cycles on moduli spaces of objects of the derived category on threefolds.

研究の動機と目的

• 滑らかで射影的ファイバー上の連接層の導来カテゴリの対象の変形理論の普遍的枠組みを提供すること。
• ローイェンおよびリーブリッヒの既存の障害理論を一般化・統一することにより、障害をアティヤ類およびコイダラ–スペンサークラスの積として特定すること。
• 3次元多様体上の単純複体のモジュライ空間に変形不変な仮想サイクルを構成することにより、数え上げ幾何学の基礎的作業を完了すること。
• 滑らかな埋め込みに依存しないようにすることを示し、切断された余接複体を用いて普遍的な障害理論を構築すること。
• 滑らかな環境空間への埋め込みに基づく古典的変形理論を、埋め込みに基づく初等的で明示的な構成を用いて導来カテゴリへと拡張すること。

提案手法

• 滑らかな環境空間 $ A $ への埋め込み $ X \subset A $ を用いて、$ X $ 上の完全複体 $ E $ に対して、切断された余接複体 $ \mathbb{L}_X = (J/J^2 \to \Omega_A|_X) $ を用いて、$ A(E) \in \operatorname{Ext}^1_X(E, E \otimes \mathbb{L}_X) $ として切断されたアティヤ類を定義する。
• 理想 $ I $ を持つ平方ゼロの厚化 $ X_0 \subset X $ に対して、$ \kappa(X_0/X) \in \operatorname{Ext}^1_{X_0}(\mathbb{L}_{X_0}, I) $ として、切断されたコイダラ–スペンサークラスを導入する。
• 完全複体 $ E_0 $ を $ X_0 $ 上で変形できるかどうかの障害が、$ \operatorname{Ext}^2_{X_0}(E_0, E_0 \otimes I) $ に値をとるヤネダ積 $ A(E_0) \cup \kappa(X_0/X) $ で与えられることを証明する。
• アフィン基底上での Leray 譜の収束を用いて、ハイパーセミコホモロジー群を標準的な Ext 群と同一視し、障害が $ \operatorname{Ext}^2 $ に確かに属することを保証する。
• 滑らかな埋め込みを超えて理論を拡張するため、イリューズの完全な余接複体 $ L^\bullet_{{\cal M}/B} $ を用い、その後 $ \tau^{\geq -1} $ に切断することで、同じ障害写像が得られることを示す。
• グローバルなモジュライ空間が滑らかに埋め込めない場合でも、モジュライ空間のアフィン開部分集合上で障害理論が有効であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 複体の変形理論における障害クラスは、アティヤ類およびコイダラ–スペンサークラスの観点から普遍的にどのように表現できるか？
• RQ2 平方ゼロの厚化上での完全複体の変形障害は、アティヤ類およびコイダラ–スペンサークラスの積として特定できるか？
• RQ3 どのような条件下で、障害理論が3次元多様体上の複体のモジュライ空間に変形不変な仮想サイクルをもたらすか？
• RQ4 モジュライ空間が滑らかな環境空間に滑らかに埋め込めない場合でも、障害理論を構築することは可能か？
• RQ5 切断された複体、アティヤ類、コイダラ–スペンサークラスは、イリューズの完全な導来的構成とどのように関係するか？

主な発見

• 平方ゼロの厚化 $ X_0 \subset X $ 上で完全複体 $ E_0 $ を変形できるかどうかの障害クラスは、$ \operatorname{Ext}^2_{X_0}(E_0, E_0 \otimes I) $ に値をとる、切断されたアティヤ類 $ A(E_0) $ とコイダラ–スペンサークラス $ \kappa(X_0/X) $ のヤネダ積で与えられる。
• この障害クラスはローイェンおよびリーブリッヒの障害クラスを回復・一般化し、それが実際にアティヤ類とコイダラ–スペンサークラスの積であることを確認する。
• モジュライ空間 $ \mathcal{M} $ が滑らかに埋め込めない場合でも、完全な余接複体を用いて $ \tau^{\geq -1} $ に切断することで、障害理論が有効である。
• この構成により、滑らかな3次元多様体上の単純複体のモジュライ空間に変形不変な仮想サイクルが得られ、数え上げ幾何学への応用に必要な条件を満たす。
• 障害理論は、モジュライ空間のアフィン開部分集合へ正しく制限され、理論が局所的であり、一般の状況に適用可能であることを保証する。
• 切断された複体の使用により、dg や単体的解体の必要がなくなり、枠組みが初等的かつ計算的に扱いやすくなる。