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.3 Semisimple orbits<br />
We recall the well-known result [CM93]:<br />
1.3. Semisimple orbits<br />
Proposition 1.3.1. Let g be a semisimple Lie algebra, h be a Cartan subalgebra of g and W be<br />
the associated Weyl group. Then there is a bijection between the set of semisimple orbits of g<br />
and h/W.<br />
For each gε, we choose the Cartan subalgebra h given by the vector space of diagonal<br />
matrices of type<br />
diag 2n (λ1,...,λn,−λ1,...,−λn)<br />
if gε = o(2n) or gε = sp(2n) and of type<br />
diag 2n+1 (λ1,...,λn,0,−λ1,...,−λn)<br />
if gε = o(2n + 1).<br />
Any diagonalizable (equivalently semisimple) C ∈ gε is conjugate to an element of h (see<br />
Appendix A for a direct proof).<br />
If gε = sp(2n) then any two eigenvectors v,w ∈ C 2n of X ∈ gε with eigenvalues λ,λ ′ ∈ C<br />
such that λ + λ ′ = 0 are orthorgonal. Moreover, each eigenvalue pair λ,−λ is corresponding<br />
to an eigenvector pair (v,w) satisfying Bε(v,w) = 1 and we can easily arrange for vectors v,v ′<br />
lying in a distinct pair (v,w),(v ′ ,w ′ ) to be orthogonal, regardless of the eigenvalues involved.<br />
That means the associated Weyl group is of all coordinate permutations and sign changes of<br />
(λ1,...,λn). We denote it by Gn.<br />
If gε = o(2n), the associated Weyl group, when considered in the action of the group<br />
SO(2n), consists all coordinate permutations and even sign changes of (λ1,...,λn). However,<br />
we only focus on O(2n)-adjoint orbits of o(2n) obtained by the action of the full orthogonal<br />
group, then similarly to preceding analysis any sign change effects. The corresponding group<br />
is still Gn. If gε = o(2n + 1), the Weyl group is Gn and there is nothing to add.<br />
Now, let Λn = {(λ1,...,λn) | λ1,...,λn ∈ C, λi = 0 for some i}.<br />
Corollary 1.3.2. There is a bijection between non-zero semisimple Iε-adjoint orbits of gε and<br />
Λn/Gn.<br />
12