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 ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
2.3. Quadratic dimension of quadratic Lie algebras<br />
A symmetric map D satisfying (II) is called a centromorphism of g. The equality (II) is<br />
equivalent to<br />
D ◦ ad(X) = ad(X) ◦ D = ad(D(X)), ∀ X ∈ g.<br />
Denote by C(g) the space of centromorphisms of g and by CI(g) the subspace spanned by<br />
invertible centromorphisms in C(g). We recall Lemma 2.1 in [BB97] as follows.<br />
Lemma 2.3.2. One has C(g) = CI(g).<br />
Proof. Let D be an invertible centromorphism and ϕ ∈ C(g). Fix B a basis of g. Denote by<br />
M(D) and M(ϕ) respectively the associated matrices of D and ϕ in B. Consider the polynomial<br />
P(x) = det(M(ϕ) − xM(D)). Since P(x) is a non-zero polynomial so there exists λ ∈ C such<br />
that P(λ) = 0. It means that ϕ − λD is invertible and thus ϕ = (ϕ − λD) + λD ∈ CI(g). It<br />
shows that C(g) = CI(g).<br />
Therefore the space of invariant symmetric bilinear forms on g and the subspace generated<br />
by non-degenerated ones are the same. Let us denote it by B(g). The dimension of B(g) is<br />
called the quadratic dimension of g and denoted by dq(g). As a consequence of the previous<br />
lemmas, one has dq(g) = dim(C(g)). Moreover, one has other properties of C(g) as follows:<br />
Proposition 2.3.3. Let D ∈ C(g) then<br />
(1) D n ∈ C(g) for all n ≥ 1. Furthermore, if D is invertible then D −1 ∈ C(g).<br />
(2) Z(g) and [g,g] are stable subspaces under D.<br />
Proposition 2.3.4. Let δ ∈ Dera(g) be a skew-symmetric derivation of g. Assume D ∈ C(g)<br />
such that D and δ commute. Then D ◦ δ is also a skew-symmetric derivation of g.<br />
Proof. Since (D ◦ δ)[X,Y ] = D[δ(X),Y ] + D[X,δ(Y )] = [(D ◦ δ)(X),Y ] + [X,(D ◦ δ)(Y )] and<br />
B((D ◦ δ)(X),Y ) = −B(X,(δ ◦ D)(Y )) = −B(X,(D ◦ δ)(Y )) for all X,Y ∈ g, one has D ◦ δ ∈<br />
Dera(g).<br />
Corollary 2.3.5. For all X ∈ g and D ∈ C(g), D ◦ ad(X) ∈ Dera(g).<br />
It is known that dq(g) = 1 if g is simple or one-dimensional Lie algebra. If g is reductive,<br />
but neither simple, nor one-dimensional, then<br />
dq(g) = s(g) +<br />
dim(Z(g))(1 + dim(Z(g)))<br />
2<br />
where Z(g) is the center of g and s(g) is the number of simple ideals of a Levi factor of g<br />
(Corollary 2.1 in [Ben03], see also in [BB07]). A general formula for dq(g) is not known. Next,<br />
we give a formula of dq(g) for reduced singular quadratic Lie algebras.<br />
49