[论文解读] Fusion subcategories of representation categories of twisted quantum doubles of finite groups

Deepak Naıdu, Dmitri Nikshych+1 more|ArXiv.org|Sep 30, 2008

Algebraic structures and combinatorial models参考文献 17被引用 5

一句话总结

本文对有限群 $G$ 和 3-上循环 $ω$ 的扭曲量子双代数 $Óperatorname{Rep}(D^\omega(G))$ 的表示范畴中的融合子范畴提供了完整分类，建立了与三元组 $(K,H,B)$ 之间的双射关系，其中 $K,H \trianglelefteq G$ 为彼此相互中心化的正规子群，且 $B:K\times H \to k^\times$ 为 $G$-不变的 $ω$-双特征标。主要贡献在于通过此分类全面描述了所有群理论型有 braided 融合范畴，包括非退化性和本原性的判别准则。

ABSTRACT

We describe all fusion subcategories of the representation category of a twisted quantum double of a finite group. In view of the fact that every group-theoretical braided fusion category can be embedded into a representation category of a twisted quantum double of a finite group, this gives a complete description of all group-theoretical braided fusion categories. We describe the lattice and give formulas for some invariants of the fusion subcategories of representation category of a twisted quantum double of a finite group. We also give a characterization of group-theoretical braided fusion categories as equivariantizations of pointed categories.

研究动机与目标

• 提供有限群的扭曲量子双代数表示范畴 $\operatorname{Rep}(D^\omega(G))$ 中所有融合子范畴的完整分类。
• 将所有群理论型有 braided 融合范畴表征为嵌入在 $\operatorname{Rep}(D^\omega(G))$ 中的子范畴。
• 描述融合子范畴的格结构，并计算非退化性和本原性等不变量。
• 建立每个群理论型有 braided 融合范畴均可作为某一点化融合范畴的等变化构造。
• 在 $\operatorname{Rep}(D^\omega(G))$ 中提供对非退化和本原融合子范畴的上同调精确表征。

提出的方法

• 利用等价关系 $\operatorname{Rep}(D^\omega(G)) \cong \mathcal{Z}(\operatorname{Vec}_G^\omega)$，即具有结合子 $\omega$ 的 $G$-分次向量空间范畴的 Drinfeld 中心。
• 为彼此相互中心化的正规子群 $K,H \trianglelefteq G$ 定义 $G$-不变的 $\omega$-双特征标 $B:K \times H \to k^\times$。
• 通过与三元组 $(K,H,B)$ 相关联的特定简单对象生成的全张张量子范畴，构造融合子范畴 $\mathcal{S}(K,H,B)$。
• 应用中心化子与去等变化理论，将融合子范畴与点化范畴的等变化构造联系起来。
• 利用 Tannakian 对偶性与模范畴构造，证明任意群理论型有 braided 融合范畴均可作为某一点化范畴的等变化构造。
• 借助有 braided $G$-交叉范畴与交叉模的结构，将分类与群上同调及范畴对偶性联系起来。

实验结果

研究问题

• RQ1 对于有限群 $G$ 和 3-上循环 $ω$，$\operatorname{Rep}(D^\omega(G))$ 中融合子范畴的完整分类是什么？
• RQ2 如何将所有群理论型有 braided 融合范畴实现为 $\operatorname{Rep}(D^\omega(G))$ 的子范畴？
• RQ3 在何种条件下，融合子范畴 $\mathcal{S}(K,H,B) \subseteq \operatorname{Rep}(D^\omega(G))$ 是非退化或本原的？
• RQ4 每个群理论型有 braided 融合范畴是否都能实现为某一点化融合范畴的等变化构造？
• RQ5 $G$-不变的 $ω$-双特征标在分类融合子范畴格结构中起什么作用？

主要发现

• 融合子范畴 $\operatorname{Rep}(D^\omega(G))$ 与三元组 $(K,H,B)$ 之间存在双射关系，其中 $K,H$ 为 $G$ 的正规子群且彼此相互中心化，且 $B:K \times H \to k^\times$ 为 $G$-不变的 $\u03c9$-双特征标。
• 融合子范畴 $\mathcal{S}(K,H,B)$ 是非退化的，当且仅当 $HK = G$，且对称双特征标 $BB^{\mathrm{op}}|_{(K\cap H)\times(K\cap H)}$ 在 $(K\cap H)\times(K\cap H)$ 上是非退化的。
• $\operatorname{Rep}(D^\omega(G))$ 是本原的，当且仅当不存在满足 $HK = G$ 且 $BB^{\mathrm{op}}|_{(K\cap H)\times(K\cap H)}$ 非退化的真非平凡三元组 $(K,H,B)$。
• 所有群理论型有 braided 融合范畴均可作为某个有限群 $G$ 和 3-上循环 $ω$ 的 $\operatorname{Rep}(D^\omega(G))$ 中的全张融合子范畴实现。
• 每个群理论型有 braided 融合范畴都与某一点化融合范畴的 $G$-等变化构造等价，具体为 $\mathcal{D} \cong (\mathcal{D}_G)^G$，其中 $\mathcal{D}_G$ 为点化范畴。
• 该分类意味着对所有模形式群理论型融合范畴的完整描述，因为在该设定下非退化性等价于模性。