[論文レビュー] Classification of super-modular categories by rank

Paul Bruillard, César Galíndo+4 more|arXiv (Cornell University)|May 15, 2017

Algebraic structures and combinatorial models被引用数 49

ひとこと要約

この論文は、超モジュラーなカテゴリの分類をランク6まで、スピンモジュラーなカテゴリの分類をランク11まで、モジュラーなカテゴリの技術（例えば、ヴェルリンデの公式やフロベニウス＝シュール指標の公式）を超モジュラーな設定に適応することで行った。非自明な超モジュラーなカテゴリがランク2、4、6において、唯一のものであることが示された。そのカテゴリは $PSU(2)_{4k+2}$（$k=0,1,2$）である。これはフェルミオン的任意子フレームワークにおける基礎的な分類を確立するものである。

ABSTRACT

We pursue a classification of low-rank super-modular categories parallel to that of modular categories. We classify all super-modular categories up to rank=$6$, and spin modular categories up to rank=$11$. In particular, we show that, up to fusion rules, there is exactly one non-split super-modular category of rank $2,4$ and $6$, namely $PSU(2)_{4k+2}$ for $k=0,1$ and $2$. This classification is facilitated by adapting and extending well-known constraints from modular categories to super-modular categories, such as Verlinde and Frobenius-Schur indicator formulae.

研究の動機と目的

• 超モジュラーなカテゴリがフェルミオン的トポロジカルな物質相をモデル化することを踏まえ、モジュラーなカテゴリの分類枠組みを超モジュラーなカテゴリへと拡張すること。
• 退化した $S$-行列が標準的なモジュラー技術を複雑にする超モジュラーなカテゴリにおけるランクの有限性と分類の課題に取り組むこと。
• 超モジュラーなカテゴリをランク6まで、スピンモジュラーなカテゴリをランク11まで完全に分類すること。
• プリモジュラーなカテゴリの有限性に及ぼす最小モジュラー拡張予想の意義を調査すること。

提案手法

• モジュラーなカテゴリから超モジュラーなカテゴリへとヴェルリンデの公式およびフロベニウス＝シュール指標の技術を適応した。
• 超モジュラーなカテゴリにおける $S$-行列のブロック構造を用いて、成分 $\mathcal{C}_0$、$\mathcal{C}_v$、$\mathcal{C}_\sigma$ の次元に制約を導出した。
• -equivariantization およびガロア共役を用いて、超モジュラーなカテゴリとモジュラーなカテゴリを関連づけた。
• $S$-行列のブロック分解を分析し、特定の部分空間への $S$-行列の全単射性を証明することで、次元数え上げを可能にした。
• 既知の $PSU(2)_{4k+2}$ の最小モジュラー拡張の分類を活用して、スピンモジュラーなカテゴリを分類した。
• すべての超モジュラーなカテゴリが、そのランクの2倍以内のランクを持つモジュラーなカテゴリの部分カテゴリとして現れることを仮定することで、有限性を支援した。

実験結果

リサーチクエスチョン

• RQ1 与えられたランクに対して、超モジュラーなカテゴリは有限個存在するか？ また、最小モジュラー拡張によってその有限性を示せるか？
• RQ2 ランク6までの非自明な超モジュラーなカテゴリの完全な分類は何か？
• RQ3 融合規則と $S$-行列の構造は、超モジュラーおよびスピンモジュラーなカテゴリの可能なランクにどのような制約を課えるか？
• RQ4 ランク11までのスピンモジュラーなカテゴリの分類は、$PSU(2)_{4k+2}$ の既知のモジュラー拡張に還元可能か？
• RQ5 $S$-行列が $\hat{S} \otimes \begin{pmatrix}1&1\\1&1\end{pmatrix}$ の形をしている超モジュラーなカテゴリは、必ずしも自明な分解を持つのか？

主な発見

• ランク2、4、6における非自明な超モジュラーなカテゴリは、それぞれ $PSU(2)_6$、$PSU(2)_{10}$、$PSU(2)_{18}$ として、唯一つ存在する。
• ランク ≤6 におけるすべての超モジュラーなカテゴリは、融合規則の意味で分類されており、非自明な例はこの3つだけである。
• ランク ≤11 のスピンモジュラーなカテゴリは分類済みである： それらは $SO(N)_1$ とのデリーニュ積であるか、または $PSU(2)_6$ や $PSU(2)_{10}$ の16個の最小モジュラー拡張のいずれかとグローテンディーク同値である。
• ランク7では、非自明な場合の唯一の例は $PSU(2)_6$ の最小モジュラー拡張とグローテンディーク同値であり、ランク10および11に対しても同様に $PSU(2)_{10}$ の最小モジュラー拡張と同値である。
• 分類の結果から、$\mathcal{C}_0$ が $PSU(2)_{4k+2}$ とグローテンディーク同値でない限り、それは自明である、すなわち $\mathcal{C}_0 \cong \mathrm{sVec} \boxtimes \mathcal{D}$（$\mathcal{D}$ はモジュラーなカテゴリ）であることが示された。
• 結果は、ユニタリなプリモジュラーなカテゴリのランクの有限性が、超モジュラーなカテゴリの最小モジュラー拡張予想から導かれる可能性を支持する。