[論文レビュー] Fusion subcategories of representation categories of twisted quantum doubles of finite groups

Deepak Naıdu, Dmitri Nikshych+1 more|ArXiv.org|Sep 30, 2008

Algebraic structures and combinatorial models参考文献 17被引用数 5

ひとこと要約

この論文は、有限群 $G$ および 3-コホモロジー $ω$ に対するねじれ量子ダブル $\operatorname{Rep}(D^\omega(G))$ の表現カテゴリにおける融合部分カテゴリの完全分類を提供し、互いに中心化する正規部分群 $K,H \trianglelefteq G$ および $G$-不変な $\omega$-双線形形式 $B:K\times H \to k^\times$ の三つ組 $(K,H,B)$ との間の全単写像を確立する。主な貢献は、この分類を通じてすべての群的ブラケット融合カテゴリの完全な記述であり、非退化性および原始性の基準が含まれる。

ABSTRACT

We describe all fusion subcategories of the representation category of a twisted quantum double of a finite group. In view of the fact that every group-theoretical braided fusion category can be embedded into a representation category of a twisted quantum double of a finite group, this gives a complete description of all group-theoretical braided fusion categories. We describe the lattice and give formulas for some invariants of the fusion subcategories of representation category of a twisted quantum double of a finite group. We also give a characterization of group-theoretical braided fusion categories as equivariantizations of pointed categories.

研究の動機と目的

• 有限群 $G$ および 3-コホモロジー $\omega$ に対するねじれ量子ダブルの表現カテゴリ $\operatorname{Rep}(D^\omega(G))$ における融合部分カテゴリの完全分類を提供すること。
• すべての群的ブラケット融合カテゴリが $\operatorname{Rep}(D^\omega(G))$ 内の埋め込み部分カテゴリとして特徴付けられること。
• 融合部分カテゴリのラティスを記述し、非退化性や原始性などの不変量を計算すること。
• すべての群的ブラケット融合カテゴリが、あるポイント付き融合カテゴリの $G$-等配分類化として実現可能であることを確立すること。
• $\operatorname{Rep}(D^\omega(G))$ 内で非退化および原始な融合部分カテゴリを、コホモロジー的に正確に特徴付けること。

提案手法

• $\operatorname{Rep}(D^\omega(G)) \cong \mathcal{Z}(\operatorname{Vec}_G^\omega)$ を用い、$G$-次数付きベクトル空間のカテゴリで結合子が $\omega$ であるものに対するドリンフェルド中心としての同倣を用いる。
• 互いに中心化する正規部分群 $K,H \trianglelefteq G$ に対して、$G$-不変な $\omega$-双線形形式 $B:K \times H \to k^\times$ を定義する。
• 三つ組 $(K,H,B)$ に関連する特定の単純対象によって生成されるフルなテンソル部分カテゴリ $\mathcal{S}(K,H,B)$ を構成する。
• 中心化子理論および脱等配分類化を用いて、融合部分カテゴリをポイント付きカテゴリの等配分類化に関連付ける。
• タンナキアン双対性およびモジュールカテゴリ構成を用いて、任意の群的ブラケット融合カテゴリがポイント付きカテゴリの等配分類化として実現可能であることを示す。
• ブラケット $G$-クロスドカテゴリおよびクロスドモジュールの構造を活用し、分類が群コホモロジーおよびカテゴリカル双対性とどのように関係するかを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 $G$ を有限群、$\omega$ を 3-コホモロジーとするとき、$\operatorname{Rep}(D^\omega(G))$ における融合部分カテゴリの完全分類は何か？
• RQ2 すべての群的ブラケット融合カテゴリは、どのように $\operatorname{Rep}(D^\omega(G))$ の部分カテゴリとして実現可能か？
• RQ3 融合部分カテゴリ $\mathcal{S}(K,H,B) \subseteq \operatorname{Rep}(D^\omega(G))$ が非退化または原始的であるための条件は何か？
• RQ4 すべての群的ブラケット融合カテゴリが、ポイント付き融合カテゴリの等配分類化として実現可能か？
• RQ5 $G$-不変な $\omega$-双線形形式は、融合部分カテゴリのラティス分類において果たす役割は何か？

主な発見

• $\operatorname{Rep}(D^\omega(G))$ の融合部分カテゴリは、互いに中心化する正規部分群 $K,H$ および $G$-不変な $\omega$-双線形形式 $B:K \times H \to k^\times$ の三つ組 $(K,H,B)$ との間の全単写像にある。
• 融合部分カテゴリ $\mathcal{S}(K,H,B)$ が非退化であるための必要十分条件は、$HK = G$ かつ $BB^{\mathrm{op}}|_{(K\cap H)\times(K\cap H)}$ が対称双線形形式として非退化であることである。
• $\operatorname{Rep}(D^\omega(G))$ が原始的であるための必要十分条件は、$HK = G$ かつ $BB^{\mathrm{op}}|_{(K\cap H)\times(K\cap H)}$ が非退化であるような、非自明で真部分カテゴリである三つ組 $(K,H,B)$ が存在しないことである。
• すべての群的ブラケット融合カテゴリは、ある有限群 $G$ および 3-コホモロジー $\omega$ に対して、$\operatorname{Rep}(D^\omega(G))$ のフルな融合部分カテゴリとして実現可能である。
• すべての群的ブラケット融合カテゴリは、ポイント付き融合カテゴリの $G$-等配分類化と同型であり、具体的には $\mathcal{D} \cong (\mathcal{D}_G)^G$ と書ける。ここで $\mathcal{D}_G$ はポイント付きカテゴリである。
• この分類は、非退化性がこの文脈でモジュラリティと同値であることから、すべてのモジュラ群的融合カテゴリの完全な記述を含意する。