arXiv:1512.01351v1 [math.RA] 4 Dec 2015

CLASSICAL INVARIANT THEORY
FOR FREE METABELIAN LIE ALGEBRAS
VESSELIN DRENSKY, ŞEHMUS FINDIK
Abstract. Let KXd be a vector space with basis Xd = {x1 , . . . , xd } over a
field K of characteristic 0. One of the main topics of classical invariant theory
is the study of the algebra of invariants K[Xd ]SL2 (K) , where KXd is a module
of the special linear group SL2 (K) isomorphic to a direct sum Vk1 ⊕ · · · ⊕ Vkr
and Vk is the SL2 (K)-module of binary forms of degree k. Noncommutative
invariant theory deals with the algebra of invariants Fd (V)G of the group G <
GLd (K) acting on the relatively free algebra Fd (V) of a variety of K-algebras
V. In this paper we consider the free metabelian Lie algebra Fd (A2 ) which
is the relatively free algebra in the variety A2 of metabelian (solvable of class
2) Lie algebras. We study the algebra Fd (A2 )SL2 (K) of SL2 (K)-invariants of
Fd (A2 ). We describe the cases when this algebra is finitely generated. This
happens if and only if KXd ∼
= V2 as an SL2 (K)= V1 ⊕ V0 ⊕ · · · ⊕ V0 or KXd ∼
module (and in the trivial case KXd ∼
= V0 ⊕· · ·⊕V0 ). For small d we give a list
of generators even when Fd (A2 )SL2 (K) is not finitely generated. The methods
for establishing that the algebra Fd (A2 )SL2 (K) is not finitely generated work
also for other relatively free algebras Fd (V) and for other groups G.

1. Introduction
One of the most intensively studied objects in classical invariant theory is the
algebra of invariants of the special linear group SL2 (C) acting on binary forms.
One of the possible noncommutative generalizations is the following. We fix a field
K of characteristic 0 and a vector space KXd with basis Xd = {x1 , . . . , xd }, d ≥ 2.
We assume that KXd is a module of the special linear group SL2 (K) isomorphic
to a direct sum Vk1 ⊕ · · · ⊕ Vkr , where Vk is the SL2 (K)-module of binary forms
of degree k (and the action of SL2 (K) on KXd is not trivial, i.e., at least one ki
is positive). Then we extend diagonally the action of SL2 (K) on the relatively
free algebra Fd (V) freely generated by Xd in a variety of (associative, Lie, Jordan,
etc.) K-algebras V. The algebra Fd (V)SL2 (K) is a noncommutative analogue of
the “classical” object K[Xd ]SL2 (K) of polynomial SL2 (K)-invariants.
In the general case when G is an arbitrary subgroup of GLd (K) and V is an arbitrary variety of algebras not too much is known about the algebra of G-invariants
2010 Mathematics Subject Classification. 17B01, 17B30, 13A50, 15A72, 17B63.
Key words and phrases. free metabelian Lie algebras, classical invariant theory, noncommutative invariant theory.
The research of the first 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 second named author was partially supported by the Council of Higher
Education (YÖK) in Turkey.
The research of both authors was partially supported by Grant I02/18 of the Bulgarian Science
Fund.
1

2

VESSELIN DRENSKY, ŞEHMUS FINDIK

Fd (V)G in Fd (V). The picture is more or less clear for varieties of associative algebras. For finite groups G see the surveys [13, 9, 17] and for G reductive – the papers
[26, 7]. In particular, Fd (V)G is finitely generated for all reductive groups G acting
rationally on KXd if and only if V satisfies the Engel identity [[[x2 , x1 ], . . .], x1 ] = 0.
It is well known that for varieties of Lie algebras there is a dichotomy: The
variety V either contains the metabelian variety A2 or satisfies the Engel identity.
Recall that the variety A2 of metabelian (solvable of class 2) Lie algebras is defined
by the polynomial identity
[[x1 , x2 ], [x3 , x4 ]] = 0
and the free metabelian Lie algebra Fd (A2 ) is isomorphic to the factor algebra
Ld /L′′d of the free d-generated Lie algebra Ld modulo the second term L′′d =
[[Ld , Ld ], [Ld , Ld ]] of its derived series. If V satisfies the Engel identity, then the
celebrated result of Zel’manov [28] gives that V is nilpotent. (The fact that the Engel identity implies that Fd (V) is nilpotent with the class of nilpotency depending
on d follows from the famous paper by Kostrikin [18] on the Burnside problem.)
When V is nilpotent, the algebra Fd (V) is finite dimensional. Hence Fd (V)G is also
finite dimensional and therefore finitely generated as a Lie algebra for all groups
G. If V contains A2 , then the canonical homomorphism Fd (V) → Fd (A2 ) maps
Fd (V)G onto Fd (A2 )G . Hence, concerning the finite generation of Fd (V)G , the free
metabelian algebra is the key object. If the group G is finite and V contains A2 ,
then Fd (V)G is never finitely generated by [4, 8]. To the best of our knowledge, not
too much information is available for Fd (V)G when the group G is not finite. The
algebra of invariants Fd (V)G of the group G = U T2 (K) of unipotent 2 × 2 matrices
acting unipotently on KXd was studied in [10, 5]. In particular, when V = A2 , the
algebra Fd (A2 )UT2 (K) is finitely generated if and only if KXd = K 2 ⊕ K d−2 and
U T2 (K) acts canonically on K 2 and trivially on K d−2 .
In the present paper we study the algebra Fd (A2 )SL2 (K) of SL2 (K)-invariants
of Fd (A2 ). We show that Fd (A2 )SL2 (K) is finitely generated if and only if KXd ∼
=
V1 ⊕ V0 ⊕ · · · ⊕ V0 or KXd ∼
= V2 as an SL2 (K)-module (and in the trivial case
KXd ∼
= V0 ⊕ · · · ⊕ V0 ).
One of the main tools in our considerations is the Shmel’kin embedding theorem
[23] which allows to consider Fd (A2 ) as a subalgebra of the abelian wreath product
KAd wrKYd of two d-dimensional abelian Lie algebras KAd and KYd with bases
Ad = {a1 , . . . , ad } and Yd = {y1 , . . . , yd }, respectively.
To see whether Fd (A2 )SL2 (K) is finitely generated, the most difficult part of the
proof is to find whether the commutator ideal Fd (A2 )′ contains nonzero invariants.
For small d it can be established calculating the Hilbert (or Poincaré) series of
Fd (A2 )SL2 (K) . But it has turned out that in the general case we have to embed
KAd wrKYd into a Poisson algebra and then to use classical results for the existence
of sufficiently many invariants of SL2 (K).
The commutator ideal Fd (A2 )′ has a natural structure of a K[Xd ]-module.
Well known results give that (Fd (A2 )′ )SL2 (K) is a finitely generated K[Xd ]SL2 (K) module. For small d we give a list of generators of the K[Xd ]SL2 (K) -module
(Fd (A2 )′ )SL2 (K) . This allows to find explicit sets of generators of the Lie algebra
Fd (A2 )SL2 (K) even if is not finitely generated. In this part our paper may be considered as a continuation of [5] where similar problems were solved for Fd (A2 )UT2 (K) .

CLASSICAL INVARIANT THEORY FOR FREE METABELIAN LIE ALGEBRAS

3

Finally, we want to mention that the methods for establishing that the algebra
Fd (A2 )SL2 (K) is not finitely generated work also for other relatively free algebras
Fd (V) and for other groups G.
2. Preliminaries
In the sequel we fix the base field K of characteristic 0. All vector spaces,
algebras, tensor products, etc., will be over K. If R is any algebra generated by
the elements r1 , . . . , rk and I is an ideal of R, we shall denote the generators of the
factor algebra R/I with the same symbols r1 , . . . , rk .
2.1. Free metabelian Lie algebras and abelian wreath products. For a
background on varieties of Lie algebras we refer to [2]. We denote by Fd the free
metabelian Lie algebra Fd (A2 ) freely generated by Xd = {x1 , . . . , xd }. We assume
that all Lie commutators are left normed, e.g.,
[x1 , x2 , x3 ] = [[x1 , x2 ], x3 ] = [x1 , x2 ]adx3 .
The commutator ideal Fd′ has a basis consisting of all
[xj1 , xj2 , xj3 , . . . , xjk ],

1 ≤ ji ≤ d,

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

The algebra Fd has a grading
Fd = (Fd )1 ⊕ (Fd )2 ⊕ (Fd )3 ⊕ · · ·
where (Fd )n is the vector subspace of all homogeneous elements of degree n. Similarly, Fd is Zd -graded (or multigraded), with grading which counts the degree of
each variable xi , i = 1, . . . , d. The Hilbert series of Fd is the formal power series
defined by
X
H(Fd , Zd ) = H(Fd , z1 , . . . , zd ) =
dim(Fd )n Zdn ,
ni ≥0

where (Fd )n is the homogeneous component of degree n = (n1 , . . . , nd ) and Zdn =
z1n1 · · · zdnd . It is well known, see e.g., [8], that
H(Fd , Zd ) = 1 + (z1 + · · · + zd ) + (z1 + · · · + zd − 1)

d
Y

1
.
1 − zj
j=1

The consequence of the metabelian identity
[xj1 , xj2 , xjσ(3) , . . . , xjσ(k) ] = [xj1 , xj2 , xj3 , . . . , xjk ],
where σ is an arbitrary permutation of 3, . . . , k, allows to define an action of the
polynomial algebra K[Xd ] on Fd′ by the rule
uf (x1 , . . . , xd ) = uf (adx1 , . . . , adxd ),

u ∈ Fd′ ,

f (Xd ) ∈ K[Xd ].

One of the main tools in our considerations is the Shmel’kin embedding theorem [23] which allows to consider Fd (A2 ) as a subalgebra of the abelian wreath
product KAd wrKYd of two d-dimensional abelian Lie algebras KAd and KYd .
Recall the construction of abelian wreath products due to Shmel’kin [23]. Let
KAd and KYd be the abelian Lie algebras with bases Ad = {a1 , . . . , ad } and
Yd = {y1 , . . . , yd }, respectively. Let Cd be the free right K[Yd ]-module with free

4

VESSELIN DRENSKY, ŞEHMUS FINDIK

generators a1 , . . . , ad . We give it the structure of a Lie algebra with trivial multiplication. Then KAd wrKYd is equal to the semidirect sum Cd ⋋ KYd . The elements
of KAd wrKYd are of the form
d
X

