[论文解读] Representation Theory of Twisted Group Double

Daniel R. Altschuler, Antoine Coste+1 more|ArXiv.org|Sep 29, 2003

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

一句话总结

本文发展了扭曲群双代数 $D^\omega(G)$ 的表示理论，这是一种由有限群 $G$ 和取值于 $U(1)$ 的归一化 3-上循环 $\omega$ 构造的拟霍普夫代数。文章证明了 $D^\omega(G)$ 的半单性，通过广义特征标理论对其实现不可约表示的分类，并提供了一个利用扭量函子和链路手术计算拓扑不变量（如 Verlinde $S$-矩阵）的框架，其中非平凡相位来源于非同痕的 3-上循环。

ABSTRACT

This text collects useful results concerning the quasi-Hopf algebra $\D $. We give a review of issues related to its use in conformal theories and physical mathematics. Existence of such algebras based on 3-cocycles with values in $ {R} / {Z} $ which mimic for finite groups Chern-Simons terms of gauge theories, open wide perspectives in the so called "classification program". The modularisation theorem proved for quasi-Hopf algebras by two authors some years ago makes the computation of topological invariants possible. An updated, although partial, bibliography of recent developments is provided.

研究动机与目标

• 通过拟霍普夫代数结构将戴林弗雷德量子双代数的表示理论推广至扭曲群双代数 $D^\omega(G)$。
• 利用正则表示与广义特征标理论对 $D^\omega(G)$ 的不可约表示进行分类。
• 为共形场论中的拓扑不变量（如 Verlinde $S$-矩阵）提供计算框架。
• 确立 3-上循环 $\omega$ 在编码对有理共形场论分类至关重要的非平凡相位中的作用。
• 通过手术、链路不变量与海加德分裂，建立像 $D^\omega(G)$ 这类代数结构与拓扑不变量之间的联系。

提出的方法

• 利用有限群 $G$ 与归一化 3-上循环 $\omega \in Z^3(G, U(1))$ 构造 $D^\omega(G)$ 为拟三角拟霍普夫代数。
• 通过对偶霍普夫代数与正规序定义余乘法与 $R$-矩阵结构，确保与杨-巴克斯方程的相容性。
• 利用广义特征标理论对不可约表示进行分类，其标签与群元素的共轭类及中心化子相关。
• 将扭量函子应用于着色霍普夫链路以计算 Verlinde $S$-矩阵，其中非平凡相位由 $\omega$ 编码。
• 推导涉及 $\theta_g$ 与 $\omega$ 的群上同调恒等式，以确保代数结构与表示理论的一致性。
• 通过马尔科夫迹建立三角剖分与德恩手术不变量之间的等价性，将拓扑量子场论与代数不变量联系起来。

实验结果

研究问题

• RQ1 如何系统地发展任意有限群与 3-上循环 $\omega$ 下扭曲群双代数 $D^\omega(G)$ 的表示理论？
• RQ2 $D^\omega(G)$ 的不可约表示具有何种结构？它们如何推广标准特征标理论？
• RQ3 非平凡 3-上循环 $\omega$ 如何影响拓扑不变量（如 Verlinde $S$-矩阵）的计算？
• RQ4 由 $\omega$ 产生的相位如何影响有理共形场论的分类？
• RQ5 在基于 $D^\omega(G)$ 的拓扑量子场论中，马尔科夫迹与手术不变量等代数构造之间存在何种关系？

主要发现

• 对于任意有限群 $G$ 与归一化 3-上循环 $\omega$，扭曲群双代数 $D^\omega(G)$ 是半单的，确保其表示范畴具有良好行为。
• $D^\omega(G)$ 的不可约表示由共轭类 $C_A$ 与中心化子 $N_{g_A}$ 中的元素分类，其标签为 $\chi_A \times (x_j, h)$。
• Verlinde $S$-矩阵通过将扭量函子应用于着色霍普夫链路计算得出，非平凡相位由 3-上循环 $\omega$ 编码，特别是通过 $\theta_g$。
• 拟霍普夫代数的模化定理使得诸如手术与 3-流形三角剖分的拓扑不变量得以计算。
• 群上同调恒等式（包括 (21) 与 (23)）确保了代数结构的一致性，并证实当 $g^{p_A} = e$ 时，有 $\prod_{n=0}^{p_A-1} \omega(g, g^n, g) = \omega_A$，将局部上循环数据与全局不变量联系起来。
• 本文确认马尔科夫迹构造可恢复来自戴肯-惠特尼拓扑场论的不变量，建立了透镜空间的三角剖分与德恩手术不变量之间的等价性。