[论文解读] Models for $(\infty, n)$-categories and the cobordism hypothesis

Julia E. Bergner|arXiv (Cornell University)|Oct 30, 2010

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

一句话总结

本文综述了$(\infty,n)$-范畴的模型，强调其在拉里（Lurie）证明拓扑量子场论的cobordism猜想中的作用。研究证明，从$(\infty,n)$-范畴的框架cobordism到一个对称单子$(\infty,n)$-范畴的对称单子函子，与完全对偶化对象之间存在一一对应关系，从而通过同伦高范畴理论对展开的拓扑量子场论进行了分类。

ABSTRACT

In this paper we introduce the models for $(\infty, n)$-categories which have been developed to date, as well as the comparisons between them that are known and conjectured. We review the role of $(\infty, n)$-categories in the proof of the Cobordism Hypothesis.

研究动机与目标

• 系统化并比较已知的$(\infty,n)$-范畴模型，包括塞加（Segal）空间、完全塞加（complete Segal）空间和$\Theta_n$-空间。
• 阐明$(\infty,n)$-范畴在cobordism猜想的表述与证明中的作用。
• 解释同伦高范畴理论如何解决弱$n$-范畴固有的结合律问题。
• 通过$(\infty,n)$-范畴结构为理解展开的拓扑量子场论提供基础。
• 强调$(\infty,1)$-范畴各种模型之间的等价性，以及$(\infty,n)$-范畴的猜想等价性。

提出的方法

• 使用$n$重完全塞加空间来建模$(\infty,n)$-范畴$Bord_n^{fr}$的框架cobordism。
• 在有限维向量空间$V$中构造框架cobordism的预层$PBord_n^{fr,V}$，随后对$V \to \mathbb{R}^\infty$取上极限，得到$PBord_n^{fr}$。
• 将$Bord_n^{fr}$定义为$n$重塞加空间$PBord_n^{fr}$的完备化，以确保其在$(\infty,n)$-范畴意义下的完备性。
• 应用奎伦（Quillen）的模型范畴理论，比较$(\infty,1)$-范畴的模型，如单纯范畴、塞加范畴和完全塞加空间。
• 利用$(\infty,n)$-范畴的同伦性质，自然地打包结合律数据，避免显式结合律公理。
• 拉里的方法：在$(\infty,n)$-设定下证明cobordism猜想，并通过截断推导出经典版本。

实验结果

研究问题

• RQ1 不同$(\infty,n)$-范畴模型（如$n$重塞加空间和$\Theta_n$-空间）之间如何比较？它们之间已知和猜想的等价性是什么？
• RQ2 $(\infty,n)$-范畴在证明cobordism猜想中的确切作用是什么？该框架如何解决高范畴理论中的结合律问题？
• RQ3 $(\infty,n)$-范畴$Bord_n^{fr}$的框架cobordism是如何构造的？为何其完备化对cobordism猜想至关重要？
• RQ4 一个对称单子$(\infty,n)$-范畴中的对象为何是完全对偶化的？为何这一条件在拓扑量子场论的分类中居于核心地位？
• RQ5 为何同伦方法处理$(\infty,n)$-范畴比严格或弱$n$-范畴方法在证明cobordism猜想方面更有效？

主要发现

• $n$重单纯空间$PBord_n^{fr}$是一个$n$重塞加空间，其完备化$Bord_n^{fr}$是一个完全的$n$重塞加空间，用于建模$(\infty,n)$-范畴的框架cobordism。
• 在$(\infty,n)$-范畴设定下证明了cobordism猜想：从$Bord_n^{fr}$到$\mathcal{C}$的对称单子函子与$\mathcal{C}$中完全对偶化对象之间存在一一对应。
• 在$(\infty,n)$-设定下证明cobordism猜想时，通过使用同伦模型自然打包结合律数据，绕过了定义弱$n$-范畴的困难。
• 对于$(\infty,1)$-范畴，多种模型（如单纯范畴、塞加范畴和完全塞加空间）在奎伦意义下等价，为高范畴理论奠定了坚实基础。
• 该框架通过完全对偶化对象实现了对展开的拓扑量子场论的分类，推广了经典的贝兹-多兰（Baez-Dolan）猜想。
• 使用$(\infty,n)$-范畴使得在所有层次上对对偶性和复合结构的处理更加清晰一致，使理论更易于证明和应用。