Generalized Derivation Tower Theorem of Lie algebras, ,

Introduction A Lie algebra

g

over a field

K

of characteristic

0

, is called complete if the center of

g

is trivial and all derivations of

g

are inner. Let

(g_{n})

be the series of algebras defined by

g_{0} = g

and

g_{n + 1} = D e r g_{n}

, is called the tower of derivation algebras of

g

. Schenkman proved that the derivation tower theorem which asserts that if the center of

g

is trivial, then the derivation tower of

g

terminates with a complete Lie algebras

\hat{g}

, [4] . In Section 1, we give an algorithm of decomposition for a Lie algebra and their properties. In section 2, we explicitly construct

\hat{g}

using this algorithm, in the case where the center of

g_{n}

is trivial. In section 3, if we suppose the limit

\hat{g}

exists (i.e.

g_{p + 1}

isomorphic to

g_{p}

for

p

sufficiently large), then we show that

\hat{g}

can be written as

K \times [\hat{g}, \hat{g}]

and

[\hat{g}, \hat{g}]

is a perfect complete Lie algebra.

1 $Γ$ -Decomposition

Throughout this paper,

g

is a finite-dimensional Lie algebra over a field

K

of characteristic

0

Z (g)

its center,

r

its radical,

n

its largest nilpotent ideal,

C \infty (g)

is the intersection of the ideals

C^{p} (g)

of the central descending sequence of

g

and

D e r g

its Lie algebra of derivations. The Lie algebra

D e r g

is then algebraic [1,p.179] . The Lie algebra

a d g

is an ideal of

D e r g

. Let

e (a d g)

be the smallest Lie algebra which is algebraic in

g

and contains

a d g

[1,p.173] .

Then we have

a d g \subset e (a d g) \subset D e r g

. A Lie subalgebra of

g l (g)

is said to be completely reducible or c.r. if its natural action on

g

(

α \cdot x : = α (x)

with

x \in g

and

α \in Γ

) is semi-simple. This means that this Lie algebra is reductive and its center consists of linear maps which are all semi-simple. A Lie subalgebra of

g l (g)

is said to be maximal completely reducible or m.c.r. if it is maximal among the c.r. Lie subalgebras. For two m.c.r. Lie subalgebras of

g l (g)

are isomorphic [3] . Let

u \in g l (g)

and let

u = u |_{S} + u |_{N}

be its Jordan decomposition with

u |_{S}

(

u |_{N}

resp. ) its semi-simple (nilpotent resp.) component. If

u \subset g l (g)

is a subspace, we will denote

u |_{S}

(

u |_{N}

resp.) the set of semi-simple (nilpotent resp.) components of the Jordan decomposition.

Lemma 1.1 Let

g

be a Lie algebra over

K

and

Γ

be a c.r Lie subalgebra of

D e r g

. Then

g

satisfies

1. $g = g^{Γ} \oplus Γ \cdot g, [g^{Γ}, Γ \cdot g] \subset Γ \cdot g,$ where $g^{Γ} : = {x \in g : α \cdot x = 0, \forall α \in Γ}, Γ \cdot g : = {α \cdot g, \forall α \in Γ}$ ,
2. If we set $p : = Γ \cdot g + [Γ \cdot g, Γ \cdot g] \subset Γ \cdot g$ , then $p$ is an ideal of $g$ generated by $Γ \cdot g$ such that $C^{p} (g) = p + C^{p} (g^{Γ})$ $\forall p \in N \cup {\infty}$ ,
3. There exists a Levi subalgebra $s$ of $g$ such that $Γ \cdot s \subset s$ ,
4. If we set $a : = {(a d_{g})}^{- 1} (a d g \cap Γ)$ then $a$ is a reductive Lie subalgebra of $g$ satisfying $Γ \cdot a \subset a$ .

Proof. The natural action of

Γ

g

being semi-simple, we then have

g = g^{Γ} \oplus Γ \cdot g

. For all

x \in g^{Γ}

y \in g

and

α \in Γ \subset D e r g

then

α \cdot [x, y] = [α \cdot x, y] + [x, α \cdot y] = [x, α \cdot y]

and

[g^{Γ}, Γ \cdot g] \subset Γ \cdot g

. The statement 1. hold. Since

[g^{Γ}, Γ \cdot g] \subset Γ \cdot g

we can deduce

p

is an ideal of

g

and generated by

Γ \cdot g

. The rest of the statement 2. is obvious.

Γ

being reductive, then exists a Levi subalgebra

