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

Benjamin Balsam|arXiv (Cornell University)|Dec 2, 2010

Geometric and Algebraic Topology被引用 4

一句话总结

本文在闭曲面层面建立了图叶夫-维罗与雷斯捷欣-图罗夫拓扑量子场论之间的自然同构，表明其态空间通过曲面参数化和切割系统实现典范同构。关键结果将已知的3-流形不变量相等性扩展为广义TQFT的等价性，通过胞腔分解与粘合公理，显式计算了含嵌入带边图的流形上的态和。

ABSTRACT

In the third paper in this series, we examine the Reshetikhin-Turaev and Turaev-Viro TQFTs at the level of surfaces. In particular, we show that for a closed surface $Σ$, $Z_{TV, \mathcal{C}}(Σ) \cong Z_{RT, Z(\C)}(Σ)$, thus extending the equality of 3-manifold invariants proved in an earlier paper to an equivalence of TQFTs. We also describe how to compute Turaev-Viro state sums for 3-manifolds with embedded ribbon graphs.

研究动机与目标

• 将已知的图叶夫-维罗与雷斯待欣-图罗夫3-流形不变量相等性扩展为曲面层面广义TQFT的等价性。
• 通过曲面切割系统诱导的自然同构，解决模 functor 构造中对分解选择的依赖性，表明TV与RT理论在态空间上同构。
• 为含嵌入带边图的3-流形上的图叶夫-维罗态和提供系统性计算方法，包括存在未着色弦与耦合器相连的情形。
• 通过构造态空间间的自然同构，证明TQFT不仅在3维，而且在低维（特别是曲面层面）也保持等价。

提出的方法

• 利用Bakalov-Kirillov的曲面参数化，将雷斯待欣-图罗夫的对裤分解（RT）与图叶夫-维罗的胞腔分解（TV）关联起来，从而比较非局域与局域构造。
• 应用乐高-泰希米勒游戏移动，关联不同切割系统，并在TV态空间之间构造自然同构，使其对应于RT的粘合映射。
• 利用粘合公理与投影算子 $ H_{TV}(\Sigma) \to Z_{TV}(\Sigma) $，证明所得态空间与分解选择无关。
• 使用胞体流形cobordism与圆柱映射，验证图表的交换性，特别是F-与S-移动，确保在不同参数化下的一致性。
• 应用态和公式与手术技术，将一般带边图约化为仅含着色弦的简单情形，证明此类约化下的不变性。
• 利用球面对称融合范畴 $ \mathcal{C} $ 的Drinfeld中心构造 $ Z(\mathcal{C}) $，将TV不变量与模形式RT不变量关联。

实验结果

研究问题

• RQ1 在闭曲面层面，图叶夫-维罗与雷斯待欣-图罗夫TQFT之间是否存在一个与分解选择无关的自然同构？
• RQ2 图叶夫-维罗态和能否在含嵌入带边图（包括存在未着色弦与耦合器相连）的3-流形上一致地扩展？
• RQ3 乐高-泰希米勒游戏中F-与S-移动是否诱导TV态空间之间的自然同构，且与RT粘合映射相容？
• RQ4 当限制在带角点与边界分量以 $ Z(\mathcal{C}) $ 中对象标记的广义流形时，TQFT的等价性是否仍然保持？
• RQ5 能否通过cobordism与手术技术将TV不变量的态和计算约化为规范形式，同时保持不变性？

主要发现

• 对任意闭曲面 $ \Sigma $，存在自然同构 $ Z_{TV,\mathcal{C}}(\Sigma) \cong Z_{RT,Z(\mathcal{C})}(\Sigma) $，在曲面层面确立了两种TQFT的等价性。
• 亏格 $ g $ 曲面上的态空间维数为 $ \mathcal{D}^{2g-2} \sum_{i \in \mathrm{Irr}(\mathcal{C})} d_i^{2-2g} $，TV与RT理论结果一致。
• 乐高-泰希米勒游戏中F-移动与S-移动诱导TV态空间之间的自然同构，且与RT粘合映射相容，确保不同分解间的一致性。
• 含带边图的3-流形的图叶夫-维罗态和对与耦合器相连的未着色弦具有不变性，因这类构型可通过cobordism约化为等价的着色情形。
• 当限制在带角点的流形上并施加对流形类型的一般条件时，广义TQFT作为3-2-1理论保持等价。
• 4-穿孔球面的态空间上的恒等映射可通过一个胞体流形cobordism $ \mathcal{H} $ 实现，表明粘合此类cobordism不会改变态和值，从而保持不变性。