[論文レビュー] On classification of modular categories by rank

Paul Bruillard, Siu‐Hung Ng+2 more|arXiv (Cornell University)|Jul 18, 2015

Algebraic structures and combinatorial models参考文献 21被引用数 56

ひとこと要約

本稿は、ランクによるモジュラーカテゴリの分類を目的として、算術的・表現論的・代数的手段を展開し、モジュラー同値性の観点からランク5のモジュラーカテゴリを完全に分類することに成功した。4つのグロテンディーク同値類が同定された：$SU(2)_4$、$SU(2)_9/\mathbb{Z}_2$、$SU(5)_1$、$SU(3)_4/\mathbb{Z}_3$。ガロア対称性、$S$-行列の構造、$SL(2,\mathbb{Z})$表現の制約を用いて同定された。

ABSTRACT

The feasibility of a classification-by-rank program for modular categories follows from the Rank-Finiteness Theorem. We develop arithmetic, representation theoretic and algebraic methods for classifying modular categories by rank. As an application, we determine all possible fusion rules for all rank=$5$ modular categories and describe the corresponding monoidal equivalence classes.

研究の動機と目的

• ランクによるモジュラーカテゴリの分類のための体系的ツールを開発し、算術的・表現論的・代数的制約を活用する。
• ランク4を超える分類プログラムを拡張し、各ランクに対して有限個のモジュラーカテゴリが存在することを保証するランク有限性定理を基盤とする。
• ランク5のモジュラーカテゴリのすべての可能な結合則とモノイダル同値類を同定する。
• S-行列のガロア対称性と$SL(2,\mathbb{Z})$表現論を応用し、実現可能なモジュラーデータを制約する。
• スペクトルの不交性を用いた議論により、不適切な分解を排除し、モジュラー表現の構造を解明する。

提案手法

• 分類プログラムの根拠としてランク有限性定理を用いる。
• モジュラーカテゴリ公理から導かれる代数的制約を満たすペア$(S,T)$を、適切なモジュラーデータとして定義する。
• S-行列のガロア対称性を適用し、エントリを制約し、モジュラーデータの実現可能性を保証する。
• ガロア対称性と$SL(2,\mathbb{Z})$表現論を組み合わせ、モジュラー表現およびそのスペクトル性質を分析する。
• モジュラー表現が、$\mathfrak{t}$-スペクトルが不交和である2つの表現の直和にはなり得ないというキーレマ（補題3.18）を用いる。
• S-行列とヴェルリンドの公式を用いて結合則を計算し、T-行列を用いてトポロジカルなねじれと量子次元を特定する。

実験結果

リサーチクエスチョン

• RQ1 ランク5のモジュラーカテゴリが実現可能な結合則の完全な集合は何か？
• RQ2 ランク5のモジュラーカテゴリの中で、モノイダル同値であるものはどれか？ そして、グロテンディーク同値性の観点からどのように分類できるか？
• RQ3 S-行列のガロア対称性と$SL(2,\mathbb{Z})$表現論は、可能なモジュラーデータにどのような制約を加えるか？
• RQ4 直和分解における$\mathfrak{t}$-スペクトルの不交和性を用いて、不適切なモジュラー表現を除外できるか？
• RQ5 ランク5のモジュラーカテゴリの正確なモノイダル同値類は何か？ そして、既知の量子群およびその商群とどのように関係するか？

主な発見

• すべてのランク5モジュラーカテゴリは、次の4つのカテゴリのいずれかのグロテンディーク同値類に属する：$SU(2)_4$、$SU(2)_9/\mathbb{Z}_2$、$SU(5)_1$、$SU(3)_4/\mathbb{Z}_3$。
• モノイダル同値性の観点から分類は完全であり、上記4つのクラス以外に実現可能なカテゴリは存在しない。
• 各カテゴリのS-行列およびT-行列データは、結合則とトポロジカルなねじれによって完全に決定される。
• 証明は、不適切な分解を除外するためのスペクトルの不交和性の議論（補題3.18）に依拠している。
• S-行列のエントリが生成する数体のガロア群は、$\mathfrak{S}_5$のアーベル部分群として作用し、数論的制約を可能にする。
• 次数$\leq 4$の$SL(2,\mathbb{Z})$の既約表現およびそれらの$\mathfrak{t}$-スペクトルを体系的に表にまとめ、分類を支援した。