[論文レビュー] Exact model categories, approximation theory, and cohomology of quasi-coherent sheaves

Jan Šťovíček|arXiv (Cornell University)|Jan 22, 2013

Algebraic structures and combinatorial models参考文献 47被引用数 43

ひとこと要約

本稿は、グロテンディーク型の完全な遺伝的コトルーション対を用いることで、スキーム上の準連接層の導来圏における遺伝的モノイダルモデル構造を構築するフレームワークを確立する。近似理論およびクィレンの小さな対象の作用を、正確なカテゴリに一般化し、テンソル積と整合する、ファイブレーション生成のモノイダルモデル構造の構成を可能にする。主な結果として、準コンパクトかつ分離されたスキーム上の平坦層および局所的射影的層についての結果が得られる。

ABSTRACT

Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close connection of this theory to approximation theory and cotorsion pairs. We also discuss the motivating applications with the emphasis on constructing monoidal model structures for the derived category of quasi-coherent sheaves of modules over a scheme.

研究の動機と目的

• 正確かつ対称的モノイダルな正確カテゴリにおける整合性のあるモデル構造を体系的に構築するためのフレームワークを開発すること。
• 近似理論およびコトルーション対の技法を、グロテンディーク型の正確カテゴリに一般化し、クィレンの小さな対象の作用の適用を可能にすること。
• スキーム上の準連接層の導来圏に、テンソル積と整合するモノイダルモデル構造を提供すること。
• モデル論的およびホモロジー代数的ツールを用いて、既存の準連接層の導来圏に関する結果を統合・拡張すること。
• ゴレンシュタインホモロジー代数、グロテンディーク双対性、特異性カテゴリへの応用の基盤を、モデル構造を用いて築くこと。

提案手法

• モデル構造の構築のための核心的代数的入力として、完全な遺伝的コトルーション対 (Flat-R, Cot-R) および (Vect-R, Vect-R⊥) を用いる。
• 定理 7.16 を適用して、正確カテゴリにおける完全なコトルーション対から遺伝的モデル構造を生成する。
• 小さな対象の作用および再構成可能性技術を用いて、ファイブレーション的およびファイブレーション的置換を構成する。
• エノシュおよびエステラダによる、準連接層をポセット上の環の加群として表現する手法を用い、グロテンディークカテゴリの構造を分析する。
• 随伴関手 F∗ および F∗ を用いて、ストークからグローバルな層への分解の持ち上げを行い、Čech分解および適切な平坦分解を構成する。
• テンソル積ととの正確性を確認することでモノイダル性を検証し、対称モノイダル構造と整合することを保証する。

実験結果

リサーチクエスチョン

• RQ1 一般のスキーム上の準連接層の導来圏に、テンソル積と整合するモノイダルモデル構造を構築できるか？
• RQ2 近似理論およびコトルーション対の技法を、モジュールカテゴリからグロテンディーク型の正確カテゴリへどのように拡張できるか？
• RQ3 小さな対象の作用が、正確カテゴリにおいて完全なコトルーション対を生成するために適用可能な条件は何か？
• RQ4 平坦層、ベクトル束、およびそれらから得られる導来圏におけるモデル構造との正確な関係は何か？
• RQ5 この理論を、モデル論的手法を用いて特異性カテゴリおよびdgカテゴリへ一般化できるか？

主な発見

• 任意の有限上半ラティス I の連続な平坦表現 R に対して、C(Qcoh(R)) に遺伝的モノイダルモデル構造が存在し、ファイブレーション的対象は平坦 R-加群から構成されるフィルター付き複体の再帰的部分に限る。
• Qcoh(R) ≅ Qcoh(X) が成り立つ、アフィンスキーム上の準射影的スキーム X に対して、第二の遺伝的モノイダルモデル構造が存在し、ファイブレーション的対象は局所的射影的 R-加群から構成される。
• 両モデル構造における自明対象のクラスは、Cac(Qcoh(R)) である。これは、準同型複体の正確カテゴリである。
• ファイブレーション的対象は、それぞれ平坦または局所的射影的加群のクラスに対する直交補空間として、表記 7.6 の構成により特徴づけられる。
• 両モデル構造のホモトピー圏は、D(Qcoh(R)) に同値である。これは、準連接層の有界でない導来圏である。
• モデル構造はファイブレーション生成であり、生成集合は平坦または局所的射影的加群のシフトからなる。