Let （g, [p]） be a restricted Lie algebra over an algebraically closed field of characteristic p 〉 O. Then the inverse limits of ＂higher＂ reduced enveloping algebras {uxs （g） I s ∈ N} with X running over g＊ ma...Let （g, [p]） be a restricted Lie algebra over an algebraically closed field of characteristic p 〉 O. Then the inverse limits of ＂higher＂ reduced enveloping algebras {uxs （g） I s ∈ N} with X running over g＊ make representations of g split into different ＂blocks＂. In this paper, we study such an infinite- dimensional algebra Ax （g） ：=lim Uxs （g） for a given X C g＊. A module category equivalence is built between subcategories of U（g）-rnod and Ax（g）-mod. In the case of reductive Lie algebras, （quasi） generalized baby Verma modules and their properties are described. Furthermore, the dimensions of projective covers of simple modules with characters of standard Levi form in the generalized x-reduced module category are precisely determined, and a higher reciprocity in the case of regular nilpotent is obtained, generalizing the ordinary reciprocity.展开更多
基金Supported by National Natural Science Foundation of China (Grant Nos. 11126062,11201293 and 11271130)the Innovation Program of Shanghai Municipal Education Commission (Grant Nos. 12ZZ038 and 13YZ077)
文摘Let （g, [p]） be a restricted Lie algebra over an algebraically closed field of characteristic p 〉 O. Then the inverse limits of ＂higher＂ reduced enveloping algebras {uxs （g） I s ∈ N} with X running over g＊ make representations of g split into different ＂blocks＂. In this paper, we study such an infinite- dimensional algebra Ax （g） ：=lim Uxs （g） for a given X C g＊. A module category equivalence is built between subcategories of U（g）-rnod and Ax（g）-mod. In the case of reductive Lie algebras, （quasi） generalized baby Verma modules and their properties are described. Furthermore, the dimensions of projective covers of simple modules with characters of standard Levi form in the generalized x-reduced module category are precisely determined, and a higher reciprocity in the case of regular nilpotent is obtained, generalizing the ordinary reciprocity.
