[论文解读] Stable Infinity Categories

Jacob Lurie|arXiv (Cornell University)|Aug 9, 2006

Algebraic structures and combinatorial models参考文献 36被引用 28

一句话总结

本文建立了稳定 ∞-范畴的基础理论，将它们引入为通过同时编码同伦与可加结构来推广导出范畴的 ∞-范畴。证明了稳定 ∞-范畴的同伦范畴是三角范畴，刻画了其间的精确函子，并表明谱的 ∞-范畴由球面谱自由生成，从而为导出代数与同伦代数提供了普遍框架。

ABSTRACT

This paper is an expository account of the theory of stable infinity categories. We prove that the homotopy category of a stable infinity category is triangulated, and that the collection of stable infinity categories is closed under a variety of constructions. We also explain how to construct the derived category of an abelian category (with enough projective objects) as the homotopy category of a suitable stable infinity category; moreover, we characterize this stable infinity category by a universal mapping property.

研究动机与目标

• 将稳定 ∞-范畴形式化为一种高阶范畴框架，以捕捉导出范畴的同伦与可加特征。
• 证明稳定 ∞-范畴的同伦范畴是三角范畴，从而恢复经典导出范畴结构。
• 将稳定 ∞-范畴之间的精确函子定义为保持有限上积的函子，并证明此类函子的 ∞-范畴在极限与过滤上积下封闭。
• 将谱的 ∞-范畴构造为有限谱的 Ind-范畴，并证明其对由单个对象生成的稳定 ∞-范畴具有普遍性。
• 证明 ∞-范畴版本的 Dold-Kan 对应关系，将滤过对象与稳定 ∞-范畴中带有 t-结构的谱序列及链复形联系起来。

提出的方法

• 将稳定 ∞-范畴定义为具有有限极限与上积的 ∞-范畴，其中沿映射的上积正方形等价于下积正方形（即‘稳定性’条件）。
• 利用上积与下积正方形的等价性，证明稳定 ∞-范畴的同伦范畴是三角范畴。
• 将稳定 ∞-范畴之间的精确函子刻画为保持有限上积（或等价地，有限极限）的函子，并证明此类函子的 ∞-范畴在极限与过滤上积下封闭。
• 通过同伦 excision 定理，将谱的 ∞-范畴构造为有限谱的 Ind-范畴，从而确立其稳定性。
• 通过在稳定 ∞-范畴中用滤过对象替代链复形，建立 ∞-范畴版本的 Dold-Kan 对应关系，并证明滤过对象可导出谱序列。
• 使用余稠密性论证与 ∞-范畴上的上积技术（例如通过 ∞-范畴中的图与平凡纤维化）证明普遍映射性质，特别是导出 ∞-范畴的性质。

实验结果

研究问题

• RQ1 如何利用 ∞-范畴公理化导出范畴的同伦与可加结构？
• RQ2 稳定 ∞-范畴的同伦范畴上的 t-结构与 ∞-范畴本身的局部化之间存在何种精确关系？
• RQ3 谱的 ∞-范畴能否从有限谱普遍构造？它满足何种普遍性质？
• RQ4 经典 Dold-Kan 对应关系的 ∞-范畴类比是什么？它与谱序列有何关联？
• RQ5 在适当的集合论假设下（例如 κ-紧生成），能否在稳定 ∞-范畴中由任意对象集合生成 t-结构？

主要发现

• 任何稳定 ∞-范畴的同伦范畴都是三角范畴，为导出范畴的三角结构提供了高阶范畴论依据。
• 稳定 ∞-范畴之间的精确函子保持有限上积，且此类函子的 ∞-范畴在 ∞-范畴范畴中对极限与过滤上积封闭。
• 谱的 ∞-范畴被构造为有限谱的 Ind-范畴，其稳定性由关于 Ind-对象的一般结果所保证。
• 谱的 ∞-范畴作为稳定 ∞-范畴，由球面谱在上积下自由生成，使其成为具有单个生成元的稳定 ∞-范畴的普遍对象。
• 建立了 ∞-范畴版本的 Dold-Kan 对应关系：带有 t-结构的稳定 ∞-范畴中的滤过对象可导出谱序列，且单形对象通过普遍性质与滤过对象对应。
• 在适当的集合论假设下（如 κ-紧生成），可在稳定 ∞-范畴中由任意对象集合生成 t-结构，从而推广了经典结果。