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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

2.2. Singular quadratic Lie algebras<br />

If rank(C) > 2, then g is of type S1 and by Proposition 2.2.23, we have rank(C) ≥ 4.<br />

Finally, Z(g) = CX1 ⊕ ker(C) and [g,g] = CX1 ⊕ Im(C), so g is reduced if and only if<br />

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

The proof of the last claim is exactly the same as in Proposition 2.2.22 (4).<br />

A complete classification (up to i-isomorphisms) of quadratic Lie algebras of type S3 is<br />

given in [PU07] by applying the formula {I,I} = 0 for the case I decomposable. We shall recall<br />

the characterization of these algebras here and describe them in terms of double extensions:<br />

Proposition 2.2.29. Let g be a quadratic Lie algebra of type S3. Then g is i-isomorphic to an<br />

algebra l ⊥<br />

⊕ z where z is a central ideal of g and l is one of the following algebras:<br />

(1) g3(λ) = o(3) equipped with the bilinear form B = λκ where κ is the Killing form and<br />

λ ∈ C, λ = 0.<br />

(2) g4, a 4-dimensional Lie algebra: consider q = C2 , {E1,E2} its canonical basis and the<br />

bilinear form B defined by B(E1,E1) = B(E2,E2) = 0 and B(E1,E2) = 1. Then g4 is the<br />

double extension of q by the skew-symmetric map<br />

<br />

1 0<br />

C = .<br />

0 −1<br />

Moreover, g4 is solvable, but it is not nilpotent. The Lie algebra g4 is known in the<br />

literature as the diamond algebra (see for instance [Dix74]).<br />

(3) g5, a 5-dimensional Lie algebra: consider q = C3 , {E1,E2,E3} its canonical basis and<br />

the bilinear form B defined by B(E1,E1) = B(E3,E3) = B(E1,E2) = B(E2,E3) = 0 and<br />

B(E1,E3) = B(E2,E2) = 1. Then g5 is the double extension of q by the skew-symmetric<br />

map<br />

⎛<br />

0 1<br />

⎞<br />

0<br />

C = ⎝0<br />

0 −1⎠.<br />

0 0 0<br />

Moreover, g5 is nilpotent.<br />

(4) g6, a 6-dimensional Lie algebra: consider q = C4 , {E1,E2,E3,E4} its canonical basis<br />

and the bilinear form B defined by B(E1,E3) = B(E2,E4) = 1 and B(Ei,Ej) = 0 otherwise.<br />

Then g6 is the double extension of q by the skew-symmetric map<br />

⎛<br />

0<br />

⎜<br />

C = ⎜0<br />

⎝0<br />

1<br />

0<br />

0<br />

0<br />

0<br />

0<br />

⎞<br />

0<br />

0 ⎟<br />

0⎠<br />

0 0 −1 0<br />

.<br />

Moreover, g6 is nilpotent.<br />

35

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

Saved successfully!

Ooh no, something went wrong!