arXiv:1302.0825v1 [math.RA] 4 Feb 2013

WEITZENBÖCK DERIVATIONS
OF FREE METABELIAN LIE ALGEBRAS
RUMEN DANGOVSKI, VESSELIN DRENSKY, AND ŞEHMUS FINDIK
Abstract. A nonzero locally nilpotent linear derivation δ of the polynomial
algebra K[Xd ] = K[x1 , . . . , xd ] in several variables over a field K of characteristic 0 is called a Weitzenböck derivation. The classical theorem of Weitzenböck
states that the algebra of constants K[Xd ]δ (which coincides with the algebra
of invariants of a single unipotent transformation) is finitely generated. Similarly one may consider the algebra of constants of a locally nilpotent linear
derivation δ of a finitely generated (not necessarily commutative or associative) algebra which is relatively free in a variety of algebras over K. Now the
algebra of constants is usually not finitely generated. Except for some trivial
δ
cases this holds for the algebra of constants (Ld /L′′
d ) of the free metabelian
′′
Lie algebra Ld /Ld with d generators. We show that the vector space of the
′′
δ
′
constants (L′d /L′′
d ) in the commutator ideal Ld /Ld is a finitely generated
δ
K[Xd ]δ -module. For small d, we calculate the Hilbert series of (Ld /L′′
d ) and
δ
′′
δ
′
find the generators of the K[Xd ] -module (Ld /Ld ) . This gives also an (infiδ
nite) set of generators of the algebra (Ld /L′′
d) .

1. Introduction
A linear operator δ of an algebra R over a field K is a derivation if δ(uv) = δ(u)v+
uδ(v) for every u, v ∈ R. In this paper the base field K will be of characteristic
0. We fix also an integer d ≥ 2 and a set of variables Xd = {x1 , . . . , xd }. Let
K[Xd ] = K[x1 , . . . , xd ] be the polynomial algebra in d variables. Every mapping
δ : Xd → K[Xd ] can be extended in a unique way to a derivation of K[Xd ] which
we shall denote by the same symbol δ. In our considerations δ will act as a nonzero
nilpotent linear operator of the vector space KXd with basis Xd . Such derivations
are called Weitzenböck. The Jordan normal form J(δ) of the matrix of δ


J1 0 · · · 0
 0 J2 · · · 0 


J(δ) =  .
..
.
..
 ..
. .. 
.
0

0

···

Js

2010 Mathematics Subject Classification. 17B01; 17B30; 17B40; 13N15; 13A50.
Key words and phrases. Free metabelian Lie algebras; algebras of constants; Weitzenböck
derivations.
The research of the first named author was a part of his project in the frames of the High School
Student Institute at the Institute of Mathematics and Informatics of the Bulgarian Academy of
Sciences.
The research of the second named author was partially supported by Grant Ukraine 01/0007
of the Bulgarian Science Fund for Bilateral Scientific Cooperation between Bulgaria and Ukraine.
The research of the third named author was partially supported by the Council of Higher
Education (YÖK) in Turkey.
1

2

RUMEN DANGOVSKI, VESSELIN DRENSKY, ŞEHMUS FINDIK

consists of Jordan cells with

0
0

0

Ji =  .
 ..

0
0

zero diagonals
1 0
0 1
0 0
.. ..
. .
0 0
0 0

···
···
···
..
.

0
0
0
..
.

···
···

0
0


0
0

0

..  ,
.

1
0

i = 1, . . . , s.

Hence for each dimension d there is only a finite number of essentially different
Weitzenböck derivations. Up to a linear change of the coordinates, the Weitzenböck
derivations δ are in a one-to-one correspondence with the partition (p1 +1, . . . , ps +1)
of d, where p1 ≥ · · · ≥ ps ≥ 0, (p1 +1)+· · ·+(ps +1) = d, and the correspondence is
given in terms of the size (pi +1)×(pi +1) of the Jordan cells Ji of J(δ), i = 1, . . . , s.
We shall denote the derivation corresponding to this partition by δ(p1 , . . . , ps ).
Clearly, any Weitzenböck derivation δ is locally nilpotent, i.e., for any u ∈ K[Xd ]
there exists an n such that δ n (u) = 0. The linear operator
δ2
δ
+
+ ···
1!
2!
acting on KXd is unipotent. It is well known that the algebra of constants of δ
exp δ = 1 +

K[Xd ]δ = ker δ = {u ∈ K[Xd ] | δ(u) = 0}
coincides with the algebra of invariants of exp δ
K[Xd ]exp δ = {u ∈ K[Xd ] | exp δ(u) = u},
and the latter coincides also with the algebra of invariants K[Xd ]UT2 (K) of the
unitriangular group U T2 (K) = {exp(αδ) | α ∈ K}. This allows to study the
algebra K[Xd ]δ with methods of classical invariant theory.
The classical theorem of Weitzenböck [26] states that for any Weitzenböck derivation δ the algebra of constants K[Xd ]δ is finitely generated. See the book by Nowicki [22] for more information on Weitzenböck derivations, including references and
examples of explicit sets of generators of the algebra K[Xd ]δ for concrete δ. For
computational aspects see also the books by Derksen and Kemper [9] and Sturmfels
[25].
The polynomial algebra K[Xd ] is free in the class of all commutative algebras.
Similarly, we may consider the relatively free algebra Fd (V) in a variety V of (not
necessarily associative) algebras. For a background on varieties of associative and
Lie algebras see, respectively, the books by Drensky [11] and Bahturin [2]. As in
the polynomial case, if Fd (V) is freely generated by the set Xd , then every map
Xd → Fd (V) can be extended to a derivation of Fd (V). Again, we shall call
the derivations δ which act as nilpotent linear operators of the vector space KXd
Weitzenböck derivations and shall denote them in the same way δ(p1 , . . . , ps ) as in
the polynomial case.
Drensky and Gupta [14] studied Weitzenböck derivations δ acting on relatively
free associative and Lie algebras. In particular, if the polynomial identities of the
variety V of associative algebras follow from the identity [x1 , x2 ][x3 , x4 ] = 0 (which
is equivalent to the condition that V contains the algebra U2 (K) of 2 × 2 upper
triangular matrices), then the algebra of constants Fd (V)δ is not finitely generated.
If U2 (K) does not belong to V (which implies that V satisfies some Engel identity

WEITZENBÖCK DERIVATIONS OF FREE METABELIAN LIE ALGEBRAS

3

[x2 , x1 , . . . , x1 ] = x2 adn x1 = 0), a result of Drensky [12] gives that the algebra
| {z }
n times

Fd (V)δ is finitely generated.
Although not finitely generated in the general case, the (associative) algebra
Fd (V)δ has some features typical for finitely generated (commutative) algebras. In
particular, the Hilbert (or Poincaré) series of Fd (V)δ is a rational function. This
follows from results of Belov [4] and Berele [6, 7] combined with ideas of classical
invariant theory, see Drensky and Genov [13] and Benenati, Boumova, Drensky,
Genov, and Koev [5]. Hence, it is interesting to know how far from finitely generated
is the algebra Fd (V)δ .
We consider this problem for free metabelian Lie algebras. Let Ld be the free Lie
algebra with Xd as a set of free generators. The variety A2 of metabelian (solvable
of length 2) Lie algebras is defined by the polynomial identity [[x1 , x2 ], [x3 , x4 ]] =
0. The free metabelian algebra Fd (A2 ) is the relatively free algebra in A2 and is
isomorphic to the factor algebra Ld /L′′d = Ld /[[Ld , Ld ], [Ld , Ld ]]. We denote its
free generators with the same symbols xj as the generators of Ld and K[Xd ]. By
Drensky and Gupta [14], if δ is a Weitzenböck derivation of Ld /L′′d , then the algebra
of constants (Ld /L′′d )δ is finitely generated if and only if the Jordan normal form of
δ consists of one Jordan cell of size 2 × 2 and d − 2 Jordan cells of size 1 × 1, i.e.,
when the rank of the matrix of δ is equal to 1.
The commutator ideal L′d /L′′d of the algebra Ld /L′′d has a natural structure of a
K[Xd ]-module. Our first result is that its vector subspace (L′d /L′′d )δ is a finitely generated K[Xd ]δ -module. Freely speaking, this means that the algebra of constants
(Ld /L′′d )δ is very close to finitely generated.
Then, using the methods of [5] we give an algorithm how to calculate the Hilbert
series of (Ld /L′′d )δ and calculate it for small d.
Let the Jordan form of δ contain a 1 × 1 cell. Then we may assume that δ acts
as a nilpotent linear operator on KXd−1 and δ(xd ) = 0. It is well known that in
the commutative case K[Xd ]δ = (K[Xd−1 ]δ )[xd ] and this reduces the study of the
algebra K[Xd ]δ to the algebra of constants K[Xd−1 ]δ in the polynomial algebra
in d − 1 variables. Using the methods of [5] again, we establish a similar result
for the algebra of constants (Ld /L′′d )δ . The result is more complicated than in
the polynomial case but we give an algorithm which expresses the generators of
the K[Xd ]δ -module (L′d /L′′d )δ in terms of the generators of the K[Xd−1 ]δ -module
(L′d−1 /L′′d−1 )δ and the generators of the algebra K[Xd−1 ]δ .
Finally, we find the generators of the K[Xd ]δ -module (L′d /L′′d )δ for d ≤ 4 and for
d = 6, δ = δ(1, 1, 1). This gives also an explicit (infinite) set of generators of the
algebra (Ld /L′′d )δ .

2. Finite generation
We assume that all Lie commutators are left normed, e.g.,
[x1 , x2 , x3 ] = [[x1 , x2 ], x3 ] = [x1 , x2 ]adx3 .
It is well known, see [2], that the metabelian identity implies the identity
[xj1 , xj2 , xjσ(3) , . . . , xjσ(k) ] = [xj1 , xj2 , xj3 , . . . , xjk ],

4

RUMEN DANGOVSKI, VESSELIN DRENSKY, ŞEHMUS FINDIK

where σ is an arbitrary permutation of 3, . . . , k and that L′d /L′′d has a basis consisting of all
[xj1 , xj2 , xj3 , . . . , xjk ],

1 ≤ ji ≤ d,

j1 > j2 ≤ j3 ≤ · · · ≤ jk .

Hence the polynomial algebra K[Xd ] acts on L′d /L′′d by the rule
u ∈ L′d /L′′d , f (Xd ) ∈ K[Xd ].

