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 ...
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