[論文レビュー] Derived Quot schemes

Ionuţ Ciocan-Fontanine, Mikhail Kapranov|ArXiv.org|May 27, 1999

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

ひとこと要約

この論文は、滑らかな射影的多様体 X 上の両立可能層 F の部分層をパラメトライズする微分幾何的多様体として、グロテンディークの Quot 構成の導来版である RQuot_h(F) を導入する。この構成は、RHom(K, F/K) に quasiisomorphic なコチェーン複体を用いて変形理論を符号化することで、古典的 Quot 構成に内在する特異点を解消し、ホモトピー的意味での常に滑らかになる導来対象を保証する。

ABSTRACT

Realizing a part of the Derived Deformation Theory program, we construct a "derived" analog of the Grothendieck's Quot scheme parametrizing subsheaves in a given coherent sheaf F on a smooth projective variety X. This analog is a differential graded manifold RQuot_h(F) (so it is always smooth in an appropriate sense) whose tangent space at a point represented by a subsheaf K in F, is a cochain complex quasiisomorphic to RHom(K, F/K).

研究の動機と目的

• 古典的 Quot 構成の導来強化を構築し、その特異点を解消すること。
• 導来変形理論プログラムの重要な要素を実現するため、ホモトピー的に整合性のあるモジュライ空間を構築すること。
• 滑らかな射影的多様体 X 上の両立可能層 F の部分層のモジュライに、滑らかで微分幾何的多様体構造を与えること。
• 各点における接複体が RHom(K, F/K) に quasiisomorphic であることを保証し、正しい導来変形理論を捉えること。
• 古典的 Quot 構成を、適切なホモトピー的意味で常に滑らかになる導来幾何的対象へ一般化すること。

提案手法

• 古典的 Quot 構成の導来強化として、微分幾何的多様体 RQuot_h(F) を構築する。
• 点 K ⊂ F に対応する接複体として、導来 Hom 複体 RHom(K, F/K) を用いる。
• 各点における接空間が RHom(K, F/K) に quasiisomorphic であることを保証し、導来変形データを符号化する。
• dg-多様体を用いて特異な古典的モジュライ空間を置き換える導来代数幾何の枠組みで作業する。
• 導来変形理論の技術を適用し、得られる対象が導来圏において滑らかで良好に振る舞うことを保証する。
• 導来スタックおよび導来スキーム上の準連接層の形式的枠組みを用いて、モジュライ問題を定義する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてホモトピー的意味で滑らかになる導来 Quot 構成を構築できるか？
• RQ2 両立可能層 F の部分層のモジュライに対して、正しい導来接複体は何か？
• RQ3 古典的 Quot 構成は、導来変形理論を捉える微分幾何的多様体に置き換え可能か？
• RQ4 導来 Quot 構成と古典的 Quot 構成との間には、モジュライ的および幾何的観点でどのような関係があるか？
• RQ5 RHom(K, F/K) は、Quot 構成の導来構造を定義する上で果たす役割は何か？

主な発見

• 導来 Quot 構成 RQuot_h(F) は微分幾何的多様体として構成され、導来的意味で常に滑らかであることが保証される。
• 部分層 K ⊂ F に対応する点における接複体は RHom(K, F/K) に quasiisomorphic であり、正しい導来変形データが符号化されている。
• この構成は、導来変形理論プログラムの重要な目標を達成し、部分層の導来モジュライ空間を提供する。
• dg 構造のおかげで、古典的 Quot 構成に内在する特異点が導来 Quot 構成によって解消される。
• RQuot_h(F) は、X の両立可能層の導来圏のための明確で滑らかなモジュライ空間を提供する。
• この手法は、RHom 複体を接データとして用いることで、導来モジュライ空間を構築するためのフレームワークを確立する。