[论文解读] Turaev-Viro invariants as an extended TQFT II

Benjamin Balsam|arXiv (Cornell University)|Oct 6, 2010

Geometric and Algebraic Topology被引用 4

一句话总结

本文证明，当输入范畴为球面融合范畴的Drinfeld中心时，闭3-流形上带纽结的Turaev-Viro TQFT不变量与Reshetikhin-Turaev不变量等价。通过扩展TQFT框架，作者利用分解为基本块、映射类群作用及手术公式，证明了TV与RT理论在闭3-流形上计算出的不变量完全一致。

ABSTRACT

In this paper, we present the next step in the proof that $Z_{TV,\C} = Z_{RT, Z(\C)}$, namely that the theories give the same 3-manifold invariants. In future papers we will show that this equality extends to an equivalence of TQFTs.

研究动机与目标

• 证明当输入范畴为球面融合范畴的Drinfeld中心时，闭3-流形上的Turaev-Viro不变量与Reshetikhin-Turaev不变量一致。
• 将TV TQFT扩展为与Lurie框架兼容的3-2-1扩展TQFT结构。
• 证明扩展的TV理论在闭3-流形上（包括嵌入纽结的情形）计算的不变量与RT理论相同。
• 证明TV理论中在环面上的映射类群作用由扭算符与S矩阵实现，与RT理论一致。
• 建立扩展TV理论的手术公式，由此作为推论得出主要不变量结果。

提出的方法

• 将带纽结的3-球分解为有限个基本块，通过状态和计算验证TV与RT理论在每个块上一致。
• 将球面融合范畴 $ \ncal C $ 的Drinfeld中心 $ Z(\ncal C) $ 作为RT理论的输入，利用其模性与辫状结构。
• 通过涉及 $ \bigoplus_Z \langle Z, Z^* \rangle_{\ncal C} $ 的直和分解计算环面上分配的希尔伯特空间，证明与RT理论的兼容性。
• 应用粘合公理，将块之间的相等性推广至整个闭3-流形，确保在拓扑粘合下不变量保持不变。
• 验证映射类群生成元 $ T $ 与 $ S $ 在TV理论中分别通过扭算符与S矩阵的乘法作用实现，与RT理论一致。
• 推导出扩展TV理论的手术公式，将主要不变量陈述约化为标准手术表示上的计算。

实验结果

研究问题

• RQ1 当输入范畴为球面融合范畴的Drinfeld中心时，扩展的Turaev-Viro TQFT与Reshetikhin-Turaev TQFT是否对每个带嵌入纽结的闭3-流形都赋予相同的不变量？
• RQ2 TV理论中在环面上的映射类群作用与RT理论相比如何，特别是S矩阵与T矩阵的实现方式？
• RQ3 能否证明扩展的TV TQFT满足一个与RT理论手术不变性一致的手术公式？
• RQ4 TV理论中分配给环面的希尔伯特空间是否同构于RT理论中的不变量空间 $ \bigoplus_Z \operatorname{Hom}_{Z(\ncal C)}(\mathbf{1}, Z \otimes Z^*) $？
• RQ5 在分解后的3-流形上进行的状态和计算，是否通过粘合与复合映射产生与RT不变量相同的结果？

主要发现

• 当输入范畴为球面融合范畴 $ \ncal C $ 的Drinfeld中心 $ Z(\ncal C) $ 时，扩展的Turaev-Viro TQFT对带纽结的 $ S^3 $ 赋予的不变量与Reshetikhin-Turaev TQFT一致。
• TV理论中环面的希尔伯特空间同构于 $ \bigoplus_{Z \in \operatorname{Irr}(Z(\ncal C))} \langle Z, Z^* \rangle_{\ncal C} $，与RT理论的分配一致。
• 映射类群生成元 $ T $ 与 $ S $ 在环面希尔伯特空间上的作用分别通过扭算符与S矩阵的乘法实现，与RT理论一致。
• 扩展的TV理论满足一个手术公式，可将任意闭3-流形的不变量约化为在手术表示上的状态和计算。
• 在 $ \mathbb{T}^2 \times I $ 上的状态和计算结果为投影算符，作用于 $ \bigoplus_Z \operatorname{Hom}_{Z(\ncal C)}(\mathbf{1}, Z \otimes Z^*) $，确认与RT理论的一致性。
• 对 $ S^2 \times S^1 $ 上两个未链接的管子分别标记为 $ Z $ 与 $ W $ 的不变量为 $ \delta_{Z,W} $，与RT理论结果一致，确认了不同任意子的正交性。