Generalized Symmetries From Fusion Actions

技術的要約：融合作用による一般化された対称性

問題設定
本論文は、群の作用による固定点部分代数として必ずしも実現できるとは限らない、頂点演算子代数（VOA）またはモジュラー・テンソル圏（MTC）内の凝縮可能な代数の部分代数を特徴付ける問題を扱っている。古典的なオービフォールド理論において、もし $A$ が単純な VOA であり、$G$ が有限自己同型群であれば、固定点部分代数 $A^G$ と多重度空間 $A^\lambda$ はシュア・ワイル双対性を満たし、また $A^G$ を含む部分代数と $G$ の部分群との間にはガロア対応が存在する。しかし、すべての部分代数 $U \subset A$ がある群 $G$ に対して $A^G$ として現れるわけではない。著者らは、この「群」を融合圏（具体的には、凝縮可能な代数の加群の圏）に置き換えることで、これらの結果を圏論的に一般化することを試みている。

手法
著者らは、MTC および凝縮可能な代数の枠組みの中で研究を進める。$\mathcal{C}$ を MTC、$A$ を $\mathcal{C}$ 内の凝縮可能な代数とする。$\mathcal{C}$ における右 $A$ 加群の圏 $\mathcal{C}_A$ は球状融合圏であり、その局所 $A$ 加群のサブカテゴリ $\mathcal{C}^0_A$ もまた MTC である。

核心となる手法は、任意の対象 $x \in \mathcal{C}$ に対する射空間 $\text{Hom}_{\mathcal{C}}(x, A)$ への $\mathcal{C}_A$ の**融合作用（fusion action）**を定義することである。この作用は、一般化されたフロベニウス・シュア指標を用いて構成される。具体的には、対象 $Y \in \mathcal{C}_A$ と射 $f \in \text{Hom}_{\mathcal{C}}(x, A)$ に対して、作用 $Y \cdot f$ は、中心 $Z(\mathcal{C}_A)$ の半ブレイディング（half-braiding）および代数 $A$ の評価・余評価写像を用いた図式計算を通じて定義される。

著者らは、グロタンディーク環 $K(\mathcal{C}_A)$ の構造とその冪等元を利用して、これらの射空間の不変部分空間を分析する。融合サブカテゴリ $B \subseteq \mathcal{C}_A$ に対する $\text{Hom}_{\mathcal{C}}(x, A)$ の $B$ 不変部分空間は、すべての $Y \in B$ に対して $Y \cdot f = d_A(Y)f$ を満たす射 $f$ の集合として定義される。ここで $d_A(Y)$ は $\mathcal{C}_A$ における $Y$ のピボタル次元である。

主要な貢献および結果

1. 圏論的シュア・ワイル双対性（定理 I）：
   本論文は、代数 $A$ 上の $\mathcal{C}_A$ の作用に関するシュア・ワイル双対性を確立している。

   • $\text{Hom}_{\mathcal{C}}(A, A)$ 上の $\mathcal{C}_A$ の作用の核は、$(1 - e_1)$ によって生成されるイデアルである。ここで $e_1$ は $K(\mathcal{C}_A)$ における局所加群 $\mathcal{C}^0_A$ に関連付けられた特定の原始中心冪等元である。
   • 対象 $x$ が $A$ に現れる単純対象であるとき、射空間 $\text{Hom}_{\mathcal{C}}(x, A)$ は代数 $e_1 K(\mathcal{C}_A)$ の既約加群である。
   • 代数の同型関係 $\text{Hom}_{\mathcal{C}}(A, A) \cong e_1 K(\mathcal{C}_A)$ が存在する。
   • この結果は、群 $G$ が VOA に作用する古典的なシュア・ワイル双対性を一般化しており、$A^G$ が有理的かつ $C_2$-余有限である場合には群環 $\mathbb{C}[G]$ を復元する。

2. ガロア対応（定理 II）：
   著者らは、局所加群 $\mathcal{C}^0_A$ を含む $\mathcal{C}_A$ の融合サブカテゴリと、$A$ の凝縮可能な部分代数との間のガロア対応を証明している。

   • 局所加群 $\mathcal{C}^0_A \subseteq B \subseteq \mathcal{C}_A$ である任意の融合サブカテゴリ $B$ に対して、不変部分対象 $A^B$（$A$ 上に作用する冪等元 $e_B$ の像として定義される）は、$A$ の凝縮可能な部分代数となる。
   • 対応 $B \mapsto A^B$ は、そのような融合サブカテゴリの格子と凝縮可能な部分代数の格子の間の、順序を反転させる全単射を定義する。
   • 逆写像は、部分代数 $B \subseteq A$ から融合サブカテゴリ $(\mathcal{C}^0_B)_A$ への写像を与える。
   • これは、任意の有理的かつ $C_2$-余有限な部分代数 $U \subset A$ が、「一般化された群」作用（具体的には $\mathcal{C}_A$ の融合作用）の下で固定点部分代数として実現可能かという問いに対し、肯定的な回答を与えるものである。

3. 頂点演算子代数への応用（定理 III）：
   これらの結果は VOA の文脈に適用される。もし $U \subset A$ が単純、有理的、かつ $C_2$-余有限な VOA である（$A$ が $U$ を含む）ならば、$U$-加群の圏 $\mathcal{M}_U$ は擬単一（pseudounitary）な MTC であり、$A$ は $\mathcal{M}_U$ 内の凝縮可能な代数である。$(\mathcal{M}_U)_A$ の融合作用は、$U$ を含む部分 VOA に対するシュア・ワイル双対性とガロア対応をもたらす。

   • $U = A^G$ （有限群 $G$）である特定のケースでは、融合圏 $(\mathcal{M}_{A^G})_A$ は自明な圏の $G$-拡張であり、この融合作用は $A$ 上の標準的な $G$ 作用を復元する。

4. 例および拡張：
   論文では以下の具体的な例が示されている：

   • 群作用の反復オービフォールドであり、これらは弱整数（weakly integral）な融合圏の作用の不変量である。
   • $A_l$ 格子 VOA に関連する融合作用。ここでは、二面体群に関連する点付き（pointed）な範疇の $\mathbb{Z}_2$-拡張である、タンバラ・ヤマガミ範疇の非アーベル的な一般化が関わっている。
   • 余弦（coset）構成、および中間コンフォーマルネットへの関連。

意義
本論文は、共形場理論および VOA 理における対称性を理解するための統一的な圏論的枠組みを提供すると主張している。群 $G$ を融合圏 $\mathcal{C}_A$ に置き換えることで、著者らは、対称性が必ずしも群ではない設定においても、シュア・ワイル双対性とガロア対応を一般化している。これにより、有限群作用から生じない部分代数の分類が可能となり、それらを融合作用の不変部分対象として特徴付けることができる。この研究は、凝縮可能な代数の MTC における理論と VOA の表現論との間の溝を埋めるものであり、拡張や部分代数の構造を分析するためのツールを提供する。著者らは、自身のアプローチが、相対中心（relative centers）に基づく従来の結果（例えば [7]）に対する代替案を提供することを述べている。これは、融合作用の不変部分空間を介した古典的なガロア対応の概念を利用している。