[论文解读] Semisimple algebraic tensor categories

Rainer Weissauer|ArXiv.org|Sep 9, 2009

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

一句话总结

本文通过证明任何此类范畴均同构于某个拟半单超群概形的有限维超表示范畴，对特征为零的代数闭域上的半单代数张量范畴进行了分类。关键结果建立了拟半单超群的结构分解，将其表示为正交辛超群与拟半单代数群的半直积，通过哈里什-钱德拉三元组与霍普夫代数理论，将经典拟半单群结果推广至超群情形。

ABSTRACT

A semisimple algebraic tensor category over an algebraically closed field k of characteristic zero is the representation category of all finite dimensional twisted super representations of an affine reductive supergroup G over k. Such a supergroup is reductive if and only if its connected component is reductive. The connected component is reductive if and only if the Lie superalgebra divided by its center is a product of simple Lie algebras of classical type and Lie superalgebras spo(1,2r) of the orthosymplectic types BC_r.

研究动机与目标

• 对特征为零的代数闭域上的半单代数张量范畴进行分类。
• 确定某个超仿射群概形的有限维超表示范畴何时为半单。
• 以正交辛超群与拟半单代数群为基，建立拟半单超群概形的结构分解。
• 通过霍普夫代数与余模理论，将经典李代数与代数群的拟半单理论推广至超群情形。

提出的方法

• 利用超仿射群概形的超霍普夫代数上的余模范畴与该群概形的超表示范畴之间的等价关系。
• 应用哈里什-钱德拉三元组 (G, g₋, Q) 理论，通过其约化群 G、其超李代数 g 以及 G-等变对称双线性映射 Q 参数化超群结构。
• 通过超霍普夫代数 A 的超根 J 定义约化群概形 G = Spec(A/J)，当 A 连通且 char(k) = 0 时，该群概形为拟半单代数群。
• 在表示的对称幂与外幂上引入滤子，以分析张量幂中的不可约性与重数界。
• 利用范畴等价 Rep_k(G, g₋, Q) ≅ Rep_k(𝐺, ε) 将半单性问题约化为超李代数的拟半单性问题。
• 应用 Djokovic 与 Hochschild 关于拟半单超李代数的结果，以刻画拟半单超群概形。

实验结果

研究问题

• RQ1 何时一个超仿射群概形的有限维超表示范畴为半单？
• RQ2 超群概形 G 满足何种条件时，其超表示范畴为半单？
• RQ3 如何基于其底层代数群与超李代数对拟半单超群概形进行分类？
• RQ4 在代数闭域上特征为零的连通拟半单超群的结构为何？
• RQ5 拟半单超群的自同构与分量群如何作用于其正交辛分量？

主要发现

• 任一特征为零的代数闭域上的代数张量范畴，同构于某个超仿射群概形的有限维超表示范畴。
• 超仿射群概形 G 为拟半单当且仅当其约化群 G 为拟半单且其超李代数为拟半单。
• 连通拟半单超群 G 同构于 G′ × H，其中 G′ 为正交辛超群 Spo(1,2r) 的积，H 为拟半单代数群。
• 拟半单超群的超表示范畴为半单当且仅当其底层超李代数为拟半单。
• 分量群 π₀(G) 通过置换因子作用于正交辛部分 G′，该作用由一个典范同态 p: H → ∏Σₙᵣ 编码。
• 每个特征为零的代数闭域上的拟半单超群同构于半直积 G′ ⋊ H，其中 G′ 为单类型 BC 的超群的积，H 通过置换作用于因子。