06.08.2013 Views

subregular nilpotent representations of lie algebras in prime ...

subregular nilpotent representations of lie algebras in prime ...

subregular nilpotent representations of lie algebras in prime ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

2<br />

positive roots . (We denote by _ the coroot correspond<strong>in</strong>g to .) Then there<br />

are up to isomorphism jej simple modules <strong>in</strong> C .We can denote them by L with<br />

2 e suchthat<br />

dim L = h + ; _ ip N ,1 ; if 2 ,<br />

(p ,h + ; _ 0 i)p N ,1 ; if = , 0.<br />

De ne <strong>in</strong>tegers m for all 2 e by m, 0 = 1 and _<br />

0 = P 2 m _ . Let Q<br />

denote the projective cover <strong>of</strong> L <strong>in</strong> C . Then<br />

[Q : L ]=jW j m m for all ; 2 e . (2)<br />

Here W is the Weyl group <strong>of</strong> R and we write [M : L] for the multiplicity <strong>of</strong>a<br />

simple module L as a composition factor <strong>of</strong> a module M.<br />

If vanishes on the \standard" Borel subalgebra (correspond<strong>in</strong>g to the positive<br />

roots), then one can de ne \baby Verma modules" Z ( ). One gets then<br />

[Z ( ):L ]=m for all 2 e . (3)<br />

The extension group (<strong>in</strong> C )<strong>of</strong>two non-isomorphic simple modules is given by<br />

Ext 1 (L ;L ) '<br />

K; if ( ; ) < 0,<br />

0; if ( ; )=0,<br />

unless R is <strong>of</strong> type A1 where one has to replace K by K 2 . I do not know how big<br />

the Ext group is <strong>in</strong> case = ; it will be non-zero <strong>in</strong> most cases.<br />

The result on the number <strong>of</strong> simple modules <strong>in</strong> C as well as the formula <strong>in</strong><br />

(2) for the Cartan matrix con rm conjectures by Lusztig.<br />

If we consider more generally 2 X such that 0 h + ; _ i

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!