[论文解读] Classification of fusion categories of dimension pq

Pavel Etingof, Shlomo Gelaki+1 more|ArXiv.org|Apr 15, 2003

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

一句话总结

本文对弗罗贝尼乌斯-佩尔罗维度为 $pq$ 的融合范畴进行了分类，其中 $p < q$ 为不同的素数，表明此类范畴要么是当 $p=2$ 时的塔马克巴-山本范畴，要么是 [ENO] 意义下的群理论范畴。该分类依赖于对对象维数、群上同调 $H^3(G, \mathbb{C}^*)$ 以及伪单位结构的分析，最终证明所有此类范畴均为群理论范畴，这也对维度为 $pq$ 的半单拟霍普夫代数进行了分类。该结果推广了早期关于霍普夫代数的工作，并提供了完整的范畴分类。

ABSTRACT

In this paper we provide a complete classification of fusion categories of Frobenius-Perron (FP) dimension pq, where p1 and which have only one non-invertible object of dimension n.

研究动机与目标

• 提供复数域上弗罗贝尼乌斯-佩尔罗维度为 $pq$ 的融合范畴的完整分类，其中 $p<q$ 为不同的素数。
• 将维度为 $pq$ 的半单霍普夫代数的分类推广至更广泛的融合范畴设定。
• 解决融合范畴中存在非可逆的简单对象且其整数维数大于 1 的情形，表明 $q-1$ 必须被 $p$ 整除。
• 证明所有此类融合范畴均为群理论范畴，从而推广 [EG1] 和 [ENO] 的结果。
• 对具有维度为 $1$ 和 $n$ 的不可约表示、且 $1$-维表示构成阶为 $n$ 的循环群的半单拟霍普夫代数进行分类。

提出的方法

• 通过分析简单对象的维数来研究融合范畴，根据维数是否为整数来区分不同情形。
• 利用格罗滕迪克环和弗罗贝尼乌斯-佩尔罗维数的理论，约束维度为 $pq$ 的融合范畴中的可能结构。
• 应用群上同调 $H^3(G, \mathbb{C}^*)$ 来对所有简单对象均为可逆的融合范畴进行分类，这对应于群扩张。
• 利用戴弗林中心构造以及性质 $\mathrm{FPdim}(Z(\mathcal{C})) = \mathrm{FPdim}(\mathcal{C})^2$ 来分析范畴对称性。
• 将 [EG1] 的方法推广，表明当存在非可逆简单对象时，其维数必为 $p$，且数量为 $\frac{q-1}{p}$。
• 利用 $\mathrm{Rep}(\mathbb{F}_q^* \ltimes \mathbb{F}_q)$ 的结构和上同调计算，对具有一个非可逆对象且维数为 $n$ 的范畴进行分类。

实验结果

研究问题

• RQ1 所有弗罗贝尼乌斯-佩尔罗维度为 $pq$ 的融合范畴（$p<q$ 为不同素数）是什么？
• RQ2 在什么情况下维度为 $pq$ 的融合范畴包含非整数维数的对象，以及如何对它们进行分类？
• RQ3 在何种条件下维度为 $pq$ 的融合范畴是群理论范畴，何时不是？
• RQ4 维度为 $pq$ 的半单拟霍普夫代数的分类是什么？
• RQ5 当一个融合范畴具有阶大于 1 的循环群的可逆对象，且恰好有一个非可逆对象维数为 $n$ 时，此类范畴何时存在，且存在多少个？

主要发现

• 当 $p=2$ 时，维度为 $2q$ 的融合范畴恰好是塔马克巴-山本范畴，且对每个奇素数 $q$ 恰好存在四个此类范畴。
• 当所有简单对象均为可逆时，分类归结为对阶为 $pq$ 的群 $G$ 计算 $H^3(G, \mathbb{C}^*)$，从而通过群上同调实现完整分类。
• 当简单对象具有整数维数但并非全部维数为 1 时，表明 $q-1$ 必须被 $p$ 整除，且该范畴包含 $p$ 个可逆对象和 $\frac{q-1}{p}$ 个维数为 $p$ 的对象。
• 所有此类融合范畴均为群理论范畴，即与某个有限群的表示范畴范畴等价，从而实现完整分类。
• 对具有维度为 $1$ 和 $n$ 的不可约表示、且 $1$-维表示构成阶为 $n$ 的循环群的半单拟霍普夫代数的分类表明，所有此类代数均为群理论范畴。
• 对于具有阶 $n>1$ 的循环群的可逆对象且恰好有一个非可逆对象维数为 $n$ 的融合范畴，此类范畴仅在 $n+1 = p^a$ 为素数幂时存在，且此类范畴的数量为 1、2 或 3，具体取决于 $n$。