[论文解读] Classification of integral modular categories of Frobenius-Perron dimension pq^4 and p^2q^2

Paul Bruillard, César Galíndo+6 more|arXiv (Cornell University)|Mar 19, 2013

Algebraic structures and combinatorial models参考文献 16被引用 3

一句话总结

本文对弗罗贝尼乌斯-佩罗尼维数为 $pq^4$ 和 $p^2q^2$ 的积分模范畴进行了分类，其中 $p$ 和 $q$ 为不同的素数。结果表明，除维数为 $4q^2$ 的情况外，此类范畴均为群范畴理论范畴；在维数为 $4q^2$ 时，非群范畴理论的例子源自塔马克巴-山本范畴的中心或量子群，且对 36 维情形完成了扭等价下的完整分类。

ABSTRACT

We classify integral modular categories of dimension pq^4 and p^2q^2 where p and q are distinct primes. We show that such categories are always group-theoretical except for categories of dimension 4q^2. In these cases there are well-known examples of non-group-theoretical categories, coming from centers of Tambara-Yamagami categories and quantum groups. We show that a non-group-theoretical integral modular category of dimension 4q^2 is equivalent to either one of these well-known examples or is of dimension 36 and is twist-equivalent to fusion categories arising from a certain quantum group.

研究动机与目标

• 对弗罗贝尼乌斯-佩罗尼维数为 $pq^4$ 和 $p^2q^2$ 的所有积分模范畴进行分类，其中 $p$ 和 $q$ 为不同的素数。
• 确定此类范畴是否为群范畴理论范畴，尤其关注维数为 $4q^2$ 的情形。
• 识别并分类维数为 $4q^2$ 的非群范畴理论积分模范畴，包括源自量子群和塔马克巴-山本范畴的例子。
• 为由 $\bar{\frak{sl}}_3$ 量子群产生的 36 维非群范畴理论模范畴提供扭等价分类。

提出的方法

• 利用有限群 $G$ 和三阶上循环 $\omega$ 的 $\u0013{Rep}(D^\omega(G))$ 的融合子范畴分类，分析群范畴理论范畴。
• 应用非退化有 braided 融合范畴上的模结构与可逆自对偶对象的同构类之间的双射，将分类问题简化为有 braided 范畴。
• 利用积分模范畴中简单对象的弗罗贝尼乌斯-佩罗尼维数整除总维数的性质，限制可能的融合规则。
• 使用扭等价和 $G$-分次技术，将范畴如 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$ 与已知的模范畴联系起来。
• 通过使用归一化的 2-上循环 $\chi$ 对 $\mathcal{C}(\frak{sl}_3,q,6)$ 进行扭变，构造新的融合范畴 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$，并保持融合规则不变。
• 通过反证法证明 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$ 不是群范畴理论范畴，利用中心正合序列和维数为 12 的半单霍普夫代数的分类。

实验结果

研究问题

• RQ1 所有维数为 $pq^4$ 的积分模范畴是否都是群范畴理论范畴？
• RQ2 维数为 $4q^2$ 的非群范畴理论积分模范畴有哪些？如何对它们进行分类？
• RQ3 36 维模范畴 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$ 是否与某个已知的量子群范畴扭等价？
• RQ4 是否存在一个与 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$ 具有相同融合规则的 $\mathbb{Z}_3$-分次融合范畴，且同构于某个霍普夫代数 $H$ 的 $\mathrm{Rep}(H)$？
• RQ5 扭等价在分类模范畴中的作用是什么，其意义是否超越了有 braided 融合范畴的等价性？

主要发现

• 所有维数为 $pq^4$ 的积分模范畴均为群范畴理论范畴。
• 所有维数为 $p^2q^2$ 且 $p^2q^2$ 为奇数的积分模范畴均为群范畴理论范畴。
• 维数为 $4q^2$ 的非群范畴理论积分模范畴等价于 $\mathcal{E}(\zeta,\pm)$，其中 $\zeta$ 是 $\mathbb{Z}_q \times \mathbb{Z}_q$ 上的椭圆二次型，或与 $\mathcal{C}(\frak{sl}_3,q,6)$ 或 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$ 扭等价。
• 36 维范畴 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$ 是一个新例子，为非群范畴理论模范畴，且不与任何霍普夫代数 $H$ 的 $\mathrm{Rep}(H)$ 同构，其证明基于阿贝尔正合序列的障碍。
• 显式计算了 $q = e^{\pi i/3}$ 时 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$ 的模数据，包括 $S$ 矩阵和 $T$ 矩阵。
• $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$ 不是群范畴理论范畴，因为其无法通过群范畴理论范畴的 $\mathbb{Z}_3$-扩张或等变化构造得到，原因在于 $\mathcal{C}(\frak{sl}_3,q,6)$ 本身是非群范畴理论的。