s^{'}

g

such that

Γ : = a d s^{'} \oplus Z (Γ)

and

[Γ, Γ] = a d s^{'}

. And

Γ

being no maximal then there exists another a Levi sublgebra

s

g

such that

s^{'}

is a Lie subalgebra of

s

. Hence

Γ \cdot s \subset s

because the action of

Γ

g

is semi-simple, and the statement 3. holds. We can show easily the property 4.

□

Lemma 1.2 Let

g

be a Lie algebra over

K

. Then there exists a nilpotent Lie subalgebra

h

g

such that

g = h + C^{\infty} (g^{Γ})

Proof. This is obvious if

dim g = 0

. We reason by induction on

n : = dim g

. We can assume that

g

is not nilpotent else we set

g : = h

, then there exists

x \in g

such that

δ : = a d x |_{S}

is different from zero and

g = δ \cdot g \oplus g^{δ}

. We have

dim g^{δ} < n

and

g^{δ} = h + C^{\infty} (g^{δ})

by the induction hypothesis. The inclusion

δ \cdot g \subset C^{\infty} (g)

gives

δ (g) \subset C^{\infty} (g^{Γ})

and

g = h + C^{\infty} (g^{Γ})

□

Corollary 1.1 Let

g

be a Lie algebra over

K

. Then there exists a Levi subalgebra

s

g

and a nilpotent Lie subalgebra

h

r

such that

1. $g = s + h + n$ and $[s, h] = 0$ ,
2. $e (a d g) = Γ \oplus Δ$ with $Γ : = a d s + a d h |_{S}$ , $Δ : = a d h |_{N} + a d n$ and $Γ \cdot h = 0$ .
We will say that $Γ$ is a m.c.r Lie subalgebra of $e (a d g)$ associated to $(s, h)$ .

Proof. By Lemma 1.2 there exists a nilpotent Lie subalgebra

h

r

such that

r^{a d s} = h + C^{\infty} (r^{a d s}) \subset h + n

and

r = r^{a d s} \oplus [s, r]

. We have

[s, r] \subset n

, hence

g = s + h + n

and

[s, h] = 0

and

h

is nilpotent. It follows that

a d g = a d s + a d h + a d n

and

e (a d g) = a d s + e (a d h) + a d n

. The Lie algebra

e (a d h)

is nilpotent and admits a Chevalley decomposition

a d h |_{N} \oplus a d h |_{S}

, [1] . It follows that

e (a d g) = Γ \oplus Δ

and

Γ \cdot h = 0

with

Γ : = a d s + a d h |_{S}

and

Δ : = a d h |_{N} + a d n

. Hence

Γ

is maximal by construction.

□

We introduce the notion of a

Γ

-decomposition :

Theorem 1.1 Let

g

be a Lie algebra over

K

and

r

its radical.

1. Then there is a bijection of the set of c.r.m subalgebras of $e (a d g)$ into the set of sequences of vector spaces $(s, k, m)$ of $g$ such that :
i) $s$ is a Levi subalgebra of $g$ ,
ii) $k$ is an ideal nilpotent of $g$ such that $[s, k] = 0$ ,
iii) $m$ is a subspace of $r$ such that $r = m \oplus k$ and $[s \oplus k, m] = m$ , and
iv) $g = s \oplus k \oplus m$ . Will call that $(s, k, m)$ is $Γ$ -triple and $s \oplus k \oplus m$ is $Γ$ -decomposition of $g$ .
2. Let $(s_{i}, k_{i}, m_{i})$ be two $Γ_{i}$ -triplet of $g$ with $i = 1, 2$ , then there exists an inner automorphism $γ$ of $g$ such that $Γ_{2} = γ \circ Γ_{1} \circ γ^{- 1}, s_{2} = γ (s_{1}), m_{2} = γ (m_{1}), k_{2} = γ (k_{1}) .$

Proof. If we assume that there exists a such decomposition

g = s \oplus k \oplus m

, we can construct

Γ

by setting

Γ : = a d s \oplus a d k |_{S}

, i.e. Corollary 1.1 .2. Conversely, let

Γ

be a m.c.r Lie subalgebra of

e (a d g)

, we set

k : = g^{Γ}

m : = Γ \cdot r

and

s : = {(a d_{g})}^{- 1} (a d g \cap Γ)

It is obvious that

s

is a Levi subalgebra of

g

. We have

Γ \cdot g = Γ \cdot m \oplus Γ \cdot k \oplus Γ \cdot s = m \oplus s

since

Γ \cdot m = m

Γ \cdot s = s

and

Γ \cdot k = 0

. By Lemma 1.1 , we have

g = g^{Γ} \oplus Γ \cdot g = s \oplus k \oplus m

Since

[Γ, a d k] = a d (Γ \cdot k) = 0

, it follows that

[Γ, a d k |_{S}] = [Γ, a d k |_{N}] = 0

. Hence

a d k |_{S} \subset Z (Γ) \subset Γ

because

Γ

is m.c.r Lie subalgebra. The Lie algebra

Z (Γ) + a d k = Z (Γ) \oplus a d k |_{N}

is thus nilpotent. Then