uf (x1 , . . . , xd ) = uf (adx1 , . . . , adxd ),

Recall the construction of abelian wreath products due to Shmel’kin [24]. Let
Ad and Bd be the abelian Lie algebras with bases {a1 , . . . , ad } and {b1 , . . . , bd },
respectively. Let Cd be the free right K[Xd ]-module with free generators a1 , . . . , ad .
We give it the structure of a Lie algebra with trivial multiplication. The abelian
wreath product Ad wrBd is equal to the semidirect sum Cd ⋋ Bd . The elements of
d
d
X
X
βj bj , where fj are polynomials in K[Xd ]
aj fj (Xd )+
Ad wrBd are of the form
j=1

j=1

and βj ∈ K. The multiplication in Ad wrBd is defined by
[Cd , Cd ] = [Bd , Bd ] = 0,
[aj fj (Xd ), bi ] = aj fj (Xd )xi ,

i, j = 1, . . . , d.

Hence Ad wrBd is a metabelian Lie algebra and every mapping Xd → Ad wrBd
can be extended to a homomorphism Ld /L′′d → Ad wrBd . As a special case of the
embedding theorem of Shmel’kin [24], the homomorphism ε : Ld /L′′d → Ad wrBd
defined by ε(xj ) = aj + bj , j = 1, . . . , d, is a monomorphism. If
X
u=
[xi , xj ]fij (Xd ), fij (Xd ) ∈ K[Xd ],
then

ε(u) =
An element

d
X

X

(ai xj − aj xi )fij (Xd ).

ai fi (Xd ) ∈ Ad wrBd is an image of an element from the commutator

i=1

ideal L′d /L′′d if and only if

d
X

xi fi (Xd ) = 0.

i=1

If δ is a Weitzenböck derivation of Ld /L′′d , we define an action of δ on Ad wrBd
assuming that
δ(aj ) =

d
X

αij ai ,

δ(bj ) =

d
X

αij bi ,

j = 1, . . . , d,

i=1

i=1

where αij ∈ K, i, j = 1, . . . , d, and
δ(xj ) =

d
X

αij xi ,

j = 1, . . . , d.

i=1

Obviously, the vector space Cdδ of the constants of δ in the free K[Xd ]-module Cd
is a K[Xd ]δ -module. The following lemma is a partial case of [12, Proposition 3].
Lemma 2.1. The vector space Cdδ is a finitely generated K[Xd ]δ -module.

WEITZENBÖCK DERIVATIONS OF FREE METABELIAN LIE ALGEBRAS

5

Clearly, if u ∈ Ld /L′′d , then ε(δ(u)) = δ(ε(u)). To simplify the notation we shall
omit ε and shall think that Ld /L′′d is a subalgebra of Ad wrBd . Since the action of
K[Xd ] on L′d /L′′d agrees with its action on Cd , we shall also think that L′d /L′′d is a
K[Xd ]-submodule of Cd .
Theorem 2.2. Let δ be a Weitzenböck derivation of the free metabelian Lie algebra
Ld /L′′d . Then the vector space (L′d /L′′d )δ of the constants of δ in the commutator
ideal L′d /L′′d of Ld /L′′d is a finitely generated K[Xd ]δ -module.
Proof. By Lemma 2.1 the K[Xd ]δ -module Cdδ is finitely generated. Since the algebra
K[Xd ]δ is also finitely generated, all K[Xd ]δ -submodules of Cdδ , including (L′d /L′′d )δ ,
are also finitely generated.

3. Hilbert series
Since the base field K is of characteristic 0, the relatively free algebra Fd = Fd (V)
of the variety V of (not necessarily associative or Lie) algebras is a graded vector
(n)
space. If Fd is the homogeneous component of degree n of Fd , then the Hilbert
series of Fd is the formal power series
X
(n)
H(Fd , z) =
dim Fd z n .
n≥0

The algebra Fd is also multigraded, with a Zd -grading which counts the degree of
(n ,...,nd )
each variable xj in the monomials in Fd . If Fd 1
is the multihomogeneous
component of degree (n1 , . . . , nd ), then the corresponding Hilbert series of Fd is
X
(n ,...,nd ) n1
H(Fd , z1 , . . . , zd ) =
dim Fd 1
z1 · · · zdnd .
nj ≥0

Similarly, if δ is a Weitzenböck derivation of Fd , the algebra of constants Fdδ is
graded and its Hilbert series is
X
H(Fdδ , z) =
dim(Fdδ )(n) z n .
n≥0

As in the commutative case the algebra of constants Fdδ coincides with the algebra
UT (K)
Fd 2
of U T2 (K)-invariants, where the action of U T2 (K) on Fd is defined by its
realization as U T2 (K) = {exp(αδ) | α ∈ K}. There is an analogue of the integral
Molien-Weyl formula due to Almkvist, Dicks and Formanek [1] which allows to
UT (K)
calculate the Hilbert series of Fd 2
evaluating a multiple integral, if we know
the Hilbert series H(Fd , z1 , . . . , zd ) of Fd . For varieties of associative algebras and
for the variety of metabelian Lie algebras the Hilbert series of Fd is a rational
function in d variables. Then the integral can be evaluated using the Residue
Theorem, see the book [9] for details. Instead, in [13] and [5] another approach was
suggested. It combines ideas of De Concini, Eisenbud, and Procesi [8], Berele [6, 7],
and classical results of Elliott [16] and MacMahon [21]. We give a short summary
of the method. For details we refer to [5].
We assume that Xd is a Jordan basis of the vector space KXd for the Weitzenböck
derivation δ = δ(p1 , . . . , ps ) of Fd . First we define an action of the general linear
group GL2 (K) on Fd . Let Yi = {xj , xj+1 , . . . , xj+pi } be the part of the basis Xd
corresponding to the i-th Jordan cell of δ. We identify the vector space KYi with
the vector space of the binary forms (homogeneous polynomials in two commuting

6

RUMEN DANGOVSKI, VESSELIN DRENSKY, ŞEHMUS FINDIK

variables yi1 and yi2 ) of degree pi . We assume that GL2 (K) acts on the twodimensional vector space with basis {yi1 , yi2 } and extend its action diagonally on
the polynomial algebra K[yi1 , yi2 ]. We want to synchronize the actions on KYi
of U T2 = {exp(αδ) | α ∈ K} and of U T2 (K) as a subgroup of GL2 (K). For
this purpose we define an action of the derivation δ on K[yi1 , yi2 ] by δ(yi1 ) =
pi
and xj+ip −k = δ k (xj+ip ) with
0, δ(yi2 ) = yi1 . Then we identify xj+ip with yi2
p
−k
p
k
yi2i , k = 1, . . . , pi . In this way the vector
δ k (yi2i ) = pi (pi − 1) · · · (pi − k + 1)yi1
space KXd has a structure of a GL2 (K)-module and we extend diagonally the action
of GL2 (K) on the whole Fd . The basis Xd consists of eigenvectors of the diagonal
subgroup of GL2 (K). If g = ξ1 e11 + ξ2 e22 , ξ1 , ξ2 ∈ K ∗ , is a diagonal matrix, then
g(xj+k ) = ξ1pi −k ξ2k , k = 0, 1, . . . , pi . This defines a bigrading on Fd assuming that
the bidegree of xj+k is (pi − k, k). Now Fd is a direct sum of irreducible polynomial
GL2 (K)-submodules. The irreducible polynomial GL2 (K)-modules are indexed by
partitions λ = (λ1 , λ2 ). If W = W (λ) is an irreducible component of Fd , it contains
a unique (up to a multiplicative constant) nonzero element w of bidegree (λ1 , λ2 ). It
is invariant under the action of U T2 (K) and by [8] the algebra of U T2 (K)-invariants
UT (K)
Fd 2
= Fdδ is spanned by these vectors w. We express the Hilbert series of
Fd as a bigraded vector space. For this purpose we replace in the Hilbert series
H(Fd , z1 , . . . , zd ) the variables zj , zj+1 , . . . , zj+pi −1 , zj+pi corresponding to each set
Yi = {xj , xj+1 , . . . , xj+pi −1 , xj+pi } by tp1i z, tp1i −1 t2 z, . . . , t1 tp2i −1 z, tp2i z, respectively,
and obtain the Hilbert series
HGL2 (Fd , t1 , t2 , z) = H(Fd , tp11 z, t1p1 −1 t2 z, . . . , tp21 z, . . . , tp1s z, tp1s −1 t2 z, . . . , tp2s z).
The variable z gives the total degree and t1 , t2 count the bidegree induced by
the action of the diagonal subgroup of GL2 (K): The coefficient of tn1 1 tn2 2 z n in
HGL2 (Fd , t1 , t2 , z) is equal to the dimension of the elements of Fd which are linear combinations of products of length n in the variables Xd and are of bidegree
(n1 , n2 ). The Hilbert series is an infinite linear combination with nonnegative integer coefficients of Schur functions
X X
m(λ1 , λ2 , n)S(λ1 ,λ2 ) (t1 , t2 )z n
HGL2 (Fd , t1 , t2 , z) =
n≥0 (λ1 ,λ2 )

and, by the representation theory of GL2 (K), the multiplicity m(λ1 , λ2 , n) is equal
to the multiplicity of the irreducible GL2 (K)-module W (λ1 , λ2 ) in the homogeneous
(n)
component Fd of total degree n of Fd . Hence the bigraded Hilbert series of the
UT (K)
algebra Fd 2
of U T2 (K)-invariants is
X X
UT (K)
m(λ1 , λ2 , n)tλ1 1 tλ2 2 z n
HGL2 (Fd 2 , t1 , t2 , z) =
n≥0 (λ1 ,λ2 )

which is the so called multiplicity series of HGL2 (Fd , t1 , t2 , z) considered as a symmetric function in the variables t1 , t2 . In order to obtain the Hilbert series of
UT (K)
Fd 2
as a Z-graded vector space, it is sufficient to replace t1 and t2 with 1:
X UT (K)
UT (K)
UT (K)
H(Fd 2 , z) =
(Fd 2 )(n) z n = HGL2 (Fd 2 , 1, 1, z).
n≥0

To determine the multiplicity series of HGL2 (Fd , t1 , t2 , z) we follow the receipt of
[6, 13, 5]. We consider the function
f (t1 , t2 , z) = (t1 − t2 )HGL2 (Fd , t1 , t2 , z)

