[論文レビュー] Computing fusion rules for spherical G-extensions of fusion categories

Marcel Bischoff, Corey Jones|arXiv (Cornell University)|Sep 6, 2019

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿では、中心における標準的ラグランジュ代数を活用することで、球面的G-拡張の結合則を計算する手法を提示する。この代数の自己準同型における合成および畳み込み演算を用いることで、中間の双加群データを計算せずに閉形式の結合則式が得られ、群的理論的拡張およびモジュラー圏の巡回置換クロス拡張に対して明示的な計算が可能になる。

ABSTRACT

A $G$-graded extension of a fusion category $\mathcal{C}$ yields a categorical action of $G$ on the center $Z(\mathcal C)$. If the extension admits a spherical structure, we provide a method for recovering its fusion rules in terms of the action. We then apply this to find closed formulas for the fusion rules of extensions of some group theoretical categories and of cyclic permutation crossed extensions of modular categories.

研究の動機と目的

• 二重加群圏のような計算コストの高い中間的構成に依存せずに、融合カテゴリのG-拡張の結合則を計算する実用的な手法を開発すること。
• 中心における標準的ラグランジュ代数の構造を活用することで、カテゴリカル作用Mと拡張の結合則の直接的な関係を確立すること。
• 群的理論的カテゴリおよびモジュラー圏の巡回置換クロス拡張を含む特定のクラスの拡張において、結合則の閉形式表現を導出すること。
• 表現理論における特徴的理論の手法を、ラグランジュ代数の自己準同型代数を介して、球面的融合カテゴリの文脈に一般化すること。

提案手法

• 融合カテゴリCの中心Z(C)における標準的ラグランジュ代数I(1)を用い、その自己準同型代数を通じて結合則の情報を符号化する。
• End(I(1))における2つの結合的演算（非可換な合成と∗による畳み込み）を用い、End(I(1))を可換代数にすること。
• 畳み込み積∗に関する最小の冪等元e_Xを、Irr(C)内の単純対象Xと一対一対応づける標準的基底として特定する。
• d_Xが球面的次元を表すとして、関係式e_X ∘ e_Y = ∑_Z (d_X d_Y / d_Z) N^Z_XY e_Zを用いて結合則を導出する。
• G-クロス拡張に対しては、G-クロス相対中心の等置換を分析し、Z(C)上の作用Mを用いる。
• モジュラー圏の巡回置換拡張に対しては、S行列およびテンソル積の次元を含む一般化されたヴェルリンド型公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 二重加群圏を構成せずに、カテゴリカル作用Mと中心Z(C)から、球面的G-拡張の結合則を直接計算できるか？
• RQ2 Z(C)における標準的ラグランジュ代数をどのように用いて、その自己準同型上の代数的演算を通じて結合則を抽出できるか？
• RQ3 群的理論的拡張およびモジュラー圏の巡回置換クロス拡張の場合に、どのような閉形式の結合則式が得られるか？
• RQ4 End(I(1))上の畳み込み代数構造が、構造定数N^Z_XYを含む結合環データをどの程度回復できるか？

主な発見

• 畳み込み積∗に関する最小の冪等元e_X ∈ End(I(1))は、Irr(C)内の単純対象X ∈ Irr(C)と自然な一対一対応にあるため、自己準同型代数の自然な基底をなす。
• 冪等元の合成はe_X ∘ e_Y = ∑_Z (d_X d_Y / d_Z) N^Z_XY e_Zを満たし、畳み込み代数の構造定数から直接融合係数N^Z_XYを抽出できる。
• モジュラー圏Cの巡回置換拡張に対して、結合則N^{(g+h,Z)}_{(g,X),(h,Y)}は一般化されたヴェルリンド型公式として与えられる：∑_W (d_X d_Y / (d_Z d^n_W)) (Dim C)^{n - c(g) - c(h)} S_{X,W^{⊗c(g)}} S_{Y,W^{⊗c(h)}} S_{Z, ar{W}^{⊗c(g+h)}}。
• 指数(n - c(g) - c(h) - c(g+h))/2が0である場合、この公式はn-区間埋め込みおよび巡回置換の既知の特殊ケースに還元され、標準的ヴェルリンド公式が回復される。
• 本手法は、G-拡張が球面的構造を持つという仮定のもとで有効であり、これはベースカテゴリCが擬単位的である場合に成立する。
• 導出により、巡回置換の場合の条件のもとで、指数(n - c(g) - c(h) - c(g+h))/pが偶数であることが確認され、一般化されたヴェルリンド公式の整合性が保証される。