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.

2.4. 2-step nilpotent quadratic Lie algebras<br />

Definition 2.4.6. Let g be a 2SN-Lie algebra, V and W be vector spaces. If π : g → End(V )<br />

and ρ : g → End(W) are two 2SN-representations of g then the map π ⊕ ρ : g → End(V ⊕W)<br />

defined by<br />

(π ⊕ ρ)(x)(v + w) = π(x)v + ρ(x)w, ∀ x ∈ g,v ∈ V,w ∈ W<br />

is also a 2SN-representation of g and it is called the direct sum of the two representations π and<br />

ρ.<br />

Proposition 2.4.7. Let g1, g2 be 2SN-Lie algebras and π : g1 → End(g2) be a linear map. We<br />

define on the vector space g = g1 ⊕ g2 the following product:<br />

[x + y,x ′ + y ′ ] = [x,x ′ ]g1 + π(x)y′ − π(x ′ )y + [y,y ′ ]g2 , ∀ x,x′ ∈ g1,y,y ′ ∈ g2.<br />

Then g with this product is a 2SN-Lie algebra if and only if π satisfies the following conditions:<br />

(1) π([x,x ′ ]g1 ) = π(x)π(x′ ) = 0.<br />

(2) π(x)([y,y ′ ]g2 ) = [π(x)y,y′ ]g2 = 0.<br />

for all x,x ′ ∈ g1,y,y ′ ∈ g2.<br />

Proof. Assume that g is a 2SN-Lie algebra. For all x,x ′ ,x ′′ ∈ g1, y,y ′ ,y ′′ ∈ g2, one has:<br />

0 = [[x + y,x ′ + y ′ ],x ′′ + y ′′ ] = π([x,x ′ ]g1 )y′′ − π(x ′′ )π(x)y ′ +<br />

+π(x ′′ )π(x ′ )y + [π(x)y ′ ,y ′′ ]g2 − [π(x′ )y,y ′′ ]g2 − π(x′′ )([y,y ′ ]g2 ).<br />

Let y = y ′ = x ′′ = 0 we obtain π([x,x ′ ]g1 )y′′ = 0, for all y ′′ ∈ g. It means that π([x,x ′ ]g1 ) = 0.<br />

Similarly, π(x)π(x ′ ), π(x)([y,y ′ ]g2 ) and [π(x)y,y′ ]g2 are zero for all x,x′ ∈ g1, y,y ′ ∈ g2.<br />

Conversely, if π satisfies (1) and (2) then it is easy to check g is a 2SN-Lie algebra by<br />

Definition 2.4.1.<br />

Clearly, the map π in Proposition 2.4.7 is a 2SN-representation of g1 in g2. Hence,, we<br />

obtain the following definition:<br />

Definition 2.4.8. Let g1, g2 be 2SN-Lie algebras and π : g1 → End(g2) be a 2SN-representation<br />

of g1 in g2. Then the vector g = g1 ⊕ g2 with the product:<br />

[x + y,x ′ + y ′ ] = [x,x ′ ]g1 + π(x)y′ − π(x ′ )y + [y,y ′ ]g2 , ∀ x,x′ ∈ g1,y,y ′ ∈ g2.<br />

become a 2SN-Lie algebra if and only if<br />

π(x)([y,y ′ ]g2 ) = [π(x)y,y′ ]g2 = 0, ∀ x ∈ g1,y,y ′ ∈ g2.<br />

In this case, π is called a 2SN-admissible representation of g1 in g2 and we say that g is the<br />

semi-direct product of g2 by g1 by means of π.<br />

Remark 2.4.9.<br />

(1) The condition in the above definition ensures π(x) ∈ Der(g2), for all x ∈ g1.<br />

(2) The adjoint representation of a 2SN-Lie algebra is a 2SN-admissible representation.<br />

55

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

Saved successfully!

Ooh no, something went wrong!