WEITZENBÖCK DERIVATIONS OF FREE METABELIAN LIE ALGEBRAS

7

which is skewsymmetric in t1 and t2 and consider the Laurent series
f (t1 ξ, t2 /ξ, z) =

+∞
X

fk (t1 , t2 , z)ξ k .

k=−∞

Then
UT2 (K)

HGL2 (Fd

, t1 , t2 , z) =

1 X
fk (t1 , t2 , z).
t1
k≥0

By the theorem of Belov [4] the Hilbert series of the relatively free associative
algebra Fd is a rational function with denominator which is a product of factors of
the form 1 − z1q1 · · · zdqd . Berele [6, 7] calls such rational functions nice and proves
that the multiplicity series of a nice rational symmetric function is nice again. The
Hilbert series of the free metabelian Lie algebra Ld /L′′d is also nice, see below.
By [5], when HGL2 (Fd , t1 , t2 , z) is a nice rational function, its multiplicity series
UT (K)
(which is equal to HGL2 (Fd 2 , t1 , t2 , z)) can be evaluated by the method of
Elliott [16] and its further development by McMahon [21], the so called partition
analysis or Ω-calculus. In [5] an improvement of the Ω-calculus is used, in the spirit
of the algorithm of Xin [27] which involves partial fractions and allows to perform
computations with standard functions of Maple on a usual personal computer.
The next fact is well known, see, e.g., [10].
Lemma 3.1. The Hilbert series of the free metabelian Lie algebra Ld /L′′d is
H(Ld /L′′d , z1 , . . . , zd ) = 1 + (z1 + · · · + zd ) + (z1 + · · · + zd − 1)

d
Y

1
.
1 − zj
j=1

Now we shall give the Hilbert series of the subalgebras of constants of Weitzenböck
derivations of free metabelian Lie algebras with small number of generators. In
some of the cases we give both Hilbert series, as graded and bigraded vector spaces,
because we shall use the results in the last section of our paper. We do not give
results for derivations with a one-dimensional Jordan cell because we shall handle
them in the next section.
Example 3.2. Let δ = δ(p1 , . . . , ps ) be the Weitzenböck derivation of the free
metabelian Lie algebra Ld /L′′d which has Jordan cells of size p1 + 1, . . . , ps + 1.
Then the Hilbert series of the algebra of constants (Ld /L′′d )δ are:
d = 2, δ = δ(1):
HGL2 ((L2 /L′′2 )δ , t1 , t2 , z) = t1 z +

t1 t2 z 2
,
1 − t1 z

H((L2 /L′′2 )δ , z) = z +

z2
;
1−z

d = 3, δ = δ(2):
HGL2 ((L3 /L′′3 )δ , t1 , t2 , z) = t21 z +
H((L3 /L′′3 )δ , z) = z +

(1 −

t31 t2 z 2
,
2
t1 z)(1 − t1 t2 z)

z2
;
(1 − z)2

d = 4, δ = δ(3):
HGL2 ((L4 /L′′4 )δ , t1 , t2 , z) = t31 z +

t31 t2 z 2 (t21 + t22 + t41 t42 z 2 + t51 t62 z 3 − t81 t62 z 4 )
,
(1 − t31 z)(1 − t21 t2 z)(1 − t61 t62 z 4 )

8

RUMEN DANGOVSKI, VESSELIN DRENSKY, ŞEHMUS FINDIK

H((L4 /L′′4 )δ , z) = z +

z 2 (2 + z 2 + z 3 − z 4 )
;
(1 − z)2 (1 − z 4 )

d = 4, δ = δ(1, 1):
HGL2 ((L4 /L′′4 )δ , t1 , t2 , z) = 2t1 z +

H((L4 /L′′4 )δ , z) = 2z +

t1 z 2 (t1 + 3t2 − t21 t2 z 2 )
,
(1 − t1 z)2 (1 − t1 t2 z 2 )

z 2 (4 − z 2 )
;
(1 − z)2 (1 − z 2 )

d = 5, δ = δ(4):
H((L5 /L′′5 )δ , z) = z +

z 2 (2 + 2z + z 2 − 2z 4 + z 5 )
;
(1 − z)2 (1 − z 2 )(1 − z 3 )

d = 5, δ = δ(2, 1):
H((L5 /L′′5 )δ , z) = 2z +

z 2 (4 + 2z 2 − 3z 3 + z 4 )
;
(1 − z)3 (1 − z 3 )

d = 6, δ = δ(5):
H((L6 /L′′6 )δ , z) = z +

(1 −

z)2 (1

p(z)
,
− z 4 )(1 − z 6 )(1 − z 8 )

p(z) = z 2 (3 + 3z + 7z 2 + 10z 3 + 11z 4 + 14z 5 + 13z 6 + 16z 7 + 12z 8
+8z 9 + 10z 10 + 3z 11 + 5z 12 − z 13 + z 14 − z 16 + 2z 17 − z 18 );
d = 6, δ = δ(3, 1):
H((L6 /L′′6 )δ , z) = 2z+

z 2(5 + 6z + 8z 2 + 11z 3 + 5z 4 − 2z 5 + 3z 6 − 2z 7 + 2z 9 − z 10 )
;
(1 − z)2 (1 − z 2 )(1 − z 4 )2

d = 6, δ = δ(2, 2):
H((L6 /L′′6 )δ , z) = 2z +

z 2 (5 + 8z − 6z 3 + 2z 4 + 2z 5 − z 6 )
;
(1 − z)2 (1 − z 2 )3

d = 6, δ = δ(1, 1, 1):
HGL2 ((L6 /L′′6 )δ , t1 , t2 , z) = 3t1 z +

t1 z 2 p(t1 , t2 , z)
,
(1 − t1 z)3 (1 − t1 t2 z 2 )3

p = 3(t1 + 2t2 ) + t1 (−t1 + t2 )z − 9t21 t2 z 2 + 3t21 t2 (−3t2 + t1 )z 3
+t21 t22 (9t1 − t2 )z 4 + 3t31 t22 (t2 − t1 )z 5 − 3t41 t32 z 6 + t51 t32 z 7 ),
H((L6 /L′′6 )δ , z) = 3z +

z 2 (9 + 9z − 6z 3 + 2z 4 + 2z 5 − z 6 )
.
(1 − z)2 (1 − z 2 )3

WEITZENBÖCK DERIVATIONS OF FREE METABELIAN LIE ALGEBRAS

9

4. Derivations with one-dimensional Jordan cell
In this section we assume that the Jordan form of δ contains a 1 × 1 cell, δ
acts as a nilpotent linear operator on KXd−1 , and δ(xd ) = 0. We fix a finite system {f1 (Xd−1 ), . . . , fl (Xd−1 )} of generators of the algebra of constants K[Xd−1 ]δ .
Without loss of generality we may assume that the polynomials fr (Xd−1 ) are homogeneous, r = 1, . . . , l. Also, we fix a system {c1 , . . . , ck } of generators of the
K[Xd−1 ]δ -module (L′d−1 /L′′d−1 )δ . Our purpose is to find a generating set of the
K[Xd ]δ -module (L′d /L′′d )δ .
Lemma 4.1. The Hilbert series of (L′d /L′′d )δ , (L′d−1 /L′′d−1 )δ , and K[Xd−1 ]δ are
related by
HGL2 ((L′d /L′′d )δ , t1 , t2 , z) =

1
HGL2 ((L′d−1 /L′′d−1 )δ , t1 , t2 , z)
1−z

z
(HGL2 (K[Xd−1 ]δ , t1 , t2 , z) − 1),
1−z
1
(H((L′d−1 /L′′d−1)δ , z) + z(H(K[Xd−1 ]δ , z) − 1)).
H((L′d /L′′d )δ , z) =
1−z
+

Proof. Let δ act on KXd−1 as δ = δ(p1 , . . . , ps−1 ). Then it acts on KXd as
δ(p1 , . . . , ps−1 , 0). By Lemma 3.1 the Hilbert series of the commutator ideal of
Ld /L′′d is
H(L′d /L′′d , z1 , . . . , zd )

= 1 + (z1 + · · · + zd − 1)

d
Y

1
.
1
−
zj
j=1

(In the Hilbert series H(Ld /L′′d , z1 , . . . , zd ) in the lemma we remove the summand
z1 + · · · + zd which gives the contribution of the elements of first degree.) Following
q r
the procedure described in Section 3 we replace its variables zj with t1j t2j z, where
the nonnegative integers qj , rj depend on the size of the corresponding Jordan cell
and the position of the variable xj in the Jordan basis of KXd . In particular, we
have to replace the variable zn with z. Hence


d−1
d−1
X
1
1 Y
q r
t1j t2j z + z − 1
HGL2 (L′d /L′′d , t1 , t2 , z) = 1 + 
1 − z j=1 1 − tq1j tr2j z
j=1






d−1
d−1
d−1
X q r
Y
Y
1
1 
1
+z
1+
t1j t2j z − 1
=
− 1
q r
q r
1−z
1 − t1j t2j z
1 − t1j t2j z
j=1
j=1
j=1

z
1
HGL2 (L′d−1 /L′′d−1 , t1 , t2 , z) +
(HGL2 (K[Xd−1 ], t1 , t2 , z) − 1).
1−z
1−z
The Hilbert series HGL2 ((L′d /L′′d )δ , t1 , t2 , z) is equal to the multiplicity series of
HGL2 (L′d /L′′d , t1 , t2 , z). Similar statements hold for the other two Hilbert series
HGL2 ((L′d−1 /L′′d−1 )δ , t1 , t2 , z) and HGL2 (K[Xd−1 ]δ , t1 , t2 , z). Hence
=

HGL2 ((L′d /L′′d )δ , t1 , t2 , z) =
+

1
HGL2 ((L′d−1 /L′′d−1 )δ , t1 , t2 , z)
1−z

z
(HGL2 (K[Xd−1 ]δ , t1 , t2 , z) − 1)
1−z

10

RUMEN DANGOVSKI, VESSELIN DRENSKY, ŞEHMUS FINDIK

which implies that
H((L′d /L′′d )δ , z) =

z
1
H((L′d−1 /L′′d−1 )δ , z) +
(H(K[Xd−1 ]δ , z) − 1).
1−z
1−z


Let ω = ω(K[Xd−1 ]) be the augmentation ideal of K[Xd−1 ], i.e., the ideal of all
polynomials without constant term. We define a K-linear map
π : ω(K[Xd−1 ]) → L′d /L′′d
by
π(xj1 · · · xjn ) =

