[论文解读] String-net model of Turaev-Viro invariants

Alexander Kirillov|arXiv (Cornell University)|Jun 29, 2011

Black Holes and Theoretical Physics参考文献 21被引用 76

一句话总结

本文建立了图雅夫–维罗拓扑量子场论（TQFT）与李文和莱文的弦网模型之间的完整且数学上严格的等价性，特别针对带有边界的曲面。它证明了曲面的图雅夫–维罗向量空间与模去局部关系的着色弦网空间之间存在同构，并表明边界条件由底层球面对称融合范畴的Drinfeld中心中的对象所分类。

ABSTRACT

In this paper, we describe the relation between the Turaev--Viro TQFT and the string-net space introduced in the papers of Levin and Wen. In particular, the case of surfaces with boundary is considered in detail.

研究动机与目标

• 为图雅夫–维罗TQFT与李文和莱文的弦网模型之间的等价性提供一个完整且可读的证明。
• 将此等价性扩展至带有边界的曲面，其对应于李文-温模型中的任意子激发。
• 严格处理Balsam–Kirillov定义的3-2-1 TQFT中带有威尔逊线（管道）的cobordism情形。
• 证明圆周上的边界条件由输入范畴$\mathcal{A}$的Drinfeld中心$\mathcal{C} = Z(\mathcal{A})$中的对象所分类。
• 通过提供一个涵盖一般球面对称融合范畴（而不仅限于无重数乘积情形）的完整证明，填补先前文献中的空白。

提出的方法

• 使用弦网空间构造法，将曲面上的着色图模去由范畴$\mathcal{A}$导出的局部关系。
• 通过范畴$\mathcal{A}$构造图雅夫–维罗向量空间$Z_{TV}(\Sigma)$与弦网空间之间的典范同构。
• 采用严格偏平范畴的形式语言，以简化结构同时保持等价性。
• 应用Drinfeld中心$Z(\mathcal{A})$对1-流形（如圆周）上的边界条件进行分类，表明这些边界条件对应于$Z(\mathcal{A})$中的对象。
• 利用范畴$\mathcal{A}$的图雅夫–维罗态空间求和构造法，其中态空间定义为$\langle V_1, \dots, V_n \rangle = \operatorname{Hom}_{\mathcal{A}}(\mathbf{1}, V_1 \otimes \cdots \otimes V_n)$。
• 利用偏平结构与迹映射定义循环不变性，并确保在曲面粘合与同胚变换下的一致性。

实验结果

研究问题

• RQ1 如何从李文和莱文的弦网模型完全重构图雅夫–维罗TQFT？
• RQ2 图雅夫–维罗TQFT在曲面上的态空间与模去局部关系的弦网空间之间，其精确数学对应关系为何？
• RQ3 图雅夫–维罗理论中的边界条件如何对应于底层范畴$\mathcal{A}$中的结构？
• RQ4 Drinfeld中心$Z(\mathcal{A})$在分类带有边界的曲面的边界条件中扮演何种角色？
• RQ5 能否给出一个完整且严格的等价性证明，涵盖一般球面对称融合范畴，而不仅限于无重数乘积的情形？

主要发现

• 对于闭曲面$\Sigma$，图雅夫–维罗向量空间$Z_{TV}(\Sigma)$与由范畴$\mathcal{A}$构造的弦网空间同构，该同构由态空间求和构造诱导。
• 对于带有边界的曲面，带有威尔逊线的图雅夫–维罗理论等价于带有任意子激发的李文-温模型，其中边界条件由Drinfeld中心$Z(\mathcal{A})$中的对象标记。
• 曲面$\Sigma$上图雅夫–维罗空间的维数由公式$\mathcal{D}^{-\chi(\Sigma)} \sum_{\text{着色}} \prod_{\text{边}} d_i \cdot \prod_{\text{顶点}} \text{F-矩阵}$给出，其中$\mathcal{D} = \sqrt{\sum_{i \in \operatorname{Irr}(\mathcal{A})} d_i^2}$。
• 该证明确立了弦网空间满足与图雅夫–维罗空间相同的拓扑不变性与粘合性质，从而确认二者作为TQFT的等价性。
• 本文通过提供一个涵盖边界情形的完整证明，解决了文献中长期存在的空白，此前该情形仅被陈述而未给出证明。
• 该等价性在3-2-1情形下成立，即允许在3- cobordism中存在管道（威尔逊线），且边界数据完全由$Z(\mathcal{A})$分类。