[论文解读] On the Classification of Topological Field Theories

Jacob Lurie|ArXiv.org|May 4, 2009

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

一句话总结

本文通過cobordism假說全面闡述了拓撲場論的分類，確立了n維的擴展拓撲場論由(∞,n)-分類中的完全對偶對象所分類。利用高階範疇論與完整Segal空間理論，作者證明了具切向結構的流形的cobordism分類可唯一地映射至此類分類，從而透過高階範疇結構統一了量子場論與代數拓撲。

ABSTRACT

This paper provides an informal sketch of a proof of the Baez-Dolan cobordism hypothesis, which provides a classification for extended topological quantum field theories.

研究动机与目标

• 提供使用高階範疇論對擴展拓撲場論分類的敘述性說明。
• 提出並證明(∞,n)-分類中Baez-Dolan cobordism假說的一個版本。
• 將分類推廣至具切向結構（如framings與方向）的流形。
• 將框架擴展至包含tangles與奇異流形，揭示相關(∞,n)-分類的通用性質。
• 透過對稱單元(∞,n)-分類中完全對偶對象，建立拓撲場論的通用特徵。

提出的方法

• 將cobordism分類形式化為完整Segal空間，以建模具切向結構的流形的(∞,n)-分類。
• 定義(∞,n)-分類中的完全對偶對象為分類擴展TFT的關鍵數據。
• 使用障礙理論與指數濾波，將分類問題簡化為低維情形。
• 應用cobordism假說的歸納形式，從cobordism分類構造到(∞,n)-分類的函子。
• 利用具伴隨的高階分類理論，以建模從cobordism分類出發的對稱單元函子。
• 利用tangle假說作為推廣，表明framings tangles分類出自由的ribbon (∞,1)-分類。

实验结果

研究问题

• RQ1 如何利用高階範疇論與cobordism假說對擴展拓撲場論進行分類？
• RQ2 完全對偶對象在分類從cobordism分類出發的對稱單元函子中扮演何種角色？
• RQ3 cobordism假說如何推廣至具額外切向結構（如framings或方向）的流形？
• RQ4 tangle假說能否透過高階分類中的通用性質，從cobordism假說推導而出？
• RQ5 具framings或方向資料的(∞,n)-分類tangles的通用性質為何？

主要发现

• 證明了cobordism假說：擴展拓撲場論由具伴隨的(∞,n)-分類中的完全對偶對象所分類。
• 具切向結構的n維流形的cobordism分類被建模為完整Segal空間，從而實現TFT的通用性質。
• 從framings cobordism分類到(∞,n)-分類的對稱單元函子，由完全對偶對象與對偶資料的選擇唯一決定。
• tangle假說作為推論成立：具framings的tangles的(∞,n)-分類是單生成元下自由的對稱單元(∞,n)-分類且具對偶性。
• 透過cobordism假說構造拓撲場論的方法可推廣至奇異流形與更一般的切向結構，通用函子由障礙理論提升產生。
• O(n)在具對偶的∞-群胚(∞,n)-分類上的作用，導致以SO(n)-固定點表征ribbon結構，進而在1-分類截斷下恢復經典的ribbon分類。