素特征域上李代数的上同调及相关几何问题研究

Representation and cohomology theory of Lie algebras in prime characteristic is one of the key problems in Lie theory and representation theory. Based on our previous research, we will study the following problems in this project: (1) In the category of non-restricted representations of Lie algebras of reductive algebraic groups, we will do some research on Lusztig’s conjectures on character formulas for simple modules, and give several equivalent conjectures, so that we can understand Lusztig’s conjectures from the viewpoint of cohomology. We will use the cohomology techniques of Andersen-Kaneda in the study of modular representations of algebraic groups and restricted representations of their Lie algebras. (2) With aid of distribution algebras of algebraic groups and techniques in extension of simple generalized restricted modules, we will give detailed description of support varieties and their realization for Lie algebras of Cartan type. Moreover, the relationship among support varieties in different representation categories will be established. (3) With aid of the cohomology techniques for classical Lie algebras and the methods of cohomology computation for infinite dimensional Lie algebras of vector fields in characteristic zero, we will study the relation between the restricted cohomology rings of restricted Lie algebras of Cartan type and the coordinate algebras of their nullcones. The geometric structure of the related nullcones, nilpotent orbits, nilpotent commuting varieties and the varieties of elementary subalgebras will also be investigated. This project will play an important theoretic role for further study of cohomology and representations of modular Lie algebras.

素特征域上李代数的表示与上同调理论是李理论及表示理论的核心课题之一。本项目将在我们已有研究基础上开展如下工作: (1) 借鉴Andersen-Kaneda等在代数群模表示及其李代数限制表示研究中的上同调技巧，在简约代数群李代数的非限制表示中，围绕Lusztig关于单模特征标的猜想, 给出与之相关的几个等价猜想, 从上同调角度理解Lusztig猜想。(2) 利用代数群的繁衍代数以及单广义限制模的提升技巧研究Cartan型李代数的支柱簇，给出支柱簇的刻画及实现，建立不同的表示范畴的支柱簇之间的关联。(3) 借助典型李代数上同调研究的技巧以及特征零的无穷维向量场李代数上同调的计算手法，研究限制Cartan型李代数的限制上同调环与幂零锥的坐标代数之间的关系，以及与之密切相关的幂零锥、幂零轨道、幂零交换簇、基本子代数簇的几何结构等。本项目对模李代数的上同调理论及表示理论的进一步研究有重要的理论意义。

素特征域上李代数的表示理论及上同调理论是李理论中的重要研究课题。本项目主要研究素特征域上李代数的表示、上同调及支柱簇理论以及相关的几何性质。具体来说，本项目探讨素特征域上代数群李代数及Cartan型李代数的表示、上同调及支柱簇的计算、刻画及其应用，以及与之密切相关的（限制）幂零锥、幂零轨道、幂零交换簇的几何结构及性质等。同时，研究了特征零域上一些重要无限维李（超）代数的表示。. 我们得到了如下主要结果：（1）给出了代数群李代数抛物baby Verma模是不可约模的充分条件，部分回答了模李代数专家Friedlander-Parshall上世纪90年代提出的公开问题。（2）研究了连通简约代数群李代数对应于幂零特征函数的baby Verma模的支柱簇和限制baby Verma模的支柱簇之间的关联，给出了一个猜想，即对应于幂零特征函数的baby Verma模的支柱簇等于限制baby Verma模的支柱簇与该幂零特征函数在连通简约代数群李代数中的中心化子的交，并在一些特殊情况下证明了该猜想。（3）给了Cartan型李（超）代数一些不可约模及不可分解倾斜模的分类、特征标公式及块的结构。（4）给出了一些Cartan型李代数的幂零轨道、幂零锥、（幂零）交换簇的几何结构。（5）给出了素特征域上Witt代数及Jacobson-Witt代数的2-局部导子及局部导子的刻画。（6）给出了与Virasoro代数有关的一些重要无限维李（超）代数限制在Cartan子代数上是秩1或秩2自由模的这类表示的分类。. 本项目的研究对模李（超）代数和无限维李（超）代数的表示及上同调理论的进一步研究有重要的理论意义。