n
X

[xd , xjk ]xj1 · · · xjk−1 xjk+1 · · · xjn ,

xj1 · · · xjn ∈ K[Xd−1 ], n ≥ 1.

k=1

Lemma 4.2. (i) The map π satisfies the equality
π(uv) = π(u)v + π(v)u,

u, v ∈ ω.

(ii) The derivation δ and the map π commute.
Proof. (i) It is sufficient to show the equality for u, v being monomials only. Let
u = xi1 · · · xim and v = xj1 · · · xjn . We use the standard notation xj1 · · · xc
jk · · · xjn
to indicate that xjk does not participate in the product. Then
!
m
X
π(uv) = π(xi1 · · · xim xj1 · · · xjn ) =
(xj1 · · · xjn )
[xd , xil ]xi1 · · · xc
il · · · xim
l=1

+

n
X

k=1

[xd , xjk ]xj1 · · · xc
jk · · · xjn

!

(xi1 · · · xim ) = π(u)v + π(v)u.

(ii) Again, it is sufficient to show the equality for monomials only. We proceed
by induction on the length of the monomials. If u = xj and
δ(xj ) =

d−1
X

αij xi ,

αij ∈ K, j = 1, . . . , d − 1,

i=1

then
π(δ(xj )) =

d−1
X
i=1

αij π(xi ) =

d−1
X
i=1

αij [xd , xi ] = [xd ,

d−1
X

αij (xi )] = δ(π(xj ))

i=1

because δ(xd ) = 0. Let the monomials u and v belong to ω. Using that δ is a
derivation of Ld /L′′d which by the inductive arguments commute with π on u and
v, and applying (i), we obtain
δ(π(uv)) = δ(π(u)v + π(v)u) = δ(π(u))v + π(u)δ(v) + δ(π(v))u + π(v)δ(u)
= π(δ(u))v + π(u)δ(v) + π(δ(v))u + π(v)δ(u) = π(δ(u)).

The next theorem and its corollary are the main results of the section.

WEITZENBÖCK DERIVATIONS OF FREE METABELIAN LIE ALGEBRAS

11

Theorem 4.3. Let Xd be a Jordan basis of the derivation δ acting on KXd and
let δ have a 1 × 1 Jordan cell corresponding to xd . Let {vi | i ∈ I} and {uj | j ∈ J}
be, respectively, homogeneous bases of (L′d−1 /L′′d−1)δ and ω(K[Xd−1 ])δ with respect
to both Z- and Z2 -gradings. Then (L′d /L′′d )δ has a basis
{vi xnd , π(uj )xnd | i ∈ I, j ∈ J, n ≥ 0}.
Proof. The Hilbert series of (L′d−1 /L′′d−1 )δ and ω(K[Xd−1 ])δ are equal, respectively,
to the generating functions of their bases. Hence
X q
HGL2 ((L′d−1 /L′′d−1 )δ , t1 , t2 , z) =
t1i tr2i z mi ,
i∈I

where vi is of bidegree (pi , qi ) and of total degree mi . Since xd is of bidegree (0, 0)
and of total degree 1, the generating function of the set V = {vi xnd | i ∈ I, n ≥ 0}
is
XX q
1
HGL2 ((L′d−1 /L′′d−1 )δ , t1 , t2 , z).
G(V, t1 , t2 , z) =
t1i tr2i z mi z n =
1−z
n≥0 i∈I

The map π sends the monomials of ω(K[Xd−1 ]) to linear combinations of commutators with an extra variable xd in the beginning of each commutator. Hence, if
the Hilbert series of ω(K[Xd−1 ])δ is
XX k l
HGL2 (ω(K[Xd−1 ])δ , t1 , t2 , z) = HGL2 (K[Xd−1 ]δ , t1 , t2 , z) − 1 =
t1j t2j z nj ,
n≥0 j∈J

where the bidegree of uj is (kj , lj ) and its total degree is nj , then the generating
function of the set U = {π(uj )xnd | j ∈ J, n ≥ 0} is
XX k l
z
G(U, t1 , t2 , z) =
t1j t2j z ni +1 z n =
(HGL2 (K[Xd−1 ]δ , t1 , t2 , z) − 1).
1−z
n≥0 j∈J

Hence, by Lemma 4.1

HGL2 ((L′d /L′′d )δ , t1 , t2 , z) = G(V, t1 , t2 , z) + G(U, t1 , t2 , z).
Since both sets V and U are contained in (L′d /L′′d )δ , we shall conclude that V ∪U is a
basis of (L′d /L′′d )δ if we show that the elements of V ∪U are linearly independent. For
this purpose it is more convenient to work in the abelian wreath product Ad wrBd .
The elements vi belong to L′d−1 /L′′d−1 ⊂ Ad wrBd and hence are of the form
vi =

d−1
X

ak gki (Xd−1 ),

gki (Xd−1 ) ∈ K[Xd−1 ].

k=1

Hence

vi xnd =

d−1
X

ak gki (Xd−1 )xnd

k=1

On the other hand, the elements π(uj ) are of the form
π(uj ) =

d−1
X

[xd , xk ]hkj (Xd−1 ) = nj ad

k=1

d−1
X

xk hkj (Xd−1 ) −

k=1

= nj ad u j −

d−1
X
k=1

ak hkj (Xd−1 )xd .

d−1
X

k=1

ak hkj (Xd−1 )xd

12

RUMEN DANGOVSKI, VESSELIN DRENSKY, ŞEHMUS FINDIK

Hence
π(uj )xn = (nj ad uj −

d−1
X

ak hkj (Xd−1 )xd )xnd .

k=1
P
P
Let v =
ξin vi xnd + ηjn π(uj )xn = 0 for some ξin , ηjn ∈ K. Since the elements
uj are linearly independent in ω(K[Xd−1 ])δ , comparing the coefficient of ad in v we
conclude that ηjn = 0. Then, using that the elements vi are linearly independent in
(L′d−1 /L′′d−1 )δ , we derive that ξin = 0. Hence the set V ∪ U is a basis of (L′d /L′′d )δ .


Corollary 4.4. Let Xd be a Jordan basis of the derivation δ acting on KXd and let
δ have a 1 × 1 Jordan cell corresponding to xd . Let {c1 , . . . , ck } and {f1 , . . . , fl } be,
respectively, homogeneous generating sets of the K[Xd−1 ]δ -module (L′d−1 /L′′d−1 )δ
and of the algebra of constants K[Xd−1 ]δ . Then the K[Xd ]δ -module (L′d /L′′d )δ is
generated by the set {c1 , . . . , ck } ∪ {π(f1 ), . . . , π(fl )}.
Proof. Clearly, the K[Xd−1 ]δ -module (L′d−1 /L′′d−1 )δ is spanned by the elements
cj f1q1 · · · flql . In particular, in this way we obtain all elements vj from the basis of the
vector space (L′d−1 /L′′d−1 )δ . Since xd ∈ K[Xd ]δ , we obtain also all elements vj xn .
By Lemma 4.2 (i) we obtain that the K[Xd−1 ]δ -module π(ω(K[Xd−1 ])δ ) is generated by π(f1 ), . . . , π(fl ). Hence all elements π(uj ), where {uj | j ∈ J} is the basis of ω(K[Xd−1 ])δ , belong to the K[Xd−1 ]δ -module generated by π(f1 ), . . . , π(fl ).
In this way we obtain also the elements π(uj )xnd and derive that {c1 , . . . , ck } ∪
{π(f1 ), . . . , π(fl )} generate the K[Xd ]δ -module (L′d /L′′d )δ .

Example 4.5. Let d = 4 and let the Jordan normal form of δ have two cells, of
size 3 × 3 and 1 × 1, respectively. Hence δ = δ(2, 0) in our notation. By Example
5.1 for d = 3 and δ = δ(2), the algebra K[X3 ]δ is generated by f1 = x1 and
f2 = x22 − 2x1 x3 . The K[X3 ]δ -module (L′3 /L′′3 )δ is generated by c1 = [x2 , x1 ] and
c2 = [x3 , x1 , x1 ]−[x2 , x1 , x2 ]. Hence, by Corollary 4.4, the K[X4 ]δ -module (L′4 /L′′4 )δ
is generated by c1 , c2 and
π(f1 ) = [x4 , x1 ],

π(f2 ) = 2([x4 , x2 , x2 ] − [x4 , x1 , x3 ] − [x4 , x3 , x1 ]).

5. Generating sets for small number of generators
In this section we shall find the generators of the K[Xd ]δ -module (L′d /L′′d )δ for
d ≤ 4 and for d = 6, δ = δ(1, 1, 1). By Corollary 4.4, we shall assume that δ has no
1 × 1 Jordan cells.
Example 5.1. Let d = 3, δ = δ(2), and let δ(x1 ) = 0, δ(x2 ) = x1 , δ(x3 ) = x2 . It is
well known, see e.g., [22], that K[X3 ]δ is generated by the algebraically independent
polynomials f1 = x1 , f2 = x22 − 2x1 x3 . Hence
1
.
HGL2 (K[X3 ]δ , t1 , t2 , z) =
2
(1 − t1 z)(1 − t21 t22 z 2 )
By Example 3.2
HGL2 ((L′3 /L′′3 )δ , t1 , t2 , z) =

(1 −

t31 t2 z 2
2
t1 z)(1 − t1 t2 z)

=

t31 t2 z 2 (1 + t1 t2 z)
.
(1 − t21 z)(1 − t21 t22 z 2 )

It is easy to see that the Lie elements
c1 = [x2 , x1 ],

c2 = [x3 , x1 , x1 ] − [x2 , x1 , x2 ]

WEITZENBÖCK DERIVATIONS OF FREE METABELIAN LIE ALGEBRAS

13

belong to (L′3 /L′′3 )δ and are of bidegree (3, 1) and (4, 2), respectively. If c1 and c2
generate a free K[X3 ]δ -submodule of (L′3 /L′′3 )δ , its Hilbert series is
(t31 t2 z 2 + t41 t22 z 3 )HGL2 (K[X3 ]δ , t1 , t2 , z) =

t31 t2 z 2 (1 + t1 t2 z)
(1 − t21 z)(1 − t21 t22 z 2 )

