[論文レビュー] 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

ひとこと要約

この論文は、異なる素数 $p$ と $q$ に対して、Frobenius-Perron次元 $pq^4$ および $p^2q^2$ の整数的モジュラーカテゴリを分類する。このようなカテゴリは、次元が $4q^2$ でない限りすべて群的であることが示され、次元が $4q^2$ の場合は、Tambara-Yamagamiカテゴリの中心または量子群から非群的例が生じる。特に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.

研究の動機と目的

• 異なる素数 $p$ と $q$ に対して、Frobenius-Perron次元 $pq^4$ および $p^2q^2$ のすべての整数的モジュラーカテゴリを分類すること。
• 特に次元 $4q^2$ の場合に、このようなカテゴリが群的であるかどうかを特定すること。
• 次元 $4q^2$ の非群的整数的モジュラーカテゴリを特定し、それらを分類すること。これには、量子群やTambara-Yamagamiカテゴリから生じる例を含む。
• $\bar{\frak{sl}}_3$ 量子群から生じる36次元の非群的モジュラーカテゴリについて、ねじれ同値性の観点からの分類を提供すること。

提案手法

• 有限群 $G$ と3次コサイクル $\omega$ に対して $\u0013{Rep}(D^\omega(G))$ の融合部分カテゴリの分類を用いて、群的カテゴリを分析する。
• 非退化なブレード付き融合カテゴリにおけるモジュラー構造と可逆的自己双対的対象の同型類との間の双対性を応用し、分類問題をブレード付きカテゴリに還元する。
• 整数的モジュラーカテゴリにおいて単純対象のFrobenius-Perron次元が全次元を割ることを活用し、可能な融合規則を制約する。
• ねじれ同値性と $G$-gradation 技法を用いて、$\bar{\mathcal{C}}(\frak{sl}_3,q,6)$ などのカテゴリを既知のモジュラーカテゴリと関連付ける。
• $\mathcal{C}(\frak{sl}_3,q,6)$ のねじりを、正規化された2次コサイクル $\chi$ を用いて行い、新しい融合カテゴリ $\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$-gradation を持つ融合カテゴリが、あるホップ代数 $H$ に対して $\mathrm{Rep}(H)$ と同値になれるか？
• RQ5 ねじれ同値性は、ブレード付き融合カテゴリの同値性を超えて、モジュラーカテゴリの分類において果たす役割は何か？

主な発見

• 次元 $pq^4$ の整数的モジュラーカテゴリはすべて群的である。
• 次元 $p^2q^2$ で $p^2q^2$ が奇数である整数的モジュラーカテゴリはすべて群的である。
• 次元 $4q^2$ の非群的整数的モジュラーカテゴリは、$\mathbb{Z}_q \times \mathbb{Z}_q$ 上の楕円的二次形式 $\zeta$ に対する $\mathcal{E}(\zeta,\pm)$ と同値、または $\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)$ は群的でない。これは、$\mathcal{C}(\frak{sl}_3,q,6)$ が非群的であるため、$\mathbb{Z}_3$-拡大や群的カテゴリの同値化として生じえない。