[論文レビュー] Products, Homotopy Limits and Applications

Amit Hogadi, Chenyang Xu|ArXiv.org|Feb 23, 2009

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

ひとこと要約

この論文は、高次の導来ファンクターの積に対する消失条件（AB4*-n）とホモトピー極限技術を用いて、デリーニ＝ムーディー スタック上の準連接層の導来カテゴリが、カルテジアンな準連接層の導来カテゴリと同値である条件を確立する。主な結果は、対角的準同型がアフィンで、QC(X) が AB4*-n を満たすとき、導来カテゴリ間の自然なファンクターが同値であるということである。

ABSTRACT

In this note, we discuss the derived functors of infinite products and homotopy limits. $QC(X)$, the category of quasi-coherent sheaves on a Deligne-Mumford stack $X$, usually has the property that the derived functors of product vanish after a finite stage. We use this fact to study the convergence of certain homotopy limits and apply it compare the derived category of $QC(X)$ with certain other closely related triangulated categories.

研究の動機と目的

• デリーニ＝ムーディー スタック上の準連接層の導来カテゴリが、カルテジアンなモジュールの導来カテゴリと同値である条件を確立すること。
• AB4* 圈を超えて、非有界導来圏におけるホモトピー極限の応用を拡張するために、AB4*-n 条件を導入すること。
• 強いセール部分カテゴリの概念を定義し、それを用いて層とモジュールの導来カテゴリを比較すること。
• 代数的スタックの対角がアフィンで、QC(X) が AB4*-n を満たすとき、導来カテゴリ D(X)、D_qc(O_X)、および D^cart_qc(O_X) が同値であることを証明すること。
• 適切な有限性条件およびモジュライ空間条件の下で、デリーニ＝ムーディー スタックの導来カテゴリのコンパクト生成性を提供する枠組みを構築すること。

提案手法

• AB4*-n 条件を導入：i > n のとき、積のi番目の導来ファンクターが消失する。これは AB4* を一般化する。
• AB4*-n が成り立つとき、非有界複体を有下界複体に還元するために、ホモトピー極限構成 N → hlim N≥−i を適用する。
• 強いセール部分カテゴリを、拡張、核、余核について閉じており、包含関手に右随伴を持つ全部分カテゴリとして定義する。
• K-インジェクティブ分解の存在と、導来ファンクター RF: D(C) → D_C(M) を用いて、部分圏と周囲の圏の導来カテゴリを比較する。
• 比較定理を適用：F: C → M が右随伴を持つ強いセール部分カテゴリであり、両圏が AB4*-n を満たすならば、RF: D(C) → D_C(M) は同値である。
• Leray のスペクトル系列とコhomological な消失を用いて、アフィン対角条件の必要性を示す反例を構成する。

実験結果

リサーチクエスチョン

• RQ1 デリーニ＝ムーディー スタック X に対して、導来カテゴリ D(X) がカルテジアンな準連接層の導来カテゴリと同値であるための条件は何か？
• RQ2 AB4* が成り立たないとき、ホモトピー極限の構成 N → hlim N≥−i を用いて、非有界複体に関する問いを有下界複体に還元できるか？
• RQ3 AB4*-n 条件は、QC(X) における無限積の導来ファンクターを制御するために果たす役割は何か？
• RQ4 なぜアフィン対角条件が導来カテゴリの同値性に必要であり、それが欠落した場合に何が失敗するのか？
• RQ5 強いセール部分カテゴリの概念は、代数的スタックの文脈で導来カテゴリの比較をどのように支援するのか？

主な発見

• ノエータリアン スキーム上の有限型で分離されたデリーニ＝ムーディー スタック X で、スキーム的な粗いモジュライ空間と、スキームからの有限エタール被覆を持つものについて、QC(X) はある n ≥ 0 に対して AB4*-n を満たす。
• QC(X) が AB4*-n を満たすとき、自然な写像 N → hlim N≥−i は D(QC(X)) 内で準同型写像となる。これにより、有下界複体への還元が可能になる。
• 対角的準同型 Δ_X/ℤ がアフィンで、QC(X) が AB4*-n を満たすとき、自然な同値により D(X) ≅ D_qc(O_X) ≅ D^cart_qc(O_X) が成り立つ。
• 比較定理により、F: C → M が右随伴を持つ強いセール部分カテゴリであり、両圏が AB4*-n を満たすならば、導来ファンクター RF: D(C) → D_C(M) は同値である。
• 正の次元のアーベル多様体 A による商スタック [Spec(k)/A] の例は、アフィン対角条件の必要性を示している：Ext^2_M(O_X,O_X) ≠ 0 であるが、Ext^2_C(O_X,O_X) = 0 であるため、C は M の強いセール部分カテゴリではない。
• 本論文は、提示された条件下で、デリーニ＝ムーディー スタックの導来カテゴリがコンパクト生成されることを確認しており、アマルエンドゥ・クリシュナの予想を支持する。