HOMOGENEOUS LOCALLY NILPOTENT DERIVATIONS OF
NON-FACTORIAL TRINOMIAL ALGEBRAS

arXiv:1710.10610v1 [math.AG] 29 Oct 2017

YULIA ZAITSEVA
Abstract. We describe homogeneous locally nilpotent derivations of the algebra of regular functions for a class of affine trinomial hypersurfaces. This class comprises all nonfactorial trinomial hypersurfaces.

1. Introduction
Let K be an algebraically closed field of characteristic zero and R an algebra
over K. A derivation of R is a K-linear map δ : R → R satisfying the Leibniz rule:
δ(f g) = δ(f )g + f δ(g) for all f, g ∈ R. A derivation δ is called locally nilpotent if for
every f ∈ R there is an m ∈ Z>0 such that δ m (f ) = 0.
Let X be an irreducible affine algebraic variety over K and Ga = (K, +) the additive
group of the ground field. Locally nilpotent derivations of the algebra K[X] are known
to be in one-to-one correspondence with regular Ga -actions on the variety X, see e.g. [6,
Section 1.5].
Suppose that R is graded by a finitely generated abelian group K:
M
R=
Rw .
w∈K

A derivation δ : R → R is said to be homogeneous if it maps homogeneous elements to homogeneous ones. In such a case, there exists an element deg δ ∈ K satisfying δ(Rw ) ⊆ Rw+deg δ
for all w ∈ K. The element deg δ ∈ K is called the degree of δ.
Recall that an affine algebraic group is called a quasitorus if it is isomorphic to a direct
product of a torus and a finite abelian group. Suppose that a quasitorus H acts on the
variety X. Such an action corresponds to a grading on the algebra K[X] by the group of
characters K of the quasitorus H:
M
K[X] =
K[X]w , where K[X]w = {f | h ◦ f = w(h)f ∀h ∈ H}.
w∈K

It is easily shown that a locally nilpotent derivation of K[X] is homogeneous with respect
to this grading if and only if the quasitorus H normalizes the corresponding Ga -action
on X. A description of homogeneous locally nilpotent derivations enables us to describe
the automorphism group of an algebraic variety, see e.g. [3, Theorem 5.5], [2, Theorem 5.5].
Fix positive integers n0 , n1 , n2 and let n = n0 + n1 + n2 . For each i = 0, 1, 2, fix a tuple
lin
li = (lij | j = 1, . . . , ni ) of positive integers lij and define a monomial Tili = Ti1li1 . . . Tini i
in the polynomial algebra K[Tij , i = 0, 1, 2, j = 1, . . . , ni ]. By a trinomial we mean a
polynomial
g = T0l0 + T1l1 + T2l2 .
2010 Mathematics Subject Classification. Primary 13N15, 14R20; Secondary 13A50, 14J50.
Key words and phrases. Affine hypersurface, torus action, graded algebra, derivation.
1

2

YULIA ZAITSEVA

A trinomial hypersurface X(g) is the zero set {g = 0} in the affine space An . By R(g) =
K[X(g)] we denote the algebra of regular functions on X(g).
Our motivation to study trinomials comes from toric geometry. Consider an effective
action T × X → X of an algebraic torus T on an irreducible variety X. The complexity of
such an action is the codimension of a general T -orbit in X. It equals dim X − dim T .
Actions of complexity zero are actions with an open T -orbit. A normal variety admitting
a torus action with an open orbit is called a toric variety. If X is a toric (not necessary affine)
variety with the acting torus T , then Ga -actions on X normalized by T can be described
in terms of Demazure roots of the fan corresponding to X; see [5], [15, Section 3.4] for the
original approach and [13, 4, 3] for generalizations.
Let T × X → X be a torus action of complexity one. A description of Ga -actions on X
normalized by T in terms of proper polyhedral divisors may be found in [14] and [13]. It is
an interesting problem to find their explicit form in concrete cases.
The study of toric varieties is related to binomials, see e.g. [16, Chapter 4]. At the
same time, Cox rings establish a close relation between torus actions of complexity one and
trinomials, see [11, 10, 9, 3, 8]. In particular, any trinomial hypersurface admits a torus
action of complexity one.
In this paper we study locally nilpotent derivations of R(g) that are homogeneous with
respect to the ”finest” grading. This grading is defined in Construction 1. The ”finest” grading corresponds to an effective action of a quasitorus H on X(g). The neutral component
of the quasitorus H is a torus of dimension n − 2.LIt acts on X(g) with complexity one.
The weight monoid of a graded algebra R =
Rw is the set S = {w ∈ K | Rw 6= 0}.
w∈K