= HGL2 ((L′3 /L′′3 )δ , t1 , t2 , z).
Then we can derive that c1 and c2 generate the whole K[X3 ]δ -module (L′3 /L′′3 )δ .
Hence it is sufficient to show that c1 and c2 generate a free K[X3 ]δ -module. Let
c1 u1 (f1 , f2 ) + c2 u2 (f1 , f2 ) = 0 for some u1 (f1 , f2 ), u2 (f1 , f2 ) ∈ K[f1 , f2 ]. Working
in the wreath product A3 wrB3 we obtain
0 = (a2 x1 − a1 x2 )u1 (f1 , f2 ) + ((a3 x1 − a1 x3 )x1 − (a2 x1 − a1 x2 )x2 )u2 (f1 , f2 )
= a1 (−x2 u1 (f1 , f2 ) + (−x1 x3 + x22 )u2 (f1 , f2 ))
+a2 (x1 u1 (f1 , f2 ) − x1 x2 u2 (f1 , f2 )) + a3 x21 u2 (f1 , f2 ).
Since the coefficient x21 u2 (f1 , f2 ) of a3 is equal to 0, we obtain that u2 (f1 , f2 ) = 0.
Similarly, the coefficient of a1 gives that u1 (f1 , f2 ) = 0 and this shows that the
K[X3 ]δ -module (L′3 /L′′3 )δ is generated by c1 , c2 . As a vector space (L3 /L′′3 )δ is
spanned by the elements x1 , c1 f1q1 f2r1 , and c2 f1q2 f2r2 , qj , rj ≥ 0. This easily implies
that the algebra (L3 /L′′3 )δ is generated by the infinite set
{x1 , c1 f2r1 , c2 f2r2 | rj ≥ 0}.
Example 5.2. Let d = 4, δ = δ(3), and let δ(x1 ) = 0, δ(x2 ) = x1 , δ(x3 ) = x2 ,
δ(x4 ) = x3 . Then, see [22], K[X4 ]δ is generated by
f3 = x32 − 3x1 x2 x3 + 3x21 x4 ,
8
f4 = x22 x23 − 2x32 x4 + 6x1 x2 x3 x4 − x1 x33 − 3x21 x24 .
3
The generators of K[X4 ]δ satisfy the defining relation
f1 = x1 ,

f2 = x22 − 2x1 x3 ,

f32 = f23 − 3f12 f4
and the algebra K[X4 ]δ has the presentation
K[X4 ]δ ∼
= K[f1 , f2 , f3 , f4 | f32 = f23 − 3f12 f4 ].
In particular, as a vector space K[X4 ]δ has a basis
{f1q1 f2q2 f4q4 , f1q1 f2q2 f3 f4q4 | q1 , q2 , q4 ≥ 0}
and its Hilbert series is
1 + t61 t32 z 3
.
3
(1 − t1 z)(1 − t41 t22 z 2 )(1 − t61 t62 z 4 )
of (L′4 /L′′4 )δ is
t31 t2 z 2 (t21 + t22 + t41 t42 z 2 + t51 t62 z 3 − t81 t62 z 4 )
(1 − t31 z)(1 − t21 t2 z)(1 − t61 t62 z 4 )

HGL2 (K[X4 ]δ , t1 , t2 , z) =
By Example 3.2 the Hilbert series
HGL2 ((L′4 /L′′4 )δ , t1 , t2 , z) =

t31 t2 z 2 (t21 + t22 + t41 t42 z 2 + t51 t62 z 3 − t81 t62 z 4 )(1 + t21 t2 z)
(1 − t31 z)(1 − t41 t22 z 2 )(1 − t61 t62 z 4 )
5
= (t1 t2 + t31 t32 )z 2 (1 + t31 z) + (t71 t22 + t51 t42 )z 3 + · · ·
This suggests that the K[X4 ]δ -module (L′4 /L′′4 )δ has two generators c1 and c2 of
bidegree (5, 1) and (3, 3), respectively. They together with c1 f1 and c2 f1 give the
contribution (t51 t2 + t31 t32 )z 2 (1 + t31 z). We also expect two generators c3 and c4 of
=

14

RUMEN DANGOVSKI, VESSELIN DRENSKY, ŞEHMUS FINDIK

bidegree (7, 2) and (5, 4), respectively. By easy calculations we have found the
explicit form of c1 , c2 , c3 , c4 :
c1 = [x2 , x1 ],

c2 = [x4 , x1 ] − [x3 , x2 ],

c3 = [x3 , x1 , x1 ] − [x2 , x1 , x2 ], c4 = 3[x2 , x1 , x4 ] − 2[x3 , x1 , x3 ] + [x3 , x2 , x2 ].
For example, c4 is a linear combination of all commutators of degree 3 and bidegree
(5, 4): [x2 , x1 , x4 ], [x4 , x1 , x2 ], [x3 , x1 , x3 ], and [x3 , x2 , x2 ]:
c4 = γ1 [x2 , x1 , x4 ]+ γ2 [x4 , x1 , x2 ]+ γ3 [x3 , x1 , x3 ]+ γ4 [x3 , x2 , x2 ],

γ1 , γ2 , γ3 , γ4 ∈ K,

and the condition δ(c4 ) = 0 gives
0 = γ1 [x2 , x1 , x3 ] + γ2 ([x3 , x1 , x2 ] + [x4 , x1 , x1 ])
+γ3 ([x2 , x1 , x3 ] + [x3 , x1 , x2 ]) + γ4 ([x3 , x1 , x2 ] + [x3 , x2 , x1 ])
= (γ1 + γ3 − γ4 )[x2 , x1 , x3 ] + (γ2 + γ3 + 2γ4 )[x3 , x1 , x2 ] + γ2 [x4 , x1 , x1 ],
Hence
γ1 + γ3 − γ4 = γ2 + γ3 + 2γ4 = γ2 = 0
and, up to a multiplicative constant, the only solution is
γ1 = 3,

γ2 = 0,

γ3 = −2,

γ4 = 0.

Similarly, we obtain one more generator of bidegree (7, 5):
c5 = 3(−[x3 , x1 , x1 , x4 ] + [x2 , x1 , x2 , x4 ] + [x3 , x1 , x2 , x3 ])
−4[x2 , x1 , x3 , x3 ] − [x3 , x2 , x2 , x2 ].
The Hilbert series of the free K[X4 ]δ -module generated by five elements of bidegree
(5, 1), (3, 3), (7, 2), (5, 4), and (7, 5) is
HGL2 (t1 , t2 , z) =

t31 t2 z 2 ((1 + t21 t2 z)(t21 + t22 ) + t41 t42 z 2 )(1 + t61 t32 z 3 )
.
(1 − t31 z)(1 − t41 t22 z 2 )(1 − t61 t62 z 4 )

Hence
HGL2 (t1 , t2 , z) − HGL2 ((L′4 /L′′4 )δ , t1 , t2 , z) = (t31 − t32 )t81 t42 z 5 + · · ·
which suggests that there is a relation of bidegree (11, 4) and a generator of bidegree
(8, 7). Continuing in the same way, we have found the generators
c6 = −9[x2 , x1 , x1 , x4 , x4 ] + 18[x3 , x1 , x1 , x3 , x4 ] − 12[x4 , x1 , x1 , x3 , x3 ]
−9[x3 , x1 , x2 , x2 , x4 ] + 12[x4 , x1 , x2 , x2 , x3 ] + 4[x2 , x1 , x3 , x3 , x3 ]
−6[x3 , x1 , x2 , x3 , x3 ] − 3[x4 , x2 , x2 , x2 , x2 ] + 3[x3 , x2 , x2 , x2 , x3 ]
c7 = −18[x3 , x1 , x1 , x1 , x4 , x4 ] + 18[x4 , x1 , x1 , x1 , x3 , x4 ] + 18[x2 , x1 , x1 , x2 , x4 , x4 ]
−9[x4 , x1 , x1 , x2 , x2 , x4 ] − 18[x2 , x1 , x1 , x3 , x3 , x4 ] + 18[x3 , x1 , x1 , x2 , x3 , x4 ]
−18[x4 , x1 , x1 , x2 , x3 , x3 ] + 8[x3 , x1 , x1 , x3 , x3 , x3 ] − 9[x2 , x1 , x2 , x2 , x3 , x4 ]
−3[x3 , x1 , x2 , x2 , x2 , x4 ] + 15[x4 , x1 , x2 , x2 , x2 , x3 ] + 10[x2 , x1 , x2 , x3 , x3 , x3 ]
−12[x3 , x1 , x2 , x2 , x3 , x3 ] − 3[x4 , x2 , x2 , x2 , x2 , x2 ] + 3[x3 , x2 , x2 , x2 , x2 , x3 ]
of bidegree (8, 7) and (10, 8), respectively. We have also found the relations
R1 (11, 4) : c1 f3 = −c3 f2 + c4 f12 ,
R2 (13, 5) : c3 f3 = −(c1 f22 + c5 f12 ),
R3 (11, 7) : c4 f3 = −(3c1 f4 + c5 f2 ),
R4 (11, 7) : c6 f1 = 3(c1 f4 − c2 f22 + c5 f2 ),

WEITZENBÖCK DERIVATIONS OF FREE METABELIAN LIE ALGEBRAS

15

R5 (13, 8) : c5 f3 = 3c3 f4 − c4 f22 ,
R6 (13, 8) : c7 f1 = 3(−c2 f2 f3 + 2c3 f4 − c4 f22 ),
R7 (14, 10) : c6 f3 = 3c4 f1 f4 + c7 f2 ,
R8 (16, 11) : c7 f3 = 9c2 f1 f2 f4 − 6c5 f1 f4 + c6 f22 .
The above relations show that cj f3 can be replaced with a linear combination of
other generators if j 6= 2. Similarly for c6 f1 and c7 f1 . Hence the K[Xd ]δ -module
generated by c1 , . . . , c7 is spanned by
q

r

s

C = {cj f1 j f2 j f4 j | qj , rj , sj ≥ 0, j = 1, 3, 4, 5}
r

s

∪{cj f2 j f4 j | rj , sj ≥ 0, j = 6, 7} ∪ {c2 f1q2 f2r2 f3ε f4s2 | q2 , r2 , s2 ≥ 0, ε = 0, 1}.
It is easy to check that the generating function of the set C is equal to the Hilbert
series of (L′d /L′′d )δ . Hence, if we show that the elements of C are linearly independent, we shall conclude that the K[Xd ]δ -module (L′d /L′′d )δ is generated by c1 , . . . , c7 .
Let
7
X
cj uj + c2 f3 u8 = 0,
j=1

