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 ...
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 />
1.2. Nilpotent orbits<br />
Let n ∈ N ∗ , a partition [d] of n is a tuple [d1,...,dk] of positive integers satisfying<br />
d1 ≥ ... ≥ dk and d1 + ... + dk = n.<br />
Occasionally, we use the notation [t i1<br />
1 ,...,tir r ] to replace the partition [d1,...,dk] where<br />
⎧<br />
⎪⎨<br />
t1 1 ≤ j ≤ i1<br />
t2 i1 + 1 ≤ j ≤ i1 + i2<br />
d j =<br />
⎪⎩<br />
t3 i1 + i2 + 1 ≤ j ≤ i1 + i2 + i3<br />
...<br />
Each i j is called the multiplicity of t j. Denote by P(n) the set of partitions of n. For example,<br />
P(3) = {[3], [2,1], [13 ]} and P(4) = {[4], [3,1], [22 ], [2,12 ], [14 ]}.<br />
Let p ∈ N∗ . We denote the Jordan block of size p by J1 = (0) and for p ≥ 2,<br />
⎛<br />
0<br />
⎜<br />
⎜0<br />
⎜<br />
Jp := ⎜<br />
.<br />
⎝0<br />
1<br />
0<br />
.<br />
0<br />
0<br />
1<br />
...<br />
...<br />
...<br />
...<br />
. ..<br />
0<br />
⎞<br />
0<br />
0 ⎟<br />
. ⎟.<br />
⎟<br />
1⎠<br />
0 0 0 ... 0<br />
Then Jp is a nilpotent endomorphism of C p . Given a partition [d] = [d1,...,dk] ∈ P(n) there is<br />
a nilpotent endomorphism of C n defined by<br />
X [d] := diagk (Jd1 ,...,Jdk ).<br />
Moreover, X [d] is also a nilpotent element of sl(n) since its trace is zero. Conversely, if C is a<br />
nilpotent element in sl(n) then C is GL(n)-conjugate to its Jordan normal form X [d] for some<br />
partition [d] ∈ P(n).<br />
Given two different partitions [d] = [d1,...,dk] and [d ′ ] = [d ′ 1 ,...,d′ l ] of n then the GL(n)adjoint<br />
orbits through X [d] and X [d ′ ] respectively are disjoint by the unicity of Jordan normal<br />
form. Therefore, one has the following proposition:<br />
Proposition 1.2.1. There is a one-to-one correspondence between the set of nilpotent GL(n)adjoint<br />
orbits of sl(n) and the set P(n).<br />
It results that sl(n) has only finitely many nilpotent GL(n)-adjoint orbits, exactly ♯P(n).<br />
However, this does not assure the same for its semisimple subalgebras and the classification of<br />
nilpotent adjoint orbits of gε is rather more difficult since the action of the subgroup Iε does not<br />
coincide with the action of GL(n). However, by many works of Dynkin, Kostant and Mal’cev<br />
(see [CM93]), there is an important bijection between nilpotent adjoint orbits of a semisimple<br />
Lie algebra g and a subset of 3 rank(g) possible weight Dynkin diagrams where rank(g) is the<br />
dimension of a Cartan subalgebra of g, and thus gε has only finitely many nilpotent adjoint<br />
orbits.<br />
The main tool in the classical work on nilpotent adjoint orbits is the representation theory<br />
of the Lie algebra sl(2) (or sl(2)-theory, for short) applied to the adjoint action on a semisimple<br />
5