aj fj (Yd ) +

d
X

βj y j ,

fj ∈ K[Yd ],

βj ∈ K,

j = 1, . . . , d.

j=1

j=1

The multiplication in KAd wrKYd is defined by
[Cd , Cd ] = [Yd , Yd ] = 0,
[aj fj (Yd ), yi ] = aj fj (Yd )yi ,

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

The embedding theorem of Shmel’kin [23] gives that the free metabelian Lie algebra
Fd is isomorphic to the subalgebra of KAd wrKYd generated by aj +yj , j = 1, . . . , d.
In the sequel we identify Fd with its copy in KAd wrKYd and assume that
xj = aj + yj ,

j = 1, . . . , d.

If u belongs to Fd′ ,
X
X
[xi , xj ]fij (adx1 , . . . , adxd ),
[xi , xj ]fij (Xd ) =
u=

fij (Xd ) ∈ K[Xd ],

i>j

i>j

then in KAd wrKYd
u=
The element
d
X

X

(ai yj − aj yi )fij (Yd ).

ai fi (Xd ) ∈ KAd wrKYd

i=1

belongs to Fd′ if and only if
d
X

yi fi (Yd ) = 0.

i=1

2.2. Poisson algebras. Given two algebraically independent SL2 (K)-invariants
f1 (Xd ), f2 (Xd ) ∈ K[Xd ] we shall construct a nonzero SL2 (K)-invariant π(f1 , f2 )
in Fd′ . For this purpose we need to embed KAd wrKYd into a Poisson algebra. Recall
that the commutative-associative algebra P with multiplication · is a (commutative)
Poisson algebra if it has a Poisson bracket [·, ·] such that (P, [·, ·]) is a Lie algebra
and [·, ·] satisfies the Leibniz rule
[f1 · f2 , f3 ] = [f1 , f3 ] · f2 + f1 · [f2 , f3 ],

f1 , f2 , f3 ∈ P.

The free Poisson algebra P (Xd ) freely generated by Xd can be obtained in the
following way. Fix a basis Bd = {b1 , b2 , . . .} of the free Lie algebra Ld . Then, as a
commutative algebra, P (Xd ) is isomorphic to the symmetric algebra S(Ld ), i.e., to
the polynomial algebra K[Bd ]. The Poisson bracket in P (Xd ) is defined extending
the Lie bracket in Ld using the Leibniz rule. In the sequel we shall omit the · in
the multiplication in Poisson algebras.
Lemma 2.1. Let P (Ad , Yd ) be the free Poisson algebra freely generated by Ad ∪ Yd
and let
Rd = P (Ad , Yd )/(A2d , [Ad , Ad ], [Yd , Yd ], [ai , yj ] − ai yj | i, j = 1, . . . , d)

CLASSICAL INVARIANT THEORY FOR FREE METABELIAN LIE ALGEBRAS

5

be the factor algebra of P (Ad , Yd ) modulo the ideal generated by all elements
ai aj , [ai , aj ], [yi , yj ], [ai , yj ] − ai yj ,

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

(i) As a vector space Rd has a basis
{Ydq = y1q1 · · · ydqd ,

ai Ydq = ai y1q1 · · · ydqd | qj ≥ 0,

i = 1, . . . , d}.

(ii) As a commutative algebra Rd is isomorphic to the factor algebra K[Ad , Yd ]/(A2d )
modulo the ideal generated by all products ai aj , i, j = 1, . . . , d.
(iii) The Poisson bracket in Rd satisfies
[ai y1p1 · · · ydpd , y1q1 · · · ydqd ] = (q1 + · · · + qd )ai y1p1 +q1 · · · ydpd +qd ,
[y1p1 · · · ydpd , y1q1 · · · ydqd ] = [ai y1p1 · · · ydpd , aj y1q1 · · · ydqd ] = 0.
(iv) The Lie algebra KAd wrKYd is isomorphic to the Lie subalgebra of Rd generated by Ad and Yd .
Proof. The defining relations
[ai , aj ] = [yi , yj ] = 0,

[ai , yj ] = ai yj

and the Leibniz rule imply that the commutators of the generators Ad and Yd
can be expressed as monomials of the polynomial algebra K[Ad , Yd ]. The defining
relations ai aj = 0 give that as a vector space Rd is spanned by the elements from
the statement (i) of the lemma. Hence we shall prove (i), (ii), and (iii), if we
show that the commutative algebra K[Ad , Yd ]/(A2d ) which has the desired basis, is
a Poisson algebra with respect to the anticommutative bracket defined in (iii). In
order to verify the Jacobi identity it is sufficient to check the case
u1 = ai Ydp ,
p = (p1 , . . . , pd ),

u2 = Ydq ,

q = (q1 , . . . , qd ),

u3 = Ydr ,
r = (r1 , . . . , rd ).

Direct verification gives that
[u1 , u2 , u3 ] + [u2 , u3 , u1 ] + [u3 , u1 , u2 ]
= (q1 + · · · + qd )[ai Ydp+q , Ydr ] − (r1 + · · · + rd )[ai Ydp+r , Ydq ]
= ((q1 +· · ·+qd )+(r1 +· · ·+rd ))ai Ydp+q+r −((r1 +· · ·+rd )+(q1 +· · ·+qd ))ai Ydp+q+r = 0.
Similarly, for the Leibniz rule it is sufficient to check the case [u1 , u2 u3 ] for the same
elements u1 , u2 , u3 :
[u1 , u2 u3 ] = ((q1 + r1 ) + · · · + (qd + rd ))ai Ydp+q+r
= (q1 + · · · + qd )ai Ydp+q Ydr + (r1 + · · · + rd )Ydq ai Ydp+r = [u1 , u2 ]u3 + u2 [u1 , u3 ].
This proves (i), (ii), and (iii). Finally, for the proof of (iv) we see that the commutator ideal of the Lie subalgebra of Rd generated by Ad and Yd has a basis consisting
of all
ai Ydp = ai (adp1 y1 ) · · · (adpd yq ), p = (p1 , . . . , pd ) 6= (0, . . . , 0),
the same as the commutator ideal of KAd wrKYd . The multiplication table is also
the same. Hence both Lie algebras are isomorphic.


6

VESSELIN DRENSKY, ŞEHMUS FINDIK

2.3. Algebraically independent elements in Poisson algebras. The well known
Jacobian criterion [16] from 1841 gives that the polynomials f1 , . . . , fk ∈ K[Xd ],
k ≤ d, are algebraically dependent if and only if
∂f1 /∂xj1
∂f1 /∂xj2
..
.

∂f2 /∂xj1
∂f2 /∂xj2
..
.

···
···
..
.

∂fk /∂xj1
∂fk /∂xj2
=0
..
.

∂f1 /∂xjk

∂f2 /∂xjk

···

∂fk /∂xjk

for all determinants with 1 ≤ j1 < j2 < · · · < jk ≤ d. A simple proof for k = d
can be found e.g., in [11] or [22]. We shall use the Jacobian criterion for k = 2 only
(and for any d ≥ 2). For self-completeness we present an elementary proof of the
part we need.
Lemma 2.2. Let f1 (Xd ), f2 (Xd ) ∈ K[Xd ] and let
Jij (f1 , f2 ) =

∂f1 /∂xi
∂f1 /∂xj

∂f2 /∂xi
=0
∂f2 /∂xj

for all 1 ≤ i < j ≤ d. Then f1 (Xd ) and f2 (Xd ) are algebraically dependent.
Proof. Let f1 (Xd ) and f2 (Xd ) be algebraically independent. We may assume that
they depend essentially on all variables xi , i.e., (∂f1 /∂xi , ∂f2 /∂xi ) 6= (0, 0) for all
i = 1, . . . , d. Since all determinants Jij (f1 , f2 ) are equal to 0, this means that there
exist nonzero polynomials aij , bij ∈ K[Xd ] such that




aij ∂f1 ∂f2
∂f1 ∂f2
=
, 1 ≤ i < j ≤ d.
,
,
∂xi ∂xi
bij ∂xj ∂xj
Since every d + 1 polynomials in K[Xd ] are algebraically dependent, there exists a
nonzero polynomial p(t1 , t2 , u1 , . . . , uk ) such that k ≤ d − 1 and
p(f1 , f2 , x1 , . . . , xk ) = p(f1 , f2 , Xk ) = 0.
We choose k minimal with this property, and among all such p we choose this of
minimal degree with respect to uk . Since f1 , f2 are algebraically independent, we
have that k > 0. We take the partial derivatives of p(f1 , f2 , x1 , . . . , xk ) with respect
to xk and xk+1 :
0=

∂p(f1 , f2 , Xk )
∂p
∂f1
∂p
∂f2
∂p
=
(f1 , f2 , Xk )
+
(f1 , f2 , Xk )
+
(f1 , f2 , Xk ),
∂xk
∂t1
∂xk
∂t2
∂xk
∂uk

∂p(f1 , f2 , Xk )
∂p
∂f1
∂p
∂f2
=
(f1 , f2 , Xk )
+
(f1 , f2 , Xk )
.
∂xk+1
∂t1
∂xk+1
∂t2
∂xk+1
Since ∂f1 /∂xk and ∂f2 /∂xk are equal, respectively, to (ak,k+1 /bk,k+1 )∂f1 /∂xk+1
and (ak,k+1 /bk,k+1 )∂f2 /∂xk+1 , the above equations give that (∂p/∂uk )(f1 , f2 , Xk ) =
0. Hence f1 , f2 , Xk annulate the polynomial (∂p/∂uk )(t1 , t2 , u1 , . . . , uk ) which is of
lower degree in xk than p(t1 , t2 , u1 , . . . , uk ) and this is a contradiction. Hence k = 0,
i.e., f1 and f2 are algebraically dependent.

0=

If f1 (Xd ), f2 (Xd ) are polynomials in K[Xd ] considered as elements of the free
Poisson algebra P (Xd ), then, see e.g., [22],


X
∂f1 ∂f2
∂f1 ∂f2
.
−
[xi , xj ]
[f1 , f2 ] =
∂xi ∂xj
∂xj ∂xi
i<j

CLASSICAL INVARIANT THEORY FOR FREE METABELIAN LIE ALGEBRAS

7

