[论文解读] The cobordism hypothesis

David Ayala, John Francis|arXiv (Cornell University)|May 5, 2017

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

一句话总结

本文通过利用带有伴随结构的分解同调，证明了cobordism假设——即对完全展开的拓扑量子场论进行分类——的方法。在假设伴随结构的一个猜想成立的前提下，建立了具有对偶的对称张量$(\infty,n)$-范畴与 bordism 范畴的几何增强之间的等价性，从而通过tangle范畴的极限构造实现了cobordism假设。

ABSTRACT

Assuming a conjecture about factorization homology with adjoints, we prove the cobordism hypothesis, after Baez-Dolan, Costello, Hopkins-Lurie, and Lurie.

研究动机与目标

• 通过带有伴随结构的分解同调，为完全展开的拓扑量子场论提供cobordism假设的完整证明。
• 通过证明构造中对处理分解选择的独立性，解决TQFT构造中的良定义性问题。
• 通过tangle范畴的极限构造，为cobordism假设提供几何增强。
• 通过$ k $重循环的$(\infty,n)$-范畴与伴随结构，将tangle假设推广至几何增强框架。
• 通过分解同调，将代数拓扑中的胞腔同调类比与TQFT中的胞体分解统一起来。

提出的方法

• 作者基于对带有伴随结构的分解同调的猜想，将tangle范畴$\mathcal{T}{\sf ang}_{n\subset n+k}^{\operatorname{\sf fr}}$定义为$(\infty,n)$-范畴的$k$重延拓的极限的几何增强。
• 他们将带框架的bordism范畴$\mathcal{B}{\sf ord}_{n}^{\operatorname{\sf fr}}$构造为tangle范畴$\mathcal{T}{\sf ang}_{n\subset n+k}^{\operatorname{\sf fr}}(\mathfrak{B}^{k}\mathfrak{X})$的序列极限。
• 关键技术工具是将$\Omega^{k}\mathfrak{B}^{k}\mathfrak{X}$识别为$\mathfrak{X}$的$k$重延拓的$k$重循环空间，使得极限能够恢复$\mathfrak{X}$本身。
• 他们应用了其几何增强形式的tangle假设，证明在猜想成立下有$\mathcal{T}{\sf ang}_{n\subset n+k}^{\operatorname{\sf fr}}(\mathfrak{B}^{k}\mathfrak{X}) \simeq \Omega^{k}\mathfrak{B}^{k}\mathfrak{X}$。
• 证明依赖于通过在点处的取值，使$\operatorname{\mathcal{B}{\sf ord}}_{n}^{\operatorname{\sf fr}}(\mathfrak{X})$与$\mathfrak{X}$之间建立等价性，利用极限结构与伴随相容性。
• 该框架将胞腔逼近与Morse理论推广至高阶范畴，确保了对分解选择的不变性。

实验结果

研究问题

• RQ1 在假设伴随结构的一个关键猜想成立的前提下，如何通过带有伴随结构的分解同调证明cobordism假设？
• RQ2 在$k$重循环的$(\infty,n)$-范畴的术语下，tangle假设的精确几何增强形式是什么？
• RQ3 在取值下，$\mathcal{B}{\sf Ord}_{n}^{\operatorname{\sf fr}}$的极限构造如何恢复原始范畴$\mathfrak{X}$？
• RQ4 cobordism假设的几何增强形式在何种意义上推广了同调的经典Eilenberg–Steenrod公理？
• RQ5 伴随结构的使用如何解决从处理分解构造的TQFT中的良定义性问题？

主要发现

• 在带有伴随结构的分解同调满足一个猜想相容性条件的假设下，证明了cobordism假设。
• 在猜想成立下，通过等价式$\mathcal{T}{\sf ang}_{n\subset n+k}^{\operatorname{\sf fr}}(\mathfrak{B}^{k}\mathfrak{X}) \simeq \Omega^{k}\mathfrak{B}^{k}\mathfrak{X}$，建立了tangle假设的几何增强。
• bordism范畴$\mathcal{B}{\sf Ord}_{n}^{\operatorname{\sf fr}}$被实现为序列极限$\underset{k\to\infty}{\operatorname{{\sf lim}}}\mathcal{T}{\sf ang}_{n\subset n+k}^{\operatorname{\sf fr}}(\mathfrak{B}^{k}\mathfrak{X})$，为带框架的$n$-bordism范畴提供了新模型。
• 取值映射$\operatorname{\mathsf{ev}}_{\ast} : \mathcal{B}{\sf Ord}_{n}^{\operatorname{\sf fr}}(\mathfrak{X}) \xrightarrow{\simeq} \mathfrak{X}$是等价的，从而证明了几何增强的cobordism假设。
• 该构造在猜想成立下，为$k$重循环空间$\Omega^{k}\mathfrak{B}^{k}\mathfrak{X}$与$k$-tangle范畴$\mathcal{T}{\sf ang}_{n\subset n+k}^{\operatorname{\sf fr}}(\mathfrak{B}^{k}\mathfrak{X})$提供了自然的同构。
• 该框架通过分解同调实现了胞腔同调与TQFT之间的类比，其中配分函数作为tangle不变量的极限出现。