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

ひとこと要約

この論文は、Frobenius-Perron次元が $dq^n$ であるほぼ平方自由なモジュラーカテゴリ— ここで $q>2$ は素数で、$d$ は平方自由—を分類し、それらが整数的で、ニルポテンツであり、したがって群的であることを示している。$q=2$ の場合、braided $G$-crossed なファションカテゴリの $G$-等配分により、完全な構造的記述がなされている。これには、イジンカテゴリーやポイント付きモジュラーカテゴリを含む場合も含まれる。

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.

研究の動機と目的

• Frobenius-Perron次元が $dq^n$ であるモジュラーカテゴリを分類すること、ここで $q>2$ は素数、$d$ は平方自由、かつ $\gcd(q,d)=1$ である。
• strictly weakly integral なほぼ平方自由なモジュラーカテゴリが $q=2$ のときの構造を特定すること。
• 小さな次元や特定の素数の既知のケースを超えて、モジュラーカテゴリの分類を拡張すること。
• 群的および等配分技術を用いて、このようなカテゴリの構造的枠組みを提供すること。
• Tannakianカテゴリーやbraided $G$-crossed なファションカテゴリが分類において果たす役割を明確にすること。

提案手法

• $q>2$ の場合に、Frobenius-Perron次元の分析を用いて整数的でニルポテンツであることを導出する。
• 群的ファションカテゴリおよびそのDrinfeld中心に関する結果を応用し、ある $\omega$ に対して $\mathrm{Rep}(D^\omega G)$ に同値であることを示す。
• $G$-等配分および非等配分技術を用いて、モジュラーカテゴリをbraided $G$-crossed なファションカテゴリに関連付ける。
• Müger中心化およびコア分解を用いて、非等配分後の中立的成分の構造を分析する。
• 未対称なbraidedファションカテゴリに関する結果およびそのポイント付きおよび随伴成分の分類を応用する。
• Deligneテンソル積および既知のイジンカテゴリの分類を用いて、$q=2$ の場合の成分を記述する。

実験結果

リサーチクエスチョン

• RQ1 $q>2$ のとき、すべてのほぼ平方自由なモジュラーカテゴリは整数的でニルポテンツであるか？
• RQ2 $q>2$ のとき、このようなカテゴリは完全に群的用語で分類可能か？
• RQ3 $q=2$ のとき、strictly weakly integral なほぼ平方自由なモジュラーカテゴリの構造は何か？
• RQ4 Tannakian部分カテゴリおよび等配分は、これらのモジュラーカテゴリの分類にどのように影響するか？
• RQ5 すべてのこのようなカテゴリが、特定の成分構造を持つbraided $G$-crossed なファションカテゴリの等配分として実現可能か？

主な発見

• $q>2$ の場合、次元 $dq^n$ のほぼ平方自由なモジュラーカテゴリはすべて整数的でニルポテンツであり、したがって群的である。
• $q=2$ の場合、このようなカテゴリは、$\mathcal{I}$ がイジンカテゴリで $\mathcal{B}$ がポイント付きであるようなDeligneテンソル積 $\mathcal{I} \boxtimes \mathcal{B}$ に同値であるか、braided $G$-crossed なファションカテゴリの $G$-等配分として生じる。
• 随伴部分カテゴリの次元が 2 である場合、カテゴリは $\mathcal{I} \boxtimes \mathcal{B}$ に同値である（$\mathcal{B}$ はポイント付きモジュラーカテゴリ）。
• コアカテゴリ $\mathcal{E}$ が非自明なポイント付き-随伴交差が $\mathrm{sVect}$ に同型である場合、$\mathcal{E} \cong \mathcal{I} \boxtimes \mathcal{B}$ であり、カテゴリは分類の第3類に属する。
• 例として $\mathcal{I}_1 \boxtimes \mathcal{I}_2 \boxtimes \mathcal{B}$ のようなカテゴリは、等配分クラスに属するが、純粋なテンソル積クラスには属さない。
• $q=2$ に対して分類は完全であり、奇数の $q$ に対しては $dq^4$ 次元まで拡張され、その場合、このようなカテゴリは必然的にポイント付きである。