where uj are polynomials in f1 , f2 , f4 , j = 1, . . . , 8, and u6 , u7 do not depend on
f1 . We shall show that this implies that uj = 0, j = 1, . . . , 8. We shall work in
the abelian wreath product A4 wrB4 and shall denote by vi the coordinate of ai of
v ∈ A4 wrB4 . The four coordinates vi of
v=

7
X

cj u j + c2 f 3 u 8 =

ai vi = 0

i=1

j=1

define a linear homogeneous system
vi = 0,

4
X

i = 1, . . . , 4,

with unknowns u1 , . . . , u8 . First, we substitute x2 = 0. Then f1 , f2 , f4 become
8
f¯1 = x1 , f¯2 = −2x1 x3 , f¯4 = − x1 x33 − 3x21 x24 .
3
Similarly, cj and c2 f3 become
c̄1 = a2 x1 ,

c̄2 = −a1 x4 + a2 x3 + a4 x1 ,

c̄4 = 2a1 x23 + 3a2 x1 x4 − 2a3 x1 x3 ,

c̄3 = (−a1 x3 + a3 x1 )x1 ,

c̄5 = (3a1 x3 x4 − 4a2 x23 − 3a3 x1 x4 )x1 ,

c̄6 = (−6a1 x23 x4 + a2 (−9x1 x24 + 4x33 ) + 18a3 x1 x3 x4 − 12a4 x1 x23 )x1 ,
c̄7 = (−8a1 x43 − 18a2 x1 x23 x4 + 2a3 (−9x1 x24 + 4x33 )x1 + 18a4 x21 x3 x4 )x1 ,
c̄2 f¯3 = (−3a1 x4 + 3a2 x3 + 3a4 x1 )x2 x4 .
1

Direct calculations give that the coordinates v̄i of v =

7
X

c̄j ūj + c̄2 f¯3 ū8 = 0 are

j=1

−x4 ū2 − x1 x3 ū3 +

2x23 ū4

+ 3x1 x3 x4 ū5 −

6x1 x23 x4 ū6

− 8x1 x43 ū7 − 3x21 x24 ū8 = 0,

x1 ū1 +x3 ū2 +3x1 x4 ū4 −4x1 x23 ū5 +(−9x1 x24 +4x33 )x1 ū6 −18x21 x23 x4 ū7 +3x21 x3 x4 ū8 = 0,
(x1 ū3 − 2x3 ū4 − 3x1 x4 ū5 + 18x1 x3 x4 ū6 + 2(−9x1 x24 + 4x33 )ū7 )x1 = 0,
(ū2 − 12x1 x23 ū6 + 18x21 x3 x4 ū7 + 3x21 x4 ū8 )x1 = 0,

16

RUMEN DANGOVSKI, VESSELIN DRENSKY, ŞEHMUS FINDIK

where ūj = uj (f¯1 , f¯2 , f¯4 ) Since x1 v1 + x2 v2 + x3 v3 + x4 v4 = 0, because v belongs
to the commutator ideal L′4 /L′′4 , we have that x1 v̄1 + x3 v̄3 + x4 v̄4 = 0. Hence we
can remove the first equation and obtain
(x1 ū1 + x3 ū2 − 4x1 x23 ū5 + (−9x1 x24 + 4x33 )x1 ū6 )+ 3(ū4 − 6x1 x23 ū7 + x1 x3 ū8 )x1 x4 = 0,
(x1 ū3 − 2x3 ū4 + 2(−9x1 x24 + 4x33 )ū7 ) + 3(−ū5 + 6x3 ū6 )x1 x4 = 0,
(ū2 − 12x1 x23 ū6 ) + 3(6x3 ū7 + ū8 )x21 x4 = 0.
The variable x4 participates in the polynomials f¯1 , f¯2 , f¯4 in even degrees only. Hence
ū1 , . . . , ū8 do not contain odd degrees of x4 . The only odd degrees of x4 in the
above equations come from 3(ū4 − 6x1 x23 ū7 + x1 x3 ū8 )x1 x4 , 3(−ū5 + 6x3 ū6 )x1 x4 ,
and 3(6x3 ū7 + ū8 )x21 x4 . Hence
(−ū5 + 6x3 ū6 )x1 = −f¯1 ū5 (f¯1 , f¯2 , f¯4 ) − 3f¯2 ū6 (f¯2 , f¯4 ) = 0,
(6x3 ū7 + ū8 )x1 = −3f¯2 ū7 (f¯2 , f¯4 ) + f¯1 ū8 (f¯1 , f¯2 , f¯4 ) = 0.
¯
¯
¯
Since f1 , f2 , f4 are algebraically independent in K[x1 , x3 , x4 ], the equations
−f¯1 ū5 (f¯1 , f¯2 , f¯4 ) − 3f¯2 ū6 (f¯2 , f¯4 ) = −3f¯2 ū7 (f¯2 , f¯4 ) + f¯1 ū8 (f¯1 , f¯2 , f¯4 ) = 0
give that ū6 = ū7 = 0 and, as a consequence, ūj = 0 for j = 1, . . . , 8. Using again
the algebraic independence of f¯1 , f¯2 , f¯4 we obtain that uj = 0 for j = 1, . . . , 8. This
completes the proof that the K[X4 ]δ -module (L′4 /L′′4 )δ is generated by c1 , . . . , c7 .
As in the previous example we obtain that the algebra (L4 /L′′4 )δ is generated by
r

s

{x1 , cj f2 j f4 j , c2 f2r2 f3 f4s2 | rj , sj ≥ 0, j = 1, . . . , 7}.
Nowicki [22] conjectured that if all Jordan cells of the Weitzeböck derivation δ
are of size 2 × 2, i.e., δ = δ(1, . . . , 1), then K[X2d ]δ is generated by
{x2j−1 , x2k−1 x2l − x2k x2l−1 | j = 1, . . . , d, 1 ≤ k < l ≤ d}.
There are several proofs of the conjecture based on different ideas. The unpublished
proof by Derksen and the proof by Bedratyuk [3] show that the result follows from
well known results of classical invariant theory. Khoury [17, 18] uses Gröbner bases
techniques. The proof by Drensky and Makar-Limanov [15] is based on elementary
ideas and the approach by Kuroda [20] exploits earlier ideas of Kurano [19] related
with the Roberts counterexample to the Hilbert 14th problem [23]. In particular,
[15] gives the Gröbner basis of the ideal of relations between the generators of the
algebra K[X2d ]δ and a basis for K[X2d ]δ as a vector space. The next examples
handle the cases (L4 /L′′4 )δ , δ = δ(1, 1) and (L6 /L′′6 )δ , δ = δ(1, 1, 1).
Example 5.3. Let d = 4, δ = δ(1, 1), and let δ(x1 ) = 0, δ(x2 ) = x1 , δ(x3 ) = 0,
δ(x4 ) = x3 . Then, see [22] and the comments above, K[X4 ]δ is generated by the
algebraically independent polynomials f1 = x1 , f2 = x3 , f3 = x1 x4 − x2 x3 . Hence
1
.
HGL2 (K[X4 ]δ , t1 , t2 , z) =
2
(1 − t1 z) (1 − t1 t2 z 2 )
By Example 3.2
HGL2 ((L′4 /L′′4 )δ , t1 , t2 , z) =

t1 z 2 (t1 + 3t2 − t21 t2 z 2 )
.
(1 − t1 z)2 (1 − t1 t2 z 2 )

The Lie elements
c1 = [x3 , x1 ],

c2 = [x2 , x1 ],

c3 = [x4 , x3 ],

c4 = [x4 , x1 ] − [x3 , x2 ]

WEITZENBÖCK DERIVATIONS OF FREE METABELIAN LIE ALGEBRAS

17

belong to (L′4 /L′′4 )δ and are of bidegree (2, 0) for c1 and (1, 1) for the other three
elements. It is easy to see that c1 , c2 , c3 , c4 satisfy the relation
c1 f3 + c2 f22 + c3 f12 − c4 f1 f2 = 0.
q

r

s

The K[X4 ]δ -module generated by c1 , c2 , c3 , c4 is spanned by the products cj f1 j f2 j f3 j ,
qj , rj , sj ≥ 0. The above relation gives that we can express the elements c1 f1q1 f2r1 f3s1
with s1 > 0 by elements which do not contain the factor c1 f3 . Hence we may assume
that s1 = 0. The generating function of the set
q

r

s

C = {c1 f1q1 f2r1 , cj f1 j f2 j f3 j | q1 , r1 , qj , rj , sj ≥ 0, j = 2, 3, 4}
is
t21 z 2
3t1 t2 z 2
+
= HGL2 ((L′4 /L′′4 )δ , t1 , t2 , z).
2
(1 − t1 z)
(1 − t1 z)2 (1 − t1 t2 z 2 )
Hence, if we show that the elements of the set C are linearly independent we shall
conclude that the K[X4 ]δ -module (L′4 /L′′4 )δ is generated by c1 , c2 , c3 , c4 . Let
G(C, t1 , t2 , z) =

c1 u1 (f1 , f2 ) + c2 u2 (f1 , f2 , f3 ) + c3 u3 (f1 , f2 , f3 ) + c4 u4 (f1 , f2 , f3 ) = 0
for some u1 (f1 , f2 ), uj (f1 , f2 , f3 ) ∈ K[f1 , f2 , f3 ], j = 2, 3, 4. Working in the wreath
product A4 wrB4 we obtain
0 = (a3 x1 − a1 x3 )u1 (x1 , x3 ) + (a2 x1 − a1 x2 )u2 (x1 , x3 , x1 x4 − x2 x3 )
+(a4 x3 − a3 x4 )u3 (x1 , x3 , x1 x4 − x2 x3 )
+(a4 x1 − a1 x4 − a3 x2 + a2 x3 )u4 (x1 , x3 , x1 x4 − x2 x3 )
= a1 (−x3 u1 (x1 , x3 ) − x2 u2 (x1 , x3 , x1 x4 − x2 x3 ) − x4 u4 (x1 , x3 , x1 x4 − x2 x3 ))
+a2 (x1 u2 (x1 , x3 , x1 x4 − x2 x3 ) + x3 u4 (x1 , x3 , x1 x4 − x2 x3 ))
+a3 (x1 u1 (x1 , x3 ) − x4 u3 (x1 , x3 , x1 x4 − x2 x3 ) − x2 u4 (x1 , x3 , x1 x4 − x2 x3 ))
+a4 (x3 u3 (x1 , x3 , x1 x4 − x2 x3 ) + x1 u4 (x1 , x3 , x1 x4 − x2 x3 )).
In the coefficient of a1 (which has to be equal to 0), the only expression which does
not depend on x2 and x4 is −x3 u1 (x1 , x3 ) and hence u1 = 0. This implies that
−x2 u2 − x4 u4 = 0 and u2 = x4 u, u4 = −x2 u for some u ∈ K[X4 ]. Similarly, from
the coefficient of a2 we derive u2 = x3 v, u4 = −x1 v for some v ∈ K[X4 ]. It follows
from the equalities
u2 = x4 u = x3 v,

