[论文解读] The Popescu-Gabriel theorem for triangulated categories

Marco Porta|ArXiv.org|Jun 29, 2007

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

一句话总结

本文建立了三角范畴对 Popescu-Gabriel 定理的类比，证明了每个代数的、充分生成的三角范畴都与一个小 DG 范畴的导出范畴的局部化三角等价。该结果推广了 Keller 对紧生成范畴的定理，并通过 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.

研究动机与目标

• 将 Popescu-Gabriel 定理从 Grothendieck 阿贝尔范畴推广到三角范畴。
• 在三角范畴设定下，识别模范畴与局部化的适当类比。
• 证明代数的、充分生成的三角范畴恰好是小 DG 范畴的导出范畴的局部化。
• 回答 Drinfeld 关于所有充分生成范畴是否都源于 DG 模范畴局部化的问题。

提出的方法

• 使用 Neeman 和 Krause 定义的充分生成三角范畴的概念，其特征为满足特定小性与正合性条件的一组生成元。
• 从给定的充分生成代数三角范畴 $\mathcal{T}$ 构造一个小 DG 范畴 $\mathcal{A}$，使用一组生成元 $\mathcal{G}$。
• 将 $\alpha$-连续导出范畴 $\mathcal{D}_\alpha\mathcal{A}$ 定义为 $\mathcal{D}\mathcal{A}$ 的全子范畴，其对象满足 $\alpha$-小同调。
• 应用 Brown 表示性定理的推广以及三角等价性准则（定理 2.8），证明 $\mathcal{T}$ 与 $\mathcal{D}_\alpha\mathcal{A}$ 的某个局部化三角等价。
• 利用代数三角范畴与 Frobenius 范畴的稳定范畴三角等价的事实，将结构上移到 DG 范畴。
• 验证局部化函子诱导出一个全忠实嵌入，其Essential image在上积下封闭，从而得到所需的等价。

实验结果

研究问题

• RQ1 Popescu-Gabriel 定理能否从阿贝尔范畴推广到三角范畴？
• RQ2 在三角范畴设定下，模范畴的适当替代物是什么？
• RQ3 每个代数的、充分生成的三角范畴是否都是小 DG 范畴导出范畴的局部化？
• RQ4 在代数情形下，充分生成三角范畴的类是否与这类局部化完全一致？

主要发现

• 每个代数的、充分生成的三角范畴 $\mathcal{T}$ 都与一个小 DG 范畴 $\mathcal{A}$ 的导出范畴 $\mathcal{D}\mathcal{A}$ 的局部化三角等价，其中局部化取自由一组对象生成的局部化子范畴。
• 该等价通过一个小 DG 范畴 $\mathcal{A}$ 构造，其零阶上同调范畴 $H^0(\mathcal{A})$ 与 $\mathcal{T}$ 中生成 $\mathcal{T}$ 在上积下的一个小子范畴 $\mathcal{U}$ 三角等价。
• 对每个正则基数 $\alpha$，范畴 $\operatorname{sk}(\mathcal{T}^\beta)$（由 $\mathcal{T}^\beta$ 的同构类代表构成）对所有 $\beta \geq \alpha$ 是紧致化子范畴，意味着其到 $\mathcal{D}\widetilde{\mathcal{G}}$ 的关联函子是全忠实的。
• 该结果恢复了 Keller 的定理：紧生成的代数三角范畴与小 DG 范畴的导出范畴等价。
• 该构造提供了一种规范方式，将此类范畴实现为局部化，将阿贝尔情形的推广扩展到了三角世界。
• 该定理确立了充分生成的代数三角范畴恰好是导出 DG 范畴局部化的那些范畴，从而在该语境下肯定地回答了 Drinfeld 的问题。