The weight cone of R is the convex cone ω in the rational vector space KQ = K ⊗Z Q
generated by the weight monoid S. A homogeneous derivation is said to be primitive if its
degree does not lie in the weight cone ω ⊆ KQ . It is clear that every primitive derivation
is locally nilpotent. The converse is false, see Example 7. An explicit description of all
primitive derivations of R(g) that are homogeneous with respect to the ”finest” grading
is given in [3, Theorem 4.3]1. Such derivations have the form hδC,β , where δC,β are some
special primitive derivations of R(g) (see [3, Construction 4.2] or Construction 2 below),
and h is a homogeneous element in the kernel of δC,β . We call derivations of the form hδC,β
elementary.
We expect that all homogeneous locally nilpotent derivations of trinomial algebras are
elementary (see Conjecture 1 in Section 5). We verify this conjecture in Theorem 1 for some
types of trinomials. In particular, the conjecture is proved for all non-factorial trinomial
hypersurfaces (Corollary 1). Corollary 2 gives a criterion for existence of homogeneous
locally nilpotent derivations of trinomial algebras. It enables us to give a new proof of
criteria for rigidity of factorial trinomial hypersurfaces, which was proved earlier in [1,
Theorem 1] (see Corollary 3).
The author is grateful to her supervisor Ivan Arzhantsev for posing the problem and
permanent support and to Sergey Gaifullin for useful discussions and comments.
2. Preliminaries
In this section the ”finest” deg-grading and elementary derivations of a trinomial algebra
are defined.
1In

[3], a more general class of affine varieties defined by a system of trinomials is studied, see [3,
Construction 3.1] for details.

HOMOGENEOUS DERIVATIONS OF TRINOMIAL ALGEBRAS

3

Construction 1. Fix positive integers n0 , n1 , n2 and let n = n0 + n1 + n2 . For each
i = 0, 1, 2, fix a tuple of positive integers li = (lij | j = 1, . . . , ni ) and define a monomial
lin
Tili = Ti1li1 . . . Tini i ∈ K[Tij , i = 0, 1, 2, j = 1, . . . , ni ]. By a trinomial we mean a polynomial
of the form
g = T0l0 + T1l1 + T2l2 .
A trinomial hypersurface X(g) is the zero set {g = 0} in the affine space An . It can
be checked that the polynomial g is irreducible, hence the algebra R(g) := K[Tij ] / (g)
of regular functions on X(g) has no zero divisors. We call such algebras R(g) trinomial.
We use the same notation for elements of K[Tij ] and their projections to R(g).
Following [9], we build a 2 × n matrix L from the trinomial g as follows:


−l0 l1 0
L=
.
−l0 0 l2
Let L∗ be the transpose of L. Denote by K the factor group K = Zn / Im L∗ and by
Q : Zn → K the projection. Let eij ∈ Zn , i = 0, 1, 2, j = 1, . . . , ni , be the canonical basis
vectors. The equalities
deg Tij = Q(eij )
(1)
define a K-grading on the algebra K[Tij ].
Since g is a homogeneous polynomial of degree
µ = li1 Q(ei1 ) + . . . + lini Q(eini )
for some µ ∈ K and any i = 0, 1, 2, it follows that equalities (1) define a K-grading
on R(g) = K[Tij ] / (g) as well. By ”deg” we denote the degree with respect to this grading.


−1 −3 3 0
3
3
2
Example 1. Let g = T01 T02 + T11 + T21 , i.e., L =
.
−1 −3 0 2
Since the
can be reduced by integer elementary row and column operations to
 matrix L 
1 0 0 0
the form
, it follows that the grading group K = Z4 / Im L∗ is isomorphic
0 1 0 0
to Z2 . The grading can be given explicitly via
 
 
 
 
−3
1
0
0
deg T01 =
, deg T02 =
, deg T11 =
, deg T21 =
.
3
1
2
3


−1
−1
1
1
0
2
Example 2. Let g = T01 T02 + T11 T12 + T21
and L =
.
−1 −1 0 0 2
 The matrix L
 can be reduced by elementary row and column operations to the form
1 0 0 0 0
, hence the group K = Z5 / Im L∗ is isomorphic to Z3 . We can define the
0 1 0 0 0
grading explicitly via
 
 
 
 
 
0
1
0
2
2
deg T01 = 0 , deg T02 =  2  , deg T11 = 2 , deg T12 =  0  , deg T21 = 1 .
0
1
−1
1
−1


−2 2 0
2
2
2
Example 3. Let g = T01
+ T11
+ T21
and L =
.
−2 0 2


2 0 0
Since L can be reduced to the form
, it follows that K = Z3 / Im L∗ is iso0 2 0
morphic to Z ⊕ Z2 ⊕ Z2 . Denote Z2 = {[0]2 , [1]2 }; the grading can be given explicitly

4

YULIA ZAITSEVA

via
deg T01




1
= [0]2  ,
[0]2

deg T11




1
= [1]2  ,
[0]2

