[论文解读] Module categories over the Drinfeld double of a finite group

Victor Ostrik|ArXiv.org|Feb 14, 2002

Algebraic structures and combinatorial models参考文献 12被引用 35

一句话总结

本文对有限群 $G$ 的 Drinfeld 双代数 $\mathcal{D}(G, \omega)$ 在 3-上循环扭变 $\omega$ 下的模类进行分类，表明其与满足 $\omega|_H = 1$ 的子群 $H \leq G$ 及其上 2-上链 $\psi \in H^2(H, \mathbb{C}^*)$ 的共轭类对 $(H, \psi)$ 之间存在双射关系。该分类通过 $\mathrm{Vec}^G_\omega$ 中的扭变群代数实现，结果推广了关于融合范畴的已知结论，并以 $S_3$ 为例，明确计算了模不变量。

ABSTRACT

We classify the module categories over the double (possibly twisted) of a finite group.

研究动机与目标

• 对有限群 $G$ 及其 3-上循环扭变 $\omega$ 的 Drinfeld 双代数 $\mathcal{D}(G, \omega)$ 的所有模类进行分类。
• 建立此类模类与共轭类对 $(H, \psi)$ 之间的对应关系，其中 $H \leq G$，$\omega|_H = 1$，且 $\psi \in H^2(H, \mathbb{C}^*)$。
• 通过 $\mathrm{Vec}^G_\omega$ 中的扭变群代数系统地构造模类。
• 计算模类及其对偶类的秩，并将其与模不变量关联，特别针对对称群 $S_3$ 进行分析。

提出的方法

• 利用融合范畴上每个模类均来自该范畴中结合代数的模类这一事实，将其应用于 $\mathcal{D}(G, \omega)$。
• 通过 $\mathrm{Vec}^G_\omega$ 中的扭变群代数 $A(H, \psi) = \mathbb{C}_\psi[H]$ 构造模类，其中 $\psi$ 是满足 $d\psi = \omega|_H$ 的 2-上链。
• 通过 $G$ 在此类对 $(H, \psi)$ 上的作用分析其模同调等价类，从而对这些代数进行分类。
• 利用格罗滕迪克群与双模类范畴，计算每个模类及其对偶类的秩。
• 通过匹配秩并利用已知的 $S_3$ 模不变量表，将分类与共形场论中的模不变量关联起来，尤其关注 22 个不可约模类。

实验结果

研究问题

• RQ1 如何对有限群 $G$ 与 3-上循环扭变 $\omega$ 的 Drinfeld 双代数 $\mathcal{D}(G, \omega)$ 上的模类进行分类？
• RQ2 模类与上同调数据（如满足 $\omega|_H = 1$ 的子群 $H \leq G$ 及其 2-上循环 $\psi \in H^2(H, \mathbb{C}^*)$）之间的确切对应关系是什么？
• RQ3 模类及其对偶类的秩在共形场论的模不变量语境下如何关联？
• RQ4 该分类能否在特定非交换群（如 $S_3$）上被显式验证，并与已知的模不变量匹配？
• RQ5 扭变群代数在实现 $\mathcal{D}(G, \omega)$ 上所有不可约模类中扮演何种角色？

主要发现

• 在 $\mathcal{D}(G, \omega)$ 上的不可约模类与满足 $H \leq G$，$\omega|_H = 1$，且 $\psi \in H^2(H, \mathbb{C}^*)$ 的对 $(H, \psi)$ 的共轭类之间存在双射关系。
• 对于对称群 $S_3$，共分类出 22 个不可约模类，其类及对偶类的秩已计算，并与模不变量匹配。
• 每个模类的对偶类 $\mathcal{C}^*$ 的秩已显式计算，其取值范围为 8 至 36，用于约束其与模不变量的对应关系。
• 模类与模不变量之间的对应关系部分确定：例如，$H_1$ 对应 $|\chi_0 + \chi_1 + 2\chi_2|^2$，而 $H_1^{tw}$ 对应 $|\chi_0|^2 + |\chi_1|^2 + \cdots + |\chi_7|^2$。
• 该分类与一般理论一致：模类可表示为 $\mathrm{Mod}_{\mathcal{C}}(A)$，其中 $A$ 是 $\mathcal{C}$ 中的结合代数，且所有此类类均由扭变群代数构造所捕获。
• 对于 $S_3$，秩与模不变量的表格表明，某些类如 $H_2$ 与 $H_{17}$ 无法仅通过秩区分，表明需要更精细的不变量。