[论文解读] Lectures on infinity categories

Vladimir Hinich|arXiv (Cornell University)|Sep 19, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 4

一句话总结

本文提供了一套与模型无关的$(\infty,1)$-范畴介绍，强调其在现代同伦论、导出代数几何和表示论中的基础语言作用。通过共Cartesian纤维化和普遍性质来呈现无穷范畴，避免依赖于特定模型，并展示了其在构造导出范畴、自同态对象以及单体范畴极限方面的实用性。

ABSTRACT

These are lecture notes of the course in infinity categories given in the fall 2016 at Weizmann Institute.

研究动机与目标

• 为不熟悉特定模型技术细节的研究者提供一个自包含的、与模型无关的$(\infty,1)$-范畴介绍。
• 通过强调经典导出范畴和三角范畴在同调代数中的局限性，说明引入无穷范畴的必要性。
• 确立无穷范畴在代数拓扑、导出代数几何和因子化同调中的基础性作用。
• 通过普遍性质而非特定模型的工具，展示关键构造——如自同态对象、单体结构和范畴极限——的实现方式。
• 说明无穷范畴如何通过编码更高阶同伦信息，解决导出函子和局部化中的歧义性。

提出的方法

• 使用$\Delta^{\mathrm{op}}$上的共Cartesian纤维化来建模$(\infty,1)$-范畴及其单体结构。
• 通过模型范畴的局部化来定义无穷范畴，特别是通过Dwyer-Kan局部化和纤维化替换。
• 应用普遍性质来构造单体子范畴和张量函子，例如$\mathtt{Cat}^{L,\otimes} \subset \mathtt{Cat}^{\otimes}$。
• 通过通用构造$\mathcal{C}[A]$引入自同态对象，该构造对代数对象在给定对象$A$上的作用进行分类。
• 将单体范畴的极限（如概形上的拟相干层）构造为$\mathtt{Alg}(\mathcal{C})$中的极限，同时保持单体结构。
• 证明单体模型范畴的底层$\infty$-范畴可通过局部化获得一个普遍的张量函子结构。

实验结果

研究问题

• RQ1 如何在不依赖于特定模型（如单纯范畴或完全Segal空间）的前提下定义和研究$(\infty,1)$-范畴？
• RQ2 共Cartesian纤维化在无穷范畴中编码单体结构和代数结构方面起到什么作用？
• RQ3 无穷范畴中的普遍性质如何解决经典导出范畴和三角范畴中固有的歧义性问题？
• RQ4 无穷范畴中的自同态对象在何种意义上推广了表示论中经典的自同态代数？
• RQ5 如何构造单体范畴的极限，并将其用于定义几何对象（如导出栈上的拟相干层）？

主要发现

• 单体模型范畴$\mathcal{C}$的底层$\infty$-范畴$L(\mathcal{C})$通过普遍性质继承单体结构，使其成为相对于弱等价关系的普遍张量函子局部化。
• $\mathtt{Cat}^{L,\otimes}$——即具有上极限和保持上极限的函子的可表示范畴——构成$\mathtt{Cat}^{\otimes}$的单体子范畴，且对共Cartesian提升是封闭的。
• 在$\mathcal{C}$-线性范畴中，自同态对象作为$\mathcal{C}[A]$中的终对象被构造，当$\mathcal{C} = \Pr^L$且$A$为左$R$-模范畴时，其结果即为$R$-双模范畴。
• $\mathtt{Alg}(\mathcal{C})$中单体范畴的极限保持单体结构，从而使得概形上的拟相干层可被定义为仿射开集上的极限。
• 通过局部化构造导出范畴会破坏更高阶同伦数据，正如$\Pi_1(X)$会遗忘更高阶同伦群一样——这凸显了无穷范畴的必要性。
• 无穷范畴通过编码更高阶态射及其复合，实现了对同伦极限与上极限的一致处理，避免了经典三角范畴的缺陷。