deg T21




1
= [0]2  .
[1]2

The following lemma shows that the constructed deg-grading is the ”finest” grading of
the algebra R(g) such that all generators Tij are homogeneous.
Lemma 1. Let deg be the K-grading on the algebra R(g) defined in Construction 1 and
d be any K-grading
b
b such that all generators Tij are
deg
on R(g) by some abelian group K
d = ψ ◦ deg for some homomorphism ψ : K → K.
b In particular, any
homogeneous. Then deg
derivation that is homogeneous with respect to deg-grading is homogeneous with respect to
d
deg-grading
too.

d Tij determine a well-defined grading on the algebra R(g) if
Proof. The weights w
bij = deg
d
and only if the polynomial g is homogeneous with respect to the deg-grading,
i.e., the sums
b
li1 w
bi1 + . . . + lini w
bini ∈ K are the same for all i = 0, 1, 2. Factorization of Zn = heij i
∗
by Im L provides these equalities for the images of eij in K. Any other grading on R(g)
such that generators Tij are homogeneous is obtained by further factorization of the group
K = Zn / Im L∗ , and this factorization is the required map ψ.

The following construction is given in [3] and is described below
in the case of trinomial

−1 1
hypersurfaces (in notation of [3] that is r = 2, A = 10 −1
,
g
= gI for I = {0, 1, 2},
0
R(g) = R(A, P0 )).
Construction 2. Let us define a derivation δC,β of R(g). The input data are
• a sequence C = (c0 , c1 , c2 ), where ci ∈ Z, 1 6 ci 6 ni ;
• a vector β = (β0 , β1 , β2 ) such that βi ∈ K, β0 + β1 + β2 = 0.
It is clear that for β 6= 0 as above either all entries βi differ from zero or there is a unique i0
with βi0 = 0. According to these cases, we put further conditions and define:
(i) if βi 6= 0 for all i = 0, 1, 2 and there is at most one i1 with li1 ci1 > 1, then we set
 Q lk
∂Tk
βi
, j = ci ,
∂Tkck
δC,β (Tij ) =
k6=i

0,
j 6= ci ;

(ii) if βi0 = 0 for a unique i0 and there is at most one i1 with i1 6= i0 and li1 ci1 > 1, then

l
βi Q ∂Tkk , j = ci ,
∂Tkck
δC,β (Tij ) =
k6=i,i0

0,
j 6= ci .

These assignments define a map δC,β on generators Tij . It can be extended uniquely to
a derivation on K[Tij ] by Leibniz rule. Clearly we have δC,β (g) = 0, whence the constructed
map induces a well-defined derivation of the factor algebra R(g).
Lemma 2. Every derivation δC,β of the algebra R(g) is primitive and locally nilpotent.
The proof is given in [3, Construction 4.2].
Let h ∈ R(g) be a homogeneous element in the kernel of a derivation δC,β . The derivation hδC,β is also locally nilpotent.

HOMOGENEOUS DERIVATIONS OF TRINOMIAL ALGEBRAS

5

Definition. We say that a derivation of a trinomial algebra R(g) is elementary if it has the
form hδC,β , where h is a homogeneous element in the kernel of δC,β . In addition, elementary
derivations of Type I are elementary derivations with δC,β corresponding to case (i) in
Construction 2; derivations of Type II are elementary derivations with δC,β corresponding
to case (ii).
3
3
2
Example 4. Suppose g = T01 T02
+ T11
+ T21
(see Example 1). Let us find all elementary
derivations of the algebra R(g). Note that there is a unique variable T01 in g with exponent 1. Hence only case (ii) with i0 6= 0, C = (1, 1, 1), is possible. Thus we have two cases
for elementary derivations of Type II:
(a) i0 = 1, that is β = (β0 , 0, −β0 ) for some β0 ∈ K. Then
3
δC,β (T01 ) = 2β0 T21 , δC,β (T02 ) = 0, δC,β (T11 ) = 0, δC,β (T21 ) = −β0 T02
,
∂
∂
3
i.e., δC,β = 2β0 T21
− β0 T02
, h ∈ Ker δC,β ;
∂T01
∂T21
(b) i0 = 2, that is β = (β0 , −β0 , 0) for some β0 ∈ K. Then
3
2
δC,β (T01 ) = 3β0 T11
, δC,β (T02 ) = 0, δC,β (T11 ) = −β0 T02
,
∂
∂
3
2
− β0 T02
, h ∈ Ker δC,β .
i.e., δC,β = 3β0 T11
∂T01
∂T11

δC,β (T21 ) = 0,

