[论文解读] Simple transitive $2$-representations and Drinfeld center for some finitary $2$-categories

Xiaoting Zhang|arXiv (Cornell University)|Jun 8, 2015

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

一句话总结

本文对三类有限型2-范畴（与树路径代数相关的2-范畴、由歪扭张量函子构造的新2-范畴（类型A Dynkin图）、以及来自截断多项式环自同构的平展2-范畴）的简单殆纯2-表示进行了分类，并计算了其Drinfeld中心。结果表明，在最后一类中存在非细胞的简单殆纯2-表示，且Drinfeld中心非平凡，从而将分类结果拓展至先前方法无法覆盖的范围。

ABSTRACT

We classify all simple transitive $2$-representations for two classes of finitary $2$-categories associated with tree path algebras and also for one class of fiat $2$-categories associated with truncated polynomial rings. Additionally, we compute the Drinfeld centers for all these $2$-categories.

研究动机与目标

• 对与树路径代数相关的有限型2-范畴的所有简单殆纯2-表示进行分类。
• 引入并分析一类通过歪扭函子在奎弗代数上构造的新有限型2-范畴，特别关注类型A Dynkin图的情形。
• 对来自截断多项式环自同构的平展2-范畴，分类其简单殆纯2-表示并计算Drinfeld中心。
• 将简单殆纯2-表示的分类拓展至细胞2-表示框架之外，尤其在强正则性假设不成立的情况下。
• 计算三类2-范畴的Drinfeld中心，揭示其结构依具体构造而呈现小或大的中心。

提出的方法

• 通过分析1-态射在对象上的作用并利用底层奎弗代数的结构，特别是树路径代数和类型A Dynkin图，实现简单殆纯2-表示的分类。
• 对于新2-范畴，函子通过与恒等双模张量化定义，其左作用由一类代数自同态扭曲，细胞结构通过组合方法计算。
• 通过识别中心中的对象为对 (F, Φ)，其中 F 为1-态射，Φ 为满足涉及扭曲的协调条件的自然同构，来计算Drinfeld中心。
• 使用自然变换的矩阵表示编码自然性条件，导出涉及矩阵 M_Φ 和 D_s 的方程组，通过求解这些方程组确定中心的结构。
• 分类依赖于从2-态射数据导出的矩阵的特征值与幂零性的分析，特别证明了若 ζ^i_p = 1，则必有 F_i = F_0。
• 证明利用了当上三角矩阵代数（对角线为零）为幂零时，Drinfeld中心平凡的性质，从而导出特征值约束。

实验结果

研究问题

• RQ1 与树路径代数相关的2-范畴的所有简单殆纯2-表示是否都与细胞2-表示等价？
• RQ2 由奎弗代数上歪扭函子构造的2-范畴（类型A）的Drinfeld中心，与树路径代数情形相比有何异同？
• RQ3 在强正则性假设不成立的平展2-范畴中，是否存在非细胞的简单殆纯2-表示？
• RQ4 截断多项式环上歪扭函子2-范畴的Drinfeld中心结构如何？
• RQ5 矩阵 M_Φ 的特征值如何约束Drinfeld中心中可能的1-态射？

主要发现

• 对于与树路径代数相关的2-范畴，Drinfeld中心是平凡的，仅由恒等的标量倍组成，表明其中心极小。
• 在由类型A奎弗图上歪扭函子构造的新2-范畴中，Drinfeld中心较大且非平凡，矩阵 M_Φ 的特征值为 1, ζ, ζ², ..., ζ^{k−1}，每个特征值的重数为 s。
• 对于来自截断多项式环自同构的平展2-范畴，存在多个不等价于细胞2-表示的简单殆纯2-表示，表明细胞2-表示并未穷尽所有简单殆纯2-表示。
• 尽管强正则性假设不成立，截断多项式环情形的简单殆纯2-表示分类可约化为[21]中的已知结果。
• 矩阵 M_Φ 满足方程 M_Φ · diag(ζ^{i_p}) = diag(ζ^{i_p}) · M_Φ，这意味着对所有 p 必有 ζ^{i_p} = 1，从而强制 F_i = F_0，故 F 必为 F_0 的直和。
• 截断多项式环2-范畴的Drinfeld中心非平凡，矩阵 D_s · M_Φ 的特征值为 1, ζ, ..., ζ^{k−1}，每个特征值重数为 s，表明其具有丰富的结构。