[論文レビュー] Module categories, weak Hopf algebras and modular invariants

Viktor Ostrik|ArXiv.org|Nov 12, 2001

Algebraic structures and combinatorial models参考文献 13被引用数 29

ひとこと要約

この論文は、可換場の理論、部分因子、弱ホップ代数の構造を統一的に扱う枠組みを提供する、環上の加群のカテゴリフィケーション版としてのモノイダル圏上のモジュールカテゴリを導入する。半単純なモノイダル圏で単純対象が有限個であるものは、弱ホップ代数の表現カテゴリと同値であり、また、$ \widehat{sl}(2)$ のレベル $l$ における融合カテゴリ上のモジュールカテゴリを分類し、ADE分類のパターンを明らかにする。

ABSTRACT

We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects is equivalent to the category of representations of a weak Hopf algebra (theorem of T. Hayashi) and classify module categories over the fusion category of $\hat{sl}(2)$ at a positive integer level where we meet once again ADE classification pattern.

研究の動機と目的

• 環上の加群のカテゴリフィケーションとして、モノイダル圏上のモジュールカテゴリを形式化するカテゴリカルな枠組みを構築すること。
• 共形場理論、部分因子、弱ホップ代数、およびボソン的代数拡張の間の関係を統一的かつ明確にすること。
• $\widehat{sl}(2)$ の正の整数レベルにおける融合カテゴリ上の非分解モジュールカテゴリを分類すること。
• このようなモジュールカテゴリがADEディンキン図形に対応することを示し、深い構造的パターンを明らかにすること。

提案手法

• アーベル圏としてのモジュールカテゴリを定義し、環上の加群構造を一般化する、モノイダル圏との整合性を持つ作用を備える。
• ベース付き環とベース付きモジュールを導入し、非負整数構造定数を用いた融合規則およびその表現を形式化する。
• グローテンディーク環の構成を用いて、モジュールカテゴリを弱ホップ代数の表現と関連付ける。
• 融合カテゴリの理論およびオクネアヌのグラフとねじれ付きパーティション関数に関する結果を応用し、モジュールカテゴリを分類する。
• Hom空間 $\mathrm{Hom}(V_i \otimes M_a, M_b)$ の形をとる代数を構成し、それがゲルファンド＝ポノマレフの前正則代数に一致することを特定する。
• 部分因子理論および共形場理論の既知の結果を活用し、物理的構成を代数的言語に翻訳する。

実験結果

リサーチクエスチョン

• RQ1 環上の加群の概念をモノイダル圏へどのようにカテゴリカルに一般化できるか。
• RQ2 レベル $l$ における $\mathcal{C}_l$、すなわち $\widehat{sl}(2)$ の融合カテゴリ上のモジュールカテゴリの背後にある正確な代数的構造は何か。
• RQ3 このようなモジュールカテゴリの分類結果がなぜADEパターンを示すのか、その背後にある代数的メカニズムは何か。
• RQ4 単純対象が有限個である半単純モノイダル圏から、弱ホップ代数が自然にどのように生じるか。
• RQ5 共形包含およびねじれ付きパーティション関数によるモジュールカテゴリの構成を、純粋に代数的表現で与えることは可能か。

主な発見

• 任意の単純対象が有限個である半単純モノイダル圏は、弱ホップ代数の表現カテゴリと同値である。
• $\mathcal{C}_l$ の融合カテゴリ上の非分解モジュールカテゴリは、$A_n$、$D_n$、$T_n$、$E_6$、$E_7$、$E_8$ 型のディンキン図形によって分類され、ADEパターンが確認される。
• $\mathcal{C}_l$-モジュール函手のカテゴリのグローテンディーク環は、対応するディンキン図形に関連する前正則代数と同型である。
• モジュールカテゴリの構造定数は、本質的パスのHom空間の次元に対応し、これはゲルファンド＝ポノマレフの前正則代数に同型な結合的代数を形成する。
• $\mathcal{C}_l$ 上のモジュールカテゴリの分類は、境界共形場理論におけるモジュラー不変量の分類と同値である。
• ねじれ付きパーティション関数によるモジュールカテゴリの構成は、明示的な行列 $a_{ij} = \dim \mathrm{Hom}(\mathbf{1}, \alpha^+(V_i) \otimes F \otimes \alpha^-(V_j))$ を得るが、これは文献に掲載されている。