2
Example 5. Let g = T01 T02 +T11 T12 +T21
(see Example 2). There is a unique variable Tij in
the trinomial with exponent lij such that lij > 1. Hence the algebra R(g) admits elementary
derivations of both types: we can take any sequence C = (c0 , c1 , 1), c0 , c1 ∈ {1, 2}, and any
vector β = (β0 , β1 , β2 ) under the condition β0 + β1 + β2 = 0. Let us give an example of
elementary derivation of Type I:
∂
∂
∂
+ T01 T21
− T01 T11
.
δC,β = T11 T21
∂T02
∂T12
∂T21
2
2
2
Example 6. Let g = T01
+ T11
+ T21
(see Example 3); all exponents in this trinomial are
greater than 1. Hence there exists no elementary derivation.

3. Auxiliary lemmas
We use notation introduced in the previous section. Let us recall some definitions. Let K
be an abelian group and R a K-graded algebra. By a K-prime element of R we mean a
homogeneous nonzero nonunit f ∈ R such that f | gh with homogeneous g, h ∈ R implies
f | g or f | h. We say that R is factorially K-graded if every nonzero homogeneous
nonunit of R is a product of K-primes. It is clear that this decomposition is unique up to
permutation of factors and multiplication by units.
Lemma 3. With the notation of Construction 1, the following statements hold.
(a) The generators Tij are pairwise nonassociated K-prime elements of R(g).
(b) The algebra R(g) is factorially K-graded.
This was proved in [9, Proposition 2.2(i) and Theorem 1.1(i)].
The following two lemmas include basic properties of locally nilpotent derivations.
Lemma 4. Suppose δ : R → R is a locally nilpotent derivation of a domain R and f, g ∈ R.
(a) If f | δ(f ), then δ(f ) = 0.
(b) The derivation f δ is locally nilpotent if and only if f ∈ Ker δ holds.
(c) If f | δ(g) and g | δ(f ), then δ(f ) = 0 or δ(g) = 0.

6

YULIA ZAITSEVA

(d) If δ =

P

δi , where all derivations δi are homogeneous with respect to some

m6i6n

Z-grading on R, δm , δn 6= 0, then δm and δn are locally nilpotent.
The proof can be found, for example, in [6, Principles 5, 7, 14 and Corollary 1.20].
Lemma 5. Let R be a finitely generated Zk -graded domain. If there exists a nonzero locally
nilpotent derivation of R, then R admits a nonzero homogeneous locally nilpotent derivation.
Proof. Denote given locally nilpotent derivation on R by δ (0) . Consider a Z-grading on the
algebra R induced by the first component in Zk . Since R is finitely generated, we have
P (0)
(0)
δ (0) =
δi for some homogeneous derivations δi . It follows from Lemma 4(d) that
(1)

m6i6n
(0)
δn is a

δ =
nonzero locally nilpotent derivation that is homogeneous with respect to the
Z-grading by the first component of Zk . Applying Lemma 4(d) k − 1 times to Z-gradings
by other components of Zk gives a derivation δ (k) that is homogeneous with respect to the
grading by all components of Zk , i.e., with respect to the Zk -grading.

The following lemma is proved in [7, Lemma 3.4]. For convenience of the reader we give
a short proof below.

Lemma 6. Let δ be a deg-homogeneous locally nilpotent derivation of an algebra R(g).
Then there exists at most one variable Tij in every monomial Tili such that δ(Tij ) 6= 0.
Proof. Assume the converse. Then there is a monomial with at least two variables not
belonging to the kernel of the derivation. We can assume that these variables are T01 and
T02 in T0l0 .
Consider the following grading on the algebra K[Tij ]:
Tij
d Tij
deg

T01

T02

l02

−l01

T03 . . . T0n0 T11 . . . T1n1 T21 . . . T2n2
0

...

0

0

...

0

0

...

0

The trinomial g is homogeneous (of degree 0) with respect to this grading, therefore the
d
deg-grading
is a well-defined grading on the factor algebra R(g).
d
By Lemma 1, it follows that the derivation δ is deg-homogeneous.
Then we have the
following two cases.
d δ > 0. Then deg
d δ(T01 ) = deg
d δ + deg
d T01 > 0. Note that T01 is a unique variable
1) deg
with a positive degree. Hence every monomial in δ(T01 ) includes T01 and therefore T01
divides δ(T01 ). But δ(T01 ) 6= 0 by assumption. This contradicts Lemma 4(a).
d δ 6 0. Then deg
d δ(T02 ) = deg
d δ + deg
d T02 < 0. In the same way, T02 divides δ(T02 )
2) deg
and this contradicts Lemma 4(a).

4. Main results
The following proposition and its proof are variations on [3, Theorem 4.3]. The distinctions are the following. We consider only the case of trinomial hypersurfaces, and in [3,
Theorem 4.3] varieties defined by a system of trinomials are studied. At the same time, we
need only the assumption that images of monomials are proportional, and do not use the
primitivity of derivations. The latter condition is stronger, since according to [3, Proposition 3.5], the dimension of the homogeneous component of degree w is equal to 1 whenever
w − deg g does not lie in the weight cone.