Hence f1 (Xd ), f2 (Xd ) ∈ K[Xd ] ⊂ P (Xd ) are algebraically independent in K[Xd ] if
and only if [f1 , f2 ] 6= 0 in P (Xd ). An analogue for any f1 , f2 ∈ P (Xd ) was established in [21]. We cannot apply directly this result for the algebra Rd defined in the
previous subsection because it is a homomorphic image of the free Poisson algebra.
We believe that the following proposition is of independent interest because it allows, starting from two polynomials in commuting variables, to construct elements
with prescribed properties in the free metabelian Lie algebra.
Proposition 2.3. Let the homogeneous polynomials f1 (Xd ) and f2 (Xd ) be algebraically independent in K[Xd ]. Then in the Poisson algebra Rd the commutator
π(f1 , f2 ) = [f1 (Ad + Yd ), f2 (Ad + Yd )]
= [f1 (a1 + y1 , . . . , ad + yd ), f2 (a1 + y1 , . . . , ad + yd )]


X
∂f1 (Yd ) ∂f2 (Yd ) ∂f1 (Yd ) ∂f2 (Yd )
=
(ai yj − aj yi )
−
∂yi
∂yj
∂yj
∂yi
i<j
is different from zero and belongs to the commutator ideal Fd′ of the free metabelian
Lie algebra Fd embedded in Rd .
Proof. If P is any Poisson algebra, Wd = {w1 , . . . , wd } ⊂ P , and
Wdq = w1q1 · · · wdqd ,

Wdr = w1r1 · · · wdrd ,

then the Leibniz rule implies that
[Wdq , Wdr ] =

d
X

q +rj −1

[wi , wj ]qi rj w1q1 +r1 · · · wiqi +ri −1 · · · wj j

· · · wdqd +rd

i,j=1

=

X

[wi , wj ]

i<j



∂Wdq ∂Wdr
∂Wdq ∂Wdr
−
∂wi ∂wj
∂wj ∂wi



.

Hence, as in the case of the free Poisson algebra, for any polynomials f1 (Xd ), f2 (Xd ) ∈
K[Xd ],


X
∂f1 (Wd ) ∂f2 (Wd ) ∂f1 (Wd ) ∂f2 (Wd )
−
[wi , wj ]
[f1 (Wd ), f2 (Wd )] =
∂wi
∂wj
∂wj
∂wi
i<j
=

X

[wi , wj ]

i<j

∂f1 (Wd )/∂wi
∂f1 (Wd )/∂wj

X
∂f2 (Wd )/∂wi
[wi , wj ]Jij (f1 (Wd ), f2 (Wd )).
=
∂f2 (Wd )/∂wj
i<j

We apply this equality for
Wd = Ad + Yd = {a1 + y1 , . . . , ad + yd } ⊂ Rd .
Since [ai + yi , aj + yj ] = ai yj − aj yi and ak al = 0, we obtain
X
∂f1 (Yd )/∂yi
(ai yj − aj yi )
[f1 (Ad + Yd ), f2 (Ad + Yd )] =
∂f1 (Yd )/∂yj
i<j

=

X

(ai yj − aj yi )

i<j



∂f2 (Yd )/∂yi
∂f2 (Yd )/∂yj

∂f1 (Yd ) ∂f2 (Yd ) ∂f1 (Yd ) ∂f2 (Yd )
−
∂yi
∂yj
∂yj
∂yi




d
d
X
X
∂f
(Y
)
∂f
(Y
)
∂f
(Y
)
∂f
(Y
)
2 d
1 d
2 d 
1 d
yj
−
yj
.
ai 
=
∂y
∂y
∂y
∂y
i
j
j
i
j=1
j=1
i=1
d
X



8

VESSELIN DRENSKY, ŞEHMUS FINDIK

Since f2 (Yd ) is homogeneous, it is easy to see that
d
X
j=1

yj

∂f2 (Yd )
= deg(f2 )f2 (Yd ).
∂yj

If [f1 (Ad + Yd ), f2 (Ad + Yd )] = 0, then the coordinates of ai are equal to 0 and we
obtain a homogeneous linear system
d
X
∂f1 (Yd ) ∂f2 (Yd )
∂f1 (Yd )
deg(f2 )f2 (Yd ) −
yj
=0
∂yi
∂yj
∂yi
j=1

of d equations, for i = 1, . . . , d, with unknowns ∂f1 (Yd )/∂yj , j = 1, . . . , d. The
matrix of this system is


deg(f2 )f2 − y1 ∂f2 /∂y1
−y2 ∂f2 /∂y1
···
−yd ∂f2 /∂y1


−y1 ∂f2 /∂y2
deg(f2 )f2 − y2 ∂f2 /∂y2 · · ·
−yd ∂f2 /∂y2



.
..
..
.
..
..


.
.
.
−y1 ∂f2 /∂yd
−y2 ∂f2 /∂yd
· · · deg(f2 )f2 − yd ∂f2 /∂yd
Since f2 (Yd ) 6= 0, at least one partial derivative if nonzero. Let, for example,
∂f2 /∂yd 6= 0. Subtracting the last row of the system multiplied by (∂f2 /∂yi )/(∂f2 /∂yd )
from the i-th row, we obtain an equivalent system with a matrix


deg(f2 )f2
−0
···
0
∗


0
deg(f2 )f2
···
0
∗




..
..
..
..
..
.

.
.
.
.
.




0
0
···
deg(f2 )f2
∗
−y1 ∂f2 /∂yd −y2 ∂f2 /∂yd · · · −yd−1 ∂f2 /∂yd deg(f2 )f2 − yd ∂f2 /∂yd
Since f2 (Yd ) 6= 0, the rank of the matrix is ≥ d − 1. Since the system has a nonzero
solution ∂f2 /∂yj = ∂f1 /∂yj , j = 1, . . . , d, the rank is d − 1. Hence all solutions of
the system are
∂f2
p(Yd ) ∂f1
=
, j = 1, . . . , d,
∂yj
q(Yd ) ∂yj
for some polynomials p(Yd ), q(Yd ) ∈ K[Yd ]. Therefore,
Jij (f1 (Yd ), f2 (Yd )) = 0,

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

which contradicts with the algebraic independence of f1 (Y ) and f2 (Y ). Clearly,
the form of the element
X
(ai yj − aj yi )fij (Yd ), fij (Yd ) ∈ K[Yd ],
[f1 (Ad + Yd ), f2 (Ad + Yd )] =
i<j

shows that [f1 (Ad + Yd ), f2 (Ad + Yd )] is a Lie element and belongs to Fd′ .



2.4. Invariant theory of the special linear group. All necessary information
on representation theory of the special linear group SL2 (K) and the general linear
group GL2 (K) and on invariant theory of SL2 (K) can be found in many books,
see e.g., [24, 27]. For a background on symmetric functions see, e.g., [19]. In our
considerations we combine ideas of De Concini, Eisenbud, Procesi [6] and for the
noncommutative generalizations – of Almkvist, Dicks, Formanek [1], see [3] for
details. Every rational representation ρ : SL2 (K) → GLd (K) of SL2 (K) is a direct

CLASSICAL INVARIANT THEORY FOR FREE METABELIAN LIE ALGEBRAS

9

sum of irreducible representations. For each nonnegative integer k there exists a
unique irreducible rational (k + 1)-dimensional SL2 (K)-representation
ρk : SL2 (K) → GLk+1 (K) = GL(Vk ),
where Vk is the vector space of the
Ξk = {ξ0 , ξ1 , . . . , ξk } of Vk and define

g
g = 11
g21

bilinear forms of degree k. We fix a basis
the action of GL2 (K) as follows. Let

g12
∈ GL2 (K).
g22

If K 2 is the vector space with basis {e1 , e2 } and the canonical action of GL2 (K)
g(e1 ) = g11 e1 + g21 e2 ,

g(e2 ) = g12 e1 + g22 e2 ,

then the action of g on the polynomial functions f : K 2 → K is
g(f )(v) = f (g −1 (v)),

v = u 1 e1 + u2 e2 ∈ K 2 .

In particular, the action on the coordinate functions is
1
1
u′1 = g(u1 ) =
(g22 u1 − g12 u2 ), u′2 = g(u2 ) =
(−g21 u1 + g11 u2 ).
det(g)
det(g)
Hence
u1 = g11 u′1 + g12 u′2 ,
If the binary form of degree k is

u2 = g21 u′1 + g22 u′2 .

k  
X
k
ξj u1k−j uj2
j
j=0
 
 


k
k
k
= ξ0 uk1 +
ξ1 u1k−1 u2 +
ξ2 u1k−2 u22 + · · · +
ξk−1 u1 u2k−1 + ξk uk2 ,
1
2
k−1
then g acts on f (u1 , u2 ) by the rule

f (u1 , u2 ) =

g : f (u1 , u2 ) → f (g(u1 ), g(u2 )) = f (g11 u′1 + g12 u′2 , g21 u′1 + g22 u′2 )
k  
X
k ′ ′ k−j ′ j
ξ (u ) (u2 )
= f ′ (u′1 , u′2 ) =
j j 1
j=0
and we define
g(ξj ) = ξj′ ,

j = 0, 1, . . . , k.

Example 2.4. We shall describe the action of the matrix


1 1
g1 =
∈ SL2 (K)
0 1
on Vk . Since
g1 (u1 ) = u′1 + u′2 ,

g1 (u2 ) = u′2 ,

we have
k  
k  
X
X
k
k
k−j j
ξj (u′1 + u′2 )k−j (u′2 )j
ξj u1 u2 =
f (u1 , u2 ) =
j
j
j=0
j=0

=


k−j  
k X
X
k
k−j
ξj (u′1 )k−j−i (u′2 )i+j
j
i
j=0 i=0

10

VESSELIN DRENSKY, ŞEHMUS FINDIK

=



k−j 
k X
X
k
i+j
ξj (u′1 )k−(j+i) (u′2 )i+j .
i
+
j
j
j=0 i=0

In the above expression the summation is the same as for l = i + j = 0, 1, . . . , k,
j = 0, 1, . . . , i + j = l, and we obtain


k   X
l  
k  
X
X
k 
l
k ′ ′ k−l ′ l
f (u1 , u2 ) =
ξj  (u′1 )k−l (u′2 )l =
ξ (u ) (u2 ) .
l
j
l l 1
j=0
l=0

l=0

Hence the action of g1 on ξl is defined by
l  
X
l
ξj ,
g1 (ξl ) = ξl′ =
j
j=0

l = 0, 1, . . . , k.

