[论文解读] Bott-Borel-Weil theory, BGG reciprocity and twisting functors for Lie superalgebras

Kevin Coulembier|arXiv (Cornell University)|Apr 5, 2014

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

一句话总结

本文为基本经典李超代数的Bott-Borel-Weil（BBW）理论提出了一种代数的、范畴论的方法，引入扭量函子以证明：对于一般权，上同调群的最高权分量由星作用（star action）而非点作用（dot action）控制。该研究为$υm|2 ight)$、$D(2,1;\alpha)$、$F(4)$和$G(3)$提供了完整的BBW解，并证明在相对一般区域中，虚拟BGG对偶性转化为实际对偶性，从而解决了李超代数表示论中的关键结构性问题。

ABSTRACT

The main focus of this paper is Bott-Borel-Weil (BBW) theory for basic classical Lie superalgebras. We take a purely algebraic self-contained approach to the problem. A new element in this study is twisting functors, which we use in particular to prove that the top of the cohomology groups of BBW theory for generic weights is described by the recently introduced star action. We also study the algebra of regular functions, related to BBW theory. Then we introduce a weaker form of genericness, relative to the Borel subalgebra and show that the virtual BGG reciprocity of Gruson and Serganova becomes an actual reciprocity in the relatively generic region. We also obtain a complete solution of BBW theory for osp(m|2), D(2,1;a), F(4) and G(3) with distinguished Borel subalgebra. Furthermore, we derive information about the category of finite dimensional osp(m|2)-modules, such as BGG-type resolutions and Kostant homology of Kac modules and the structure of projective modules.

研究动机与目标

• 为基本经典李超代数中的Bott-Borel-Weil理论建立一个纯粹代数的、范畴论的框架。
• 解决非极大权之外的上同调群结构，特别是这些模的最高权分量。
• 确立在一般区域中，上同调模的最高权由星作用而非点作用描述。
• 证明虚拟BGG对偶性在相对于Borel子代数的弱一般性条件下转化为实际对偶性。
• 为$υm|2 ight)$、$D(2,1;\alpha)$、$F(4)$和$G(3)$提供完整的BBW理论解，采用特殊Borel子代数及任意权。

提出的方法

• 采用自包含的代数方法研究BBW理论，避免使用几何方法。
• 运用扭量函子分析上同调群及其最高权分量的结构。
• 使用星作用（点作用的变形）来描述一般区域中上同调模的最高权。
• 引入相对一般性作为标准一般性的弱化条件，其依赖于Borel子代数的选择。
• 将Zuckerman函子和正则函数代数作为辅助工具用于分析。
• 通过范畴论技术推导结果，包括限制函子及范畴$Ω$中的Ext计算。

实验结果

研究问题

• RQ1 在BBW理论中，对于非极大权，上同调群的最高权如何与Weyl群作用相关联？哪一种作用控制它？
• RQ2 Gruson与Serganova的虚拟BGG对偶性能否升级为实际对偶性？在何种条件下成立？
• RQ3 $υm|2 ight)$、$D(2,1;\alpha)$、$F(4)$和$G(3)$在任意权及特殊Borel子代数下，BBW上同调的完整结构是什么？
• RQ4 当点作用无法正确描述最高权时，扭量函子如何帮助确定上同调模的最高权？
• RQ5 相对一般性在确保上同调群集中于单一次数方面起什么作用？

主要发现

• 对于一般权，BBW理论的上同调群即使在非极大权情况下也集中于单一次数。
• 上同调模的最高权由星作用描述，而非点作用，尽管其特征与最高权模一致。
• 在相对一般区域中，Gruson与Serganova的虚拟BGG对偶性转化为实际对偶性，解决了长期存在的结构性问题。
• 为$υ extbackslash{}left(m|2 extbackslash{}right)$、$D(2,1;\alpha)$、$F(4)$和$G(3)$在任意权及特殊Borel子代数下获得了BBW理论的完整解。
• 计算了$υ extbackslash{}left(m|2 extbackslash{}right)$的Kac模的Kostant上同调，揭示其与I型超代数的不同。
• 证明了$υ extbackslash{}left(m|2 extbackslash{}right)$中Kac模存在BGG型分解，但与I型超代数中的形式显著不同。