u4 = −x2 u = −x1 v

that u2 = u4 = 0 which also implies that u3 = 0. In this way the K[X4 ]δ -module
(L′4 /L′′4 )δ is generated by c1 , c2 , c3 , c4 . This also gives that the algebra (L4 /L′′4 )δ is
generated by
r s
{x1 , c1 f2r1 , cj f2 j f3 j | r1 , rj , sj ≥ 0, j = 2, 3, 4}.
Example 5.4. Let d = 6, δ = δ(1, 1, 1), and let δ(x1 ) = δ(x3 ) = δ(x5 ) = 0,
δ(x2 ) = x1 , δ(x4 ) = x3 , δ(x6 ) = x5 . Then, see [22] and [15], K[X6 ]δ is generated
by the polynomials
f1 = x1 , f2 = x3 , f3 = x5 ,
f4 = x1 x4 − x2 x3 , f5 = x1 x6 − x2 x5 , f6 = x3 x6 − x4 x5 ,
with the only defining relation
x1
x1
x2

x3
x3
x4

x5
x5 = f1 f6 − f2 f5 + f3 f4 = 0.
x6

18

RUMEN DANGOVSKI, VESSELIN DRENSKY, ŞEHMUS FINDIK

Hence we can replace f2 f5 with f1 f6 + f3 f4 and K[X6 ]δ has a basis
{f1q1 f2q2 f3q3 f4q4 f6q6 , f1q1 f3q3 f4q4 f5q5 +1 f6q6 | qj ≥ 0}.
The Hilbert series of K[X6 ]δ is
HGL2 (K[X6 ]δ , t1 , t2 , z) =

t1 t2 z 2
1
+
.
(1 − t1 z)3 (1 − t1 t2 z 2 )2
(1 − t1 z)2 (1 − t1 t2 )3

By Example 3.2
HGL2 ((L′6 /L′′6 )δ , t1 , t2 , z) =

t1 z 2 p(t1 , t2 , z)
,
(1 − t1 z)3 (1 − t1 t2 z 2 )3

p = 3(t1 + 2t2 ) + t1 (−t1 + t2 )z − 9t21 t2 z 2 + 3t21 t2 (−3t2 + t1 )z 3
+t21 t22 (9t1 − t2 )z 4 + 3t31 t22 (t2 − t1 )z 5 − 3t41 t32 z 6 + t51 t32 z 7 ).
Following the approach in Example 5.2 we have found a set of ten generators of the
K[X6 ]δ -module (L′6 /L′′6 )δ :
c1 = [x3 , x1 ],

c2 = [x5 , x1 ],

c3 = [x5 , x3 ],

c4 = [x2 , x1 ], c5 = [x4 , x3 ], c6 = [x6 , x5 ],
c7 = [x4 , x1 ] − [x3 , x2 ], c8 = [x6 , x1 ] − [x5 , x2 ], c9 = [x6 , x3 ] − [x5 , x4 ],
c10 = [x3 , x2 , x5 ] − [x5 , x2 , x3 ] − [x4 , x1 , x5 ] + [x5 , x1 , x4 ]
and 21 relations between them:
R1 (3, 0) : c3 f1 = −c1 f3 + c2 f2 ,
R2 (3, 1) : c1 f4 = −c4 f22 − c5 f12 + c7 f1 f2 ,
R3 (3, 1) : c1 f5 = −c2 f4 − 2c4 f2 f3 + c7 f1 f3 + c8 f1 f2 − c9 f12 ,
R4 (3, 1) : c3 f4 = −c1 f6 + 2c5 f1 f3 − c7 f2 f3 + c8 f22 − c9 f1 f2 ,
R5 (3, 1) : c3 f5 = −c2 f6 − 2c6 f1 f2 − c7 f32 + c8 f2 f3 + c9 f1 f3 ,
R6 (3, 1) : c3 f6 = −c5 f32 − c6 f22 + c9 f2 f3 ,
R7 (3, 1) : c2 f5 = −c4 f32 − c6 f12 + c8 f1 f3 ,
R8 (3, 1) : c10 f1 = −c1 f5 − c4 f2 f3 + c8 f1 f2 − c9 f12 ,
R9 (3, 1) : c10 f2 = −c1 f6 + c5 f1 f3 − c7 f2 f3 + c8 f22 − c9 f1 f2 ,
R10 (3, 1) : c10 f3 = −c2 f6 − c6 f1 f2 − c7 f32 + c8 f2 f3 ,
R11 (4, 1) : c1 f1 f6 = −c2 f2 f4 − c4 f22 f3 + c5 f12 f3 + c8 f1 f22 − c9 f12 f2 ,
R12 (4, 1) : c1 f3 f6 = c2 f2 f6 + c5 f1 f32 + c6 f1 f22 − c9 f1 f2 f3 ,
R13 (4, 1) : c2 f1 f6 = −c2 f3 f4 − c4 f2 f32 − c6 f12 f2 + c8 f1 f2 f3 ,
R14 (3, 2) : c10 f4 = c4 f2 f6 + c5 f1 f5 − c7 (f1 f6 + f3 f4 ) + c8 f2 f4 − c9 f1 f4 ,
R15 (3, 2) : c10 f5 = c4 f3 f6 − c6 f1 f4 − c7 f3 f5 + c8 f3 f4 ,
R16 (3, 2) : c10 f6 = −c5 f3 f5 − c6 f2 f4 + c9 f3 f4 ,
R17 (4, 2) : c1 f62 = c5 f3 (f3 f4 +2f1 f6 )+c6 f22 f4 −c7 f2 f3 f6 +c8 f22 f6 −c9 f2 (f3 f4 +f1 f6 ),
R18 (4, 2) : c2 f42 = c4 f2 (−f3 f4 + f1 f6 ) + c5 f12 f5 − c7 f12 f6 + c8 f1 f2 f4 − c9 f12 f4 ,
R19 (4, 2) : c2 f4 f6 = −c4 f2 f3 f6 − c5 f1 f3 f5 − c6 f1 f2 f4 + c7 f1 f3 f6 + c9 f1 f3 f4 ,
R20 (4, 2) : c2 f62 = c5 f32 f5 + c6 f2 (f3 f4 − f1 f6 ) − c7 f32 f6 + c8 f2 f3 f6 − c9 f32 f4 ,
R21 (3, 3) : c4 f62 = −c5 f52 − c6 f42 + c7 f5 f6 − c8 f4 f6 + c9 f4 f5 .
Hence the K[X6 ]δ -module generated by {c1 , . . . , c10 } is spanned by
c1 f1q1 f2q2 f3q3 , c1 f2q2 f6 ;

c2 f1q1 f2q2 f3q3 f4ε ,

c2 f2q2 f3q3 f6 ;

WEITZENBÖCK DERIVATIONS OF FREE METABELIAN LIE ALGEBRAS

c3 f2q2 f3q3 ;

c4 f1q1 f2q2 f3q3 f4q4 f6ε ,

19

c4 f1q1 f3q3 f4q4 f5q5 +1 f6ε ;

cj f1q1 f2q2 f3q3 f4q4 f6q6 , cj f1q1 f3q3 f4q4 f5q5 +1 f6q6 ; c10 ,
where qi ≥ 0, i = 1, . . . , 6, j = 5, 6, 7, 8, 9, ε = 0, 1. The generating function of this
set is equal to the Hilbert series HGL2 ((L′6 /L′′6 )δ , t1 , t2 , z). Hence, as in the other
examples in this section, it is sufficient to show that the set consists of linearly
independent elements. Let
10
X
cj uj = 0,
j=1

where uj are polynomials in f1 , . . . , f6 of the form

u1 = u′1 (f1 , f2 , f3 ) + u′′1 (f2 )f6 ,
u2 = u′2 (f1 , f2 , f3 ) + u′′2 (f1 , f2 , f3 )f4 + u′′′
2 (f2 , f3 )f6 ,
u3 = u3 (f2 , f3 ),
u4 = u′4 (f1 , f2 , f3 , f4 ) + u′′4 (f1 , f2 , f3 , f4 )f6
(iv)

+u′′′
4 (f1 , f3 , f4 , f5 )f5 + u4 (f1 , f3 , f4 , f5 )f5 f6 ,
′
uj = uj (f1 , f2 , f3 , f4 , f6 ) + u′′j (f1 , f3 , f4 , f5 , f6 )f5 , j = 5, 6, 7, 8, 9,
u10 = const.
10
X
cj uj = 0 is homogeneous.
Clearly, we may assume that the linear dependence
j=1

Since there is no linear dependence of degree 3, we conclude that u10 = 0. As in
the previous examples, we shall work in the abelian wreath product A6 wrB6 . As
in Example 5.2 we shall denote by vi the coordinate of ai of v ∈ A6 wrB6 . The six
coordinates vi of
6
9
X
X
ai vi = 0
cj u j =
v=
j=1

i=1

define a linear homogeneous system

vi = 0,

i = 1, . . . , 6,

with unknowns u1 , . . . , u9 and with a matrix

x3 −x5
0 −x2
0
0 −x4 −x6
 0
0
0
x
0
0
x3
x5
1

 x1
0
−x
0
−x
0
−x
0
5
4
2

 0
0
0
0
x
0
x
0
3
1

 0
x1
x3
0
0 −x6
0 −x2
0
0
0
0
0
x5
0
x1

0
0
−x6
x5
−x4
x3






.




We solve the system by the Gauss method keeping the entries of the matrix in
6
X
xi vi = 0, we can remove the first row of the
K[X6 ]. Since v ∈ L′6 /L′′6 and
i=1

matrix. Then we bring the matrix in a triangular form


