[論文レビュー] On fusion categories

Pavel Etingof, Dmitri Nikshych+1 more|arXiv (Cornell University)|Mar 7, 2002

Algebraic structures and combinatorial models参考文献 25被引用数 15

ひとこと要約

本稿は、弱ホップ代数とカテゴリカル双対性を用いて、特性0の体上の融合カテゴリの基礎的結果を確立する。融合カテゴリのグローバル次元が正であること、任意のモジュラーカテゴリのS行列がユニタリであること、モジュール関手が半単純カテゴリをなすこと、および変形に関して剛性を示す（オクネアヌ剛性）。主な貢献は、ファイバス・ペルン次元の開発と、カテゴリカル次元および持ち上げ性質の特徴づけにおけるその役割である。

ABSTRACT

Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any modular category (not necessarily hermitian) is unitary. We also show that the category of module functors between two module categories over a fusion category is semisimple, and that fusion categories and tensor functors between them are undeformable (generalized Ocneanu rigidity). In particular the number of such categories (functors) realizing a given fusion datum is finite. Finally, we develop the theory of Frobenius-Perron dimensions in an arbitrary fusion category and classify categories of prime dimension.

研究の動機と目的

• 制限のない仮定のもとで融合カテゴリの一般的構造的性質を確立すること。
• 特性0の体上での任意の融合カテゴリのグローバル次元が常に正であることを証明すること。
• ヒルベルト構造を仮定しない状況でも、任意のモジュラーカテゴリのS行列がユニタリであることを示すこと。
• 融合カテゴリ上のモジュールカテゴリ間のモジュール関手のカテゴリが常に半単純であることの確立。
• 融合カテゴリおよびそれらの間のテンソル関手が、変形に対して不変である（オクネアヌ剛性）ことを証明し、与えられた融合データに対して有限個の実現が存在することを示すこと。

提案手法

• グローバル次元の正値性を裏付けるために、恒等関手が第4双対関手と自然同型であることを弱ホップ代数の理論を用いて証明する。
• 半単純で連結な正則弱ホップ代数における反対作用素の平方のトレースの公式を適用し、重要な次元恒等式を導出する。
• 弱ホップ代数拡張のコホッホシュ複体におけるB不変部分複体の非巡回性を証明し、変形複体と関連付ける。
• 半単純な準ホップ代数に対して、ニコルズ＝ツォーラーの自由性定理のカテゴリカルな類似を確立する。
• 持ち上げ理論を用いて、正の特性の体上の融合カテゴリとその特性0の持ち上げとの関係を確立し、次元の整除性に関する議論を可能にする。
• S行列の成分にガロア理論を適用し、それらが円分体上にあることを示し、SL(2,Z)表現のユニタリ性を証明する。

実験結果

リサーチクエスチョン

• RQ1 特性0の体上の融合カテゴリのグローバル次元は常に正か？
• RQ2 ヒルベルト構造を仮定しない場合でも、モジュラーカテゴリのS行列は常にユニタリか？
• RQ3 融合カテゴリ上のモジュールカテゴリ間のモジュール関手のカテゴリは常に半単純か？
• RQ4 融合カテゴリおよびそれらの間のテンソル関手は変形可能か、それとも変形に対して剛性を示すか？
• RQ5 ファイバス・ペルン次元は、カテゴリカル次元および持ち上げ性質の特徴づけにおいて果たす役割は何か？

主な発見

• 特性0の体上の任意の融合カテゴリのグローバル次元は、厳密に正である。
• C上の任意のモジュラーカテゴリのS行列は、ガロア不変性およびクロネッカー＝ヴェーバーの定理の結果としてユニタリである。
• 融合カテゴリ上の2つのモジュールカテゴリ間のモジュール関手のカテゴリは半単純であり、双対およびドリンフェルト中心の構成に対しても同様である。
• 融合カテゴリおよびそれらの間のテンソル関手は、変形に対して剛性を示す（オクネアヌ剛性）ため、与えられた融合データに対して有限個のこのようなカテゴリまたは関手が存在する。
• 融合カテゴリのファイバス・ペルン次元は、代数的整数環においてそのグローバル次元を割り、その比は1以下である。
• ファイバス・ペルン次元が整数である場合、それはグローバル次元に等しくなり、素数次元pの融合カテゴリは、3次コホホロジーを持つ巡回群の表現カテゴリと同値である。