[论文解读] Modular categories as representations of the 3-dimensional bordism 2-category

Bruce Bartlett, Christopher L. Douglas+2 more|arXiv (Cornell University)|Sep 22, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 33被引用 69

一句话总结

本文建立了在k-线性范畴2-范畴上的、一次延拓的、线性3维拓扑量子场理论（TQFT）的典范分类。它表明，此类TQFT与模张量范畴（MTC）及其附加数据之间存在一一对应关系——具体而言，即每个因子中存在一个异常的平方根（或全局维数），该对应关系取决于流形结构（定向、分量签名、签名或p1-结构）。该分类在任意特征下成立，并在TQFT与这些结构化的MTC之间提供了明确且典范的双射。

ABSTRACT

We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global dimension in each factor.

研究动机与目标

• 对在k-线性范畴2-范畴上的、一次延拓的、线性3维拓扑量子场理论（TQFT）进行分类。
• 识别出在不同流形上几何结构（定向、分量签名、签名或p1-结构）下，除模张量范畴（MTC）之外，分类此类TQFT所需的精确代数数据。
• 证明，对于一类广泛的目标题2-范畴，所有从结构化流形2-范畴到这些目标题2-范畴的对称张量函子，均通过有限维半单k-线性范畴的2-范畴。
• 通过提供一个统一的高阶范畴框架，阐明扩展TQFT与模 functor 之间的关系。

提出的方法

• 使用高阶范畴理论来建模带有几何结构（定向、分量签名、p1-结构）的3维流形2-范畴。
• 应用从流形2-范畴到2Vectk（即柯西完备的k-线性范畴2-范畴）的对称张量2-函子框架。
• 利用内部弦图和流形范畴的呈现方式，分析TQFT的代数结构。
• 通过高斯和与量子维数，引入并分析模张量范畴中每个简单因子的异常。
• 使用德利涅张量积和2Vectk中的对偶性，确保目标范畴具有良好的性质且为半单。
• 证明每个TQFT均通过有限维半单k-线性范畴因子化，从而将分类问题简化为有限代数问题。

实验结果

研究问题

• RQ1 除了模张量范畴之外，分类一次延拓的线性3D TQFT还需要哪些数据？
• RQ2 3-流形上的不同几何结构（定向、签名、p1-结构）如何影响TQFT的分类？
• RQ3 为何分类中需要异常的平方根（或全局维数），且这种需求如何随流形结构的变化而变化？
• RQ4 所有从结构化流形2-范畴到一般目标2-范畴的对称张量函子，是否都能约化为到2Vectk的函子？
• RQ5 在高阶范畴理论的语境下，模 functor 与扩展TQFT的概念之间有何关系？

主要发现

• 分量签名流形2-范畴的线性表示与每个因子中带有异常平方根的模张量范畴之间存在典范双射。
• 定向3D TQFT由每个因子中异常为1的模张量范畴分类。
• 签名结构TQFT由所有因子中异常相同的模张量范畴，以及该异常的一个单一平方根选择共同分类。
• p1-结构TQFT由每个因子中带有异常六次根的模张量范畴分类。
• 该分类在任意特征下成立，包括有限特征，即使模张量范畴在传统意义上不是半单的，该分类依然适用。
• 从这些流形2-范畴到一类广泛目标2-范畴的所有对称张量函子，均通过有限维半单k-线性范畴的全子2-范畴因子化。