[論文レビュー] Group-theoretical properties of nilpotent modular categories

Vladimir Drinfeld, Shlomo Gelaki+2 more|ArXiv.org|Apr 2, 2007

Algebraic structures and combinatorial models参考文献 32被引用数 54

ひとこと要約

本稿では、素数べきフロベニウス＝ペルン次元をもつモジュラー圏が、有限 $p$-群のねじれ双対の表現圏と同値であることを確立し、さらに可解なブレード付き融合圏が素数べき次元成分への一意なテンソル積分解をもつことを証明する。主な貢献は、ラグランジュ部分圏を用いた群的理論的モジュラー圏の特徴付けと、このような部分圏からねじれ双対の再構成を行い、群的理論的融合圏の理論を拡張し、素数べき次元をもつ半単純クワシーホプフ代数の表現圏が群的理論的であることを確認することにある。

ABSTRACT

We characterize a natural class of modular categories of prime power Frobenius-Perron dimension as representation categories of twisted doubles of finite p-groups. We also show that a nilpotent braided fusion category C admits an analogue of the Sylow decomposition. If the simple objects of C have integral Frobenius-Perron dimensions then C is group-theoretical. As a consequence, we obtain that semisimple quasi-Hopf algebras of prime power dimension are group-theoretical. Our arguments are based on a reconstruction of twisted group doubles from Lagrangian subcategories of modular categories (this is reminiscent to the characterization of doubles of quasi-Lie bialgebras in terms of Manin pairs).

研究の動機と目的

• 素数べきフロベニウス＝ペルン次元をもつモジュラー圏が、有限 $p$-群のねじれ双対の表現圏と同値であることを特徴づける。
• 可解なブレード付き融合圏に対して、素数べき次元成分へのSylow型の分解を確立する。
• 単純対象の次元が整数であるモジュラー圏が群的理論的であることを証明し、半単純クワシーホプフ代数に関する結果を拡張する。
• ラグランジュ部分圏からねじれ群双対を再構成する方法を提示し、リー理論におけるマニン対に類似した構成を実現する。

提案手法

• ラグランジュ部分圏が存在し、その次元が $\sqrt{\dim(\mathcal{C})}$ に等しいことによって、ねじれ双対と同値なモジュラー圏を特徴づける。
• ラグランジュ部分圏の理論とモジュラー化を用い、モジュラー圏 $\mathcal{C}$ から $\mathrm{Vec}_G^\omega$ の中心を再構成する。
• 標準的モジュラー化と双対圏の概念を用い、$\mathcal{C} \boxtimes \mathcal{M} \cong Z(\mathrm{Vec}_G^\omega)$ を満たす最小の補完圏 $\mathcal{M}$ を構成する。
• ブレード付き可解圏の中心が可解であることと、[ENO]における群的理論的圏に関する結果を用いる。
• $\mathrm{Hom}(\mathbf{1}, X^{\otimes p^k}) \neq 0$ を用いた $p$-成分内の対象の特徴付けを用い、分解の定義と一意性を証明する。
• フロベニウス＝ペルン次元と中心的電荷の結果を適用し、定理1.3の条件(i)〜(iii)を満たすモジュラー圏を分類する。

実験結果

リサーチクエスチョン

• RQ1 素数べきフロベニウス＝ペルン次元をもつモジュラー圏が、有限 $p$-群のねじれ双対の表現圏と同値であるのはいつか？
• RQ2 任意の可解なブレード付き融合圏は、素数べき次元をもつブレード付き融合圏のテンソル積として一意に分解可能か？
• RQ3 単純対象の次元がすべて整数であるモジュラー圏が群的理論的であるための条件は何か？
• RQ4 ラグランジュ部分圏からどのようにねじれ群双対を再構成できるか。また、その再構成において乗法的中心的電荷はどのような役割を果たすか？
• RQ5 $\mathcal{C} \boxtimes \mathcal{M}$ が点付き融合圏の中心と同値となるような補完圏 $\mathcal{M}$ の最小次元は何か？

主な発見

• 素数べきフロベニウス＝ペルン次元をもつモジュラー圏 $\mathcal{C}$ が、有限 $p$-群 $G$ に対して $\mathrm{Vec}_G^\omega$ の中心とブレード同値であるための必要十分条件は、$\dim(\mathcal{C}) = p^{2n}$、すべての単純対象の次元が整数であること、および乗法的中心的電荷が1であることである。
• 任意の可解なブレード付き融合圏は、素数べきフロベニウス＝ペルン次元をもつブレード付き融合圏への一意なテンソル積分解をもつ。
• モジュラー圏 $\mathcal{C}$ のすべての単純対象のフロベニウス＝ペルン次元が整数であれば、$\mathcal{C}$ は群的理論的であり、ある有限可解群 $G$ に対して $\mathrm{Vec}_G^\omega$ の双対と同値である。
• $\mathcal{C} \boxtimes \mathcal{M} \cong Z(\mathrm{Vec}_G^\omega)$ における $\mathcal{M}$ は、$p$ が奇数のとき $\dim(\mathcal{M}_p) \in \{1, p, p^2\}$、$p=2$ のとき $\dim(\mathcal{M}_2) \in \{1, 2, 4, 8\}$ となるように自然に選べ、最小性が保証される。
• 素数べき次元をもつ半単純クワシーホプフ代数の表現圏は群的理論的であることが確認され、[ENO]における疑問に対する部分的解答が得られた。
• 整数次元をもつ可解的モジュラー圏に対して、$\mathcal{C} \boxtimes \mathcal{M} \cong Z(\mathrm{Vec}_G^\omega)$ を満たす最小の補完圏 $\mathcal{M}$ が存在し、指定された次元制約の下で一意である。