Similarly, the action of
g2 =



1 0
1 1

on Vk is
g2 (ξk−l ) =

l  
X
l
j=0

j

ξk−j ,

l = 0, 1, . . . , k.

If KXd is isomorphic to a direct sum Vk1 ⊕ · · · ⊕ Vkr , we may change linearly
the variables and assume that the bases of the SL2 (K)-submodules Vki of KXd are
subsets of Xd . If KXk+1 = Vk we shall identify x1 , x2 , . . . , xk+1 with ξ0 , ξ1 , . . . , ξk ,
respectively.
The following statement is a part of classical invariant theory, see [15, p. 318 in
the 1893 original]. A modern proof can be found, e.g., in [24, p. 65].
Proposition 2.5. Let KXk+1 = Vk be the SL2 (K)-module of the binary forms of
degree k. Then the transcendence degree on the algebra of invariants K[Xk+1 ]SL2 (K)
is


0, if k = 1;
SL2 (K)
transc.deg(K[Xk+1 ]
) = 1, if k = 2;


k − 2, if k > 2.

Example 2.6. The following cases are well known for more than 100 years, see [14].
They can be seen directly computing the Hilbert series of the algebra of invariants
and checking that the given elements are SL2 (K)-invariants (see the comments
below).
(i) If KX2 = V1 , then K[X2 ]SL2 (K) = K.
(ii) Let KX3 = V2 , then K[X3 ]SL2 (K) = K[f ], where f = x22 − x1 x3 is the
discriminant.
(iii) Let KX4 = V1 ⊕ V1 , where the two copies of V1 are generated by x1 , x2 and
x3 , x4 , respectively. Then K[X4 ]SL2 (K) = K[f ], where f = x1 x4 − x2 x3 .
We use the same notation ρk and Vk , respectively, for the polynomial representation of GL2 (K) and the corresponding GL2 (K)-module of the binary forms of
degree k. As in the case of rational representations of SL2 (K), every polynomial
representation of GL2 (K) is a direct sum of irreducible representations. Every irreducible representation is of the form detl ⊗ ρk , where det : GL2 (K) → K is defined
by det : g → det(g), g ∈ GL2 (K). Clearly, the representation detl ⊗ ρk is the

CLASSICAL INVARIANT THEORY FOR FREE METABELIAN LIE ALGEBRAS

11

same as the representation indexed by the partition (k + l, l). If the representation
ρ : SL2 (K) → GLd (K) = GL(KXd ) is of the form
ρk1 ⊕ · · · ⊕ ρkr ,
i.e., KXd = Vk1 ⊕ · · · ⊕ Vkr , we extend the action of SL2 (K) to the action of
GL2 (K). Then we extend this action diagonally on the polynomial algebra K[Xd ]:
g(f (Xd )) = g(f (x1 , . . . , xd )) = f (g(x1 ), . . . , g(xd )),

g ∈ SL2 (K),

f (Xd ) ∈ K[Xd ].

The homogeneous component K[Xd ]n of degree n is a direct sum of GL2 (K)modules
X
K[Xd ]n =
mn (k, l)(detl ⊗ Vk ),
l,k≥0

where the nonnegative integer mn (k, l) is the multiplicity of detl ⊗Vk in K[Xd ]n .
The following well known lemma, see e.g., [6] describes the SL2 (K)- and U T2 (K)invariants of polynomial GL2 (K)-modules.
Lemma 2.7. Let the (finite dimensional) polynomial GL2 (K)-module V decompose
as
X
V =
m(k, l)(detl ⊗ Vk ).
l,k≥0

SL2 (K)

(i) The subspace V
of the SL2 (K)-invariants in V is spanned by the onedimensional GL2 (K)-submodules detl ⊗ V0 .
(ii) Each summand m(k, l)(detl ⊗ Vk ) of V has m(k, l) linearly independent elei
ments wkl
, i = 1, 2, . . . , m(k, l), (one in each irreducible component detl ⊗ Vk ) such
that the vector space V UT2 (K) has a basis
i
{wkl
| i = 1, 2, . . . , m(k, l), k, l ≥ 0}.
SL2 (K)

The above lemma implies that the homogeneous component K[Xd ]n
degree n of the algebra of SL2 (K)-invariants K[Xd ]SL2 (K) is
X
K[Xd ]nSL2 (K) =
mn (0, l)(detl ⊗ V0 )

of

l≥0

and the Hilbert series of K[Xd ]SL2 (K) is
H(K[Xd ]SL2 (K) , z) =

XX

mn (0, l)z n .

n≥0 l≥0

Let D2 (K) be the diagonal subgroup of GL2 (K). Then detl ⊗ Vk has a basis
{v0 , v1 , . . . , vk } of eigenvectors of D2 (K) and


α1 0
: vj → αk+l−j
αl+j
0 6= α1 , α2 ∈ K.
1
2 vj ,
0 α2
The element v0 is equal up to a multiplicative constant to the element wkl ∈ detl ⊗Vk
from Lemma 2.7. The corresponding character of D2 (K) is


α1 0
→ S(k+l,l) (α1 , α2 ),
χ(detl ⊗ Vk ) :
0 α2
where
S(k+l,l) (t1 , t2 ) = (t1 t2 )l (tk1 + t1k−1 t2 + · · · + t1 t2k−1 + tk2 )

12

VESSELIN DRENSKY, ŞEHMUS FINDIK

is the Schur function. This defines a Z2 -grading (or bigrading) on detl ⊗ Vk and
hence on K[Xd ]. The Hilbert series of K[Xd ] which counts both this bigrading and
the usual grading is
X
HGL2 (K) (K[Xd ], t1 , t2 , z) =
mn (k, l)S(k+l,l) (t1 , t2 )z n .
l,k,n≥0

The Hilbert series
H(K[Xd ], Zd ) = H(K[Xd ], z1 , . . . , zd ) =

d
Y

i=1

1
1 − zi

of the Zd -graded algebra K[Xd ] and HGL2 (K) (K[Xd ], t1 , t2 , z) are related in the
following way. If {xj , xj+1 , . . . , xj+ki } is the basis of Vki , we replace the variables
zj , zj+1 , . . . , zj+ki , respectively, with tk1i z, t1ki −1 t2 z, . . . , tk2i z. Then
HGL2 (K) (K[Xd ], t1 , t2 , z) = H(K[Xd ], tk11 z, t1k1 −1 t2 z, . . . , tk2r z).
There are many methods to compute the Hilbert series of K[Xd ]SL2 (K) . We have
chosen the following. We define the multiplicity series of HGL2 (K) (K[Xd ], t1 , t2 , z)
X
MGL2 (K) (K[Xd ], t1 , t2 , z) =
mn (k, l)tk1 (t1 t2 )l z n ,
l,k,n≥0

which is the generating function of the multiplicities mn (k, l) of the irreducible
GL2 (K)-components in K[Xd ]n . We introduce new variables t = t1 , u = t1 t2 and
rewrite MGL2 (K) (K[Xd ], t1 , t2 , z) in the form
X
′
(K[X
],
t,
u,
z)
=
MGL
mn (k, l)tk ul z n .
d
(K)
2
l,k,n≥0

′
MGL
(K[Xd ], 0, u, z)
2 (K)

Then
does not depend on t and

′
is the component of MGL
(K[Xd ], t, u, z) which
2 (K)

′
H(K[Xd ]SL2 (K) , z) = MGL
(K[Xd ], 0, 1, z).
2 (K)
′
For the computing of MGL2 (K) (K[Xd ], t1 , t2 , z) and MGL
(K[Xd ], t, u, z) we have
2 (K)
used the methods in [3] which origin from classical work of Elliott [12] and MacMahon [20]. But it is much easier to verify that the formal power series f (t1 , t2 , z) is
equal to MGL2 (K) (K[Xd ], t1 , t2 , z). It is sufficient to see whether

1
(t1 f (t1 , t2 , z) − t2 f (t2 , t1 , z)).
t1 − t2
In the sequel we shall also need partial cases of the Young rule and rules for symmetric and skew-symmetric tensor squares. The proofs can be found, respectively,
in [19] and [25].
HGL2 (K) (K[Xd ], t1 , t2 , z) =

Lemma 2.8. (i) The tensor product of the GL2 (K)-modules Vk and Vm , k ≥ m,
decomposes as
m
M
Vk ⊗ Vm =
detn ⊗ Vk+m−2n .
n=0

(ii) The symmetric tensor square of the GL2 (K)-module Vk which identifies v ′ ⊗
′′
v and v ′′ ⊗ v ′ decomposes as
m
M
V2m ⊗sym V2m =
det2n ⊗ V4(m−n) ,
n=0

CLASSICAL INVARIANT THEORY FOR FREE METABELIAN LIE ALGEBRAS

13

if k = 2m is even and
V2m+1 ⊗sym V2m+1 =

m
M

det2n ⊗ V4(m−n)+2 ,

n=0

if k = 2m + 1 is odd.
(iii) The skew-symmetric tensor square of the GL2 (K)-module Vk which identifies
v ′ ⊗ v ′′ and −v ′′ ⊗ v ′ decomposes as
m
M
V2m ⊗skew V2m =
det2n−1 ⊗ V4(m−n)+2 ,
n=1

if k = 2m is even and
V2m+1 ⊗skew V2m+1 =

m
M

det2n+1 ⊗ V4(m−n) ,

n=0

if k = 2m + 1 is odd.
Remark 2.9. Let v be an element of the polynomial GL2 (K)-module V . In order
to check that v is SL2 (K)-invariant it is not necessary to check that g(v) = v for
all g ∈ SL2 (K). It is well known that it is enough to see this only for the matrices
g1 and g2 from Example 2.4. The matrices g1 and g2 are unitriangular. Hence the
matrices gi − 1, i = 1, 2, act as nilpotent operators on V and the logarithm
X
(gi − 1)n
, i = 1, 2,
δi = log(gi ) =
(−1)n−1
n
n≥1