a d k

is nilpotent and we conclude that

k

is nilpotent. We have

[s \oplus k, m] \subset m

since

m \subset r

. If

[s \oplus k, m] \neq m

then

(a d s + e (a d k)) m \neq m

and

Γ \cdot m \neq m

. This is a contradiction. The statement 2. is a consequence of G. D. Mostow's theorem [3] applied to

e (a d g)

□

Corollary 1.2 Let

(s, k, m)

be a

Γ

-triple of

g

with

Γ

a c.r.m Lie subalgebra

e (a d g)

. Then

D e r g = a d s \oplus a d m \oplus {(D e r g)}^{Γ}

with

{(D e r g)}^{Γ}

the centralizer of

Γ

D e r g

Proof. The adjoint representation of

Γ

D e r g

being semi-simple, then

D e r g = [D e r g, Γ] \oplus {(D e r g)}^{Γ}

. Since

[Γ, D e r g] \subset [e (a d g), D e r g] \subset a d g

and

{(D e r g)}^{Γ} \cap a d g = a d k

, hence

D e r g = a d s \oplus a d m \oplus {(D e r g)}^{Γ}

□

Remark 1.1 The vector space

m

is not a subalgebra of

g

in general. If we consider the solvable Lie algebra generated by

{x_{1}, x_{2}, x_{3}, x_{4}, x_{5}}

with its multiplication defined by

[x_{1}, x_{2}] = x_{5}, [x_{1}, x_{3}] = x_{3}, [x_{1}, x_{4}] = - x_{4}, [x_{3}, x_{4}] = x_{5} .

We have

Γ = K \cdot a d x_{1} |_{S}

k = K \cdot x_{1} + K \cdot x_{2} + K \cdot x_{5}

and

m = K \cdot x_{3} + K \cdot x_{4}

. We remark that

m

is different from

C \infty (g)

Proposition 1.1 Let

(s_{i}, k_{i}, m_{i})

Γ_{i}

-triple of Lie algebras

g_{i}

with

Γ_{i}

c.r.m Lie subalgebras of

e (a d g_{i})

with

i = 1, 2

. Then

(s_{1} \times s_{2}, k_{1} \times k_{2}, m_{1} \times m_{2})

Γ_{1} \times Γ_{2}

-triple of Lie algebra

g_{1} \times g_{2}

Proposition 1.2 Let

f : g \to g^{'}

be an Lie algebra epimorphism and

Γ

a c.r.m subalgebra of

e (a d g)

. Then

1. The subalgebra $Γ^{'}$ induced by $Γ$ on the quotient $g^{'}$ satisfying $Γ^{'} \circ f = f \circ Γ$ and it is a c.r.m subalgebra of $e (a d g^{'})$ .
2. If $(s, k, m)$ is a $Γ$ -triple of $g$ with $Γ$ a c.r.m Lie subalgebra $e (a d g)$ , then $(f (s), f (k), f (m))$ is a $Γ^{'}$ -triple of $g^{'}$ .

Proof. It is easy to check that the property 1. We have

