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.

3.1. Application of Z × Z2-graded Lie superalgebras to quadratic Lie superalgebras<br />

Proof. Let A = Ω ⊗ F ∈ A ω ⊗ S f and A ′ = Ω ′ ⊗ F ′ ∈ A ω′ ⊗ S<br />

f ′<br />

, then<br />

{A,A ′ } = (−1) f ω′ {Ω,Ω ′ } ⊗ FF ′ + (Ω ∧ Ω ′ ) ⊗ {F,F ′ } .<br />

By the formula (I) in Chapter 2, one has<br />

{Ω,Ω ′ m<br />

ω+1<br />

} = (−1) ∑<br />

j=1<br />

Combined with Lemma 3.1.10 (1), we obtain<br />

{Ω,Ω ′ } ⊗ FF ′ m<br />

ω+1<br />

= (−1) ∑<br />

j=1<br />

= (−1) f (ω′ −1)+ω+1 m <br />

∑<br />

j=1<br />

<br />

ι X j<br />

0<br />

ι X j<br />

0<br />

ι j(Ω)<br />

⊗ F<br />

X<br />

0<br />

= (−1) f ω′ +ω+ f +1 m<br />

∑<br />

j=1<br />

n<br />

∑<br />

k=1<br />

ι X j<br />

0<br />

(Ω) ∧ ι j(Ω<br />

X<br />

0<br />

′ ).<br />

(Ω) ∧ ι j(Ω<br />

X<br />

0<br />

′ <br />

) ⊗ FF ′<br />

<br />

∧<br />

(A) ∧ ι j(A<br />

X<br />

0<br />

′ ).<br />

Let {p1,..., pn,q1,...,qn} be the dual basis of B then<br />

{F,F ′ <br />

∂F ∂F<br />

} =<br />

∂ pk<br />

′<br />

−<br />

∂qk<br />

∂F ∂F<br />

∂qk<br />

′ <br />

.<br />

∂ pk<br />

By Remark 3.1.11, one has<br />

{F,F ′ } =<br />

n <br />

∑<br />

k=1<br />

ι X k<br />

1<br />

(F)ι Y k<br />

1<br />

Combined with Lemma 3.1.10 (2), we obtain<br />

(Ω ∧ Ω ′ ) ⊗ {F,F ′ } = (Ω ∧ Ω ′ ) ⊗<br />

n <br />

( f −1)ω′<br />

= (−1) ∑<br />

k=1<br />

Ω ⊗ ι X k<br />

1<br />

= (−1) f ω′ +ω n<br />

∑<br />

k=1<br />

Therefore, the result follows.<br />

<br />

(F) ∧<br />

<br />

ι X k<br />

1<br />

n<br />

∑<br />

k=1<br />

(F ′ ) − ι Y k<br />

1<br />

<br />

Ω ′ ⊗ ι Y k<br />

1<br />

(A) ∧ ι Y k<br />

1<br />

ι X k<br />

1<br />

(F)ι Y k<br />

1<br />

(F ′ <br />

) −<br />

(A ′ ) − ι Y k<br />

1<br />

ι j(Ω<br />

X<br />

0<br />

′ ) ⊗ F ′<br />

(F)ι Xk (F<br />

1<br />

′ <br />

) .<br />

(F ′ ) − ι Y k<br />

1<br />

Ω ⊗ ι Y k<br />

1<br />

<br />

(F)ι Xk (F<br />

1<br />

′ <br />

)<br />

<br />

(F) ∧<br />

(A) ∧ ιX k(A<br />

1<br />

′ <br />

) .<br />

Ω ′ ⊗ ι X k<br />

1<br />

(F ′ <br />

)<br />

Corollary 3.1.13. Define the (even) isomorphism φ : V → V ∗ by φ(X) = B(X,.), for all X ∈ g<br />

then one has<br />

(1) {α,A} = ι φ −1 (α) (A),<br />

(2) {α,α ′ } = B(φ −1 (α),φ −1 (α ′ )),<br />

65

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

Saved successfully!

Ooh no, something went wrong!