is well defined. In the polynomial case, one may extend the action of δi on V to
a derivation of K[V ] by the rule δ(uv) = δ(u)v + uδ(v), u, v ∈ K[V ], and then by
linearity on the whole K[V ]. Then f ∈ K[V ] is an SL2 (K)-invariant if and only
if δi (f ) = 0, i = 1, 2. This verification is much simpler than the checking that
gi (f ) = f , i = 1, 2. Similar arguments work for the tensor algebra on V (which is
isomorphic to the free associative algebra KhV i), for the free Lie algebra on V , etc.
Example 2.10. Consider the element
k  
X
k
(−1)i ξi ⊗ ξk−i ∈ Vk ⊗ Vk .
w=
i
i=0
This element is bihomogeneous of degree (k, k). Direct verification shows that
g1 (w) = g2 (w) = w (or, equivalently, w belongs to the kernel of the derivations
log(g1 ) and log(g2 ) of the tensor algebra on Vk ). Hence w belongs to (Vk ⊗Vk )SL2 (K)
and, in the notation of Lemma 2.8 (i), generates the irreducible GL2 (K)-component
detk ⊗V0 . By Lemma 2.8 (ii) and (iii), when k = 2m is even, w 6= 0 in the symmetric
square V2m ⊗sym V2m . When k = 2m + 1 is odd, w 6= 0 in V2m+1 ⊗skew V2m+1 .
We identify Vk and KXk+1 . Then the symmetric tensor square V2m ⊗sym V2m
may be identifies with the GL2 (K)-module of the homogeneous quadratic polynomials in K[X2m+1 ]. Similarly, we may consider the elements of the skew-symmetric
tensor square V2m+1 ⊗skew V2m+1 as homogeneous elements of second degree in the
metabelian Lie algebra F2m+2 . In this way we obtain the SL2 (K)-invariants
2m+1
X  2m 
w2m+1 =
(−1)i−1 xi x2m+2−i
i
−
1
i=1

14

VESSELIN DRENSKY, ŞEHMUS FINDIK


 
m 
X
2m
2m
i−1
(−1) xi x2m+2−i +
(−1)m x2m+1 ∈ K[X2m+1 ]SL2 (K) ,
=2
i
−
1
m
i=1
2m+2
X 2m + 1
(−1)i−1 [xi , x2m+3−i ]
w2m+2 =
i
−
1
i=1
m+1
X 2m + 1
′
(−1)i−1 [xi , x2m+3−i ] ∈ (F2m+2
)SL2 (K) .
=2
i
−
1
i=1
2.5. Noncommutative invariant theory for arbitrary groups. Let V be a
variety of K-algebras. We shall assume that V is a variety of Lie algebras. Since
the base field K is of characteristic 0, and hence infinite, the relatively free algebra
Fd (V) is Zd -graded. The action of the group GLd (K) = GL(KXd ) on KXd is
extended diagonally on Fd (V):
g(f (Xd )) = g(f (x1 , . . . , xd )) = f (g(x1 ), . . . , g(xd )),

g ∈ GLd (K), f (Xd ) ∈ Fd (V).

Let G be a subgroup of GLd (K) = GL(KXd ). Then the algebra of G-invariants is
Fd (V)G = {f (Xd ) ∈ Fd (V) | g(f (Xd )) = f (Xd ) for all g ∈ G}.
The following lemma is well known, see e.g., [10, Proposition 4.2] for the case of
varieties of associative algebras.
Lemma 2.11. Let V and W be two varieties of algebras and V ⊂ W. Let G be
a subgroup of GLd (K) = GL(KXd ). Then the natural homomorphism Fd (W) →
Fd (V) maps Fd (W)G onto Fd (V)G . Hence, if the algebra Fd (V)G is not finitely
generated, then the same is Fd (W)G .
As a result of the dichotomy of the varieties of Lie algebras (either V contains
A2 or V satisfies the Engel identity and is nilpotent), the G-invariants of the free
metabelian Lie algebra are the key object in the study of the finite generation
of Fd (V)G . We give a couple of cases when the algebra Fd (A2 )G is not finitely
generated. We shall assume that GLd (K) acts in the same way on the vector
spaces KXd , KAd , and KYd . If g ∈ GLd (K), then
g(xj ) =

d
X
i=1

αij xi ,

g(aj ) =

d
X

αij ai ,

i=1

g(yj ) =

d
X

αij yi ,

j = 1, . . . , d,

i=1

with the same αij for Xd , Ad , and Yd .
Lemma 2.12. Let the subgroup G of GLd (K) = GL(KXd ) be such that the vector
space KXd has no G-fixed elements (i.e., (KXd )G = 0) and the algebras K[Xd ]G
and Fd (A2 )G are nontrivial (i.e., K[Xd ]G 6= K and Fd (A2 )G 6= 0). Then the Lie
algebra Fd (A2 )G is not finitely generated.
Proof. Since the algebra FdG = Fd (A2 )G is graded, the condition (KXd )G = 0 gives
that FdG ⊂ Fd′ . Hence the algebra FdG is abelian and it is sufficient to show that
it is infinite dimensional. Working in the Poisson algebra Rd from Subsection 2.2,
if u ∈ Rd′ = [Rd , Rd ] and f ∈ K[Yd ] ⊂ Rd are homogeneous nonzero elements,
then the element uf is also nonzero. Starting with a nonzero homogeneous u ∈
(Fd′ )G and with a homogeneous polynomial of positive degree f ∈ K[Xd ]G , we
obtain an infinite sequence of elements uf n ∈ Fd′ , n = 0, 1, 2, . . . which are linearly
independent in Rd because are of different degrees. Since g(uf n ) = g(u)g(f )n =
uf n for all g ∈ G, we conclude that uf n ∈ (Fd′ )G and complete the proof.


CLASSICAL INVARIANT THEORY FOR FREE METABELIAN LIE ALGEBRAS

15

Proposition 2.13. Let (KXd )G = 0 for the subgroup G of GLd (K) = GL(KXd )
and let the transcendence degree of K[Xd ]G be greater than 1. Then the Lie algebra
Fd (A2 )G is not finitely generated.
Proof. Since transc.deg(K[Xd ]G ) > 1, the algebra contains two algebraically independent homogeneous invariants f1 and f2 . Then the element
π(f1 , f2 ) = [f1 (Ad + Yd ), f2 (Ad + Yd )] ∈ Rd
Fd′ .

belongs to

Also, if g ∈ G, then

g(f1 (Ad + Yd )) = f1 (Ad + Yd ),

g(f2 (Ad + Yd )) = f2 (Ad + Yd ).

Hence
g(π(f1 , f2 )) = [g(f1 (Ad + Yd )), g(f2 (Ad + Yd ))] = [f1 (Ad + Yd ), f2 (Ad + Yd )]
and π(f1 , f2 ) ∈ (Fd′ )G . Now the proof follows from Lemma 2.12.



Finally, computing the Hilbert series of the SL2 (K)-invariants of the free metabelian
Lie algebra Fd , we may apply exactly the same methods as for the SL2 (K)invariants of K[Xd ]. Starting with the decomposition of the SL2 (K)-module KXd
and the Hilbert series H(Fd , Zd ) of Fd we obtain the Hilbert series
X
HGL2 (K) (Fd , t1 , t2 , z) =
mn,k,l (Fd )S(k+l,l) (t1 , t2 )z n ,
k,l,n≥0

the multiplicity series
MGL2 (K) (Fd , t1 , t2 , z) =

X

mn,k,l (Fd )tk1 (t1 t2 )l z n ,

k,l,n≥0
′
MGL
(Fd , t, u, z) =
2 (K)

X

mn,k,l (Fd )tk ul z n ,

k,l,n≥0

and the Hilbert series
SL2 (K)

H(Fd

′
, z) = MGL
(Fd , 0, 1, z)
2 (K)

SL (K)

of Fd 2 . See [5] where such computations were performed for the multiplicity
series of Fd .
3. Infinite generation of the metabelian invariants
of the special linear group
In this section we assume that SL2 (K) acts rationally on the vector space KXd
and
KXd ∼
= Vk1 ⊕ · · · ⊕ Vkr ,
where Vk is the SL2 (K)-module of binary forms of degree k. When necessary we
extend the SL2 (K)-action to GL2 (K). If V ′ is an SL2 (K)-submodule of KXd we
assume that it is spanned by a subset of Xd . We denote by Fd the free metabelian
Lie algebra generated by Xd .
Following our agreement, if KXd has an SL2 (K)-invariant subspace we may assume that it has a basis {xk+1 , . . . , xd } and its complement has a basis {x1 , . . . , xk }.
Then the subalgebra of SL2 (K)-invariants in K[Xd ] has the form
K[Xd ]SL2 (K) = (K[Xk ]SL2 (K) )[xk+1 , . . . , xd ].

16

VESSELIN DRENSKY, ŞEHMUS FINDIK
SL (K)

We shall derive an analogue of this fact for the algebra Fd 2
which shows how
SL2 (K)
SL (K)
to obtain the generators of Fd
if we know the generators of Fd−12 . The
proof is based on a similar statement for the algebra of U T2 (K)-invariants from [5].
We shall work in the Poisson algebra
Rd = P (Ad , Yd )/(A2d , [Ad , Ad ], [Yd , Yd ], [ai , yj ] − ai yj | i, j = 1, . . . , d)
from Lemma 2.1. The lemma gives that the Lie algebra KAd wrKYd is isomorphic
to the Lie subalgebra of Rd generated by Ad and Yd . Hence the free metabelian Lie
algebra Fd is embedded in Rd as the Lie subalgebra generated by
Xd = Ad + Yd = {xi = ai + yi | i = 1, . . . , d}.
Clearly, the unitary associative subalgebra of Rd generated by Xd is isomorphic to
the polynomial algebra K[Xd ]. By Proposition 2.3, if f1 (Xd ) and f2 (Xd ) are two
polynomials in K[Xd ] ⊂ Rd , then the commutator
π(f1 (Xd ), f2 (Xd )) = [f1 (Ad + Yd ), f2 (Ad + Yd )]


X
∂f1 (Yd ) ∂f2 (Yd ) ∂f1 (Yd ) ∂f2 (Yd )
−
(ai yj − aj yi )
=
∂yi
∂yj
∂yj
∂yi
i<j


X
∂f1 (Xd ) ∂f2 (Xd ) ∂f1 (Xd ) ∂f2 (Xd )
[xi , xj ]
=
−
∂xi
∂xj
∂xj
∂xi
i<j
belongs to the commutator ideal Fd′ of Fd ⊂ Rd .
Proposition 3.1. Let xd ∈ KXd be SL2 (K)-invariant and let KXd = KXd−1 ⊕
Kxd as SL2 (K)-modules. Let {vi | i ∈ I} and {uj | j ∈ J} be, respectively, homo′
geneous bases of (Fd−1
)SL2 (K) and ω(K[Xd−1 ])SL2 (K) with respect to the usual Zgrading, where ω(K[Xd−1 ]) is the augmentation ideal of K[Xd−1 ]. Then (Fd′ )SL2 (K) ⊂
Rd has a basis consisting of
vi ydn = vi adn xd ,
π(xd , uj )ydn =

