[论文解读] 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)) 上使用两种结合运算：复合（非交换）和卷积 (∗)，使 End(I(1)) 成为一个交换代数。
• 将相对于卷积积 ∗ 的极小幂等元 e_X 识别为一个典范基，与 Irr(C) 中的简单对象 X 之间存在双射关系。
• 通过关系 e_X ∘ e_Y = ∑_Z (d_X d_Y / d_Z) N^Z_XY e_Z 推导融合规则，其中 d_X 表示球面对称维数。
• 通过分析 G-交叉相对中心的等变化，将该方法应用于 G-交叉扩张，利用 M 在 Z(C) 上的作用。
• 对于模范畴的循环置换扩张，推导出一个涉及 S-矩阵和张量幂维数的广义 Verlinde 型公式。

实验结果

研究问题

• RQ1 是否能仅从范畴作用 M 和中心 Z(C) 直接计算球面对称 G-扩张的融合规则，而无需构建双模范畴？
• RQ2 如何利用 Z(C) 中的典范拉格朗日代数，通过其自同态上的代数运算提取融合规则？
• RQ3 在群理论扩张和模范畴的循环置换交叉扩张情况下，会涌现出什么样的闭式融合规则表达式？
• RQ4 自同态代数上的卷积代数结构在多大程度上能恢复融合环数据，包括结构常数 N^Z_XY？

主要发现

• 相对于卷积积 ∗ 的极小幂等元 e_X ∈ End(I(1)) 与简单对象 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)} 由一个广义 Verlinde 公式给出：∑_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 为零时，该公式退化为已知的特例，恢复了 n 重区间包含和循环置换情况下的标准 Verlinde 公式。
• 该方法在 G-扩张具有球面对称结构的假设下成立，当基范畴 C 为伪单位范畴时，该假设成立。
• 推导结果确认，在循环置换情形下，指数 (n - c(g) - c(h) - c(g+h))/p 为偶数，确保了广义 Verlinde 公式的自洽性。