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.4 Invertible orbits<br />

1.4. Invertible orbits<br />

Definition 1.4.1. We say that the Iε-orbit OX is invertible if X is an invertible element in gε.<br />

Keep the above notations. We say an element X ∈ V isotropic if B(X,X) = 0 and a subset<br />

W ⊂ V totally isotropic if B(X,Y ) = 0 for all X,Y ∈ W. To classify invertible adjoint orbits in<br />

gε, we need the following lemma:<br />

Lemma 1.4.2. Let V be an even-dimensional vector space with a non-degenerate bilinear form<br />

Bε. Assume that V = V+ ⊕V− where V± are totally isotropic vector subspaces.<br />

(1) Let N ∈ L (V ) such that N(V±) ⊂ V±. We define maps N± by N+|V+ = N|V+ , N+|V− = 0,<br />

N−|V− = N|V− and N−|V+ = 0. Then N ∈ gε(V ) if and only if N− = −N∗ + and, in this case,<br />

N = N+ − N∗ +.<br />

(2) Let U+ ∈ L (V ) such that U+ is invertible, U+(V+) = V+ and U+|V− = IdV− . We define<br />

U ∈ L (V ) by U|V+ = U+|V+ and U|V− = U −1<br />

∗ + |V− . Then U ∈ Iε(V ).<br />

(3) Let N ′ ∈ gε(V ) such that N ′ satisfies the assumptions of (1). Define N± as in (1). More-<br />

Proof.<br />

over, we assume that there exists U+ ∈ L (V+), U+ invertible such that<br />

<br />

|V+ .<br />

N ′ +|V+ = U+ N+ U −1<br />

+<br />

We extend U+ to V by U+|V− = IdV− and define U ∈ Iε(V ) as in (2). Then<br />

N ′ = U N U −1 .<br />

(1) It is obvious that N = N+ + N−. Recall that N ∈ gε(V ) if and only if N ∗ = −N so<br />

N ∗ + + N ∗ − = −N+ − N−. Since Bε(N ∗ +(V+),V ) = Bε(V+,N+(V )) = 0 then N ∗ +(V+) = 0.<br />

Similarly, N ∗ −(V−) = 0. Hence, N− = −N ∗ +.<br />

(2) We shows that Bε(U(X),U(Y )) = Bε(X,Y ), for all X,Y ∈ V . Indeed, let X = X+ +<br />

X−,Y = Y+ +Y− ∈ V+ ⊕V−, one has<br />

Bε(U(X+ + X−),U(Y+ +Y−)) = Bε(U+(X+) + U −1<br />

+<br />

= Bε(U+(X+), U −1<br />

+<br />

∗<br />

(X−),U+(Y+) + U −1∗<br />

(Y−))<br />

∗<br />

(Y−)) + Bε( U −1∗<br />

(X−),U+(Y+))<br />

= Bε(X+,Y−) + Bε(X−,Y+) = Bε(X,Y ).<br />

(3) Since Bε(U −1 (V+),V+) = Bε(V+,U(V+)) = 0, one has U −1 (V+) = V+ and U −1 (V−) =<br />

V−. Consequently, (U N U −1 )(V+) ⊂ V+ and (U N U −1 )(V−) ⊂ V−. Clearly, U N U −1 ∈<br />

gε(V ). By (1), we only show that<br />

This is obvious since U −1 |V+<br />

= U−1<br />

+ .<br />

+<br />

(U N U −1 )|V+ = N′ +<br />

13<br />

+

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

Saved successfully!

Ooh no, something went wrong!