[论文解读] Computing Higher Frobenius-Schur Indicators in Fusion Categories Constructed from Inclusions of Finite Groups

Peter Schauenburg|arXiv (Cornell University)|Feb 8, 2015

Algebraic structures and combinatorial models参考文献 28被引用 7

一句话总结

本文提出了一种组合公式，用于计算由有限群包含 $G \supset H$ 构造的群论融合范畴中简单对象的高阶 Frobenius-Schur 指标。通过利用该范畴的 Drinfeld 中心及其与融合范畴之间的伴随函子的显式描述，作者基于群论数据——共轭类、中心化子和表示——推导出一个公式，从而实现了对 $^G_H\mathcal{M}_H$ 中对象的指标的显式计算。其主要贡献在于提供了一种实用的、基于表示论的方法来计算这些不变量，而无需依赖复杂的拟 Hopf 代数关联器。

ABSTRACT

We consider a subclass of the class of group-theoretical fusion categories: To every finite group $G$ and subgroup $H$ one can associate the category of $G$-graded vector spaces with a two-sided $H$-action compatible with the grading. We derive a formula that computes higher Frobenius-Schur indicators for the objects in such a category using the combinatorics and representation theory of the groups involved in their construction. We calculate some explicit examples for inclusions of symmetric groups.

研究动机与目标

• 为由群包含 $G \supset H$ 产生的融合范畴中的高阶 Frobenius-Schur 指标开发一种高效计算方法。
• 克服在一般拟 Hopf 代数公式中涉及迭代关联器时计算上的不可行性。
• 利用 Drinfeld 中心 $\mathcal{Z}(\mathrm{Vect}_G)$ 的结构及其与 $^G_H\mathcal{M}_H$ 的关系，实现指标的显式计算。
• 提供一个仅基于群论数据——共轭类、中心化子和不可约表示——的公式，以支持具体计算。

提出的方法

• 利用文献 [17] 中的“第三公式”，该公式将高阶 Frobenius-Schur 指标与 Drinfeld 中心 $\mathcal{Z}(\mathcal{C})$ 的扭结构及伴随函子 $\mathcal{C} \to \mathcal{Z}(\mathcal{C})$ 联系起来。
• 通过双陪集和稳定子子群，显式描述了 $\mathcal{Z}(\mathrm{Vect}_G) \to {}^G_H\mathcal{M}_H$ 的底层函子在简单对象上的作用。
• 通过中心化子和表示等群论数据，显式推导出伴随函子 $\mathcal{C} \to \mathcal{Z}(\mathcal{C})$。
• 将伴随函子与第三公式结合，得到高阶指标的闭式表达式，其形式为特定群元素上的特征标和。
• 使用 GAP 代码高效实现该公式，支持对对称群的结果进行验证与扩展。
• 通过计算 $S_7 \subset S_7$ 和 $S_7 \subset S_9$ 的指标，验证了该方法的有效性，确认了指标值的非负性。

实验结果

研究问题

• RQ1 在群论融合范畴中，是否可以不依赖于拟 Hopf 代数中复杂的关联器结构，来计算高阶 Frobenius-Schur 指标？
• RQ2 如何利用群论范畴的 Drinfeld 中心来推导高阶指标的显式公式？
• RQ3 在指标计算的背景下，中心化子与稳定子的表示理论之间存在何种精确关系？
• RQ4 能否将 $^G_H\mathcal{M}_H$ 中对象的指标完全用共轭类和不可约表示等群论不变量来表达？
• RQ5 对于如 $S_7 \subset S_9$ 这类对称群包含，通过该方法计算出的指标是否始终保持非负？

主要发现

• 本文仅基于群论数据——共轭类、中心化子和不可约表示——推导出 $^G_H\mathcal{M}_H$ 中简单对象的高阶 Frobenius-Schur 指标的公式。
• 对于 $S_7 \subset S_7$，计算了 $m=2,3,4,5,6,7,10,12,14,15,20,21,28,30,35,42,60,70,84,105,210,420$ 的指标 $\nu_m$，其值在 1 到 15 之间。
• 对于 $S_7 \subset S_9$，所有测试度数下的指标均保持非负，支持了此类指标始终非负的猜想。
• 提供的 GAP 代码通过公式 (4.4) 高效计算指标，可快速验证结果并推广至其他群。
• 该方法成功计算了 $^S_7_{S_5}\mathcal{M}_{S_5}$ 中 $\mathrm{Im}(\mathcal{F}_{(56)})$ 和 $\mathrm{Im}(\mathcal{F}_{(567)})$ 的指标，例如 $\nu_{60}(\mathcal{F}_{(56)}(W_4)) = 15$ 和 $\nu_{420}(\mathcal{F}_{(567)}(W_4)) = 15$。
• 该公式避免了复杂的关联器操作，转而使用子群交集上的特征标和，使其计算上可行且理论清晰。