[论文解读] Generalized trace and modified dimension functions on ribbon categories

Nathan Geer, Jonathan R. Kujawa+1 more|arXiv (Cornell University)|Jan 6, 2010

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

一句话总结

本文利用拓扑技术在有 ribbon 结构的范畴中引入广义迹和修正维数函数，使得在标准迹与维数消失的场合（如李代数与李超代数在正特征下的表示）仍能获得非平凡不变量。关键贡献在于构建了一个范畴框架，即使范畴维数为零，也能通过修正维数恢复非平凡不变量。

ABSTRACT

In this paper we use topological techniques to construct generalized trace and modified dimension functions on ideals in certain ribbon categories. Examples of such ribbon categories naturally arise in representation theory where the usual trace and dimension functions are zero, but these generalized trace and modified dimension functions are non-zero. Such examples include categories of finite dimensional modules of certain Lie algebras and finite groups over a field of positive characteristic and categories of finite dimensional modules of basic Lie superalgebras over the complex numbers. These modified dimensions can be interpreted categorically and are closely related to some basic notions from representation theory.

研究动机与目标

• 在标准不变量消失的 ribbon 范畴中，发展广义迹与修正维数函数的范畴框架。
• 将拓扑不变量扩展至范畴维数为零的物件，特别是在对称与非半单表示范畴中。
• 提供一种非零的修正维数的拓扑构造，其在标准迹与维数平凡的场合仍保持非零。
• 建立这些修正不变量与表示理论基本概念（如投影模与权空间）之间的联系。
• 使用纯粹的拓扑方法，推广先前在量子群与李超代数中关于修正维数的结果，且独立于量子群理论。

提出的方法

• 使用 [29] 中的拓扑技术，在 ribbon 范畴的理想上定义广义迹与修正维数函数。
• 通过 ribbon 范畴中的辫子与对偶结构，利用纽结与链结的拓扑不变量来定义广义迹。
• 通过在自同态上使用广义迹，将修正维数构造为在范畴维数为零的物件上的迹类函数。
• 利用 $\Omega_{1,2}$ 等算子在张量积上的矩阵表示，计算权空间中的广义迹。
• 利用权空间的结构及 $F^p$ 的作用，分析有限维模中自同态的秩与迹。
• 将理论应用于特定范畴，如正特征下李代数的有限维模以及复数域上李超代数的模。

实验结果

研究问题

• RQ1 在标准迹与维数消失的 ribbon 范畴中，如何定义广义迹与修正维数函数？
• RQ2 何种拓扑构造能在对称 ribbon 范畴中产生非平凡不变量，而这些范畴的标准不变量是平凡的？
• RQ3 在何种表示论设定中，修正维数即使在范畴维数为零时仍保持非零？
• RQ4 广义迹与修正维数如何与经典表示论不变量（如投影模与权空间）相关联？
• RQ5 修正维数能否检测非投影单模范畴中的非对称对象？

主要发现

• 即使标准范畴迹与维数消失，广义迹与修正维数函数仍保持非零，尤其在李代数与李超代数的正特征表示中表现显著。
• 在 $\mathcal{C}^{[\chi]}$ 中，对于 $\chi$ 为正则幂零的单模 $V_{\chi,0}$，修正维数非零，且 $V_{\chi,0}$ 不是对称的。
• $V\otimes V$ 的 $p-2$ 权空间上 $\Omega_{1,2}$ 的矩阵 $X$ 的秩为 $p-2$，且 $M = ND$ 可逆，确保迹行为非退化。
• 在 $V\otimes V$ 上特定态射 $f$ 的广义迹 $\operatorname{Tr}_R(f)$ 为 $-\operatorname{Id}_V$，证明其非零，从而表明 $V_{\chi,0}$ 不是对称的。
• 修正维数在 $F^p$ 作用下保持不变，迹计算依赖于 $F^p$ 对 $v_{-1}$ 与 $v_0$ 的作用，表明 $f(v_1\otimes v_{-1}) = 0$。
• 该结果可推广至 $\chi$ 为幂零正则时 $\mathcal{C}^{[\chi]}$ 中所有非投影单对象：通过反证法，利用 $V_{\chi,0}$ 的非对称性，可证所有此类对象均非对称。