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

Jacob Lurie|arXiv (Cornell University)|Jan 1, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 2

一句话总结

本文通过cobordism假设全面阐述了拓扑场论（TQFT）的分类，证明了扩展TQFT由无穷范畴中跨度的完全对偶对象所分类。该方法运用高阶范畴理论与同伦理论，建立了流形与代数不变量之间的深刻对应，最终通过完全对偶对象的数据完整刻画了扩展TQFT。

ABSTRACT

Our goal in this article is to give an expository account of some recent work on the classification of topological field theories. More specifically, we will outline the proof of a version of the cobordism hypothesis conjectured by Baez and Dolan in [2].

研究动机与目标

• 提供对近期在分类拓扑场论方面进展的清晰、解说性的论述。
• 证明Baez与Dolan所提出的cobordism假设的一个版本。
• 建立扩展TQFT与无穷范畴中完全对偶对象之间的对应关系。
• 阐明高阶范畴与对偶性在拓扑量子场论中的作用。
• 弥合抽象同伦理论与TQFT中具体物理与几何不变量之间的鸿沟。

提出的方法

• 利用无穷范畴的框架来形式化扩展TQFT的概念。
• 应用无穷范畴中跨度的理论来建模流形之间的cobordism。
• 运用高阶范畴对偶性概念来定义完全对偶对象。
• 使用同调代数将几何cobordism范畴与代数结构联系起来。
• 将cobordism假设作为TQFT分类的原理加以应用。
• 依赖高阶范畴理论与导出代数几何的结果来建立分类。

实验结果

研究问题

• RQ1 如何系统地对扩展拓扑场论进行分类？
• RQ2 在cobordism假设下，完全扩展TQFT对应何种代数结构？
• RQ3 高阶范畴对偶性如何在TQFT中编码流形的几何数据？
• RQ4 无穷范畴中的跨度在建模cobordism范畴中扮演什么角色？
• RQ5 一个对象需满足何种条件才能生成一个完全扩展TQFT？

主要发现

• 扩展TQFT完全由适当无穷范畴中的完全对偶对象所分类。
• 该分类通过高阶范畴理论在cobordism范畴与代数数据之间建立了精确对应。
• 该证明验证了在扩展TQFT背景下Baez-Dolan cobordism假设的精炼版本。
• 该框架统一了流形的几何结构与代数对偶性条件。
• 该结果通过现代同伦方法为完全扩展TQFT提供了基础性的分类结果。
• 该工作表明，完全对偶对象的代数数据完整捕获了扩展TQFT的所有信息。