[论文解读] Decomposition of the Turaev-Viro TQFT

Jérôme Petit|ArXiv.org|Mar 26, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用 3

一句话总结

本文通过展示Turaev-Viro拓扑量子场论（TQFT）可分解为以分类空间 $B\Gamma_{\mathcal{C}}$ 的同伦类为指标的块，实现了对该TQFT的分解，其中 $\Gamma_{\mathcal{C}}$ 是从具有可逆维数的球面对称范畴 $\mathcal{C}$ 衍生出的一个群。关键成果是构造了一个新的同伦型Turaev-Viro HQFT（高阶cobordism TQFT），该HQFT细化了原始TQFT，并将Turaev-Viro不变量按同伦类进行分量分解。

ABSTRACT

We show that for every spherical category $\C$ with invertible dimension, the Turaev-Viro TQFT admits a splitting into blocks which come from an HQFT, called the Turaev-Viro HQFT. The Turaev-Viro HQFT has the classifying space $B\grad$ as target space, where $\grad$ is a group obtained from the category $\C$. This construction gives a reformulation of the Turaev-Viro TQFT in terms of HQFT. Furthermore the Turaev-Viro HQFT is an extension of the \emph{homotopical Turaev-Viro invariant} which splits the Turaev-Viro invariant. An application of this result is a description of the homological twisted version of the Turaev-Viro invariant in terms of HQFT.

研究动机与目标

• 将Turaev-Viro TQFT重新表述为以 $B\Gamma_{\mathcal{C}}$ 为目标空间的高阶cobordism量子场理论（HQFT）的形式。
• 定义一个同伦型Turaev-Viro不变量 $HTV_{\mathcal{C}}(M,x)$，通过将着色按同伦类 $x \in [M, B\Gamma_{\mathcal{C}}]$ 分组，实现对原始Turaev-Viro不变量的分解。
• 构造一个Turaev-Viro HQFT，使其扩展同伦型不变量，并将Turaev-Viro TQFT实现为这些块上的直和分解。
• 通过群 gradings 和分类空间的视角，为理解Turaev-Viro不变量的扭曲版本提供几何与范畴论框架。

提出的方法

• 将群 $\Gamma_{\mathcal{C}}$ 定义为球面对称范畴 $\mathcal{C}$ 的graduator，推广了群范畴中同构类为标量对象的群。
• 通过通用gradings，将三角剖分中每条边的着色分配至 $[M, B\Gamma_{\mathcal{C}}]$ 中的同伦类，从而实现态叠加的分解。
• 将同伦型Turaev-Viro不变量 $HTV_{\mathcal{C}}(M,x)$ 构造为限制在产生固定同伦类 $x$ 的着色上的态叠加。
• 证明Turaev-Viro HQFT是同伦型不变量的扩展，并且原始Turaev-Viro TQFT作为所有同伦类上直和而出现。
• 将分类空间 $B\Gamma_{\mathcal{C}}$ 作为HQFT的目标空间，将Turaev的基于 $K(G,1)$ 的HQFT推广至非阿贝尔情形。
• 建立Turaev-Viro不变量的分解公式 $TV_{\mathcal{C}}(M) = \sum_{x \in [M, B\Gamma_{\mathcal{C}}]} HTV_{\mathcal{C}}(M,x)$，表明其分解为HQFT块。

实验结果

研究问题

• RQ1 Turaev-Viro TQFT能否被分解为以映射到分类空间的同伦类为指标的分量？
• RQ2 是否存在一种HQFT结构，能通过按同伦类分组着色来细化Turaev-Viro不变量？
• RQ3 从球面对称范畴 $\mathcal{C}$ 衍生出的群 $\Gamma_{\mathcal{C}}$ 如何控制Turaev-Viro不变量的分解？
• RQ4 同调扭曲版本的Turaev-Viro不变量能否通过此HQFT框架描述？
• RQ5 Turaev-Viro TQFT是否同构于所有同伦类上Turaev-Viro HQFT的直和？

主要发现

• Turaev-Viro TQFT分解为以同伦类 $x \in [M, B\Gamma_{\mathcal{C}}]$ 为指标的块，每个块由同伦型Turaev-Viro不变量 $HTV_{\mathcal{C}}(M,x)$ 给出。
• Turaev-Viro HQFT被构造为同伦型不变量的扩展，并将原始TQFT实现为所有同伦类上的直和。
• 对于透镜空间 $L(n,q)$，Turaev-Viro不变量分解为依赖于 $n \mod m$ 的分量，当 $m=2$ 到 $9$ 时给出显式值，表明存在非平凡的块分解。
• 当 $n \equiv 0 \mod m$ 时，HTV不变量在不同块中取非均匀值，例如 $m=6$ 时为 $1/6(1+2\exp(\pm 4i\pi(2p+1)/6))$，表明存在非平凡分解。
• 对于 $L(8p,q)$，HTV不变量在多个块中具有非零值，例如当 $n \equiv 1 \mod 8$ 时为 $(1/8, 1/8\exp(i\pi/4), (-1)^p/8, \dots)$，证实了块分解的存在。
• 该构造推广了Turaev的基于 $K(G,1)$ 的HQFT，并通过群 $\Gamma_{\mathcal{C}}$ 提供了描述扭曲不变量的新框架。