The Nowicki conjecture for free metabelian Lie algebras

Abstract: Let

K [X_{d}] = K [x_{1}, l d o t s, x_{d}]

be the polynomial algebra in

d

variables over a field

K

of characteristic 0. The classical theorem of Weitzenb"ock from 1932 states that for linear locally nilpotent derivations

d e l t a

(known as Weitzenb"ock derivations) the algebra of constants

K [X_{d}]^{d e l t a}

is finitely generated. When the Weitzenb"ock derivation

d e l t a

acts on the polynomial algebra

K [X_{d}, Y_{d}]

in

2 d

variables by

d e l t a (y_{i}) = x_{i}

,

d e l t a (x_{i}) = 0

,

i = 1, l d o t s, d

, Nowicki conjectured that

K [X_{d}, Y_{d}]^{d e l t a}

is generated by

X_{d}

and

x_{i} y_{j} - y_{i} x_{j}

for all

1 l e q i < j l e q d

. There are several proofs based on different ideas confirming this conjecture. Considering arbitrary Weitzenb"ock derivations of the free

d

-generated metabelian Lie algebra

F_{d}

, with few trivial exceptions, the algebra

F_{d}^{d e l t a}

is not finitely generated. However, the vector subspace

({F_{d}}^{'})^{d e l t a}

of the commutator ideal

{F_{d}}^{'}

of

F_{d}

is finitely generated as a

K [X_{d}]^{d e l t a}

-module. In this paper we study an analogue of the Nowicki conjecture in the Lie algebra setting and give an explicit set of generators of the

K [X_{d}, Y_{d}]^{d e l t a}

-module

(F_{2^{'} d})^{d e l t a}

.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: The Nowicki conjecture for free metabelian Lie algebras