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.2. Singular quadratic Lie algebras<br />

2.2.2 The dup number of a quadratic Lie algebra<br />

Let V be a vector space and I ∈ A k (V ), for k ≥ 1. We introduce two subspaces of V ∗ :<br />

Proposition 2.2.3. [Bou58]<br />

Let I ∈ A k (V ), I = 0. Then:<br />

VI = {α ∈ V ∗ | α ∧ I = 0},<br />

WI = {v ∈ V | ιv(I) = 0} ⊥∗ .<br />

(1) VI ⊂ WI, dim(VI) ≤ k and dim(WI) ≥ k.<br />

(2) If {α1,...,αr} is a basis of VI, then α1 ∧ ··· ∧ αr divides I. Moreover, I belongs to the<br />

k-th exterior power of WI, also denoted by k (WI).<br />

(3) I is decomposable if and only if dim(VI) = k or dim(WI) = k. In this case, VI = WI and<br />

if {α1,...,αk} is a basis of VI, there is some non-zero λ ∈ C such that:<br />

Proof. First, we need the following lemmas:<br />

I = λα1 ∧ ··· ∧ αk.<br />

Lemma 2.2.4. Let l ≤ k and α1,...,αl be linear forms independent in V ∗ and satisfying αi ∧I =<br />

0, for all i = 1,...,l. One has:<br />

(1) if l ≤ k−1 then there exists a multilinear form β ∈ A k−l (V ) such that I = α1 ∧···∧αl ∧β,<br />

(2) if l = k then there exists a non-zero complex ξ such that I = ξ α1 ∧ ··· ∧ αk.<br />

Proof. Since α1,...,αl are linearly independent in V ∗ then we can complete this system by<br />

vectors to get a basis {α1,...,αn} of V ∗ . In this basis, assume that I is as follows:<br />

I = ∑<br />

J⊂[[1,n]],|J|=k<br />

ξJα j1 ∧ ··· ∧ α jk ,<br />

where ξJ ∈ C and the indices meant J = ( j1,..., jk) ∈ N k with 1 ≤ j1 < ··· < jk ≤ n.<br />

One has α1 ∧ I = 0 then ξJ = 0 if j1 = 1. Therefore, we obtain<br />

I = α1 ∧ ∑ ξ1, j2,..., jk<br />

2≤ j2

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

Saved successfully!

Ooh no, something went wrong!