HOMOGENEOUS DERIVATIONS OF TRINOMIAL ALGEBRAS

7

Proposition 1. Let δ : R(g) → R(g) be a deg-homogeneous locally nilpotent derivation.
Suppose that δ(T0l0 ), δ(T1l1 ), and δ(T2l2 ) lie in a subspace of R(g) of dimension 1. Then the
derivation δ is elementary.
Proof. According to Lemma 6, there is at most one variable Tij in each monomial Tili such
that δ(Tij ) 6= 0. Let K = {i | ∃ci : δ(Tici ) 6= 0}.
Let us prove that if δ(Tici ) 6= 0 and δ(Tkck ) 6= 0, then lici = 1 or lkck = 1. Assume the
converse, so lici 6= 1 and lkck 6= 1. By the above, we obtain
δ(Tili )

∂Tili
= δ(Tici )
.
∂Tici

(2)

Since lici 6= 1, we have Tici | ∂Tili /∂Tici , therefore Tici | δ(Tili ). Similarly, Tkck | δ(Tklk ). By
assumption, δ(Tili ) and δ(Tklk ) are proportional, hence Tkck | δ(Tili ) and Tici | δ(Tklk ). At the
same time, according to (2), δ(Tili ) is a product of δ(Tici ) and variables that are not equal
to Tkck , whence by Lemma 3(b) we have Tkck | δ(Tici ). For the same reason, Tici | δ(Tkck ),
which contradicts Lemma 4(c).
Thus lici > 1 holds for at most one i ∈ K.
The elements δ(Tili ) are proportional, that is there exists an f ∈ R(g) such that
δ(Tili ) ∈ Kf for any i. It follows from equality (2) that ∂Tili /∂Tici divides f for all i ∈ K.
Q
∂Tili /∂Tici divides f . Denote
The application of Lemma 3(b) yields that the product
i∈K

this ratio by h. From (2) we have

Y ∂T li
i
,
f =h
∂T
ici
i∈K

δ(Tici ) =


βi h

0,

Q

k∈K\{i}

l

∂Tkk
,
∂Tkck

i ∈ K,
i∈
/ K.

Let βi = 0 for all i ∈
/ K. Let us show that the sum of all βi is equal to 0. Note that g
should divide


!
l
li
l
k
i
Y ∂T
X
X
Y ∂T lk
X
∂T
∂Ti
i
k 
k
βi h
=
=h
βi
δ(g) =
δ(Tici )
∂T
∂T
∂T
∂T
ici
kck
ici
kck
i∈K
i∈K
k∈K
i∈K
k∈K\{i}

in the algebra K[Tij ], since δ is a well-defined
 derivation of the algebra R(g). But the
Q
lk
trinomial g and the monomial
∂Tk /∂Tkck are coprime in the factorial algebra K[Tij ].
P k∈K
P
P
Hence g divides the sum
βi , whence
βi =
βi = 0.
i∈K

i∈K

i

Now let C = (c0 , c1 , c2 ) be any sequence completing the ci , where i ∈ K. Then we have
δ = hδC,β . The fact that h belongs to the kernel of δC,β follows from Lemma 4(b).

We come to the main result of the paper.

Theorem 1. Let R(g) be a trinomial algebra. Suppose that there is at most one monomial
in g including a variable with exponent 1, that is (li1 j1 = li2 j2 = 1) ⇒ (i1 = i2 ). Then every
deg-homogeneous locally nilpotent derivation of the algebra R(g) is elementary of Type II.
Proof. Let us denote a deg-homogeneous locally nilpotent derivation of the algebra R(g)
by δ. By Lemma 6, there is at most one variable Tij in every monomial Tili such that
δ(Tij ) 6= 0. Let K = {i | ∃ci : δ(Tici ) 6= 0}.
1) Fix any i ∈ K such that lici > 1. We claim that Tici divides δ(Tkck ) for any k ∈ K \ {i}.

8

YULIA ZAITSEVA

Denote by Zm = {[0]m , [1]m , . . . , [m − 1]m } the cyclic group of order m. Consider the
following Zlici-grading on R(g):
Tks
d Tks
deg

T01

T02

...

Tici

...

T2n2

[0]lici [0]lici . . . [1]lici . . . [0]lici

It is well defined since lici [1]lici = [0]lici , i.e., all monomials in g have the same degree [0]lici .
d
By Lemma 1, the derivation δ is deg-homogeneous.
d δ(Tic ) 6= [0]l then Tic divides δ(Tic ). Indeed, this inequality implies that the
If deg
i
ici
i
i
degrees of all monomials in δ(Tici ) do not equal [0]lici , and it is possible only if every
monomial includes Tici (since Tici is a unique variable with a nonzero degree).
On the other hand, the fact that Tici divides δ(Tici ) together with δ(Tici ) 6= 0 contradicts
d δ(Tic ) = [0]l . Whence deg
d δ = [lic − 1]l 6= [0]l . In particular,
Lemma 4(a). Thus deg
i
ici
i
ici
ici
d
deg δ(Tkc ) 6= [0]l for k ∈ K \ {i}, and therefore Tic divides δ(Tkc ).
k

