[论文解读] Categorical Aspects of Topological Quantum Field Theories

Bruce Bartlett|ArXiv.org|Dec 5, 2005

Algebraic structures and combinatorial models参考文献 29被引用 64

一句话总结

本论文构建了一个范畴框架，用于将拓扑量子场论（TQFTs）视为从cobordism范畴到向量空间范畴的对称单峰函子。该研究证明了2D TQFTs由Frobenius代数分类，3D TQFTs由模范畴分类，使用了一种推广费曼图的图形演算方法，并展示了有限规范理论如何通过跨维度的范畴化，产生一系列代数结构。

ABSTRACT

This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of vector spaces. In two dimensions, they are classified by Frobenius algebras. In three dimensions, and under certain conditions, they are classified by modular categories. These are special kinds of categories in which topological notions such as braidings and twists play a prominent role. There is a powerful graphical calculus available for working in such categories, which may be regarded as a generalization of the Feynman diagrams method familiar in physics. This method is introduced and the necessary algebraic structure is graphically motivated step by step. A large subclass of two-dimensional topological field theories can be obtained from a lattice gauge theory construction using triangulations. In these theories, the gauge group is finite. This construction is reviewed, from both the original algebraic perspective as well as using the graphical calculus developed in the earlier chapters. This finite gauge group toy model can be defined in all dimensions, and has a claim to being the simplest non-trivial quantum field theory. We take the opportunity to show explicitly the calculation of the modular category arising from this model in three dimensions, and compare this algebraic data with the corresponding data in two dimensions, computed both geometrically and from triangulations. We use this as an example to introduce the idea of a quantum field theory as producing a tower of algebraic structures, each dimension related to the previous by the process of categorification.

研究动机与目标

• 为拓扑量子场论背后的范畴论提供全面的导论。
• 阐明2D TQFTs如何通过Frobenius代数分类，以及3D TQFTs如何通过模范畴分类。
• 开发并应用一种图形演算方法，用于在对称单峰范畴中进行推理，该方法推广了费曼图。
• 展示有限规范理论如何通过范畴化过程，在不同维度上生成代数结构的层级。
• 显式计算由3D有限规范理论产生的模范畴，并与其中的2D对应结构进行比较。

提出的方法

• 将TQFTs形式化为从cobordism范畴到向量空间范畴的对称单峰函子。
• 基于弦图开发一种图形演算，用于表示单峰范畴中的态射和自然变换。
• 利用三角剖分和有限规范群构造，定义一类具有显式代数结构的2D TQFTs。
• 将有限规范理论构造推广至任意维度，以生成一组代数不变量。
• 通过几何方法和基于三角剖分的方法，显式计算3D有限规范理论中的模范畴数据（例如：R-矩阵、F-矩阵、扭变）。
• 将3D模范畴的代数数据与2D Frobenius代数结构进行比较，以说明范畴化过程。

实验结果

研究问题

• RQ1 2D拓扑量子场论在何种代数结构下被分类？
• RQ2 在标准假设下，3D TQFTs背后的范畴结构是什么？
• RQ3 如何系统地发展一种图形演算方法，以在TQFTs的对称单峰范畴中进行推理？
• RQ4 有限规范理论与不同维度下生成的代数结构之间存在何种关系？
• RQ5 范畴化过程在从2D Frobenius代数到3D模范畴的转变中如何体现？

主要发现

• 2D TQFTs完全由交换Frobenius代数分类，其代数结构由配对映射和配对映射决定。
• 在适当条件下，3D TQFTs由模范畴分类，模范畴编码了实现拓扑不变性的辫子和扭变数据。
• 所引入的图形演算提供了一种强大且直观的计算方法，适用于对称单峰范畴，其作用类似于量子场论中的费曼图。
• 具有有限规范群的有限规范理论在所有维度上均产生一个明确定义的TQFT，是量子场论中最小的非平凡示例。
• 从3D有限规范理论中显式计算出的模范畴被证明等价于规范群表示范畴的Drinfeld中心构造。
• 2D与3D数据的比较证实，3D模范畴对2D Frobenius代数实现了范畴化，清晰地展示了通过范畴化生成的代数结构层级。