[论文解读] On two approaches to 3-dimensional TQFTs

Vladimir Turaev, Alexis Virelizier|arXiv (Cornell University)|Jun 17, 2010

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

一句话总结

本文证明了从球面融合范畴 𝒞 导出的闭合定向3-流形 M 的图灵-维罗状态和不变量，等于从 𝒞 的戴维德林中心 𝒵(𝒞) 导出的雷舍蒂欣-图灵的手术不变量。通过拓扑量子场论技术和典范范畴中的图解演算，该证明建立了两种主要的3维TQFT构造——状态和与基于手术的构造——之间的深刻等价性，表明它们的不变量一致。

ABSTRACT

Let C be a spherical fusion category. We prove that the Turaev-Viro-Barrett-Westbury state sum invariant of 3-manifolds derived from C is equal to the Reshetikhin-Turaev surgery invariant of 3-manifolds derived from Z(C), where Z(C) is the Drinfeld-Joyal-Street center of C.

研究动机与目标

• 建立两种主要3维TQFT构造之间的基本等价性：图灵-维罗状态和不变量与雷舍蒂欣-图灵手术不变量。
• 解决图灵（1995年）长期存在的猜想，即对任意非零维球面融合范畴 𝒞，有 |M|_𝒞 = τ_𝒵(𝒞)(M)。
• 通过证明后者作为中心构造的特例，表明雷舍蒂欣-图灵构造比状态和方法更具普遍性。
• 通过使用至少四个区域交汇于边的非典型骨架，定义一种基于状态和的TQFT，使得同一三角剖分上可存在两种不同的状态和表述形式。
• 通过中心构造和典范范畴中的图解演算，统一范畴论与拓扑学方法，以构造3-流形不变量。

提出的方法

• 使用3-流形骨架上的状态和构造状态和TQFT |.|_𝒞，允许边与四个或更多区域交汇的非典型配置。
• 在同一个三角剖分 t 上定义两种不同的状态和：一种以对象标记边并使用单纯形中的6j-符号，另一种以面标记并计算顶点权重。
• 利用三角剖分的2-骨架与其对偶胞覆分解的2-骨架之间的对偶性，关联两种状态和表述形式。
• 在典范和球面范畴中应用图解演算，证明代数恒等式，如比登汉-艾略特恒等式和正交性关系。
• 使用戴维德林-乔伊尔-斯特拉斯中心构造定义 𝒵(𝒞)，并证明对于球面融合范畴 𝒞，有 𝒵(𝒞) 是模范畴，从而确保雷舍蒂欣-图灵不变量 τ_𝒢(𝒞)(M) 的良好定义。
• 通过证明两个不变量在TQFT框架下均是 M 的拓扑不变量，并且在同伦不变性和代数一致性下一致，从而证明关键恒等式 |M|_𝒞 = τ_𝒢(𝒞)(M)。

实验结果

研究问题

• RQ1 从球面融合范畴 𝒞 导出的图灵-维罗状态和不变量 |M|_𝒞 是否等于从 𝒞 的戴维德林中心导出的雷舍蒂欣-图灵手术不变量 τ_𝒢(𝒞)(M)？
• RQ2 能否在边与四个或更多区域交汇的非典型骨架上一致地定义状态和TQFT？
• RQ3 在同一个三角剖分上，以边标记与以面标记的两种不同状态和表述形式在拓扑和代数上如何关联？
• RQ4 在范畴中心的背景下，图灵-维罗与雷舍蒂欣-图灵构造之间的确切关系是什么？
• RQ5 范畴中心构造在多大程度上统一了两种3D TQFT方法？

主要发现

• 本文证明了对任意闭合定向3-流形 M 和任意非零维球面融合范畴 𝒞，恒等式 |M|_𝒞 = τ_𝒢(𝒞)(M) 成立。
• 状态和TQFT |.|_𝒞 定义良好，并可通过非典型骨架扩展为完整的3维TQFT，使得同一三角剖分上可存在两种不同的状态和表述形式。
• 通过典范范畴中的图解演算，证明了范畴 𝒞 中的比登汉-艾略特恒等式和正交性关系，为状态和的不变性提供了代数基础。
• 根据缪格定理，球面融合范畴 𝒞 的戴维德林中心 𝒢(𝒞) 是模范畴，从而确保雷舍蒂欣-图灵不变量 τ_𝒢(𝒞)(M) 良好定义。
• 恒等式 |M|_𝒞 = τ_𝒢(𝒞)(M) 暗示雷舍蒂欣-图灵构造比状态和方法更具普遍性，因为后者可通过中心构造作为特例获得。
• 当 𝒞 为模范畴时，该恒等式恢复了已知结果 |M|_𝒞 = |τ_𝒞(M)|²（当 𝒞 为酉范畴时），并将其推广至非模球面融合范畴。