[論文レビュー] On the Structure of Modular Categories

Michael Mueger|ArXiv.org|Jan 3, 2002

Advanced Algebra and Logic参考文献 14被引用数 9

ひとこと要約

この論文は、双対と部分対象について閉じたフルなテンソル部分カテゴリに対して、二重中心化子定理を確立し、元のカテゴリが回復され、次元の積が全次元に一致することを証明する。主な貢献は構造的因子分解定理である：任意のモジュラー圏は、素数モジュラー圏のリボン圏直積として分解可能であり、これは前モジュラー圏のガロア理論やテンソル圏のモジュラー閉包に応用される。

ABSTRACT

For a braided tensor category C and a subcategory K there is a notion of centralizer C_C(K), which is a full tensor subcategory of C. A pre-modular tensor category is known to be modular in the sense of Turaev iff the center Z_2(C):=C_C(C) (not to be confused with the center Z_1 of a tensor category, related to the quantum double) is trivial, i.e. equivalent to Vect, and dim(C)<>0. Here dim(C)=sum_i d(X_i)^2, the X_i being the simple objects. We prove the following double centralizer theorem: Let C be a modular category and K a full tensor subcategory closed w.r.t. direct sums, subobjects and duals. Then C_C(C_C(K))=K and dim(K)dim(C_C(K))=dim(C). We give several applications, the most important being the following. If C is modular and K is a full modular subcategory, then also L=C_C(K) is modular and C is equivalent as a ribbon category to the direct product of K and L. Thus every modular category factorizes (non-uniquely, in general) into prime ones. We study the prime factorizations of the categories D(G)-Mod, where G is a finite abelian group.

研究の動機と目的

• トポロジカル量子場理論やねじれ不変量において中心的な役割を果たすモジュラー圏の一般的構造理論を構築すること。
• 非退化性条件との関連において、モジュラリティを決定づける $\mathcal{Z}_2(\mathcal{C})$ の役割を明確にすること。
• 与えられたガロア群を持つ前モジュラー圏を構成することで、braided tensor categories における逆ガロア問題を解決すること。
• モジュラー閉包が最小次元に達するための次元の上限と条件を確立すること。

提案手法

• モジュラー圏 $\mathcal{C}$ 内のフルなテンソル部分カテゴリ $\mathcal{K}$ に対して、中心化子構成 $C_{\mathcal{C}}(\mathcal{K})$ を導入し、作用素代数における可換核の概念を一般化する。
• 二重中心化子定理を証明する：$C_{\mathcal{C}}(C_{\mathcal{C}}(\mathcal{K})) = \mathcal{K}$ かつ $\dim \mathcal{K} \cdot \dim C_{\mathcal{C}}(\mathcal{K}) = \dim \mathcal{C}$ が、和、部分対象、双対について閉じたフルな部分カテゴリに対して成り立つ。
• 二重中心化子定理を応用し、$\mathcal{K}$ がフルなモジュラー部分カテゴリであれば、$\mathcal{C} \simeq \mathcal{K} \boxtimes C_{\mathcal{C}}(\mathcal{K})$ がリボン圏として成り立つことを示す。
• 量子二重構成 $\mathcal{Z}_1(\mathcal{C})$ を用いて、$\operatorname{Rep}(G)$ をフルな部分カテゴリとして含むモジュラー圏を構成し、与えられたガロア群を持つ前モジュラー圏の構成を可能にする。
• 2つの異なる族のモジュラー圏を構成する：$\mathcal{Z}_1(\mathcal{Z}_1(\operatorname{Rep}(G)))$ および $\mathcal{Z}_1(\operatorname{Rep}(K))$（群拡張 $1 \to H \to K \to G \to 1$ に対して）、これにより非対称な前モジュラー圏 $\operatorname{Gal}(\mathcal{C}) \cong G$ を実現する。
• 次元の上限を導出する：$*$-圏に対して $\dim \mathcal{C} \geq \dim \mathcal{K} \cdot \dim \mathcal{Z}_2(\mathcal{K})$ が成り立ち、モジュラー閉包の構成において等号が達成されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意のモジュラー圏は、素数モジュラー圏の直積に分解可能か？
• RQ2 前モジュラー圏のモジュラー閉包が次元で最小となる条件は何か？
• RQ3 任意の前モジュラー圏は、次元の上限 $\dim \mathcal{C} = \dim \mathcal{K} \cdot \dim \mathcal{Z}_2(\mathcal{K})$ が達成されるように、モジュラー圏にフル埋め込み可能か？
• RQ4 任意の有限群は、非対称な前モジュラー圏のガロア群として現れるか？
• RQ5 $\operatorname{Rep}(G)$ を含むbraided tensor category のモジュラー閉包の構造は何か？

主な発見

• 二重中心化子定理が成立する：$C_{\mathcal{C}}(C_{\mathcal{C}}(\mathcal{K})) = \mathcal{K}$ かつ $\dim \mathcal{K} \cdot \dim C_{\mathcal{C}}(\mathcal{K}) = \dim \mathcal{C}$ が、モジュラー圏 $\mathcal{C}$ 内の和、部分対象、双対について閉じたフルな部分カテゴリ $\mathcal{K}$ に対して成り立つ。
• 任意のモジュラー圏 $\mathcal{C}$ は、リボン圏として $\mathcal{C} \simeq \mathcal{K} \boxtimes \mathcal{L}$ と因子分解可能であり、ここで $\mathcal{K}$ はフルなモジュラー部分カテゴリで、$\mathcal{L} = C_{\mathcal{C}}(\mathcal{K})$ はモジュラーでもある。
• 任意の有限群 $G$ に対して、$\operatorname{Gal}(\mathcal{C}) \cong G$ かつ $\mathcal{C}$ が非対称であるようなユニタリ前モジュラー圏 $\mathcal{C}$ が存在する。このため、非自明なモジュラー閉包を持つ。
• $\dim \mathcal{C} > |G|^2$ のとき、$\mathcal{D} = C_{\mathcal{C}}(\operatorname{Rep}(G))$ のモジュラー閉包は非自明であり、特に $\mathcal{C} = \mathcal{Z}_1(\operatorname{Rep}(K))$ で $K$ が $H$ による $G$ の拡張であれば、$\dim(\mathcal{D} \rtimes \operatorname{Rep}(G)) = |H|^2$ である。
• $*$-圏に対して、次元の上限 $\dim \mathcal{C} \geq \dim \mathcal{K} \cdot \dim \mathcal{Z}_2(\mathcal{K})$ は達成され、$\mathcal{Z}_1(\mathcal{Z}_1(\operatorname{Rep}(G)))$ を用いたモジュラー閉包の構成で等号が成立する。
• $\mathcal{Z}_1(\operatorname{Rep}(G))$ のモジュラー閉包は $D(G)\text{-mod}$ と同値であり、$C_{\mathcal{Z}_1(\operatorname{Rep}(K))}(\operatorname{Rep}(G))$ のモジュラー閉包は $D(H)\text{-mod}$ と同値である。これは、モジュラー閉包の構造に関する予想が正当化されたことを確認する。