ici

i

k

2) Let us show that |K| 6 2. Assume the converse. By assumptions of the theorem,
|{i | lici = 1}| 6 1, whence |{i ∈ K | lici > 1}| > 2. Take any distinct i, k from the
latter set. According to 1), Tici divides δ(Tkck ) and Tkck divides δ(Tici ), which contradicts
Lemma 4(c).
3) Thus |K| 6 2. Then there are at most two nonzero δ(Tili ). On the other hand,
δ(T0l0 ) + δ(T1l1 ) + δ(T2l2 ) = δ(g) = 0 in the algebra R(g). Consequently, δ(T0l0 ), δ(T1l1 ),
and δ(T2l2 ) lie in a subspace of dimension 1. According to Proposition 1, the derivation δ
is elementary. In addition, there are at most two nonzero δ(Tili ). This implies that δ is
elementary of Type II.


If a trinomial contains a linear term (i.e., ni li1 = 1 for some i = 0, 1, 2), then the
corresponding trinomial hypersurface is isomorphic to the affine space Kn−1 . Further we
assume that ni li1 > 1 for all i = 0, 1, 2. According to [9, Theorem 1.1(ii)], in this case the
following statement holds.
Proposition 2. The following conditions are equivalent:
(a) the algebra R(g) is factorial;
(b) the group K is torsion free;
(c) the numbers di := gcd(li1 , . . . , lini ) are pairwise coprime.
This proposition enables us to prove some consequences of Theorem 1.
Corollary 1. If an algebra R(g) is non-factorial, then any deg-homogeneous locally nilpotent derivation of R(g) is elementary of Type II.
Proof. Let R(g) be a trinomial algebra that does not satisfy the conditions of Theorem 1.
It suffices to show that R(g) is factorial.
By assumption, g has at least two monomials including variables with exponent 1. Therefore at least two of d0 , d1 , d2 are equal to 1, whence the numbers d0 , d1 , d2 are pairwise
coprime. By Proposition 2, R(g) is factorial.

Corollary 2. The algebra R(g) admits a nonzero deg-homogeneous locally nilpotent derivation if and only if lij = 1 for some i = 0, 1, 2, j = 1, . . . , ni .
Proof. If the condition lij = 1 holds for some pair (i, j), then there exists a derivation of
the form δC,β (see Construction 2, case (ii)). It is deg-homogeneous and locally nilpotent.

HOMOGENEOUS DERIVATIONS OF TRINOMIAL ALGEBRAS

9

Let us prove the inverse implication by contradiction. Let lij > 2 for all i = 0, 1, 2,
j = 1, . . . , ni . Together with Theorem 1 this implies that all homogeneous locally nilpotent
derivations of R(g) are of the form hδC,β (where h ∈ Ker δC,β ). However it follows from
Construction 2 that there is no derivation of the form δC,β under the condition lij > 2 for
all i = 0, 1, 2, j = 1, . . . , ni . This contradiction proves the corollary.

An affine variety is called rigid if its algebra of regular functions admits no nonzero
locally nilpotent derivation. Geometrically, this means that the variety admits no nontrivial Ga -action. The automorphism group of a rigid trinomial variety is described in [2,
Theorem 5.5].
Corollary 2 enables us to obtain a new proof of the result proved earlier in [1, Theorem 1].
Corollary 3. A factorial trinomial hypersurface X(g) is rigid if and only if lij > 2 for any
i = 0, 1, 2, j = 1, . . . , ni .
Proof. If the condition lij > 2 does not hold for some (i, j), then there exists a derivation
of the form δC,β (see Construction 2, case (ii)). This implies the ”only if” part.
Let us prove the ”if” part. According to Corollary 2, there exists no nonzero deghomogeneous locally nilpotent derivation of the algebra R(g). By Proposition 2 together
with factoriality we have that the group K is torsion free. Then by Lemma 5 the nonexistence of nonzero deg-homogeneous locally nilpotent derivations implies the nonexistence
of any nonzero locally nilpotent derivations of R(g). This means rigidity.

