14.08.2013 Views

TH`ESE A NEW INVARIANT OF QUADRATIC LIE ALGEBRAS AND ...

TH`ESE A NEW INVARIANT OF QUADRATIC LIE ALGEBRAS AND ...

TH`ESE A NEW INVARIANT OF QUADRATIC LIE ALGEBRAS AND ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

1.2. Nilpotent orbits<br />

By induction, it is easy to show that the non-zero vi are all linearly independent. Since<br />

dim(V ) is finite then there must exist the smallest m such that vm = 0 and vm+1 = 0, obviously<br />

vm+i = 0 for all i > 0. Therefore, the subspace of V spanned by vectors v0,...,vm is a sl(2)module.<br />

Since V is irreducible then V = span{v0,...,vm}. Moreover, the formula (3) shows λ =<br />

m by checking with i = m + 1. It means that the weight λ of a maximal vector is a nonnegative<br />

integer (equal to dim(V ) − 1) and we call it the highest weight of V . Conversely, for arbitrary<br />

m ≥ 0, formulas (1)- (3) of Lemma 1.2.4 can be used to define a representation of sl(2) on an<br />

m+1-dimensional vector space with a basis {v0,...,vm}. Moreover, it is easy to check that this<br />

representation is irreducible and then we have the following corollary:<br />

Corollary 1.2.5.<br />

(1) Let V be an irreducible sl(2)-module then V is the direct sum of its weight spaces Vµ,<br />

µ = m,m − 2,...,−(m − 2),−m where m = dim(V ) − 1 and dim(Vµ) = 1 for each µ.<br />

(2) For each integer m ≥ 0, there is (up to isomorphisms) one irreducible sl(2)-module of<br />

dimension m + 1.<br />

Next, let g be a complex semisimple Lie algebra. If there is a subalgebra of g isomorphic<br />

to sl(2) and spanned by {H,X,Y } then we called {H,X,Y } a sl(2)-triple of g. In this case, the<br />

triple {H,X,Y } satisfies the bracket relations:<br />

[H,X] = 2X, [H,Y ] = −2Y and [X,Y ] = H.<br />

We call H (resp. X, Y ) the neutral (resp. nilpositive, nilnegative) element of the triple<br />

{H,X,Y }. Since ad(H) is semisimple in the subalgebra a = span{H,X,Y } of g then it is known<br />

that H is also semisimple in g. Similarly, X,Y are nilpotent in g.<br />

Fix an integer r ≥ 0 and define a linear map ρr : sl(2) → sl(r + 1) by<br />

⎛<br />

r<br />

⎜<br />

⎜0<br />

⎜<br />

ρr(H) = ⎜<br />

.<br />

⎝0<br />

0<br />

r − 2<br />

.<br />

0<br />

0<br />

0<br />

.<br />

0<br />

...<br />

...<br />

. ..<br />

...<br />

0<br />

0<br />

.<br />

−r + 2<br />

⎞<br />

0<br />

0 ⎟<br />

. ⎟,<br />

⎟<br />

0 ⎠<br />

0 0 0 ... 0 −r<br />

⎛<br />

0<br />

⎜<br />

⎜0<br />

⎜<br />

ρr(X) = ⎜<br />

.<br />

⎝0<br />

1<br />

0<br />

.<br />

0<br />

0<br />

1<br />

.<br />

0<br />

...<br />

...<br />

. ..<br />

...<br />

0<br />

0<br />

.<br />

0<br />

⎞<br />

0<br />

0 ⎟<br />

. ⎟,<br />

⎟<br />

1⎠<br />

0 0 0 ... 0 0<br />

⎛<br />

0<br />

⎜<br />

⎜µ1<br />

⎜<br />

ρr(Y ) = ⎜<br />

.<br />

⎝ 0<br />

0<br />

0<br />

.<br />

0<br />

0<br />

0<br />

.<br />

0<br />

...<br />

...<br />

. ..<br />

...<br />

0<br />

0<br />

.<br />

0<br />

⎞<br />

0<br />

0 ⎟<br />

. ⎟,<br />

⎟<br />

0⎠<br />

0 0 0 ... µr 0<br />

7

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

Saved successfully!

Ooh no, something went wrong!