In this section we will prove that the projective covers and irreducibles in the graded category are
also sent under the forgetful functor to the projective covers and irreducibles of /7(g). Consequently,
each projective and irreducible module for U(g) is endowed with the structure of a graded module.
Shen [Sh-2] has proved that a finite-dimensional irreducible module V over U(Q) is isomorphic to a
graded module if and only if
and N~ act nilpotently on V. Using different techniques we will
recover this result and extend the result to the projective modules.
The theorems and proofs in this section will hold for both categories C and Cgr. We will use V
to mean either C and Cgr. The first one of these statements is a general "Frobenius reciprocity"
law for graded restricted Lie algebras.
Theore m 1.2.1. Let [) be a, graded restricted subalgebra, of$\ with M, M' G ob Vg and N G ob V\).
Then for each n = 0,1,2,.... we have
(1) Extnu(i){M,M') = Extl(i){M'*,M')
(2) Ext^B)(N ®u{h) U(S),M) = Exrm)(N,M \m))
(3) Extl(t)(M, (JV ®m)
= Ext^M \m), N).
Proof. The standard proofs [Cu-R-1] work for (1) and (2) if we look at graded morphisms. For (3),
use (1) and (2)
Ext^9)(M,(N* ®u(t)) 17(g)*) 3 Ext%lt)(N* ®
U ( H
I%),M* )
L e m m a 1.2.2. Let M 6 ob
M ®U(B±) Ufa) \u(B*)= M ®U(G0) U{B*).
Previous Page Next Page