3
3
2
Example 7. Consider g = T01 T02
+T11
+T21
(see Examples 1 and 4). This trinomial satisfies
conditions of Theorem 1, whence all deg-homogeneous locally nilpotent derivations δ of R(g)
are divided into two classes:
∂
∂
3
(a) δ = 2hβ0 T21
− hβ0 T02
, where h ∈ Ker δC,β , C = (1, 1, 1), β = (β0 , 0, −β0 );
∂T01
∂T21
∂
∂
3
2
− hβ0 T02
, where h ∈ Ker δC,β , C = (1, 1, 1), β = (β0 , −β0 , 0).
(b) δ = 3hβ0 T11
∂T01
∂T11
Some of them are not primitive, i.e., deg δ = deg hδC,β does not lie in the weight cone ω
for some h ∈ Ker δC,β . Let us consider an example. The weight monoid is generated by
vectors
 
 
 
 
−3
1
0
0
deg T01 =
, deg T02 =
, deg T11 =
, deg T21 =
,
3
1
2
3
 
u
whence the weight cone ω is the angle {−u 6 v 6 u}, where deg =
(see Figure 1).
v
 
3
k
In case (a), we have deg δC,β =
. Since for any k ∈ Z>0 the polynomial h = T11
0
k
belongs to the kernel
of δC,β
the derivation
T11
δC,β is homogeneous and locally nilpotent.
 
, 
 
3
3
0
=
and lies in the weight cone for k > 2.
+
Its degree equals k
0
2k
2
2
2
2
Example 8. Let g = T01
+ T11
+ T21
(see Examples 3 and 6). According to Corollary 2,
there exists no deg-homogeneous locally nilpotent derivation of R(g).
Nevertheless the algebra R(g) admits a nonzero locally nilpotent derivation. For example,
consider the following derivation δ:

δ(T01 ) = iT21 ,

δ(T11 ) = −T21 ,

δ(T21 ) = −iT01 + T11 ,

where i ∈ K, i2 = −1. The derivation δ is locally nilpotent, since δ(−iT01 + T11 ) = 0,
δ 2 (T21 ) = 0, δ 3 (T01 ) = 0.

10

YULIA ZAITSEVA

v
deg T01

2
deg T11
δC,β

ω
deg T21
deg T11

deg T11 δC,β

deg T02
deg δC,β

u

Figure 1. The weight cone in Example 7
5. Open questions
In this section we discuss several open questions related to locally nilpotent derivations
of trinomial algebras.
Conjecture 1. All deg-homogeneous locally nilpotent derivations of a trinomial algebra
are elementary.
In the proof of Theorem 1 we apply Proposition 1 to confirm Conjecture 1 for trinomial
algebras R(g) corresponding to trinomials g under the following condition: there exists
at most one monomial in g including variables with exponent 1. We would like to apply
Proposition 1 in the remaining case too, that is, when there exist at least two monomials
in g including variables with exponent 1. In this case, by Proposition 2, the algebra R(g)
is factorial, the group K is torsion free, and a quasitorus, whose action corresponds to the
deg-grading, is a torus of dimension n − 2. In [12], all deg-homogeneous locally nilpotent
derivations for several trinomial hypersurfaces are described. These hypersurfaces do not
satisfy the conditions of Theorem 1. In particular, the following statements are proved in
[12, Theorem 3.22 and Theorem 3.24].
Example 9 (compare with Example 5). Any deg-homogeneous locally nilpotent derivation
2
of the algebra R(g), where g = T01 T02 + T11 T12 + T21
, has the form


∂
∂
p
k l
λT0i T1j T21 T1j
− T0i
or
∂T1ī
∂T1j̄


∂
α0 + α1
∂
∂
k l
p
+ α1 T0i T21
−
,
T0i T1j
T0i T1j (α1 T01 T02 − α0 T11 T12 ) α0 T1j T21
∂T0ī
∂T1j̄
2
∂T21
where k, l, p ∈ Z>0 , {i, ī} = {j, j̄} = {1, 2}, α0 , α1 , λ ∈ K, α0 + α1 6= 0.
Example 10. Any deg-homogeneous locally nilpotent derivation of the algebra R(g), where
g = T01 T02 + T11 T12 + T21 T22 , has the form


∂
∂
∂
k0 k1 k2
p
T0i0 T1i1 T2i2 (α2 T11 T12 − α1 T21 T22 ) α0 T1i1 T2i2
+ α1 T0i0 T2i2
+ α2 T0i0 T1i1
,
∂T0ī0
∂T1ī1
∂T2ī2
where k0 , k1 , k2 , p ∈ Z>0 , {i0 , ī0 } = {i1 , ī1 } = {i2 , ī2 } = {1, 2}, α0 , α1 , α2 ∈ K, (α0 , α1 , α2 ) 6=
(0, 0, 0), and α0 + α1 + α2 = 0.

HOMOGENEOUS DERIVATIONS OF TRINOMIAL ALGEBRAS

11

