[论文解读] Categorical centers and Reshetikhin-Turaev invariants

Alain Bruguières, Alexis Virelizier|ArXiv.org|Dec 12, 2008

Algebraic structures and combinatorial models参考文献 19被引用 10

一句话总结

本文将 Müger 关于范畴中心模性的定理推广至任意交换环，无需要求范畴维数可逆。它构建了一个显式算法，通过原始球面对称范畴 $\mathcal{C}$ 中的霍普夫图与结构态射，计算中心 $Η(\mathcal{C})$ 的雷斯赫蒂辛-图雷夫不变量，从而在无需了解 $\mathcal{Z}(\mathcal{C})$ 的单个对象的情况下实现计算。关键贡献是通过 $\mathcal{Z}(\mathcal{C})$ 的余端上的归一化积分，直接从 $\mathcal{C}$ 计算 $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$ 的方法，扩展了吕巴申科不变量的框架。

ABSTRACT

The center Z(C) of a spherical fusion category C (over an arbitrary commutative ring) is modular. We give an algorithm for computing the Reshetikhin-Turaev invariant defined with Z(C). It is based on Hopf diagrams and an explicit description of the structure of the coend of Z(C).

研究动机与目标

• 将 Müger 关于范畴中心模性的结果推广至任意交换环，消除对代数闭域和可逆维数的要求。
• 提供一个直接在原始范畴 $\mathcal{C}$ 中计算雷斯赫蒂辛-图雷夫不变量 $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$ 的算法，无需了解 $\mathcal{Z}(\mathcal{C})$ 的单个对象。
• 建立一个可计算的框架，用于通过霍普夫图与结构态射，利用中心的余端计算 3-流形的量子不变量。

提出的方法

• 利用吕巴申科在扭结范畴中构造量子不变量的余端方法，将余端 $C = \int^{X \in \mathcal{Z}(\mathcal{C})} \leftidx{{}^\vee}{\!X}{} \otimes X$ 视为 $\mathcal{Z}(\mathcal{C})$ 中的霍普夫代数。
• 应用基于霍普夫图的显式算法，通过 $\mathcal{C}$ 中的态射计算不变量 $\tau_{\mathcal{Z}(\mathcal{C})}(M; \Lambda)$，以代数方式编码辫状结构。
• 将中心 $\mathcal{Z}(\mathcal{C})$ 构造为 $\mathcal{C}$ 上霍普夫函子 $Z$ 的模范畴，为范畴中心提供代数解释。
• 引入霍普夫函子的广义德拉芬特双模概念，从而以 $\mathcal{C}$ 的结构显式描述 $\mathcal{Z}(\mathcal{C})$ 的余端。
• 在 $\mathcal{Z}(\mathcal{C})$ 的余端 $C$ 上识别出一个典范的 $S_C$-不变积分 $\Lambda$，该积分作为归一化 Kirby 元素，用于计算不变量。
• 利用余端上霍普夫配对 $\omega_C$ 的非退化性来定义模性，将经典模性概念推广至非半单与非代数闭的设定。

实验结果

研究问题

• RQ1 能否在不假设 $\mathcal{C}$ 的维数可逆或 $\Bbbk$ 代数闭的情况下，在任意交换环上建立范畴中心 $\mathcal{Z}(\mathcal{C})$ 的模性？
• RQ2 是否存在一个可计算的算法，可直接用原始范畴 $\mathcal{C}$ 的语言计算雷斯赫蒂辛-图雷夫不变量 $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$，而无需将 $\mathcal{Z}(\mathcal{C})$ 分解为单个对象？
• RQ3 如何通过 $\mathcal{C}$ 内部的结构，特别是霍普夫函子的广义德拉芬特双模构造，显式描述 $\mathcal{Z}(\mathcal{C})$ 的余端？
• RQ4 能否使用霍普夫图与 $\mathcal{C}$ 中的态射计算不变量 $\tau_{\mathcal{Z}(\mathcal{C})}(M; \Lambda)$，且在标准归一化下是否与 $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$ 一致？
• RQ5 当 $\dim \mathcal{C}$ 不可逆时，$\mathcal{Z}(\mathcal{C})$ 的余端上的积分 $\Lambda$ 在定义良定的 3-流形不变量中起何作用？

主要发现

• 对于任意交换环 $\Bbbk$ 上的球面对称融合范畴 $\mathcal{C}$，其中心 $\mathcal{Z}(\mathcal{C})$ 是模的，将 Müger 的结果推广至非代数闭域与非可逆维数的情形。
• 中心 $\mathcal{Z}(\mathcal{C})$ 的余端 $C$ 具有一个典范的 $S_C$-不变积分 $\Lambda$，该积分是归一化的 Kirby 元素，可用于构造不变量 $\tau_{\mathcal{Z}(\mathcal{C})}(M; \Lambda)$。
• 当 $\dim \mathcal{C}$ 不可逆时，不变量 $\tau_{\mathcal{Z}(\mathcal{C})}(M; \Lambda)$ 依然良定，扩展了雷斯赫蒂辛-图雷夫构造的应用范围。
• 当 $M = S^3$ 时，不变量取值为 $\tau_{\mathcal{Z}(\mathcal{C})}(S^3; \Lambda) = 1$；当 $M = S^2 \times S^1$ 时，取值为 $\dim \mathcal{C}$，提供了明确的基例。
• 当 $\Bbbk$ 代数闭且 $\dim \mathcal{C}$ 可逆时，$\tau_{\mathcal{Z}(\mathcal{C})}(M; \Lambda)$ 在归一化意义下与标准雷斯赫蒂辛-图雷夫不变量 $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$ 一致。
• 整个 $\mathrm{RT}_{\mathcal{Z}(\mathcal{C})}(M)$ 的计算均可通过 $\mathcal{C}$ 中显式态射完成，如霍普夫图所编码，从而无需对 $\mathcal{Z}(\mathcal{C})$ 的单个对象进行分类。