x1
0 −x5
0 −x4
0 −x2
0 −x6
 0 x1
x3
0
0 −x6
0 −x2 −x4 


 0
0
0 x1
0
0
x3
x5
0 

.
 0
0
0
0
x3
0
x1
0
x5 
0
0
0
0
0
x5
0
x1
x3

20

RUMEN DANGOVSKI, VESSELIN DRENSKY, ŞEHMUS FINDIK

We multiply the first row by x3 and add to it the fourth row multiplied by x4 .
Similarly we multiply the second row by x5 and add the fifth row multiplied by x6 :


x1 x3
0
−x3 x5 0
0
0 x1 x4 − x2 x3
0
−(x3 x6 − x4 x5 )
 0
x1 x5 x3 x5
0
0
0
0
x1 x6 − x2 x5
x3 x6 − x4 x5 


 0
.
0
0
x1 0
0
x3
x5
0


 0

0
0
0 x3 0
x1
0
x5
0
0
0
0
0 x5
0
x1
x3

The second row of the matrix gives the equation

x1 x5 u2 + x3 x5 u3 + (x1 x6 − x2 x5 )u8 + (x3 x6 − x4 x5 )u9 = 0.
Since u3 depends on x3 , x5 only and the monomials of all other summands depend
also on the other variables, we conclude that u3 = 0. Let wj be the component of
uj which does not depend on x2 , x4 , x6 , j = 7, 8, 9. Since u1 , u2 depend linearly on
x2 , x4 , x6 , the first two rows of the matrix give the system
x1 x3 (u′1 + (x3 x6 − x4 x5 )u′′1 ) + (x1 x4 − x2 x3 )w7 − (x3 x6 − x4 x5 )w9 = 0
x1 x5 (u′2 +(x1 x4 −x2 x3 )u′′2 +(x3 x6 −x4 x5 )u′′′
2 )+(x1 x6 −x2 x5 )w8 +(x3 x6 −x4 x5 )w9 = 0.
′
′′
′
′′
′′′
Since u1 , u1 , u2 , u2 , u2 , w7 , w8 , w9 do not depend on x2 , x4 , x6 , we derive that u′1 =
u′2 = 0. We rewrite the system in the form
−x3 w7 x2 + x5 (−x1 x3 u′′1 + w9 )x4 + x3 (x1 x3 u′′1 − w9 )x6 = 0
′′′
−x5 (x1 x3 u′′2 +w8 )x2 +x5 (x21 u′′2 −x1 x5 u′′′
2 −w9 )x4 +(x1 x3 x5 u2 +x1 w8 +x3 w9 )x6 = 0
which implies

w7 = 0,

w8 = −x1 x3 u′′2 ,

w9 = x1 x3 u′′1 ,

x3 u′′1 − x1 u′′2 + x5 u′′′
2 = 0.

The latter equation gives that every monomial of u′′2 depends on x1 or x5 which
′′′
is impossible because u′′1 = u′′1 (x3 ). Hence u′′1 = 0, −x1 u′′2 + x5 u′′′
2 = 0, and u2
=
0.
Now
the
matrix
of
depends on x1 which is also impossible. Again, u′′2 = u′′′
2
the system with unknowns u4 , . . . , u9 becomes


x1
0
0
x3
x5
0
 0 x3
0
x1
0
x5 


 0

0
x
0
x
x
5
1
3 

 0
0
0 x1 x4 − x2 x3
0 −(x3 x6 − x4 x5 ) 
0
0
0
0 x1 x6 − x2 x5
x3 x6 − x4 x5

and the solution of the system is

u4 = f62 v,
u7 = −f5 f6 v,
v ∈ K[X6 ] . Hence f62 divides

u5 = f52 v,
u8 = f4 f6 v,

u6 = f42 v,
u9 = −f4 f5 ,

δ

u4 = u′4 (f1 , f2 , f3 , f4 ) + u′′4 (f1 , f2 , f3 , f4 )f6
(iv)

+u′′′
4 (f1 , f3 , f4 , f5 )f5 + u4 (f1 , f3 , f4 , f5 )f5 f6
and therefore f6 divides u′4 + u′′′
4 f5 . If we order the variables by x6 > x4 >
x5 > x1 > x1 > x3 , then the leading monomial of u′4 + u′′′
4 with respect to the
lexicographical order is the leading monomial of u′′′
(x
,
x
,
x
1
5
1 x4 , x1 x6 )x1 x6 which
4
cannot be divisible by f6 with leading monomial x3 x6 . Hence u′4 + u′′′
4 f5 = 0.
(iv)
2
′′
Again, f6 does not divide u4 + u4 f5 and, as a result, f6 cannot divide u4 . Hence
v = 0 and this completes the proof.

WEITZENBÖCK DERIVATIONS OF FREE METABELIAN LIE ALGEBRAS

21

Acknowledgements
The third named author is very thankful to the Institute of Mathematics and
Informatics of the Bulgarian Academy of Sciences for the creative atmosphere and
the warm hospitality during his visit as a post-doctoral fellow when this project
was carried out.
References
[1] G. Almkvist, W. Dicks, E. Formanek, Hilbert series of fixed free algebras and noncommutative
classical invariant theory, J. Algebra 93 (1985), 189-214.
[2] Yu. A. Bahturin, Identical Relations in Lie Algebras (Russian), Nauka, Moscow, 1985. Translation: VNU Science Press, Utrecht, 1987.
[3] L. Bedratyuk, A note about the Nowicki conjecture on Weitzenbock derivations, Serdica
Math. J. 35 (2009), 311-316.
[4] A.Ya. Belov, Rationality of Hilbert series of relatively free algebras, Uspekhi Mat. Nauk 52
(1997), No. 2, 153-154. Translation: Russian Math. Surveys 52 (1997), 394-395.
[5] F. Benanti, S. Boumova, V. Drensky, G.K. Genov, P. Koev, Computing with rational symmetric functions and applications to invariant theory and PI-algebras, Serdica Math. J. 38
(2012), 137-188. http://www.math.bas.bg/serdica/2012/2012-137-188.pdf.
[6] A. Berele, Applications of Belov’s theorem to the cocharacter sequence of p.i. algebras, J.
Algebra 298 (2006), 208-214.
[7] A. Berele, Properties of hook Schur functions with applications to p. i. algebras, Adv. Appl.
Math. 41 (2008), 52-75.
[8] C. De Concini, D. Eisenbud, C. Procesi, Young diagrams and determinantal varieties, Invent.
Math. 56 (1980), 129-165.
[9] H. Derksen, G. Kemper, Computational Invariant Theory, Encyclopaedia of Mathematical Sciences, Invariant Theory and Algebraic Transformation Groups 130, Springer-Verlag,
Berlin, 2002.
[10] V. Drensky, Fixed algebras of residually nilpotent Lie algebras, Proc. Amer. Math. Soc. 120
(1994), 1021-1028.
[11] V. Drensky, Free Algebras and PI-Algebras, Springer-Verlag, Singapore, 1999.
[12] V.
Drensky,
Invariants
of
unipotent
transformations
acting
on
noetherian
relatively
free
algebras,
Serdica
Math.
J.
30
(2004),
395-404.
http://www.math.bas.bg/serdica/2004/2004-395-404.pdf.
[13] V. Drensky, G.K. Genov, Multiplicities of Schur functions with applications to invariant
theory and PI-algebras, C.R. Acad. Bulg. Sci. 57 (2004), No. 3, 5-10.
[14] V. Drensky, C.K. Gupta, Constants of Weitzenböck derivations and invariants of unipotent
transformations acting on relatively free algebras, J. Algebra 292 (2005), 393-428.
[15] V. Drensky, L. Makar-Limanov, The conjecture of Nowicki on Weitzenböck derivations of
polynomial algebras, J. Algebra Appl. 8 (2009), 41-51.
[16] E.B. Elliott, On linear homogeneous diophantine equations, Quart. J. Pure Appl. Math. 34
(1903), 348-377.
[17] J. Khoury, Locally Nilpotent Derivations and Their Rings of Constants, Ph.D. Thesis, Univ.
Ottawa, 2004.
[18] J. Khoury, A Groebner basis approach to solve a conjecture of Nowicki, J. Symbolic Comput.
43 (2008), 908-922.
[19] K. Kurano, Positive characteristic finite generation of symbolic Rees algebras and Roberts’
counterexamples to the fourteenth problem of Hilbert, Tokyo J. Math. 16 (1993), 473-496.
[20] S. Kuroda, A simple proof of Nowicki’s conjecture on the kernel of an elementary derivation,
Tokyo J. Math. 32 (2009), 247-251.
[21] P.A. MacMahon, Combinatory Analysis, vols. 1 and 2, Cambridge Univ. Press. 1915, 1916.
Reprinted in one volume: Chelsea, New York, 1960.
[22] A. Nowicki, Polynomial Derivations and Their Rings of Constants, Uniwersytet Mikolaja
Kopernika, Torun, 1994. www-users.mat.umk.pl/˜anow/ps-dvi/pol-der.pdf.
[23] P. Roberts, An infinitely generated symbolic blow-up in a power series ring and a new counterexample to Hilbert’s fourteenth problem, J. Algebra 132 (1990), 461-473.

22

RUMEN DANGOVSKI, VESSELIN DRENSKY, ŞEHMUS FINDIK

[24] A.L. Shmel’kin, Wreath products of Lie algebras and their application in the theory of groups
(Russian), Trudy Moskov. Mat. Obshch. 29 (1973), 247-260. Translation: Trans. Moscow
Math. Soc. 29 (1973), 239-252.
[25] B. Sturmfels, Algorithms in Invariant Theory. 2nd ed. Texts and Monographs in Symbolic
Computation, Springer-Verlag, Wien, 2008.
[26] R. Weitzenböck, Über die Invarianten von linearen Gruppen, Acta Math. 58 (1932), 231-293.
[27] G. Xin, A fast algorithm for MacMahon’s partition analysis, Electron. J. Comb. 11 (2004),
No. 1, Research paper R58.
Sofia High School of Mathematics, 61, Iskar Str., 1000 Sofia, Bulgaria
E-mail address: dangovski@gmail.com
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, 1113
Sofia, Bulgaria
E-mail address: drensky@math.bas.bg
Department of Mathematics, Çukurova University, 01330 Balcalı, Adana, Turkey
E-mail address: sfindik@cu.edu.tr

