Extending structures for Lie algebras

Abstract: Let

m a t h f r a k g

be a Lie algebra,

E

a vector space containing

m a t h f r a k g

as a subspace. The paper is devoted to the emph{extending structures problem} which asks for the classification of all Lie algebra structures on

E

such that

m a t h f r a k g

is a Lie subalgebra of

E

. A general product, called the unified product, is introduced as a tool for our approach. Let

V

be a complement of

m a t h f r a k g

in

E

: the unified product

m a t h f r a k g, a t u r a l, V

is associated to a system

(r i a n g l e l e f t,, r i a n g l e r i g h t,, f, -,, -)

consisting of two actions

r i a n g l e l e f t

and

r i a n g l e r i g h t

, a generalized cocycle

f

and a twisted Jacobi bracket

-,, -

on

V

. There exists a Lie algebra structure

[-, -]

on

E

containing

m a t h f r a k g

as a Lie subalgebra if and only if there exists an isomorphism of Lie algebras

(E, [-, -]) c o n g m a t h f r a k g, a t u r a l, V

. All such Lie algebra structures on

E

are classified by two cohomological type objects which are explicitly constructed. The first one

{m a t h c a l H}_{m a t h f r a k g}^{2} (V, m a t h f r a k g)

will classify all Lie algebra structures on

E

up to an isomorphism that stabilizes

m a t h f r a k g

while the second object

{m a t h c a l H}^{2} (V, m a t h f r a k g)

provides the classification from the view point ofthe extension problem. Several examples that compute both classifying objects

{m a t h c a l H}_{m a t h f r a k g}^{2} (V, m a t h f r a k g)

and

{m a t h c a l H}^{2} (V, m a t h f r a k g)

are worked out in detail in the case of flag extending structures.

Recommendations

Cites work

Cited in

(42)

This page was built for publication: Extending structures for Lie algebras