[论文解读] Group-theoretical properties of nilpotent modular categories

Vladimir Drinfeld, Shlomo Gelaki+2 more|ArXiv.org|Apr 2, 2007

Algebraic structures and combinatorial models参考文献 32被引用 54

一句话总结

本文证明了弗罗贝尼乌斯-佩罗尼维数为素数幂的模范畴等价于有限 $p$-群的扭曲双代数的表示范畴，并证明了幂零辫状融合范畴可唯一分解为 $p$-分量的张量积。关键贡献在于通过拉格朗日子范畴刻画了群理论模范畴，并从这些子范畴重构了扭曲双代数，扩展了群理论融合范畴的理论，确认了素数幂维的半单拟霍普夫代数是群理论的。

ABSTRACT

We characterize a natural class of modular categories of prime power Frobenius-Perron dimension as representation categories of twisted doubles of finite p-groups. We also show that a nilpotent braided fusion category C admits an analogue of the Sylow decomposition. If the simple objects of C have integral Frobenius-Perron dimensions then C is group-theoretical. As a consequence, we obtain that semisimple quasi-Hopf algebras of prime power dimension are group-theoretical. Our arguments are based on a reconstruction of twisted group doubles from Lagrangian subcategories of modular categories (this is reminiscent to the characterization of doubles of quasi-Lie bialgebras in terms of Manin pairs).

研究动机与目标

• 将弗罗贝尼乌斯-佩罗尼维数为素数幂的模范畴表征为有限 $p$-群的扭曲双代数的表示范畴。
• 为幂零辫状融合范畴建立类似西罗分解的张量积分解，其分量为素数幂维。
• 证明当模范畴中所有简单对象的维数为整数时，该范畴是群理论的，从而扩展了关于半单拟霍普夫代数的结果。
• 从拉格朗日子范畴重构扭曲群双代数，类比李理论中的马宁对。

提出的方法

• 通过存在一个维数为 $\sqrt{\dim(\mathcal{C})}$ 的拉格朗日子范畴，表征与扭曲双代数等价的模范畴。
• 利用拉格朗日子范畴理论与模化方法，从模范畴 $\mathcal{C}$ 重构 $\mathrm{Vec}_G^\omega$ 的中心。
• 应用典范模化与对偶范畴的概念，构造一个极小补范畴 $\mathcal{M}$，使得 $\mathcal{C} \boxtimes \mathcal{M} \cong Z(\mathrm{Vec}_G^\omega)$。
• 利用辫状幂零范畴的中心仍是幂零的这一事实，并结合 [ENO] 中关于群理论范畴的结果。
• 通过 $\mathrm{Hom}(\mathbf{1}, X^{\otimes p^k}) \neq 0$ 对 $p$-分量中对象的表征，定义并证明分解的唯一性。
• 应用弗罗贝尼乌斯-佩罗尼维数与中心特征标的结果，对满足定理 1.3 中条件 (i)–(iii) 的模范畴进行分类。

实验结果

研究问题

• RQ1 何时一个弗罗贝尼乌斯-佩罗尼维数为素数幂的模范畴等价于有限 $p$-群的扭曲双代数的表示范畴？
• RQ2 每个幂零辫状融合范畴是否都能唯一分解为素数幂维辫状融合范畴的张量积？
• RQ3 在何种条件下，所有简单对象维数为整数的模范畴是群理论的？
• RQ4 如何从模范畴中的拉格朗日子范畴重构扭曲群双代数？此时乘法中心特征标起什么作用？
• RQ5 满足 $\mathcal{C} \boxtimes \mathcal{M} \cong Z(\mathrm{Vec}_G^\omega)$ 的补范畴 $\mathcal{M}$ 的最小可能维数是多少？

主要发现

• 当且仅当 $\dim(\mathcal{C}) = p^{2n}$，所有简单对象维数为整数，且乘法中心特征标为 1 时，弗罗贝尼乌斯-佩罗尼维数为素数幂的模范畴 $\mathcal{C}$ 与 $\mathrm{Vec}_G^\omega$ 的中心辫状等价，其中 $G$ 为有限 $p$-群。
• 每个幂零辫状融合范畴均可唯一分解为素数幂弗罗贝尼乌斯-佩罗尼维数的辫状融合范畴的张量积。
• 若模范畴 $\mathcal{C}$ 中所有简单对象的弗罗贝尼乌斯-佩罗尼维数为整数，则 $\mathcal{C}$ 是群理论的，即等价于某个有限幂零群 $G$ 的 $\mathrm{Vec}_G^\omega$ 的对偶。
• 在等价式 $\mathcal{C} \boxtimes \mathcal{M} \cong Z(\mathrm{Vec}_G^\omega)$ 中，范畴 $\mathcal{M}$ 可以唯一地选取，使得当 $p$ 为奇数时 $\dim(\mathcal{M}_p) \in \{1, p, p^2\}$，当 $p=2$ 时 $\dim(\mathcal{M}_2) \in \{1, 2, 4, 8\}$，从而保证其极小性。
• 半单拟霍普夫代数在素数幂维时，其表示范畴是群理论的，从而确认了 [ENO] 中一个问题的部分答案。
• 对于具有整数对象维数的幂零模范畴，满足 $\mathcal{C} \boxtimes \mathcal{M} \cong Z(\mathrm{Vec}_G^\omega)$ 的最小补范畴 $\mathcal{M}$ 存在且在指定维数约束下唯一。