[论文解读] Differential Graded Categories are k-linear Stable Infinity Categories

Lee Cohn|arXiv (Cornell University)|Aug 12, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 33

一句话总结

本文证明了小 k-线性微分分次（dg）范畴的 Morita 模型范畴所对应的 ∞-范畴，等价于小的、幂等完备的、k-线性稳定 ∞-范畴的 ∞-范畴。通过 dg 范畴在 k 上与 Hk-模谱上的谱范畴之间的 Quillen 等价性，作者利用 enriched Dold-Kan 对应关系和 ∞-范畴工具，证明了 dg 从范畴的同伦理论与 k-线性稳定 ∞-范畴的同伦理论完全一致，从而解决了长期存在的民间猜想。

ABSTRACT

We describe a comparison between pretriangulated differential graded categories and certain stable infinity categories. Specifically, we use a model category structure on differential graded categories over k (a field of characteristic 0) where the weak equivalences are the Morita equivalences, and where the fibrant objects are in particular pretriangulated differential graded categories. We show the underlying infinity category of this model category is equivalent to the infinity category of k-linear stable infinity categories.

研究动机与目标

• 建立预三角 dg 从范畴与稳定 ∞-范畴之间的精确同伦等价。
• 解决一个基础性问题：dg 从范畴上的逐点张量积不保持纤维性，从而无法构成张量模型结构。
• 证明在交换环 k 上的 dg 从范畴的 Morita 模型范畴所对应的 ∞-范畴，等价于小的、幂等完备的、k-线性稳定 ∞-范畴的 ∞-范畴。
• 通过 Ind-构造将该等价关系推广至大而可生成的 k-线性稳定 ∞-范畴。
• 为在 ∞-范畴框架下将 dg 从范畴解释为三角范畴的同伦提升提供严格的理论基础。

提出的方法

• 使用 k 上 dg 从范畴的模型范畴与 Hk-模谱上增强的谱范畴的模型范畴之间的 Quillen 等价性。
• 应用 enriched Dold-Kan 对应关系，将链复形（dg 从范畴）与单纯谱（谱范畴）联系起来。
• 在 ∞-范畴框架内工作，利用 ∞-范畴版本的 Barr-Beck-Lurie 定理分析模范畴。
• 通过 Ind-构造在小的、幂等完备的、k-线性稳定 ∞-范畴的 ∞-范畴上构造一个对称张量结构。
• 利用 Perf(Hk) 等价于完美 Hk-模的 ∞-范畴这一事实，并利用它在 ∞-范畴设定中建模 k-线性结构。
• 利用 ∞-范畴张量积与模范畴的 ∞-范畴通用性质，将 k-线性稳定 ∞-范畴的 ∞-范畴识别为 Perf(Hk)-模范畴。

实验结果

研究问题

• RQ1 是否存在一个自然的 ∞-范畴提升，使得预三角 dg 从范畴的同伦结构得以完整捕捉？
• RQ2 能否证明 dg 从范畴上的 Morita 模型结构确实呈现了 k-线性稳定 ∞-范畴的 ∞-范畴？
• RQ3 逐点张量积不保持纤维性，这一失败如何影响 dg 从范畴与 ∞-范畴之间的比较？
• RQ4 谱范畴能否作为桥梁，将 dg 从范畴的结构转移到 ∞-范畴世界？
• RQ5 Ind-构造是否能将等价关系从紧生成范畴扩展至所有可生成的 k-线性稳定 ∞-范畴？

主要发现

• 在交换环 k 上的小 dg 从范畴的 Morita 模型范畴所对应的 ∞-范畴，等价于小的、幂等完备的、k-线性稳定 ∞-范畴的 ∞-范畴。
• 该等价性通过 k 上 dg 从范畴与 Hk-模谱上增强的谱范畴之间的 Quillen 等价性建立。
• k-线性稳定 ∞-范畴的 ∞-范畴被识别为小的、幂等完备的稳定 ∞-范畴的对称张量 ∞-范畴中 Perf(Hk)-模的 ∞-范畴。
• Ind-构造在紧生成的可生成 k-线性稳定 ∞-范畴的 ∞-范畴与可生成稳定 ∞-范畴的 ∞-范畴中 Hk-模范畴之间诱导出一个等价关系。
• 该结果证实了民间猜想：dg 从范畴为 k-线性稳定 ∞-范畴提供了模型，解决了导出代数几何与非交换几何中的基础性问题。
• 本文表明，通过平坦谱范畴可对 dg 从范畴的张量积进行导出，从而规避了逐点张量积不保持纤维性的问题。