[論文レビュー] The Popescu-Gabriel theorem for triangulated categories

Marco Porta|ArXiv.org|Jun 29, 2007

Algebraic structures and combinatorial models参考文献 17被引用数 8

ひとこと要約

この論文は、ポーペスク＝ガブリエルの定理の三角系列圏版を確立し、任意の代数的でよく生成された三角系列圏が、小さなDGカテゴリの導来圏の局所化と三角同値であることを証明している。この結果は、コンパクトに生成された圏に対してケラーの定理を一般化し、DGカテゴリと局所化を用いた構造的特徴づけを提供する。

ABSTRACT

The Popescu-Gabriel theorem states that each Grothendieck abelian category is a localization of a module category. In this paper, we prove an analogue where Grothendieck abelian categories are replaced by triangulated categories which are well generated (in the sense of Neeman) and algebraic (in the sense of Keller). The role of module categories is played by derived categories of small differential graded categories. An analogous result for topological triangulated categories has recently been obtained by A. Heider.

研究の動機と目的

• グロテンディークのアーベル圏から三角系列圏へのポーペスク＝ガブリエルの定理の拡張。
• 三角系列の文脈におけるモジュール圏と局所化の適切な類似物の同定。
• 代数的でよく生成された三角系列圏が、小さなDGカテゴリの導来圏の局所化であることを示すこと。
• ドリンフェルドの問いに答え、すべてのよく生成された圏がDGモジュール圏の局所化として生じるかどうかを検証すること。

提案手法

• ニーマンとクラウーゼが定義する「よく生成された三角系列圏」の概念を用い、生成元の集合が特定のスモールネスおよび正確性条件を満たすことを特徴づける。
• 与えられたよく生成された代数的三角系列圏 $\mathcal{T}$ から、生成元の集合 $\mathcal{G}$ を用いて小さなDGカテゴリ $\mathcal{A}$ を構成する。
• $\alpha$-連続的導来圏 $\mathcal{D}_\alpha\mathcal{A}$ を、$\mathcal{D}\mathcal{A}$ の部分カテゴリとして定義し、そのホモロジーが $\alpha$-スモールである複体からなる。
• ブラウンの代表可能性定理の一般化と三角同値性の基準（定理2.8）を適用し、$\mathcal{T}$ が $\mathcal{D}_\alpha\mathcal{A}$ の局所化と三角同値であることを示す。
• 代数的三角系列圏がフレーベルス圏の安定圏と三角同値であるという事実を用い、構造をDGカテゴリへと持ち上げる。
• 局所化関手が完全忠実埋め込みを誘導し、その本質的像がコロイミットに関して閉じていることを確認し、望ましい同値性に至る。

実験結果

リサーチクエスチョン

• RQ1 アーベル圏から三角系列圏へのポーペスク＝ガブリエルの定理の拡張は可能か？
• RQ2 三角系列の文脈におけるモジュール圏の適切な置き換えは何であるか？
• RQ3 すべての代数的でよく生成された三角系列圏は、小さなDGカテゴリの導来圏の局所化であるか？
• RQ4 代数的状況下で、よく生成された三角系列圏のクラスは、このような局所化と一致するか？

主な発見

• 任意の代数的でよく生成された三角系列圏 $\mathcal{T}$ は、小さなDGカテゴリ $\mathcal{A}$ の導来圏 $\mathcal{D}\mathcal{A}$ の局所化と三角同値であり、局所化は生成元の集合によって生成される局所化部分圏におけるものである。
• 同値性は、$\mathcal{T}$ がコロイミットに関して生成される小さな部分圏 $\mathcal{U}$ と同値である $H^0(\mathcal{A})$ を持つ小さなDGカテゴリ $\mathcal{A}$ を通じて構成される。
• 各正則基数 $\alpha$ に対して、$\mathcal{T}^\beta$ の同型類の代表元からなる $\operatorname{sk}(\mathcal{T}^\beta)$ の部分圏は、すべての $\beta \geq \alpha$ に対してコンパクト化可能であり、$\mathcal{D}\widetilde{\mathcal{G}}$ への関手が完全忠実であることを意味する。
• この結果はケラーの定理を回復する：コンパクトに生成された代数的三角系列圏は、小さなDGカテゴリの導来圏と同値である。
• この構成は、アーベルの場合を三角系列の世界へ一般化した、このような圏を局所化として実現する標準的な方法を提供する。
• この定理は、よく生成された代数的三角系列圏が、まさに導来DGカテゴリの局所化として生じるものに限られることを確立し、ドリンフェルドの問いに肯定的に答えている。