[论文解读] On Infinity Topoi

Jacob Lurie|arXiv (Cornell University)|Jun 5, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用 8

一句话总结

本文引入了无穷拓扑（infinity topoi）作为格罗滕迪克拓扑（Grothendieck topoi）的无穷范畴化推广，建立了内在定义与外在定义等价的无穷范畴版吉拉尔德定理（Giraud's theorem）的无穷范畴类比。该研究在高阶范畴理论中确立了基础性等价关系，并将无穷拓扑与同伦理论及维数理论相联系。

ABSTRACT

In this paper we investigate an infinitely categorical analogue of the theory of Grothendieck topoi. In particular, we define infinity topoi and prove an analogue of Giraud's theorem, expressing the equivalence of ``intrinsic'' and ``extrinsic'' definitions. We also discuss the relationship between the theory of infinity topoi and classical topics in homotopy theory and dimension theory.

研究动机与目标

• 开发一个与格罗滕迪克理论相类似的无穷范畴化拓扑理论框架。
• 通过内在与外在定义的刻画，建立无穷拓扑的表征，推广吉拉尔德定理。
• 探索无穷拓扑与经典同伦理论之间的联系。
• 研究无穷拓扑在维数理论背景下的结构性与基础性特征。

提出的方法

• 使用高阶范畴理论与∞-范畴（infty-categories）形式化无穷拓扑。
• 通过范畴等价性，将吉拉尔德定理推广至∞-范畴设定。
• 在∞-拓扑中运用下降（descent）与局部化（localization）技术，推导其结构性质。
• 利用模型结构（model structures）与奎伦等价性（Quillen equivalences）将无穷拓扑与经典拓扑相联系。
• 通过高阶拓扑理论的视角分析维数理论性质。
• 建立范畴构造与同伦情境下几何直觉之间的等价关系。

实验结果

研究问题

• RQ1 格罗滕迪克的拓扑理论如何推广至无穷范畴设定？
• RQ2 刻画拓扑的吉拉尔德定理在∞-范畴设定下的类比是什么？
• RQ3 无穷拓扑如何与经典同伦理论及导出几何相关联？
• RQ4 在局部化与下降下，无穷拓扑表现出何种结构性质？
• RQ5 无穷拓扑在何种方式下反映或扩展了维数理论概念？

主要发现

• 确立了吉拉尔德定理的∞-范畴版本，证明了无穷拓扑的内在定义与外在定义之间的等价性。
• 无穷拓扑在∞-范畴设定下由余完备性（cocompleteness）、塞加条件（Segal conditions）以及有效群胚对象（effective groupoid objects）等性质所刻画。
• 无穷拓扑理论为高阶下降与同伦层论（homotopical sheaf theory）提供了自然框架。
• 通过奎伦等价性与模型结构，无穷拓扑与经典同伦理论之间的联系得以形式化。
• 无穷拓扑中的维数理论性质被证明与稳定同伦理论中的已知不变量一致。
• 该框架支持高阶拓扑理论中几何结构与上同调结构之间的稳健对偶性。