d−1
X

[xd , xk ]

k=1

i ∈ I,

n ≥ 0,

∂uj
(adXd−1 )adn xd ,
∂xk

j ∈ J,

n ≥ 0.

Proof. We consider the group U T2 (K) as a subgroup of SL2 (K), both groups
acting on KXd . Hence U T2 (K) acts unitriangularly on the irreducible SL2 (K)components of KXd . Then the algebras of U T2 (K)-invariants K[Xd ]UT2 (K) and
UT (K)
Fd 2
coincide, respectively, with the algebras of constants (i.e., the kernels)
δ1
K[Xd ] and Fdδ1 of the Weitzenböck (i.e., locally nilpotent linear) derivation δ1 =
log(g1 ). A basis of the vector space (Fd′ )UT2 (K) is given in [5, Theorem 4.3]. We
translate it in the language of our paper. Let {vi | i ∈ I} and {uj | j ∈ J} be, re′
spectively, homogeneous bases of (Fd−1
)UT2 (K) and ω(K[Xd−1 ])UT2 (K) with respect
2
′ UT2 (K)
to both Z- and Z -gradings. Then (Fd )
as a subspace of KAd wrKYd ⊂ Rd
has a basis
{vi ydn , π(xd , uj )ydn | i ∈ I, j ∈ J, n ≥ 0}.
UT (K)

A bihomogeneous element in K[Xd ]UT2 (K) or in Fd 2
of bidegree (p, q) is SL2 (K)invariant if and only if p = q. Since the elements xd , ad , yd are of bidegree (0, 0),
the vector space (Fd′ )SL2 (K) has a basis consisting of the basis elements vi ydn and
π(xd , uj )ydn of (Fd′ )UT2 (K) with the property that the bidegrees of vi and uj are

CLASSICAL INVARIANT THEORY FOR FREE METABELIAN LIE ALGEBRAS

17

equal to (pi , pi ) and (qj , qj ), respectively. But this condition simply means that
′
vi ∈ (Fd−1
)SL2 (K) and uj ∈ ω(K[Xd−1 ])SL2 (K) . To complete the proof it is sufficient to see that
vi ydn = vi adn xd , i ∈ I, n ≥ 0,
π(xd , uj )xnd =

d−1
X

k=1

[xd , xk ]

∂uj
(adXd−1 )adn xd
∂xk

j ∈ J,

n ≥ 0.


Lemma 3.2. Let KXd = V ′ ⊕ V ′′ , where V ′ = KXe = K{x1 , . . . , xe } and V ′′
are SL2 (K)-submodules of KXd and let Fe be the Lie subalgebra of Fd generated
by Xe . Then the natural projection ν : Fd → Fe which send xe+1 , . . . , xd to 0 maps
SL (K)
SL (K)
Fd 2
onto Fe 2 .
Proof. As a vector space Fd = Fe ⊕ ker(ν). Since both Fe and ker(ν) are SL2 (K)modules, it is clear that every SL2 (K)-invariant f ∈ Fd is a sum of an SL2 (K)invariant f ′ ∈ Fe (which depends on the variables Xe only) and an SL2 (K)invariant f ′′ ∈ ker(ν) (and f ′′ is a linear combination of commutators which depend
SL (K)
SL (K)
essentially on the other variables xe+1 , . . . , xd ). Hence ν(Fd 2 ) = Fe 2 . 
SL (K)

Our strategy to determine whether the algebra Fd 2
is finitely generated
SL (K)
will be the following. We shall describe the cases when Fk+12
is not finitely
V
is
an
irreducible
SL
(K)-module.
We
shall
show that
generated and KXk+1 ∼
= k
2
this holds if and only if k > 2. In view of the above Lemma 3.2, this will imply
SL (K)
that Fd 2
is never finitely generated if KXd contains a submodule Vk , k > 2.
By similar arguments we shall eliminate the cases when KXd contains a submodule
isomorphic to V2 ⊕ Vk , k = 0, 1, 2, and V1 ⊕ V1 . In all other cases, namely when
SL (K)
d = 3 and KXd = V2 or KXd = V1 ⊕ V0 ⊕ · · · ⊕ V0 , we shall show that Fd 2
is
finitely generated.
SL (K)
is
Lemma 3.3. Let d = k + 1 and KXk+1 ∼
= Vk , k ≥ 3. Then the algebra Fk+12
not finitely generated.

Proof. The group SL2 (K) does not fix any nonzero element of Vk because k ≥ 3,
If k ≥ 4 we use Proposition 2.5 which gives that the transcendence degree of
SL (K)
K[Xk+1 ]SL2 (K) is equal to k − 2 ≥ 2 and by Proposition 2.13 the algebra Fk+12
is
not finitely generated. If k = 3 we shall apply Lemma 2.12. Since the transcendence
degree of K[X4 ]SL2 (K) 6= K is equal to 1 and K[X4 ]SL2 (K) 6= K, it is sufficient
SL (K)
SL (K)
to show that F4 2
6= 0. A nonzero element in F4 2
is given in Example
2.10.

Remark 3.4. We may give a constructive proof of Lemma 3.3. Example 2.10
SL (K)
provides a nonzero element in Fk+12
for k ≥ 3 odd. In order to apply Lemma 2.12
we need an SL2 (K)-invariant polynomial of positive degree. For this purpose we
may take the discriminant. Recall that if θ1 , . . . , θk are the zeros of the polynomial
f (t) = ξ0 tk + ξ1 tk−1 + · · · + ξk−1 t + ξk , then the discriminant
Y
ξ02k−2
(θi − θj )2
1≤i<j≤k

18

VESSELIN DRENSKY, ŞEHMUS FINDIK

of f (t) is an SL2 (K)-invariant polynomial of degree 2(k − 1) in K[Vk ] = K[Xk+1 ].
For k > 3 even we may choose one more explicit SL2 (K)-invariant of second degree
in K[Xk+1 ], namely the element Example 2.10. Then we may produce a nonzero
SL (K)
element in Fk+12
applying Proposition 2.3.
Lemma 3.5. Let

∼ V1 ⊕ V0 ⊕ · · · ⊕ V0 ,
KXd =
where V1 and V0 ⊕ · · · ⊕ V0 have bases X2 and {x3 , . . . , xd }, respectively. Then the
SL (K)
algebra Fd 2
is generated by [x2 , x1 ] and {x3 , . . . , xd }.
Proof. We proceed by induction on d applying Proposition 3.1 in each step. For
d = 2 we have that K[X2 ]SL2 (K) = K[V1 ]SL2 (K) = K. Since as a GL2 (K)-module
F2′ decomposes as a direct sum of det ⊗Vn , n ≥ 0, we obtain that F2SL2 is the
one-dimensional vector space spanned by the commutator [x2 , x1 ]. By induction,
SL (K)
we assume that the Lie algebra Fd−12
is generated by [x2 , x1 ], x3 , . . . , xd−1 and
has a basis consisting of all commutators
[x2 , x1 ]adn3 x3 · · · adnd−1 xd−1 ,

ni ≥ 0,

i = 3, . . . , d − 1,

containing [x2 , x1 ] and all commutators
[xi1 , xi2 , . . . , xin ],

i1 > i2 ≤ · · · ≤ in ,

ij = 3, . . . , d − 1,

n = 1, 2, . . . .

The vector space of the SL2 (K)-invariants in the augmentation ideal of K[Xd−1 ] has
a basis consisting of all monomials in x3 , . . . , xd−1 . Now Proposition 3.1 implies that
the SL2 (K)-invariants in Fd′ are spanned by the elements [x2 , x1 ]adn3 x3 · · · adnd xd
and the commutators of length ≥ 2 in x3 , . . . , xd . Since x3 , . . . , xd belong to
SL (K)
SL (K)
Fd 2 , this implies that Fd 2
is generated by [x2 , x1 ] and {x3 , . . . , xd }.

SL (K)
= 0.
Lemma 3.6. Let d = 3 and KX3 ∼
= V2 , Then F3 2

Proof. In [5, Example 3.2] we have computed the Hilbert series of the algebra
UT (K)
F3 2 :
t31 t2 z 2
UT (K)
HGL2 (F3 2 , t1 , t2 , z) = t21 z +
(1 − t21 z)(1 − t1 t2 z)
= t21 z +

tu2 z 2
t1 (t1 t2 )2 z 2
= t2 z +
,
2
2
(1 − t1 z)(1 − t1 t2 z)
(1 − t z)(1 − uz)
SL (K)

where t = t1 , u = t1 t2 . Since the Hilbert series of F3 2
is obtained from
UT2 (K)
the Hilbert series of F3
substituting t = 0 and u = 1, we obtain that
SL (K)
SL (K)
H(F3 2 , z) = 0, and hence F3 2
= 0.

SL (K)
is
Lemma 3.7. Let KXd ∼
= V1 ⊕ V1 , V2 ⊕ V0 , V2 ⊕ V1 or V2 ⊕ V2 . Then Fd 2
not finitely generated.

Proof. If KXd ∼
= Vi ⊕ Vj , we assume that Vi and Vj have bases {x1 , . . . , xi+1 }
and {xi+2 , . . . , xi+j+2 }, respectively. First, we shall construct nonzero elements in
(Fd′ )SL2 (K) .
(i) Let d = 4 and KX4 ∼
= V1 ⊕ V1 . Consider the element
v11 = [x1 , x4 ] − [x2 , x3 ] ∈ F4 .
SL2 (K)

Applying Remark 2.9 we see that g1 (v11 ) = g2 (v11 ) = v11 . Hence v11 ∈ F4

.

CLASSICAL INVARIANT THEORY FOR FREE METABELIAN LIE ALGEBRAS

19

(ii) Let d = 4 and KX4 ∼
= V2 ⊕ V0 . By Example 2.6 the element f = x22 − x1 x3
SL2 (K)
belongs to K[X3 ]
= K[V2 ]SL2 (K) . Since x4 is an SL2 (K)-invariant, applying
Proposition 3.1 we obtain the nonzero element
v20 = π(x4 , f ) =

3
X