One can check that any derivation δ from these examples is elementary, so Conjecture 1
holds in these cases. Moreover, δ(T0l0 ), δ(T1l1 ), and δ(T2l2 ) lie in a subspace of dimension 1,
hence Conjecture 1 can be confirmed in these cases by Proposition 1 as well.
Besides the ”finest” deg-grading on the algebra R(g) by the group K one can consider
another grading on R(g) by the torsion free component K0 of K. Notice that the condition
to be homogeneous with respect to the deg-grading by the group K is more restrictive
than the condition to be homogeneous with respect to the grading by K0 . According to
Proposition 2, the deg-grading by K coincides with the grading by K0 if and only if the
algebra R(g) is factorial.
2
2
2
Example 11. Let g = T01
+ T11
+ T21
(see Examples 3, 6, and 8). According to Example 3,
we have K = Z + Z2 + Z2 . Therefore K0 = Z and the degree with respect to the grading
by K0 is equal to the standard degree of a polynomial (the sum of exponents). Hence the
derivation δ from Example 8 is homogeneous with respect to the grading by K0 . At the
same time, according to Example 8, there is no nonzero locally nilpotent derivation that is
homogeneous with respect to the K-grading.

If the algebra R(g) admits no nonzero K0 -homogeneous locally nilpotent derivation, then
by Lemma 5 R(g) admits no nonzero locally nilpotent derivation, i.e., the variety X(g) is
rigid.
Problem 1. Describe all locally nilpotent derivations of a trinomial algebra R(g) that are
homogeneous with respect to the K0 -grading.
Whereas the K-grading corresponds geometrically to the action of a quasitorus on the
trinomial hypersurface, the K0 -grading corresponds to the action of its neutral component,
i.e., of the maximal torus. This means that Problem 1 asks for a description of Ga -actions
normalized by the maximal torus, that is, of root subgroups in the automorphism group of
a trinomial hypersurface.
Problem 2. Describe all (not necessary homogeneous) locally nilpotent derivations of a
trinomial algebra R(g).
References
[1] Ivan Arzhantsev. On rigidity of factorial trinomial hypersurfaces. Int. J. Algebra Comput. 26 (2016),
no. 5, 1061–1070
[2] Ivan Arzhantsev and Sergey Gaifullin. The automorphism group of a rigid affine variety. Math.
Nachrichten 290 (2017), no. 5-6, 662–671
[3] Ivan Arzhantsev, Jürgen Hausen, Elaine Herppich, and Alvaro Liendo. The automorphism group of a
variety with torus action of complexity one. Moscow Math. J. 14 (2014), no. 3, 429–471
[4] Ivan Arzhantsev and Alvaro Liendo. Polyhedral divisors and SL2 -actions on affine T-varieties. Michigan
Math. J. 61 (2012), no. 4, 731–762
[5] Michel Demazure. Sous-groupes algébriques de rang maximum du groupe de Cremona. Ann. Sci. École
Norm. Sup. 3 (1970), 507–588
[6] Gene Freudenburg. Algebraic theory of locally nilpotent derivations. Encyclopaedia Math. Sci., vol. 136,
Springer, Berlin, 2006
[7] Sergey Gaifullin. Automorphisms of Danielewski varieties. arXiv:1709.09237, 22 pages
[8] Jürgen Hausen and Milena Wrobel. Non-complete rational T -varieties of complexity one. Math.
Nachrichten 290 (2017), no. 5-6, 815–826
[9] Jürgen Hausen and Elaine Herppich. Factorially graded rings of complexity one. In: Torsors, étale
homotopy and applications to rational points. London Math. Soc. Lecture Note Series 405, 414–428,
2013

12

YULIA ZAITSEVA

[10] Jürgen Hausen, Elaine Herppich, and Hendrik Süß. Multigraded factorial rings and Fano varieties with
torus action. Documenta Math. 16 (2011), 71–109
[11] Jürgen Hausen and Hendrik Süß. The Cox ring of an algebraic variety with torus action. Advances
Math. 225 (2010), no. 2, 977–1012
[12] Polina Kotenkova. Torus actions and locally nilpotent derivations. PhD Thesis, Moscow State University, Moscow, 2014
[13] Alvaro Liendo. Affine T-varieties of complexity one and locally nilpotent derivations. Transform.
Groups 15 (2010), no. 2, 398–425
[14] Alvaro Liendo. Ga -actions of fiber type on affine T-varieties. J. Algebra 324 (2010), no. 12, 3653–3665
[15] Tadao Oda. Convex bodies and algebraic geometry: an introduction to the theory of toric varieties. A
Series of Modern Surveys in Math. 15, Springer, Berlin, 1988
[16] Bernd Sturmfels. Gröbner bases and convex polytopes. University Lecture Series, vol. 8, AMS, Providence, Rhode Island, 1996
Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, Department of Higher Algebra, Leninskie Gory 1, Moscow, 119991 Russia
E-mail address: yuliazaitseva@gmail.com

