[论文解读] On the classification of almost square-free modular categories

Jingcheng Dong, Sonia Natale|arXiv (Cornell University)|Dec 29, 2016

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

一句话总结

本文对几乎平方自由的模范畴进行分类——即弗罗贝尼乌斯-佩罗尼维数为 $dq^n$ 的范畴，其中 $q>2$ 为素数，$d$ 为平方自由数——表明其为整数型、幂零型，因此为群理论型。当 $q=2$ 时，通过 $G$-等变化（equivariantizations）的有 braid 结构的 $G$-交叉融合范畴，提供了完整的结构描述，包括任意 anyon 类型的任意任何子范畴和指向模范畴的情形。

ABSTRACT

Let $C$ be a modular category of Frobenius-Perron dimension $dq^n$, where $q$ is a prime number and $d$ is a square-free integer. We show that if $q>2$ then $C$ is integral and nilpotent. In particular, $C$ is group-theoretical. In the general case, we describe the structure of $C$ in terms of equivariantizations of group-crossed braided fusion categories.

研究动机与目标

• 对弗罗贝尼乌斯-佩罗尼维数为 $dq^n$ 的模范畴进行分类，其中 $q>2$ 为素数，$d$ 为平方自由数，且 $\gcd(q,d)=1$。
• 确定当 $q=2$ 时严格弱整数型几乎平方自由模范畴的结构。
• 将模范畴的分类拓展至已知的小维数或特定素数之外的情形。
• 利用群理论与等变化技术，为这些范畴提供一个结构框架。
• 阐明 Tannakian 范畴与有 braid 结构的 $G$-交叉融合范畴在分类中的作用。

提出的方法

• 通过弗罗贝尼乌斯-佩罗尼维数分析，推导出 $q>2$ 情形下的整数性与幂零性。
• 应用群理论融合范畴及其 Drinfeld 中心的结果，证明其与 $\mathrm{Rep}(D^\omega G)$ 对于某个 $\omega$ 等价。
• 采用 $G$-等变化与去等变化技术，将模范畴与有 braid 结构的 $G$-交叉融合范畴联系起来。
• 利用 Müger 中心化与核心分解技术，分析去等变化后中性部分的结构。
• 应用弱各向异性有 braid 结构融合范畴的结果，以及对其指向与伴随子范畴的分类。
• 利用 Deligne 张量积与已知的任意 anyon 类型范畴分类，描述 $q=2$ 情形下的子范畴结构。

实验结果

研究问题

• RQ1 所有 $q>2$ 的几乎平方自由模范畴是否均为整数型且幂零型？
• RQ2 当 $q>2$ 时，这些范畴是否能以群理论术语完全分类？
• RQ3 当 $q=2$ 时，严格弱整数型几乎平方自由模范畴的结构为何？
• RQ4 Tannakian 子范畴与等变化如何影响这些模范畴的分类？
• RQ5 所有此类范畴是否均可实现为具有特定子范畴结构的有 braid 结构的 $G$-交叉融合范畴的等变化？

主要发现

• 当 $q>2$ 时，所有维数为 $dq^n$ 的几乎平方自由模范畴均为整数型且幂零型，因此为群理论型。
• 当 $q=2$ 时，此类范畴要么等价于 $\mathcal{I} \boxtimes \mathcal{B}$，其中 $\mathcal{I}$ 为任意 anyon 类型范畴，$\mathcal{B}$ 为指向范畴；要么为有 braid 结构的 $G$-交叉融合范畴的 $G$-等变化。
• 若伴随子范畴维数为 2，则该范畴等价于 $\mathcal{I} \boxtimes \mathcal{B}$，其中 $\mathcal{B}$ 为某个指向模范畴。
• 当核心范畴 $\mathcal{E}$ 的指向-伴随交集非平凡且同构于 $\mathrm{sVect}$ 时，则 $\mathcal{E} \cong \mathcal{I} \boxtimes \mathcal{B}$，表明该范畴属于分类中的第三类。
• 存在实例（如 $\mathcal{I}_1 \boxtimes \mathcal{I}_2 \boxtimes \mathcal{B}$）属于等变化类别，但不属于纯张量积类别。
• 当 $q=2$ 时分类是完整的，且对奇素数 $q$ 推广至 $dq^4$ 维数，此时此类范畴必为指向型。