[x4 , xk ]

k=1

∂f
(adX3 )
∂xk

= 2[x4 , x2 , x2 ] − [x4 , x1 , x3 ] − [x4 , x3 , x1 ] ∈ (F4′ )SL2 (K) .
(iii) Let d = 5 and KX5 ∼
= V2 ⊕ V1 . Then the simplest nonzero SL2 (K)-invariant
is

SL (K)

v21 = [x4 , x5 ] ∈ F5 2 .
(iv) Let d = 6 and KX6 ∼
= V2 ⊕ V2 . Using the element


2
X 2
(−1)i ξi ⊗ ξ2−i = ξ0 ⊗ ξ2 − 2ξ1 ⊗ ξ1 + ξ2 ⊗ ξ0 ∈ V2 ⊗ V2
w=
i
i=0
from Example 2.10 we can obtain the nonzero SL2 (K)-invariant
SL2 (K)

v22 = [x1 , x6 ] − 2[x2 , x5 ] + [x3 , x4 ] ∈ F6

.

By Example 2.6 in all four cases we have SL2 (K)-invariants of positive degree
in K[Xd ]. In (i) this is f = x1 x4 − x2 x3 and in (ii)–(iv) – f = x22 − x1 x3 . Since
SL (K)
KXd 2
= 0 in the cases (i), (iii) and (iv), by Lemma 2.12 we conclude that the
SL2 (K)
algebra Fd
is not finitely generated.
SL (K)
Let us assume that in the case (ii) the algebra F4 2
is finitely generated.
SL2 (K)
SL2 (K)
Since KX4
= Kx4 , this implies that F4
is generated by x4 and a finite
number of elements u1 , . . . , uk ∈ (F4′ )SL2 (K) . Hence (F4′ )SL2 (K) is spanned by
ui adn x4 ,
But

(F4′ )SL2 (K)

i = 1, . . . , k,

n ≥ 0.

contains the infinite sequence of elements
v22 (ad2 x2 − adx1 adx3 )m ,

m = 0, 1, 2, . . . ,

and for sufficiently large m these elements cannot be expressed as linear combinaSL (K)
tions of ui adn x4 . Again, F4 2
is not finitely generated.

The following theorem is one of the main results of the paper.
Theorem 3.8. Let KXd be isomorphic as an SL2 (K)-module to the direct sum
Vk1 ⊕· · ·⊕Vkr , where (k1 , . . . , kr ) 6= (0, . . . , 0) and let Fd = Fd (A2 ) be the d-generated
SL (K)
free metabelian Lie algebra. Then the algebra Fd 2
of SL2 (K)-invariants is
finitely generated if and only if KXd ∼
= V2 .
= V1 ⊕ V0 ⊕ · · · ⊕ V0 or KXd ∼
Proof. Let KXd ∼
= Vk1 ⊕ · · · ⊕ Vkr . We may assume that k1 ≥ · · · ≥ kr . By
SL (K)
Lemmas 3.5 and 3.6 the algebra Fd 2
is finitely generated in the cases KXd ∼
=
∼
V1 ⊕ V0 ⊕ · · · ⊕ V0 and KXd = V2 . Hence we have to show that in the cases (i)
SL (K)
k1 ≥ 3; (ii) k1 = 2, r ≥ 2; (iii) k1 = k2 = 1 the algebra Fd 2
is not finitely
generated. Applying Lemma 3.2 we reduce the considerations to the following three
cases:
SL (K)
(i′ ) KXd ∼
is not finitely
= Vk , k ≥ 3. By Lemma 3.3 the algebra Fd 2
generated.
(ii′ ) KXd ∼
= V2 ⊕ Vi , i = 0, 1, 2. Now we apply Lemma 3.7.

20

VESSELIN DRENSKY, ŞEHMUS FINDIK

(iii′ ) KXd ∼
= V1 ⊕ V1 . We apply Lemma 3.7 again and complete the proof of the
theorem.

4. Explicit invariants in small dimensions
In this section we compute the explicit generators of the finitely generated
K[Xd ]SL2 (K) -module (Fd′ )SL2 (K) for d ≤ 5 and for d = 6 when KX6 ∼
= V2 ⊕ V2 and
KX6 ∼
= V1 ⊕ V1 ⊕ V1 . We omit the cases containing V0 as a component of KXd by
Proposition 3.1. In what follows, the Hilbert series are obtained from [5, Example
3.2] and the generators and the relations between them from [5, Section 5], taking
into account the homogeneous components of bidegree (n, n) only.
Example 4.1. (i) Let d = 3 and KX3 ∼
= V2 . In this case we have from Lemma 3.6
that
H((F3′ )SL2 (K) , z) = 0,
and the algebra (F3′ )SL2 (K) does not have nonzero elements. On the other hand
the only SL2 (K)-invariant of polynomial algebra is f = x1 x3 − x22 , and
1
.
H(K[X3 ]SL2 (K) , z) =
1 − z2
(ii) Let d = 4 and KX4 ∼
= V3 . Then
1
z2
and H(K[X4 ]SL2 (K) , z) =
.
1 − z4
1 − z4
The K[X4 ]SL2 (K) -module (F4′ )SL2 (K) has one generator of degree 2. It is
H((F4′ )SL2 (K) , z) =

v = [x4 , x1 ] − 3[x3 , x2 ],
and the single generator of K[X4 ]SL2 (K) is
f = x21 x24 − 6x1 x2 x3 x4 + 4x1 x33 + 4x32 x4 − 3x22 x23 .
∼ V1 ⊕ V1 . We have a nonzero SL2 (K)-invariant in
(iii) Let d = 4 and KX4 =
(F4′ )SL2 (K) by Lemma 3.7. Now let us find all of the generators of finitely generated
K[X4 ]SL2 (K) -module (F4′ )SL2 (K) . By computations using the suggested method we
have
3z 2
1
H((F4′ )SL2 (K) , z) =
and H(K[X4 ]SL2 (K) , z) =
.
1 − z2
1 − z2
The free generators of the K[X4 ]SL2 (K) -module (F4′ )SL2 (K) are as follows:
v1 = [x4 , x1 ] − [x3 , x2 ],

v2 = [x2 , x1 ] and v3 = [x4 , x3 ].

The single generator of K[X4 ]SL2 (K) is f = x1 x4 − x2 x3 .
(iv) Let d = 5 and KX5 ∼
= V4 . Then
H((F5′ )SL2 (K) , z) =

z5
,
(1 − z 2 )(1 − z 3 )

and
H(K[X5 ]SL2 (K) , z) =

1

