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.

Appendix A<br />

In this appendix, we recall some facts on skew-symmetric maps used in this thesis. Nothing<br />

here is new, but short proofs are given for the sake of completeness.<br />

Throughout this section, let V be a vector space endowed with a non-degenerate bilinear<br />

form Bε (quadratic or symplectic) and C be a skew-symmetric map in gε then one has the useful<br />

identity ker(C) = (Im(C)) ⊥ .<br />

Lemma A.1. There exist subspaces W and N of V such that:<br />

(1) N ⊂ ker(C), C(W) ⊂ W and V = W ⊥<br />

⊕ N.<br />

(2) Let BW = Bε|W×W and CW = C|W . Then BW is non-degenerate, CW ∈ gε(W,BW ) and<br />

ker(CW ) ⊂ Im(CW ) = Im(C).<br />

Proof. We follow the proof of Proposition 2.1.5. Let N0 = ker(C) ∩ Im(C) and let N be a<br />

complementary subspace of N0 in ker(C), ker(C) = N0 ⊕N. Since ker(C) = (Im(C)) ⊥ , we have<br />

Bε(N0,N) = {0} and N ∩ N⊥ = {0}. So, if W = N⊥ , one has V = W ⊥<br />

⊕ N. From C(N) = {0},<br />

we deduce that C(W) ⊂ W.<br />

It is clear that Bε is non-degenerate on W and that CW ∈ gε(W). Moreover, since C(W) ⊂ W<br />

and C(N) = {0}, then Im(C) = Im(CW ). It is immediate that ker(CW ) = N0, so ker(CW ) ⊂<br />

Im(CW ).<br />

Lemma A.2. Assume that ker(C) ⊂ Im(C). Denote by L = ker(C). Let {L1,...,Lr} be a basis<br />

of L.<br />

(1) If dim(V ) is even, there exist subspaces L ′ with basis {L ′ 1 ,...,L′ r}, U with basis {U1,...,Us}<br />

and U ′ with basis {U ′ 1 ,...,U′ s} such that Bε(Li,L ′ j ) = δi j, for all 1 ≤ i, j ≤ r, L and L ′ are<br />

totally isotropic, Bε(Ui,U ′ j ) = δi j, for all 1 ≤ i, j ≤ s, U and U ′ are totally isotropic and<br />

V = (L ⊕ L ′ ) ⊥<br />

⊕ (U ⊕U ′ ).<br />

Moreover Im(C) = L ⊥<br />

⊕ (U ⊕U ′ ⊥<br />

) and C : L ′ ⊕ (U ⊕U ′ ) → L ⊥<br />

⊕ (U ⊕U ′ ) is a bijection.<br />

(2) If ε = 1 and dim(V ) is odd, there exist subspaces L ′ , U and U ′ as in (1) and v ∈ V such<br />

that Bε(v,v) = 1 and<br />

V = (L ⊕ L ′ ) ⊥<br />

⊕ Cv ⊥<br />

⊕ (U ⊕U ′ ).<br />

129

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

Saved successfully!

Ooh no, something went wrong!