Generalized Symmetries From Fusion Actions

技术摘要：来自融合作用的广义对称性

问题陈述
本文旨在解决刻画顶点算子代数（VOA）或模范范畴（MTC）中可凝聚代数（condensable algebra）之子代数的问题，这些子代数不一定能通过群作用实现为不动点子代数。在经典的轨道理论（orbifold theory）中，若 $A$ 是一个单 VOA 且 $G$ 是一个有限自同构群，则不动点子代数 $A^G$ 与多重度空间 $A^\lambda$ 满足 Schur-Weyl 对偶，并且在包含 $A^G$ 的子代数与 $G$ 的子群之间存在伽罗瓦对应（Galois correspondence）。然而，并非每个子代数 $U \subset A$ 都能作为某个群 $G$ 的 $A^G$ 而产生。作者寻求一种范畴化的推广，将“群”替换为融合范畴（fusion category），具体而言是模过可凝聚代数的融合范畴。

方法论
作者在模张量范畴（MTC）和可凝聚代数的框架内开展工作。令 $\mathcal{C}$ 为一个 MTC，$A$ 为 $\mathcal{C}$ 中的一个可凝聚代数。$\mathcal{C}$ 中右 $A$-模的范畴 $\mathcal{C}_A$ 是一个球面融合范畴，而局部 $A$-模的子范畴 $\mathcal{C}^0_A$ 本身也是一个 MTC。

核心方法论涉及定义融合范畴 $\mathcal{C}_A$ 在态射空间 $\text{Hom}_{\mathcal{C}}(x, A)$ 上的融合作用（fusion action），其中 $x \in \mathcal{C}$。该作用是通过广义 Frobenius-Schur 指标构造的。具体而言，对于对象 $Y \in \mathcal{C}_A$ 和态射 $f \in \text{Hom}_{\mathcal{C}}(x, A)$，作用 $Y \cdot f$ 是通过涉及中心 $Z(\mathcal{C}_A)$ 的半编织（half-braiding）以及代数 $A$ 的求值/共求值映射（evaluation/coevaluation maps）的图表演算定义的。

作者利用融合范畴 $\mathcal{C}_A$ 的 Grothendieck 环及其幂等元结构来分析这些态射空间的不变子空间。他们定义了对于融合子范畴 $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)$ 是 $Y$ 在 $\mathcal{C}_A$ 中的枢轴维数（pivotal dimension）。

主要贡献与结果

1. 范畴化 Schur-Weyl 对偶（定理 I）：
   论文建立了 $\mathcal{C}_A$ 在代数 $A$ 上的作用的 Schur-Weyl 对偶。

   • $\mathcal{C}_A$ 在 $\text{Hom}_{\mathcal{C}}(A, A)$ 上的作用核是由 $(1 - e_1)$ 生成的理想，其中 $e_1$ 是与局部模 $\mathcal{C}^0_A$ 相关的 $K(\mathcal{C}_A)$ 中的特定原始中心幂等元。
   • 对于出现在 $A$ 中的任何单对象 $x$，$\text{Hom}_{\mathcal{C}}(x, A)$ 是代数 $e_1 K(\mathcal{C}_A)$ 的一个不可约模。
   • 存在代数同构 $e_1 K(\mathcal{C}_A) \cong \text{Hom}_{\mathcal{C}}(A, A)$。
   • 这一结果推广了经典情形下的 Schur-Weyl 对偶，即当 $A^G$ 是有理且 $C_2$-余有限时，恢复了群代数 $\mathbb{C}[G]$。

2. 伽罗瓦对应（定理 II）：
   作者证明了包含局部模 $\mathcal{C}^0_A$ 的 $\mathcal{C}_A$ 的融合子范畴与 $A$ 的可凝聚子代数之间的伽罗瓦对应。

   • 对于任何包含 $\mathcal{C}^0_A$ 的融合子范畴 $B \subseteq \mathcal{C}_A$，不变子对象 $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 提供 Schur-Weyl 对偶和伽罗瓦对应。

   • 在 $U = A^G$（$G$ 为有限群）的特定情况下，融合范畴 $(\mathcal{M}_{A^G})_A$ 是平凡范畴的 $G$-扩张，其融合作用恢复了 $A$ 上的标准 $G$-作用。

4. 示例与扩展：
   论文提供了具体的例子，包括：

   • 群作用的迭代轨道（iterated orbifolds），它们是弱整（weakly integral）融合范畴作用的不变量。
   • 与 $A_l$ 格点 VOA 相关的融合作用，其中的融合范畴是尖点范畴（pointed categories）与二面体群相关的非阿贝尔泛化 Tambara-Yamagami 范畴（具体为 $\mathbb{Z}_2$-扩张）。
   • 余集构造（coset constructions），将该理论与中间共形网（intermediate conformal nets）联系起来。

意义
该论文声称为理解共形场论和 VOA 中的对称性提供了一个统一的范畴化框架。通过用融合范畴 $\mathcal{C}_A$ 取代群 $G$，作者将 Schur-Weyl 对偶和伽罗瓦对应推广到了对称性不一定是群的情形。这使得能够对并非由有限群作用产生的子代数进行分类，并通过融合作用的不变子对象来刻画它们。这项工作架起了可凝聚代数在 MTC 中的理论与 VOA 表示论之间的桥梁，为分析扩张和子代数的结构提供了工具。作者指出，其方法提供了一种基于相对中心（relative centers）的既有结果（如 [7]）之外的替代方案，利用了基于融合作用不变子空间的经典伽罗瓦对应概念。