g^{'} = f (s) \oplus f (k) \oplus f (m)

with

f (k) \oplus f (m)

is the radical of

g^{'}

. Since

[f (s) \oplus f (m), f (m)] = f (m)

, then

(f (s), f (k), f (m))

is a

Γ^{'}

-triple of

g^{'}

□

Lemma 1.3 Let

(s, k, m)

be a

Γ

-triple of

g

with

Γ

a c.r.m Lie subalgebra

e (a d g)

. The inclusion

[k, m] \subset m

defines a representation

μ : k \to g l (m)

by restriction

μ (x) = a d x |_{m}

. We then have :

1. $Z (g) = Z (k) \cap ker μ$ ,
2. $μ$ is injective if and only if $Z (g) = 0$ ,
3. The Lie subalgebra $\hat{n}$ of $g$ generated by $m$ is a nilpotent ideal of $g$ such that $\hat{n} = C^{\infty} (g) \cap n = m + [m, m]$ and $C^{p} (g) = s + C^{p} (k) + \hat{n}, \forall p \in N$ .

Proof. Let

x \in Z (k) \cap ker μ

then

[s \oplus k \oplus m, x] = [k, x] = 0

and

x \in Z (g)

Conversely, if

x \in Z (g)

we have

[g, x] = {0}

, hence

Γ \cdot x \subset k

and

Γ^{2} \cdot x = 0

. This means that

x \in k

and so

x \in Z (k) \cap ker μ

. Hence the statement 1 holds. Assuming that

μ

is not injective. Thus which is equivalent to

Z (g) = Z (k) \cap ker μ

being non-null, since all non-null nilpotent ideal intersects its center. Hence the statement

2

holds.

Using Lemma 1.1 .2 and the

Γ

-decomposition of

g

, we can deduce the statement 3.

□

Lemma 1.4 Let

V

be a vector space over

K

. Let

b

a

be two Lie subalgebras of

g l (V)

such that

a \subset b

. Let

Φ

be a map of

V^{2}

into

g : = a \oplus V

. We define a bracket

[,]

g

\begin{matrix} [x, v] = x \cdot v \end{matrix}

\begin{matrix} [v_{1}, v_{2}] = Φ (v_{1}, v_{2}) \end{matrix}

\begin{matrix} [x, y] = x \cdot y - y \cdot x \end{matrix}

with

x, y \in a

v_{1}, v_{2} \in V

. If this bracket defines a Lie structure on

g

, then it can be lifted to

g^{'} : = b \oplus V

by setting :

[x, Φ (v_{1}, v_{2})] = Φ (x \cdot v_{1}, v_{2}) + Φ (v, x \cdot v_{2})

for all

(x, v_{1}, v_{2}) \in b \times V^{2}

Let

(s, k, m)

be a

Γ

-triple of

g

with

Γ

a m.c.r Lie subalgebra

e (a d g)

. Let

δ \in {(D e r g)}^{Γ}

. Then it is easy to check that

δ (m) = m, δ (k) = k

and

δ (s) = 0

This means that

δ

defines a linear map

Θ

{(D e r g)}^{Γ}

into

g l (m)

Θ (δ) = δ |_{m}

. The set of derivations

{(D e r \hat{n})}^{Γ}

\hat{n}

which commute with the restriction

Γ |_{\hat{n}}

Γ

\hat{n}

, leaves stable

k \cap \hat{n}

and

m

. There exists an isomorphism of Lie algebras of

{(D e r \hat{n})}^{Γ}

into

{(D e r \hat{n})}^{Γ} |_{m}

. Then the image of

Θ

is contained in

B : = {(D e r \hat{n})}^{Γ} |_{m}

By Lemma 1.3 and Lemma 1.4 , we have the following statements :

Theorem 1.2 Let

(s, k, m)

be a

Γ

-triple of

g

with

Γ

a c.r.m subalgebra

e (a d g)

. Let

μ : k \to g l (m)

be the representation defined by

μ (x) = a d x |_{m}

Assume

μ

is injective, then:

1. The map $Θ$ defines an isomorphism of $D e r {(g)}^{Γ}$ into the normalizer $N_{ℬ} (μ (k))$ of $μ (k)$ in $B$ .

2. We can identify the Lie algebra

D e r g

with the Lie algebra

s \oplus N_{ℬ} (μ (k)) \oplus m

with its law

Φ

defined from the bracket

[,]

g

in the following way, for all

(x_{1}, y_{1}, z_{1}), (x_{2}, y_{2}, z_{2}) \in s \times N_{B} (μ (k)) \times m

\begin{matrix} Φ (x_{1}, x_{2} + y_{2} + z_{2}) = [x_{1}, x_{2}] + [x_{1}, z_{2}] \end{matrix}

\begin{matrix} Φ (y_{1}, y_{2} + z_{2}) = y_{1} \cdot y_{2} - y_{2} \cdot y_{1} + y_{1} \cdot z_{2} \end{matrix}

\begin{matrix} Φ (z_{1}, z_{2}) = μ (k) + m \end{matrix}

with

k

and

m

the projections of

[z_{1}, z_{2}]

into

k

and

m

, respectively.

3. In particular $g$ is complete if and only if $μ (k)$ is equal to its normalizer in $B$ .

Proof. Let

δ \in {(D e r g)}^{Γ}

such that

Θ (δ) = 0

hence,

0 = δ ([x, y]) = [δ (x), y] + [x, δ (y)] = μ (δ (x)) \cdot y

for

(x, y) \in k \times m

. It follows that

δ (x) \in ker μ = 0

, and

δ (g) = δ (k) = 0

. Then the injectivity of

Θ

holds. Let

δ_{1}

be an element of

N_{ℬ} (μ (k))

. For all

x_{1} \in k

, there exits

x_{2}

is equal to

μ^{- 1} ([δ_{1}, μ (x_{1})])

μ

's injectivity. It follows that

[δ_{1}, μ (x_{1})] = μ (x_{2})

It defines a derivation

δ_{2}

k

δ_{2} (x_{1}) = x_{2}

. The surjectivity comes from the linear application

δ

defined by

δ |_{s} = 0

δ |_{k} = δ_{2}

and

δ |_{m} = δ_{1}

which belongs to

(D e r g)^{Γ}

. Let

δ_{3}

be the derivation of

\hat{n}

which extends

δ

. Then

δ_{3}

is equal to

δ_{2}

k \cap \hat{n}

. Indeed, for

x \in k \cap \hat{n}

we have

[δ_{3}, a d_{\hat{n}} (x)] = a d_{\hat{n}} (δ_{3} (x))

and by restriction to

m

this becomes

[δ_{1}, μ (x)] = μ (δ_{3} (x))

which is also equal to

μ (δ_{2} (x))

by definition of

δ_{2}

, and then

δ_{3} (x) = δ_{2} (x)

because of the injectivity of

μ

. It follows that

δ_{1} \in (D e r g)^{Γ}

since the equality

δ_{1} ([x, y]) = [δ_{2} (x), y] + [x, δ_{1} (y)]

for

(x, y) \in k \times m

is equivalent to

[δ_{1}, μ (x)] = μ (δ_{2} (x))

. Then statement 1 holds. By Corollary 1.2 , Lemma 1.4 and the statement 1, we deduce the statement 2. The statement 3 is consequence directly from statements 1 and 2.

□

By Theorem 1.2 , then the Lie algebra

g

can be identified with the Lie subalgebra

s \oplus μ (k) \oplus m

s \oplus N_{B} (μ (k)) \oplus m

by the isomorphism

s + k + m \mapsto s + μ (k) + m

for

(s, k, m) \in s \times k \times m

. We define a Lie algebra

s \oplus B \oplus m

with the same law

Φ

by taking

y_{1}

and

y_{2}

B

instead of

N_{B} (μ (k))

. We can verify that this is really a Lie algebra by using Lemma 1.4 . If

g

is identified with

s \oplus μ (k) \oplus m

, we have the Lie algebra inclusions:

\begin{matrix} g \subset s \oplus N_{B} (μ (k)) \oplus m \subset s \oplus B \oplus m \end{matrix}

(1.1)

Corollary 1.3 Let

(s, k, m)

be a

Γ

-triple of

g

with

Γ

a c.r.m subalgebra

e (a d g)

. The Lie algebra

g^{'} = s \oplus B \oplus m

is complete.

Proof. The triple

(s, ℬ, m)

g^{'}

is a

Γ^{'}

-triple with

Γ^{'}

obtained by the extension of

Γ

g^{'}

giving

0

B

. Using Theorem 1.2 .3 with

μ

the natural representation of

B

m

, we deduce that

s \oplus ℬ \oplus m

is complete.

□

2 Derivation tower of Lie algebras: case with trivial center

We call that a derivation tower of a Lie algebra

g

the sequence of Lie algebras

{(g_{n})}_{n \in N}

such that

g_{0} = g

, and

g_{n + 1} = D e r (g_{n})

. If the center of

g_{n}

is trivial, hence the center of

D e r (g_{n + 1})

is zero. Then we can identify

g_{n}

with

a d g_{n}

, and we have a sequence of ideals:

\begin{matrix} g_{n} ⊳ g_{n + 1} ⊳ \dots ⊳ g_{n + k} ⊳ \dots . \end{matrix}

(2.1)

In this case, Schenkman proved that this sequence has a limit

\hat{g}

, [4] . If

A

is a Lie subalgebra of a Lie algebra

B

, we consider the sequence of normalizers in

B

N_{B}^{p + 1} A = N_{B} (N_{B}^{p} A)

N_{B}^{0} A = A

. The following sequence of ideals

\begin{matrix} A ⊳ \dots ⊳ N_{B}^{p} A ⊳ N_{B}^{p + 1} A ⊳ \dots ⊳ N_{B}^{\infty} A \subset B \end{matrix}

(2.2)

terminates for an integer

p

since the dimension is finite, say

N_{B}^{q + 1} A = N_{B}^{q} A

, and the Lie algebra

N_{B}^{q} A

denoted

N_{B}^{\infty} A

will be equal to its normalizer in

B

With this notations we are able to state:

Theorem 2.1 Let

s \oplus k \oplus m

be a

Γ

-decomposition of a Lie algebra

g

with trivial center with

Γ

a m.c.r. Lie subalgebra of

e (a d g)

. The sequence of normalizers

μ (k) ⊳ N_{B}^{1} (μ (k)) ⊳ \dots ⊳ N_{ℬ}^{n} (μ (k)) ⊳ \dots ⊳ \hat{N_{ℬ}} (μ (k))

contained in

B = (D e r n)^{Γ} | m

terminates at

\hat{N_{B}} (μ (k)) = N_{B}^{q} (μ (k))

for some integer

q

such that

N_{B}^{q + 1} (μ (k)) = N_{B}^{q} (μ (k))

. The derivation tower of a Lie algebra

g

is given by the Lie subalgebras

g_{n} = s \oplus N_{B}^{n} (μ (k)) \oplus m

s \oplus k \oplus m

and terminates to

\hat{g} : = s \oplus \hat{N_{B}} (μ (k)) \oplus m

, thus being complete.

Proof. For

dim g = 0

g

always admits a decomposition

s \oplus k \oplus m

associated with

Γ

, e.g. Theorem 1.1 . We reason by induction on

n : = dim g

. Let us assume that for an integer

n \geq 0

we have

g_{n} = s \oplus N_{B}^{n} (μ (k)) \oplus m

associated with the m.c.r. algebra

Γ_{n}

obtained by the extension of

Γ

g_{n}

which gives

0

N_{B}^{n} (μ (k))

using the inclusion given by (1). The Lie algebra

Γ_{n}

satisfies

Γ_{n} \cdot r = m

and

μ_{n}

is injective since it is given by the natural representation of

B

m

. From Theorem 1.2 , we can identify

g_{n + 1}

with

s \oplus N_{ℬ}^{n + 1} (μ (k)) \oplus m

. The Lie algebra

Γ_{n}

acts by the adjoint representation on

g_{n + 1}

which is equivalent to the extension of

Γ_{n}

g_{n + 1}

giving

0

N_{B}^{n + 1} (μ (k))

We then set

Γ_{n + 1} : = a d Γ_{n}

and we have

Γ_{n + 1} | g = Γ_{n} | g = Γ

. The rest of the proof is obvious

□

We then have

\hat{N_{B}} (μ (k)) = ({\hat{N}}_{(D e r n)^{Γ}} (a d k)) |_{m}

and the Lie algebra

\hat{g}

is also given by

\begin{matrix} \hat{g} = s \oplus ({\hat{N}}_{(D e r n)^{Γ}} (a d k)) |_{m} \oplus m \end{matrix}

(2.3)

Example 2.1 Let

a

be a nilpotent Lie subalgebra of

g l (V)

such that

a \cdot V = V

Let

g = a \oplus V

be a semi-direct product for the natural representation of

a

by the abelian Lie algebra

V

. This decomposition is associated to

Γ

with

k = a

m = V

and

Γ = a d A

where

A

is the set of semi-simple components of elements of

a

With notations as in theorem 2.1 ,

B

is the centralizer of

A

g l (V)

and we have

\hat{g} = \hat{N_{B}} (a) \oplus V

We find again the majoration given in [4] :

Corollary 2.1

dim \hat{g} \leq dim (s \oplus B \oplus m) \leq dim D e r (C \infty (g)) + dim Z (C \infty (g))

Proof. Let

s \oplus k \oplus m

be the decomposition of

g

associated with

Γ

with

C \infty (g) = s \oplus n

, e.g. Corollary 1.2 .

2

. The Lie subalgebra

a d (C \infty (g)) + {(D e r (C \infty (g)))}^{Γ}

D e r (C \infty (g))

where

{(D e r (C \infty (g)))}^{Γ}

is the centralizer of the restriction of

Γ

C \infty (g)

D e r (C \infty (g))

, can be written as

a d s \oplus {(D e r (C \infty (g)))}^{Γ} \oplus a d m

. The isomorphisms

{(D e r (C \infty (g)))}^{Γ} \sim = (D e r \hat{n})^{Γ} \sim = (D e r \hat{n})^{Γ} |_{m}

show that its dimension is always greater than

dim s + dim (D e r \hat{n})^{Γ} + dim m + dim Z (C \infty (g))

which is equal to

dim (s \oplus B \oplus m) - dim Z (C \infty (g))

which allows us to conclude.

□

The case where the sequence terminates at the first degree is given by

Proposition 2.1 If

g

is a Lie algebra with trivial center, then

D e r g

is complete if and only if the ideal

a d g

D e r g

is characteristic.

Proof. The case of necessity is trivial. Now if

a d g

is a characteristic ideal of

D e r g

, it is stable under

D e r (D e r g)

denoted by

D e r^{2} (g)

. The image of the morphism restriction

ρ

D e r^{2} (g)

a d g

is equal to

D e r (a d g) \sim = a d (D e r g)

. The kernel

J

ρ

has zero intersection with

a d (D e r g)

and

D e r^{2} (g)

is the direct sum of the ideal

J

and

a d (D e r g)

. We have

[a d (D e r g), J] = - a d (J \cdot D e r g)] = 0

and

J \cdot D e r g

is zero since the center of

D e r g

is zero, so

J = 0

. Thus

D e r^{2} (g) = a d (D e r g)

□

Corollary 2.2 If

Z (g) = 0

and

[g, g] = g

then

D e r g

is complete.

3 Derivation tower of Lie algebras: general case

Let

{(g_{n})}_{n \in N}

be a derivation tower of a Lie algebra

g

. We are going to state the general case of derivation tower Lie algebra. The ideal

I

D e r g

of derivations which commute with

a d g

is the set of derivations of images contained in

Z (g)

. Hence

I

vanishes on

[g, g]

and contains the center of

D e r g

. If

Z (g)

[g, g] = g

then

I = 0

. If

g

is the direct product

g_{1} \times g_{2}

, we denote

I_{i j}

with

i

is different to

j

, the set of derivations which vanishes on

[g_{i}, g_{i}] \times g_{j}

and their images contained in

Z (g)

Lemma 3.1 We set

\bar{D e r} g_{k} = {f \in D e r (g_{1} \times g_{2}) : f | 0 \times g_{k} = 0}

for

k = 1, 2

. Then

D e r (g_{1} \times g_{2}) = \bar{D e r} g_{1} \oplus \bar{D e r} g_{2} \oplus I_{12} \oplus I_{21}

Proof.We decompose each derivation into four linear maps

g_{i} \to g_{j}

for

i, j \in {1, 2}

by expressing the derivation property.

□

Lemma 3.2 The sequence

(g_{n})

defined by a Lie algebra

g = K \times a

such that

dim (D e r g) = dim g

belongs to case

1

2

of Theorem 3.1 for

a = [\hat{g}, \hat{g}]

Proof. Lemma 3.1 shows that

D e r g = K ε \oplus \bar{D e r} a \oplus I_{12} \oplus I_{21}

where

ε

is the identity on

K

and

0

a

. So

dim (D e r g) = dim g = 1 + dim (D e r a) + dim Z (a) + dim (a / [a, a]) .

We necessarily have

[a, a] = a

and

D e r a = a d a

. If

Z (a) = 0

then

a

is perfect, complete and

D e r g \sim = K \times a

: the sequence terminates at

K \times a

, case 2. If

Z (a) \neq 0

then we have

D e r g \sim = a d a \oplus I

(the center of

a d a

is trivial when

[a, a] = a

) with

I = K ε \oplus I_{12}

. We have

[ε, f] = - f

for all

f \in I_{12}

such that the center of

D e r g

is zero and the sequence belongs to case 1

□

Proposition 3.1 Let

a

be a characteristic ideal of codimensional 1 of

g

. Then

1. $dim (D e r g) - dim (g) = dim (D e r g |_{a}) - dim (a d g |_{a})$ .
2. If $dim (D e r g) = dim (g)$ , then
i) $D e r g |_{b} = a d g |_{b}$ for any ideal $b$ contained in $a$ ,
ii) $g$ is algebraic, and
iii) for any ideal of codimension $1$ of $g$ is characteristic.

Proof. Let

δ

a derivation of

g

vanishes on

a

, then it vanishes on

[g, g]

and

[δ \cdot g, a] = 0

a

is not direct factor of

g

hence

δ \cdot g \subset Z (a)

. We can check that all morphism of

g

which vanish on

a

and its image is contained in

Z (a)

is a derivation of

g

. Hence we have

\begin{matrix} dim (D e r g |_{a}) = dim (D e r g) - dim (Z (a)) \end{matrix}

(3.1)

since

\begin{matrix} dim (g) = dim (a d g |_{a}) + dim (Z (a)) \end{matrix}

(3.2)

with 3.1

()

and 3.2

()

then the statement hold. If the ideal

a

is direct factor of

g

then it is perfect since

a

is characteristic and we directly can verify the equality 1. If

dim D e r g = dim g

then

D e r g |_{b} = a d g |_{b}

by 1. If the radical of

g

is not nilpotent then

D e r g = a d g + J

with

J

is the ideal of derivations which vanishes on

b = [g, g] + n

and we have

J^{2} = 0

. Hence

D e r g = Γ \oplus N

with

Γ

is a m.c.r Lie subalgebra of

e (a d g)

and

N : = J + a d n

is the largest nilpotent. We can check that

Z (g) = Z {(n)}^{Γ}

. Let

I

be the ideal of morphisms of

g

which vanish on

b

and their images are contained in

Z (g)

. Then

I \cap a d g = 0

, indeed, if

x \in g

such that

[x, g] \subset Z (g)

then

Γ \cdot x = 0

and if

[x, b] = 0

then

x \in Z (g)

. Hence

\begin{matrix} dim (a d g + I) = dim (g) + (c o d i m (b) - 1) \cdot dim (Z (g)) \end{matrix}

(3.3)

c o d i m (b) > 1

then the center of

g

is trivial and

g

is complete. Hence it is algebraic. If

c o d i m (b) = 1

then

g = s + K \cdot x + n

. By 3.1

()

, then

D e r g = a d g \oplus I

and there exists an element

y \in g

such that

a d y | a

is the semi-simple component of

a d x | a

. The decomposition

s \oplus K \cdot a d y \oplus n

g

satisfies the following property,

[s \oplus K \cdot a d y, K \cdot a d y] = 0

. The torus

K \cdot a d y

is maximal in the centralizer of

a d s

D e r g

which is algebraic. Hence

g

is algebraic, [1] .

□

Corollary 3.1 If

dim (D e r g) = dim (g)

then the condition

Z (g) \neq 0

means that the codimension of

[g, g]

g

1

0

Theorem 3.1 Let

{(g_{n})}_{n \in N}

be a derivation tower of a Lie algebra

g

. Then it belongs to one of the following distinct cases:

1. $Z (g_{n}) = 0$ for $n$ sufficiently large and the sequence terminates at a complete Lie algebra given by theorem 2.1 .
2. $Z (g_{n}) \neq 0$ for all $n$ and the sequence terminates at a Lie algebra $\hat{g}$ equal to $K \times [\hat{g}, \hat{g}]$ where $[\hat{g}, \hat{g}]$ is a perfect (i.e. equal to its derived ideal) and complete Lie algebra.
3. The sequence of dimensions of $g_{n}$ increases and diverges.

Proof. First let us assume that if

(g_{n})

does not satisfy 1., i.e. if

Z (g_{n}) \neq 0

for all

n

, then the sequence of dimensions

dim g_{n}

increases in the large sense. If there would exist an integer

n

such that

dim (D e r g) < dim g_{n}

, then

g_{n}

should be perfect [2] and the center of

D e r g_{n}

should be zero since

I = 0

, which gives a contradiction.

Let us assume that

(g_{n})

does not satisfy

3

., it just remains to study the sequences

g_{n}

such that

Z (g_{n}) \neq 0

, with

dim g_{n} = dim g_{p}

for all

n \geq p

and we set

g = g_{p}

From Corollary 3.1 , hence a Lie algebra satisfying

dim (D e r g) = dim g

Z (g) \neq 0

, and

[g, g] \neq g

then

g

admits an ideal

a

of codimension one equal to

[g, g]

. We can assume that

[g, g] \neq g

since a sequence associated with

[g, g] = g

belongs to case

1

Z (g)

is not included in

a

, then we have

g \sim = K \times a

and we conclude by Lemma 3.2 . Suppose now

Z (g) \subset a

. By Proposition 3.1 .2. we have

D e r g |_{a} = a d g |_{a}

thus we can write

D e r g = a d g + J

where

J

is the ideal of derivations which vanishes on

a

. If

g = K x \oplus a

for

x / \in a

J

is so the set of morphisms

δ

g

such that

δ (a) = 0

and

δ (x) \in Z_{g} (a)

, the centralizer of

a

g

. We have

Z_{g} (a) \subset a

because

Z (g) \subset a

and

[D e r g, D e r g] = a d_{g} a

since

J^{2} = 0

and

J \cdot g \subset a

. If

D e r g

has non-zero center, its derived ideal is also codimension 1 and the dimension of

a d_{g} (a)

is the same as

a

, so

Z (g) = 0

, which is a contradiction.

□

Corollary 3.2 If the sequence

(g_{n})

has an element

g_{p}

with non-nilpotent radical, then all

g_{n}

n \geq p

, have this property and the sequence is of type

1

2

. The sequence of dimensions of type

3

increases strictly from

g_{p}

on.

Proof. We will show that the sequence

(g_{n})

associated with

g

, with

r (g) \neq n (g)

Z (g) \neq 0

and

dim D e r g = dim g

is of type

1

. The algebraic Lie algebra

g

has a decomposition

s \oplus u \oplus n

such that

[s \oplus u, u] = 0

and the ideal

[g, g] = s \oplus n

is of codimension

1

, by proof of theorem 3.1 . The ideal

C_{2} g

x \in g

such that

[x, g] \subset Z (g)

is equal to

Z (g)

because we have

[x, s \oplus n] = 0

and that

[x, u] \subset Z (g)

means

[x, u] = 0

u

consisting of semi-simple elements. So we have

a d g \cap I = a d (C_{2} g) = 0

and

D e r g

is a direct product of the ideal

a d g

with its center is trivial by the ideal

I

which satisfies

I^{2} = 0

We conclude by Lemma 3.1 showing that the center of

D e r (D e r g)

is trivial.

□

References

C. Chevalley, Theorie des algèbres de Lie, Herman, 1968.
J. Dozias, Sur les dérivations des algèbres de Lie. C. R. Acad. Sci. Paris Sr. I. Math. 259, p. 2748-2750 ( 1964).
G. D. Mostow, Fully reductive subalgebras of algebraic groups, Amer. J. Math. 68, p. 220-306 (1956).
E. Schenkman, A theory of subinvariant Lie algebras. Amer. J. Math. 73, p. 453-474 (1951).

Generalized Derivation Tower Theorem of Lie algebras

Toukaiddine Petit * * 2000 Mathematics subject classisfication. Primary 17B05, 17B45. Author supported by the Scientific Programme NOG of the European Science Foundation. e-mail: toukaiddine.petit@ua.ac.be Department Wiskunde en Informatica, Universiteit Antwerpen B-2020 (Belgium)