.
(1 −
− z3)
The only generator of the K[X5 ]SL2 (K) -module (F5′ )SL2 (K) is
z 2 )(1

v = [x2 , x1 ]·(12x34 +4x2 x25 −16x3 x4 x5 )+[x3 , x1 ]·(−2x1 x25 +18x23 x5 −18x3 x24 +4x2 x4 x5 )
+[x3 , x2 ] · (16x2 x24 − 18x2 x3 x5 ) + [x4 , x1 ] · (−4x2 x24 + 12x23 x4 + 4x1 x4 x5 − 16x2 x3 x5 )
+[x4 , x2 ] · (−8x2 x3 x4 + 12x22 x5 ) + [x5 , x1 ] · (x1 x3 x5 − 9x33 − 3x1 x24 − x22 x5 + 14x2 x3 x4 )

CLASSICAL INVARIANT THEORY FOR FREE METABELIAN LIE ALGEBRAS

21

+[x5 , x2 ] · (−8x22 x4 + 6x2 x23 ),
where w · p(Xn ) = wp(adXn ) for w ∈ F5′ and p(Xn ) ∈ K[Xn ]. The generators of
K[X5 ]SL2 (K) are
f1 = x1 x5 − 4x2 x4 + 3x23 ,
and
f2 = −x1 x3 x5 − 2x2 x3 x4 + x33 + x1 x24 + x22 x5 .
(v) Let d = 5 and KX5 ∼
= V2 ⊕ V1 . Then
H((F5′ )SL2 (K) , z) =

z2 + z3 + z4 + z5
,
(1 − z 2 )(1 − z 3 )

and
H(K[X5 ]SL2 (K) , z) =

1
.
(1 − z 2 )(1 − z 3 )

The four generators of the K[X5 ]SL2 (K) -module (F5′ )SL2 (K) are
v1 = [x5 , x4 ],
v2 = [x4 , x2 ] · x5 − [x4 , x3 ] · x4 − [x5 , x1 ] · x5 + [x5 , x2 ] · x4 ,
v3 = [x4 , x1 ]·x3 x5 −[x4 , x2 ]·x3 x4 +[x4 , x3 ]·(x2 x4 −x1 x5 )−[x5 , x1 ]·x2 x5 +[x5 , x2 ]·x1 x5 ,
v4 = −[x4 , x1 ]·x23 x4 +2[x4 , x2 ]·x2 x3 x4 −[x4 , x3 ]·x1 x3 x4 +[x5 , x1 ]·(2x2 x3 x4 −x1 x3 x5 )
+[x5 , x2 ] · (2x1 x2 x5 − 4x22 x4 ) + [x5 , x3 ] · (2x1 x2 x4 − x21 x5 ) + [x5 , x4 ] · (2x32 − 2x1 x2 x3 ).
Note that the first generator was suggested in Lemma 3.7. The generators of
K[X5 ]SL2 (K) are
f1 = x22 − x1 x3 and f2 = x1 x25 − 2x2 x4 x5 + x3 x24 .
(vi) Let d = 6 and KX6 ∼
= V1 ⊕ V1 ⊕ V1 . Then
H((F6′ )SL2 (K) , z) =

6z 2 − z 6
,
(1 − z 2 )3

and
H(K[X5 ]SL2 (K) , z) =

1
.
(1 − z 2 )3

The generators of the K[X6 ]SL2 (K) -module (F6′ )SL2 (K) are
v1 = [x2 , x1 ],

v2 = [x4 , x3 ],

v5 = [x6 , x1 ] − [x5 , x2 ],
The generators of K[X6 ]

SL2 (K)

f1 = x1 x4 − x2 x3 ,

v3 = [x6 , x5 ],

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

and v6 = [x6 , x3 ] − [x5 , x4 ].

are

f2 = x1 x6 − x2 x5 ,

and f3 = x3 x6 − x4 x5 .

There is a relation of degree 6 between the generators:
v1 · f32 + v2 · f22 + v3 · f12 − v4 · f2 f3 + v5 · f1 f3 − v6 · f1 f2 = 0.
(vii) Let d = 6 and KX6 ∼
= V2 ⊕ V2 . Then
H((F6′ )SL2 (K) , z) =

z 2 + 2z 3 + 3z 4 − z 6
,
(1 − z 2 )3

and
H(K[X5 ]SL2 (K) , z) =

1
.
(1 − z 2 )3

22

VESSELIN DRENSKY, ŞEHMUS FINDIK

The generators of the K[X6 ]SL2 (K) -module (F6′ )SL2 (K) , the first one was obtained
in Lemma 3.7, are
v1 = [x6 , x1 ] − 2[x5 , x2 ] + [x4 , x3 ],
v2 = [x2 , x1 ] · x6 − [x3 , x1 ] · x5 + [x3 , x2 ] · x4 ,
v3 = [x6 , x1 ] · x5 − [x5 , x1 ] · x6 + [x4 , x2 ] · x6 − [x4 , x3 ] · x5 − [x6 , x2 ] · x4 + [x5 , x3 ] · x4 ,
v4 = [x3 , x1 ] · x25 + [x6 , x1 ] · (2x2 x5 − x1 x6 ) − [x4 , x3 ] · x3 x4 − 2[x2 , x1 ] · x5 x6
+[x5 , x1 ] · (2x2 x6 − 2x3 x5 ) + [x4 , x2 ] · (2x3 x5 − x2 x6 )
+[x5 , x2 ] · (2x3 x4 − 2x2 x5 ) − 2[x3 , x2 ] · x4 x5 − [x6 , x2 ] · x2 x4 ,
v5 = [x3 , x1 ] · (x1 x6 − 2x2 x5 ) + [x6 , x1 ] · (x22 − x1 x3 ) + [x2 , x1 ] · (2x3 x5 − 2x2 x6 )
+2[x5 , x1 ] · x2 x3 + [x4 , x2 ] · x2 x3 − 2[x5 , x2 ] · x22 + [x3 , x2 ] · x2 x4 − [x4 , x1 ] · x23 ,
and
v6 = [x6 , x1 ] · x4 x6 + [x4 , x3 ] · x4 x6 − 2[x5 , x1 ] · x5 x6 − 2[x4 , x2 ] · x5 x6 + 4[x5 , x2 ] · x25
−2[x6 , x2 ] · x4 x5 − 2[x5 , x3 ] · x4 x5 + [x4 , x1 ] · x26 + [x6 , x3 ] · x24 ,
while the generators of K[X6 ]SL2 (K) are
f1 = x1 x3 − x22 ,

f2 = x1 x6 − 2x2 x5 + x3 x4 ,

and f3 = x4 x6 − x25 ,

with a relation between the generators:
v4 · f2 + v5 · f3 − v6 · f1 + v1 · (f22 + f1 f3 ) = 0.
Now we explain one of the cases in detail.
Example 4.2. Let d = 4 and KX4 ∼
= V3 . Then we have the Hilbert series of the
algebras (F4′ )UT2 (K) and K[X4 ]UT2 (K) from [5, Example 5.2] as follows:
HGL2 ((F4′ )UT2 (K) , t1 , t2 , 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 )

t4 uz 2 + u3 z 2 + t2 u5 z 4 + tu7 z 5 − t4 u7 z 6
(1 − t3 z)(1 − tuz)(1 − u6 z 4 )

and
HGL2 (K[X4 ]UT2 (K) , t1 , t2 , z) =

(1 − t31 z)(1
3 3 3

1 + t61 t32 z 3
− t41 t22 z 2 )(1 − t61 t62 z 4 )

1+t u z
(1 −
− t2 u2 z 2 )(1 − u6 z 4 )
where t = t1 , u = t1 t2 . We know that Hilbert series of (F4′ )SL2 (K) and of
K[X4 ]SL2 (K) are obtained from the Hilbert series above, respectively, substituting t = 0 and u = 1. Note that the degree of u gives the information of symmetric
bidegrees of the homogeneous generators. Thus we have
=

t3 z)(1

1
z2
and H(K[X4 ]SL2 (K) , z) =
.
4
1−z
1 − z4
The Hilbert series suggest that the K[X4 ]SL2 (K) -module (F4′ )SL2 (K) has one generator of bidegree (3, 3) and degree 2, and K[X4 ]SL2 (K) is generated by a generator
of bidegree (6, 6) and degree 4. A candidate for a generator of K[X4 ]SL2 (K) is of
the form
f = c1 x21 x24 + c2 x1 x2 x3 x4 + c3 x1 x33 + c4 x32 x4 + c5 x22 x23 .
Since it is SL2 (K)-invariant, then it is preserved under the actions of g1 and g2 .
Easy computations give that (c1 , c2 , c3 , c4 , c5 ) = (1, −6, 4, 4, −3). We follow the
H((F4′ )SL2 (K) , z) =

CLASSICAL INVARIANT THEORY FOR FREE METABELIAN LIE ALGEBRAS

23

similar argument as in the previous case to obtain the generator of the K[X4 ]SL2 (K) module (F4′ )SL2 (K) of the form
v = d1 [x4 , x1 ] + d2 [x3 , x2 ],
and find that (d1 , d2 ) = (1, −3).
On the other hand, the Hilbert series of K[X4 ]SL2 (K) -submodule of (F4′ )SL2 (K)
generated by v = [x4 , x1 ] − 3[x3 , x2 ] is equal to the Hilbert series of whole algebra.
Thus (F4′ )SL2 (K) is a free cyclic K[X4 ]SL2 (K) -module generated by v. As a vector
space (F4′ )SL2 (K) is spanned by the elements v · f n , n ≥ 0, forming an infinite set
of generators of (F4′ )SL2 (K) as an algebra.
Acknowledgements
The second 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 part of this
project was carried out. The first named author is grateful to Leonid Bedratyuk
for the useful discussions on classical invariant theory.
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] 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.
[4] R. M. Bryant, On the fixed points of a finite group acting on a free Lie algebra, J. London
Math. Soc. (2) 43 (1991), 215-224.
[5] R. Dangovski, V. Drensky, Ş. Fındık, Weitzenböck derivations of free metabelian Lie algebras,
Linear Algebra Appl. 439 (2013), No. 10, 3279-3296.
[6] C. De Concini, D. Eisenbud, C. Procesi, Young diagrams and determinantal varieties, Invent.
Math. 56 (1980), 129-165.
[7] M. Domokos, V. Drensky, A Hilbert-Nagata theorem in noncommutative invariant theory,
Trans. Amer. Math. Soc. 350 (1998), 2797-2811.
[8] V. Drensky, Fixed algebras of residually nilpotent Lie algebras, Proc. Amer. Math. Soc. 120
(1994), 1021-1028.
[9] V. Drensky, Commutative and noncommutative invariant theory, Math. and Education in
Math., Proc. of the 24-th Spring Conf. of the Union of Bulgar. Mathematicians, Svishtov,
April 4-7, 1995, Sofia, 1995, 14-50.
[10] 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.
[11] R. Ehrenborg, G.-C. Rota, Apolarity and canonical forms for homogeneous polynomials, Eur.
J. Comb. 14 (1993), 157-181.
[12] E. B. Elliott, On linear homogeneous diophantine equations, Quart. J. Pure Appl. Math. 34
(1903), 348-377.
[13] E. Formanek, Noncommutative invariant theory, Contemp. Math. 43 (1985), 87-119.
[14] P. Gordan, Vorlesungen über Invariantentheorie, Herausgegeben von G. Kerschensteiner,
Zweiter Band: Binare Formen, Teubner, Leipzig, 1887. Reprinted by Chelsea Publishing
Company, New York, 1987.
[15] D. Hilbert, Über die vollen Invariantensysteme, Math. Ann. 42 (1893), 313-373. Reprinted
in Gesammelte Abhandlungen, Band II: Algebra. Invariantentheorie. Geometrie, 282-344,
Springer-Verlag, Berlin-Heidelberg-New York, 1970.

24

VESSELIN DRENSKY, ŞEHMUS FINDIK

[16] C. G. J. Jacobi, De determinantibus functionalibus, J. Reine Angew. Math. 22 (1841), 319359. Translation: Ueber die Functionaldeterminanten, Ostwald’s Klassiker d. exacten Wissensch. 78, Leipzig, W. Engelmann, 1896.
[17] O. G. Kharlampovich, M. V. Sapir, Algorithmic problems in varieties, Intern. J. Algebra and
Computation 5 (1995), 379-602.
[18] A. I. Kostrikin, The Burnside problem (Russian), Izv. Akad. Nauk SSSR, Ser. Mat. 23 (1959),
3-34. Translation: Amer. Math. Soc. Transl. (2) 36 (1964), 63-99.
[19] I. G. Macdonald, Symmetric Functions and Hall Polynomials, Oxford Univ. Press (Clarendon), Oxford, 1979, Second Edition, 1995.
[20] P. A. MacMahon, Combinatory Analysis, vols. 1 and 2, Cambridge Univ. Press. 1915, 1916.
Reprinted in one volume: Chelsea, New York, 1960.
[21] L. Makar-Limanov, U. Umirbaev, The Freiheitssatz for Poisson algebras, J. Algebra 328
(2011), 495-503.
[22] I. P. Shestakov, U. U. Umirbaev, Poisson brackets and two-generated subalgebras of rings of
polynomials, J. Amer. Math. Soc. 17 (2004), 181-196.
[23] 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.
[24] T. A. Springer, Invariant Theory, Lecture Notes in Mathematics 585, Springer-Verlag, BerlinHeidelberg-New York, 1977.
[25] R. M. Thrall, On symmetrized Kronecker powers and the structure of the free Lie ring, Amer.
J. Math. 64 (1942), 371-388.
[26] N. Vonessen, Actions of Linearly Reductive Groups on Affine PI-Algebras, Mem. Amer.
Math. Soc. 414, 1989.
[27] H. Weyl, The Classical Groups, Their Invariants and Representations, Princeton Mathematical Series 1, Princeton University Press, Princeton, NJ, 1946. Reprint in Princeton
Landmarks in Mathematics, 1997.
[28] E. I. Zel’manov, On Engel Lie algebras (Russian), Sibirsk. Mat. Zh. 29 (1988), No. 5, 112-117.
Translation: Siberian Math. J. 29 (1988), 777-781.
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

