[论文解读] Categorification and correlation functions in conformal field theory

Ingo Runkel, Jürgen Fuchs+1 more|ArXiv.org|Feb 5, 2006

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

一句话总结

本文提出了一种基于模张量范畴中对称特殊Frobenius代数及其双模的二分类框架，以对有理共形场论（RCFT）进行范畴化。通过将双模解释为手征数据、边界条件和缺陷线，该构造提供了一种系统且代数化的方法，用于计算RCFT中的所有关联函数，其中划分函数和OPE系数作为2-态射空间的维数出现，并满足整数性和一致性条件（如NIMrep性质）。

ABSTRACT

A modular tensor category provides the appropriate data for the construction of a three-dimensional topological field theory. We describe the following analogue for two-dimensional conformal field theories: a 2-category whose objects are symmetric special Frobenius algebras in a modular tensor category and whose morphisms are categories of bimodules. This 2-category provides sufficient ingredients for constructing all correlation functions of a two-dimensional rational conformal field theory. The bimodules have the physical interpretation of chiral data, boundary conditions, and topological defect lines of this theory.

研究动机与目标

• 为构建有理共形场论（RCFT）中所有关联函数提供一个统一的代数框架。
• 利用高阶范畴结构——具体而言，是基于模张量范畴中Frobenius代数及其双模构建的二分类——对RCFT数据进行范畴化。
• 建立代数不变量（例如态射空间的维数）与物理量（例如划分函数、OPE系数）之间的精确对应关系。
• 将TFT方法推广至RCFT，通过Jandl结构包含边界条件、缺陷线和非定向曲面。
• 证明关键物理约束（如划分函数系数的整数性及NIMrep性质）可自然地从范畴构造中导出。

提出的方法

• 构建一个二分类，其对象为模张量范畴 $\mathcal{C}$ 中的对称特殊Frobenius代数，其态射为这些代数上双模的范畴。
• 利用该二分类定义带有纽结的3-流形的拓扑不变量，这些不变量编码了RCFT的关联函数。
• 通过在cobordism范畴中引入代数装饰，将该二分类与带标记点（用于场插入）和缺陷线的黎曼曲面的几何数据联系起来。
• 利用模函子和投影平坦联络的形式化方法，为曲面分配向量空间，为cobordism分配线性映射。
• 使用Eilenberg-Mac Lane上同调分析简单电流情形，其中所有简单子对象均为可逆的。
• 在Frobenius代数上引入Jandl结构，以将该框架扩展至非定向曲面（如莫比乌斯带和克莱因瓶）。

实验结果

研究问题

• RQ1 如何通过模张量范畴中Frobenius代数及其双模构建的二分类结构，完整描述有理共形场论中的关联函数？
• RQ2 RCFT中划分函数系数的整数性在代数上的根源是什么？它与二分类中2-态射空间维数有何关系？
• RQ3 如何将TFT方法扩展以包含RCFT中的非定向曲面和缺陷线？控制该扩展的代数结构是什么？
• RQ4 完整的CFT的融合规则和对称性如何从自同态范畴 $\mathcal{H}\mathrm{om}(A,A)$ 的范畴数据中涌现？
• RQ5 OPE系数如何从共形块和二分类的结构中导出？

主要发现

• 在特征表的基下，环面划分函数的系数等于二分类 $\mathcal{F}\mathrm{rob}_{\mathcal{C}}$ 中2-态射空间的维数，因此是非负整数。
• 这些系数满足NIMrep性质，即它们构成与模S矩阵和模不变性一致的融合环表示。
• 对于莫比乌斯带和克莱因瓶等非定向曲面，当使用Frobenius代数上的Jandl结构构造时，划分函数也是整数值的，并且在I型弦理论模型中与环面和环形振幅一致结合。
• 从球面和实射影平面上的三点共形块出发，推导出Bulk、Boundary和Defect场的OPE系数的显式表达式。
• $\mathcal{H}\mathrm{om}(A,A)$ 的Picard群作为与代数 $A$ 关联的完整CFT的对称群作用，而其融合环则编码了Kramers–Wannier型对偶性。
• 对偶对 $(\mathcal{C}, \mathcal{C}_A)$ 的Davydov–Yetter上同调控制了完整CFT的形变，为研究RCFT的模空间提供了代数框架。