[论文解读] Central Exact Sequences of Tensor Categories, Equivariantization and Applications

Alain Bruguières, Sonia Natale|arXiv (Cornell University)|Dec 14, 2011

Algebraic structures and combinatorial models参考文献 13被引用 4

一句话总结

本文引入了张量范畴的中心精确序列，并建立了张量范畴精确序列源于有限群或有限群概形作用下等变化的充要条件。本文对融合范畴和有限张量范畴的等变化进行了表征，表明当一个张量函子的弗罗贝尼乌斯-佩罗指数为2，或弱积分范畴的弗罗贝尼乌斯-佩罗维数的最小素因子时，该函子必为等变化。

ABSTRACT

We define equivariantization of tensor categories under tensor group scheme actions and give necessary and sufficient conditions for an exact sequence of tensor categories to be an equivariantization under a finite group or finite group scheme action. We introduce the notion of central exact sequence of tensor categories and use it in order to present an alternative formulation of some known characterizations of equivariantizations for fusion categories, and to extend these characterizations to equivariantizations of finite tensor categories under finite group scheme actions. In particular, we obtain a simple characterization of equivariantizations under actions of finite abelian groups. As an application, we show that if $\C$ is a fusion category and $F: \C o \D$ is a dominant tensor functor of Frobenius-Perron index $p$, then $F$ is an equivariantization if $p=2$, or if $\C$ is weakly integral and $p$ is the smallest prime factor of $\FPdim \C$.

研究动机与目标

• 定义并研究张量范畴在张量群概形作用下的等变化。
• 引入张量范畴中心精确序列的概念，作为表征等变化的工具。
• 将已知的融合范畴中等变化的表征结果推广至有限群概形作用下的有限张量范畴。
• 为有限且阿贝尔的群作用提供一个简单的等变化判别准则。
• 建立两个融合范畴之间主导张量函子必为等变化的条件。

提出的方法

• 将张量范畴的中心精确序列作为霍普夫代数理论中精确序列的推广来引入。
• 采用单子方法，将精确序列与张量范畴上的霍普夫单子联系起来。
• 通过正规、忠实且精确的霍普夫单子的结构来表征等变化。
• 将该理论应用于融合范畴和有限张量范畴，特别是有限阿贝尔群作用的情形。
• 利用弗罗贝尼乌斯-佩罗维数及范畴中心的性质来分析张量函子的结构。
• 借助准纤维函子与整性结果，推导出张量函子必为等变化的条件。

实验结果

研究问题

• RQ1 在何种条件下，张量范畴的精确序列是有限群或有限群概形作用下的等变化？
• RQ2 在张量范畴的语境下，什么特征定义了中心精确序列？
• RQ3 在何种条件下，弗罗贝尼乌斯-佩罗指数为2的主导张量函子必为等变化？
• RQ4 弱积分融合范畴的弗罗贝尼乌斯-佩罗维数的最小素因子是否能保证主导函子为等变化？
• RQ5 一个融合范畴中指数为2的融合子范畴是否必为正规？

主要发现

• 两个融合范畴之间的弗罗贝尼乌斯-佩罗指数为2的主导张量函子必为等变化。
• 对于弱积分融合范畴，若主导张量函子的弗罗贝尼乌斯-佩罗指数等于该范畴弗罗贝尼乌斯-佩罗维数的最小素因子，则该函子必为等变化。
• 当一个简单对象的弗罗贝尼乌斯-佩罗维数小于范畴维数的最小素因子时，融合范畴的中心仅包含可逆对象。
• 融合范畴的中心精确序列当且仅当其关联的霍普夫单子为正规且忠实时，才源于等变化。
• 存在塔马巴-山本范畴，其点状子范畴的指数为2但非正规，表明指数为2并不普遍蕴含正规性。
• 佩卡尔德群为素数阶的塔马巴-山本范畴是简单的，因其不允许可非平凡的融合范畴精确序列。