[論文レビュー] Model category structures arising from Drinfeld vector bundles

Sergio Estrada, Pedro A. Guil Asensio+2 more|ArXiv.org|Jun 29, 2009

Algebraic structures and combinatorial models参考文献 10被引用数 4

ひとこと要約

この論文は、半分分離的スキーム上の準連接層の有界でないチェーン複体のモノイダルモデルカテゴリ構造の一般的構成を提示する。これは、開アフィン部分にわたる加群の切断の整合的フィルトレーションを用いる。従来の平坦およびベクトル bundle モデル構造の拡張であり、直接極限に関する閉包性を仮定しない。また、一般には制限のない平坦 Mittag-Leffler 層は、このような構造を生じないことを証明する。

ABSTRACT

We present a general construction of model category structures on the category $\mathbb{C}(\mathfrak{Qco}(X))$ of unbounded chain complexes of quasi-coherent sheaves on a semi-separated scheme $X$. The construction is based on making compatible the filtrations of individual modules of sections at open affine subsets of $X$. It does not require closure under direct limits as previous methods. We apply it to describe the derived category $\mathbb D (\mathfrak{Qco}(X))$ via various model structures on $\mathbb{C}(\mathgrak{Qco}(X))$. As particular instances, we recover recent results on the flat model structure for quasi-coherent sheaves. Our approach also includes the case of (infinite-dimensional) vector bundles, and of restricted flat Mittag-Leffler quasi-coherent sheaves, as introduced by Drinfeld. Finally, we prove that the unrestricted case does not induce a model category structure as above in general.

研究の動機と目的

• 半分分離的スキーム上の準連接層の有界でないチェーン複体におけるモノイダルモデルカテゴリ構造の構成。
• 直接極限に関する閉包性を仮定しないで、既存の平坦およびベクトルバンドルモデル構造を一般化すること。
• 制限のない平坦 Mittag-Leffler 準連接層のクラスがモデル構造を誘導する条件の同定。
• さまざまな整合的モデル構造を用いた導来カテゴリの記述のための枠組みの確立。
• 制限のない平坦 Mittag-Leffler クラスが一般にはモデル構造を生じないことを証明すること。

提案手法

• 半分分離的スキーム $X$ の開アフィン部分集合における切断の整合的フィルトレーションを用いて、$\mathbb{C}(\mathfrak{Qco}(X))$ におけるモデル構造を構成する。
• コイリブレーションを、$\mathit{dg}\,\widetilde{\mathcal{C}}$ に値をとるココケルを持つモノモルフィズムとして定義し、ファイブレーションを、$\mathit{dg}\,\widetilde{\mathcal{C}^\perp}$ に値をとる核を持つエピモルフィズムとして定義する。適切なクラス $\mathcal{C}$ を用いる。
• 各開アフィン $v$ における切断のクラス $S_v$ がテンソル積について閉じており、$\mathscr{R}(v)$ 上の平坦加群から成ることを要請することでモノイダル性を保証する。
• 直接極限の閉包性に依存しない新しいフィルトレーション技術を用いることで、従来の方法よりも広範な適用可能性を実現する。
• この構成を用いて、平坦およびベクトルバンドルモデル構造の既知の結果を特別な場合として回復する。
• 無限次元の $\aleph_1$-自由群を用いたホモロジー的障害の議論により、制限のない平坦 Mittag-Leffler 層のクラスが一般にはモデル構造を生じないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 直接極限に関する閉包性を仮定しないで、$\mathbb{C}(\mathfrak{Qco}(X))$ におけるモデルカテゴリ構造を構成できるか？
• RQ2 Drinfeld ベクトルバンドルのクラスが、$\mathbb{C}(\mathfrak{Qco}(X))$ にモノイダルモデル構造を誘導する条件は何か？
• RQ3 制限のない平坦 Mittag-Leffler 準連接層のクラスは、アーベル構造と整合するモデルカテゴリ構造を備えるか？
• RQ4 導来カテゴリ $\mathbb{D}(\mathfrak{Qco}(X))$ 及びその準同型は、$\mathbb{C}(\mathfrak{Qco}(X))$ のさまざまなモデル構造とどのように関係するか？
• RQ5 制限のない平坦 Mittag-Leffler クラスがコボルダント生成モデル構造を誘導できない理由となるホモロジー的障害は何か？

主な発見

• 半分分離的スキームに対して、直接極限に関する閉包性を要請しないで、整合的フィルトレーションを用いた $\mathbb{C}(\mathfrak{Qco}(X))$ におけるモデルカテゴリ構造の一般的構成が確立された。
• この構成により、準コンパクトで半分分離的なスキームに対して、$\mathbb{C}(\mathfrak{Qco}(X))$ におけるモノイダル平坦モデル構造が特別な場合として回復された。
• $X$ が十分な無限次元ベクトルバンドルを備える場合、$X$ 上の無限次元ベクトルバンドルのクラスは、$\mathbb{C}(\mathfrak{Qco}(X))$ にモノイダルモデル構造を誘導する。
• 一般には、制限のない平坦 Mittag-Leffler 準連接層のクラスは、$\mathbb{C}(\mathfrak{Qco}(X))$ にモデルカテゴリ構造を誘導しない。
• $\mathrm{Mod}$-$\mathbb{Z}$ 内で、すべての $\aleph_1$-自由アーベル群のクラスは前被覆クラスを備えない。これは、コボルダント生成モデル構造を誘導できないことを示唆する。
• 無限大のランクを持つ $\aleph_1$-自由群 $G_{\mu^+}$ を構成した結果、$\mathrm{Hom}_{\mathbb{Z}}(G_{\mu^+}, B) = 0$ が成り立つことを示し、これは $\mathbb{Q}$ の $\mathcal{D}$-被覆の存在を矛盾させる。