---
abstract: 'Let $A$ be a commutative associative integrally closed $\kk$-algebra without zero divisors effectively graded by a lattice. We obtain a criterion of local nilpotency of the sum of two homogeneous locally nilpotent derivations (LNDs) of fiber type on $A$ in terms of their degrees. The same problem is solved for commutators of two homogeneous LNDs.'
address: 'Department of Higher Algebra, Faculty of Mechanics and Mathematics, Moscow State University, Leninskie Gory 1, GSP-1, Moscow, 119991, Russia'
author:
- Elena Romaskevich
title: On sums of homogeneous locally nilpotent derivations
---

Introduction {#introduction .unnumbered}
============

Let $\kk$ be an algebraically closed field of characteristic zero. We consider an algebraic torus $\TT\simeq(\kk^{\times})^n$ acting effectively on a normal affine variety $X$ and the corresponding grading of the algebra $A=\kk[X]$ by the lattice $M$ of characters of $\TT$.

In this paper we study some properties of homogeneous locally nilpotent derivations (LNDs). A derivation ${\partial}$ on $A$ is said to be [*locally nilpotent*]{} if for each $a\in A$ there exists $n\in \ZZ_{>0}$ such that ${\partial}^n(a)=0$. LNDs on $A$ are in one-to-one correspondence with regular actions of the group $\GG_a(\kk)=(\kk,+)$ on $X$, see [@GF]. It is easy to see that a derivation ${\partial}$ on $A$ is homogeneous if and only if the corresponding $\GG_a(\kk)$-action is normalized by the torus $\TT$.

We use a description of homogeneous LNDs on an $M$-graded algebra $A$. Recall that a homogeneous LND on $\kk[X]$ is said to be of [*fiber type*]{} if ${\partial}(\kk(X)^{\TT})=0$, see Definition $\ref{def-fiber/horizontal}$. In geometric terms, ${\partial}$ is of fiber type if and only if generic orbits of the corresponding $\GG_a(\kk)$-action are contained in the closures of $\TT$-orbits. A complete classification of homogeneous LNDs of fiber type is due to A. Liendo, see [@AL-2].

A problem that one faces when dealing with locally nilpotent derivations is that the set of all LNDs on an algebra $A$ admits no obvious algebraic structure. In Epilogue to [@GF] G. Freudenburg poses several natural questions concerning the structure of $\LND(A)$. Namely, given ${\partial}_1,{\partial}_2\in \LND(A)$, under what conditions are $[{\partial}_1,{\partial}_2]$ and ${\partial}_1+{\partial}_2$ locally nilpotent? These questions are still open in general. Some results were otained by M. Ferrero, Y. Lequain, and A. Nowicki in [@MF+YL+AN]. Namely, given two commuting locally nilpotent derivations $d, \delta$ $\in \Der(R)$ and an element $a \in R$, it is proven that the derivation $ad + \delta$ is locally nilpotent if and only if $d(a) = 0$.

In this note we give a complete answer to the above-mentioned questions for homogeneous locally nilpotent derivations of fiber type. Namely, ${\partial}_1+{\partial}_2$ (resp. $[{\partial}_1,{\partial}_2]$) is locally nilpotent if and only if the sum $\deg\,{\partial}_1+\deg\,{\partial}_2$ of their degrees is not in the weight cone $\omega_M(A)$, see Theorem $\ref{main_theorem}$ (resp. Proposition $\ref{commutator}$).

It should be noted that study of algebraic properties of homogeneous locally nilpotent derivations plays an important role in recent works on automorphisms of algebraic varieties, see, e.g. [@IA+AL], [@IA+HF+SK+FK+MZ], [@IA+JH+EH+AL]. One more motivation comes from the question posed by V. Popov, see [@VP Problem 3.1]. He considers two locally nilpotent derivations ${\partial}_1$ and ${\partial}_2\in \LND(\kk[x_1,\dots,x_n])$ and asks when the minimal closed subgroup of $\Aut_{\kk}\kk[x_1,\dots,x_n]$ containing the one dimensional subgroups $\{\exp(t{\partial}_1)\ |\ t\in\kk\}$ and $\{\exp(t{\partial}_2)\ |\ t\in\kk\}$ is finite dimensional. Here it is important to know when ${\partial}_1+{\partial}_2$ and $[{\partial}_1,{\partial}_2]$ are locally finite.

In Section $\ref{sec1}$ we collect some basic definitions and facts about LNDs. In Section $\ref{sec2}$ we recall generalities on $\TT$-varieties and corresponding gradings on their coordinate algebras. Section $\ref{sec3}$ is devoted to background on homogeneous LNDs and to the classification of LNDs of fiber type from [@AL-2]. In Sections $\ref{sec4}$ and $\ref{sec5}$ we study commutators and sums of homogeneous LNDs of fiber type. Section $\ref{sec6}$ contains some corollaries of Theorem $\ref{main_theorem}$, examples and generalizations.

Locally nilpotent derivations {#sec1}
=============================

Let $A$ be a commutative associative $\kk$-algebra without zero divisors. A [*derivation*]{} ${\partial}: A\to A$ is a linear map satisfying the Leibniz rule: $${\partial}(ab)=a{\partial}b+b{\partial}a \quad \mathrm{for\ all}\ a,\,b \in A$$

Denote the set of all derivations on $A$ by $\Der(A)$.

Recall that an algebra is said to be [*graded*]{} by a commutative semigroup $S$ if there is a direct sum decomposition $A=\bigoplus_{s\in S}A_s$ such that $A_s\cdot A_{s'}\subseteq
A_{s+s'}$ for all $s,\ s'\in S$. A derivation ${\partial}$ is called [*homogeneous*]{} if it sends homogeneous elements to homogeneous ones. We will write ${\partial}(s)=s'$, for $s,\ s'\in S$, if $A_s\nsubseteq\Ker({\partial})$ and ${\partial}(A_s)\subseteq A_{s'}$. By Leibniz rule, for $a\in A_s \backslash\Ker({\partial})$ and $b\in A_{s'}\backslash
\Ker({\partial})$ we have $${\partial}(ab)=a{\partial}b+b{\partial}a \in A_{{\partial}(s+s')},$$ and so $${\partial}(s+s')=s+{\partial}(s')=s'+{\partial}(s).$$ Thus, for a homogeneous nonzero derivation ${\partial}$ there exists $s_0\in
S$ such that ${\partial}A_s \subset A_{s+s_0}$ for all $s \in S$. An element $s_0\in S$ is called the [*degree*]{} of ${\partial}$ and is denoted by $\deg\,{\partial}$.

A derivation ${\partial}\in \Der(A)$ is called [*locally nilpotent*]{} (LND for short) if for every $f\in A$ there exists $n\in \ZZ_{>0}$ such that ${\partial}^nf=0$. The set of all locally nilpotent derivations on $A$ is denoted by $\LND(A)$.

We associate to a derivation ${\partial}$ a set $\Nil({\partial})=\{f\in A\ |\
\exists\,n\in\ZZ_{>0}: {\partial}^n f=0\}$. Thus, ${\partial}\in \LND(A)$ exactly when $\Nil({\partial})=A$.

Note that if ${\partial}_1,\ {\partial}_2\in \LND(A)$ and $[{\partial}_1,{\partial}_2]=0$, then ${\partial}_1+{\partial}_2\in\LND(A)$, i.e. the sum of commuting LNDs is an LND as well.

Recall that locally nilpotent derivations on an affine algebra $A$ are in one-to-one correspondence with regular actions of $\GG_a(\kk)$ on $X=\Spec\,A$. Indeed, we have a rational representation $\eta:\,\GG_a(\kk)\hookrightarrow \Aut_{\kk}(A)$, where $\eta(t)=\exp(tD)$. In geometric terms this means that $D$ induces a regular $\GG_a(\kk)$-action on $X$. Conversely, let $\rho:\,\GG_a(\kk)\times X\to X$ be a regular $\GG_a(\kk)$-action. Then $\rho$ induces a locally nilpotent derivation $D=\frac{d}{dt}|_{t=0}\rho^*$, where $\rho^*:\, A\to A[t]$. For more detail see [@GF Section 1.5].

$\TT$-varieties {#sec2}
===============

An [*algebraic torus*]{} $\TT=\TT^n$ of dimension $n$ is the algebraic variety $(\kk^{\times})^n$ with the natural structure of algebraic group. A [*$\TT$-variety*]{} is an algebraic variety endowed with an effective $\TT$-action.

A [*character*]{} (resp. [*one-parameter subgroup*]{}) of $\TT$ is a homomorphism of algebraic groups $\chi:\,\TT\to \kk^{\times}$ (resp. $\lambda:\,~ \kk^{\times}\to\TT$). The set of all characters (resp. one-parameter subgroups) form a lattice $M$ (resp. $N$) of rank $n$. For every $m\in M$ we denote by $\chi^m$ the corresponding character of $\TT$. We also let $M_{\QQ}$ and $N_{\QQ}$ be the rational vector spaces $M\otimes_{\ZZ} \QQ$ and $N\otimes_{\ZZ} \QQ$.

Let $A$ be an [*affine*]{} algebra, i.e. a commutative associative finitely generated $\kk$-algebra with unit and without zero divisors. It is well known that effective $\TT$-actions on an affine variety $X=\Spec\,A$ are in one-to-one correspondence with effective $M$-gradings on $A$. Thus, for a $\TT$-variety $X$ we have an effective $M$-grading on $A=\kk[X]$: $$A=\bigoplus_{m\in M}\widetilde{A_m}.$$ Let $K=\Frac\,A$ be the field of fractions. We consider $$K_0=\left\{\frac{f}{g}\in K\ |\ \deg f=\deg g\right\}.$$ Notice that $K_0$ coincides with the field of $\TT$-invariant functions $\kk(X)^{\TT}$. Thus, we have a tower of field extensions $\kk\subseteq \kk(X)^{\TT} \subseteq K$. One may represent $\widetilde{A_m}=A_m\chi^m$, where $A_m\subseteq \kk(X)^{\TT}$. The [*weight cone*]{} $\omega \subseteq M_{\QQ}$ of a given $M$-grading is a cone in $M_{\QQ}$ spanned by the set $\{m\in M\ |\ A_m\ne 0\}$. For a cone $\omega \subseteq M_{\QQ}$ we denote the set $\omega\cap M$ by $\omega_M$. Finally, we have $$A=\bigoplus_{m\in \omega_M} A_m \chi^m, \quad A_m\subseteq
\kk(X)^{\TT}.$$ Since $A$ is finitely generated, the cone $\omega$ is polyhedral, and since the $M$-grading is effective, $\omega$ is of full dimension.

[*Complexity*]{} of a $\TT$-action is the transcendence degree of the field of $\TT$-invariant rational functions $\kk(X)^{\TT}$ over $\kk$. In geometric terms, complexity of a $\TT$-action equals the codimension of the generic $\TT$-orbit. In particular, for a $\TT$-variety of complexity zero, $\kk(X)^{\TT}=\kk$ and $A\subseteq
\kk[M]$, where $\kk[M]$ stays for the group algebra of the lattice $M$ and is isomorphic to the algebra of Laurent polynomials over $\kk$. A [*toric variety*]{} is a normal $\TT$-variety of complexity zero, or, equivalently, $\TT$ acts with an open orbit. From now on we will consider only normal $\TT$-varieties.

Demazure roots and homogeneous LNDs {#sec3}
===================================

Let $M$ and $N$ be the lattices of characters and one-parameter subgroups of a torus $\TT$. We consider the natural pairing $\<\cdot,\cdot\>: M\times N\to \ZZ$ given by $$\<\chi,\lambda\>=l, \quad {\rm if} \quad \chi\circ\lambda(t)=t^l.$$ This pairing extends in an obvious way to a pairing $$\<\cdot,\cdot\>: M_{\QQ}\times N_{\QQ}\to \QQ$$ between $\QQ$-vector spaces. Let $A$ be as before an $M$-graded affine algebra with the weight cone $\omega\subseteq M_{\QQ}$. Let $\omega^{\vee}=\sigma\subseteq N_{\QQ}$ be the dual cone. Since $\omega$ is of full dimension, $\sigma$ is a pointed polyhedral cone.

[@AL-1 Lemma 1.13] For any homogeneous LND ${\partial}$ on $A$ the following holds.

-   The derivation ${\partial}$ extends in a unique way to a homogeneous $\kk$-derivation on $\kk(X)^{\TT}[M]$.

-   If ${\partial}(\kk(X)^{\TT})=0$ then the extension of ${\partial}$ as in 1) restricts to a homogeneous locally nilpotent $\kk(X)^{\TT}$-derivation on $\kk(X)^{\TT}[\omega_M]$.

\[def-fiber/horizontal\] A homogeneous LND ${\partial}$ on $A$ is said to be of [*fiber type*]{} if ${\partial}(\kk(X)^{\TT})=0$ and of [*horizontal type*]{} otherwise. Derivations of fiber type correspond to $\GG_a(\kk)$-actions such that generic $\GG_a(\kk)$-orbits are contained in the closures of $\TT$-orbits.

In [@AL-2] A.Liendo gave a complete classification of homogeneous LNDs of fiber type on an arbitrary graded integrally closed affine algebra. We need the following notation to present his results.

For a ray $\rho$ of a cone $\sigma$ we let $\sigma_{\rho}$ denote the cone spanned by all the rays of $\sigma$ except $\rho$. From now on we denote by $\rho$ both a ray and its primitive vector. We also let $$S_{\rho}=\sigma_{\rho}^{\vee}\cap\{e\in M\ |\ \<e,\rho\>=-1\}.$$

In other words, $S_{\rho}$ is the set of lattice vectors $e\in M$ such that $\<e,\rho\>=-1$ and $\<e,\rho^{'}\>\geq 0$ for every other ray $\rho^{'} \subseteq \sigma$.

(see [@MD]) In the above notation the elements of the set $\Re=\bigcup_{\rho\subseteq\sigma} S_{\rho}$ are called [*Demazure roots*]{} of the cone $\sigma$.

Let $e\in S_{\rho}$ be a Demazure root corresponding to a ray $\rho$ of the cone $\sigma$. Set $$\Phi_e=\{f\in K\ |\ f\cdot A_m\subseteq A_{m+e}\},\ \Phi_e^{\times}=\Phi_e\backslash\{0\}.$$ We define a homogeneous derivation ${\partial}_{\rho,e}$ of degree $e$ on $\kk(X)^{\TT}[M]$ by $${\partial}_{\rho,e}(\chi^m)=\<m,\rho\>\chi^{m+e}.$$ Clearly, for $f\in\Phi_e$ the product $f{\partial}_{\rho,e}$ is a derivation on $\kk(X)^{\TT}[\omega_M]$. Finally, denote ${\partial}_{\rho,e,f}=f{\partial}_{\rho,e}|_A$, which is a homogeneous LND on $A$. The classification theorem is as follows.

\[HLND\][@AL-2 Theorem 2.4] Every nonzero homogeneous LND ${\partial}$ of fiber type on $A$ is of the form ${\partial}={\partial}_{\rho,e,f}$ for some ray $\rho\subseteq\sigma$, some Demazure root $e\in S_{\rho}$ and some function $f\in\Phi_e^{\times}$.

In particular, for any homogeneous locally nilpotent derivation ${\partial}$ of fiber type we have $\deg {\partial}\notin\omega_M$.

For a toric variety $X$ the closure of a dense $\TT$-orbit coincides with $X$, hence all derivations on $A$ are of fiber type. In this particular case Theorem $\ref{HLND}$ states that all nonzero homogeneous LNDs on $A=\kk[X]$ are of the form ${\partial}=\lambda{\partial}_{\rho,e}$, for some $\lambda\in \kk^{\times}$.

\[ex-1\] With $N=\ZZ^n$ we let $\sigma$ be the cone in $N_{\QQ}$ spanned by the basic unit vectors $e_i$. The dual cone $\omega\subseteq M_{\QQ}$ is spanned by the basic unit vectors in $M_{\QQ}$ as well. The corresponding semigroup algebra is a polynomial algebra $A=\kk[x_1,\dots,x_n],\ \deg x_i=e_i$, and the affine toric variety is $X=\AA^n$. According to Theorem $\ref{HLND}$ all nonzero homogeneous LNDs on $A$ are: $${\partial}=\lambda x_1^{i_1}\dots \widehat{x_k^{i_k}}\dots
x_n^{i_n}\frac{{\partial}}{{\partial}x_k}, \quad \lambda\in \kk^{\times},\ i_1,\dots,i_n\in
\ZZ_{\geqslant 0} \quad (k=1,\dots,n).$$

Degree of the preceding derivation is $(i_1,\dots,-1,\dots,i_n)$, which is a Demazure root of $\sigma$ corresponding to the ray $\rho_k$.

Commutators of two homogeneous LNDs {#sec4}
===================================

Suppose ${\partial}_1,{\partial}_2\in \LND(A)$ are nonzero homogeneous derivations of fiber type. It follows from Theorem $\ref{HLND}$ that they are given by $${\partial}_1(\chi^m)=f_1\<m,\rho_1\>\chi^{m+e_1},\qquad
{\partial}_2(\chi^m)=f_2\<m,\rho_2\>\chi^{m+e_2},$$ where $e_1,e_2\in\Re$ and $f_1\in \Phi_{e_1}^{\times}$, $f_2\in \Phi_{e_2}^{\times}$. According to the definition, we have $$\begin{gathered}
[{\partial}_1,{\partial}_2](\chi^m)=f_1f_2(\<m+e_2,\rho_1\>\<m,\rho_2\>-\<m+e_1,\rho_2\>\<m,\rho_1\>)\chi^{m+e_1+e_2}=\\
=f_1f_2(\<e_2,\rho_1\>\<m,\rho_2\>-\<e_1,\rho_2\>\<m,\rho_1\>)\chi^{m+e_1+e_2}.\end{gathered}$$

\[sameray\] If ${\partial}_1,{\partial}_2\in \LND(A)$ correspond to the same ray of the cone $\sigma$, then ${\partial}_1$ and ${\partial}_2$ commute.

Let $\rho_1=\rho_2=\rho$. Then $\<e_2,\rho\>\<m,\rho\>-\<e_1,\rho\>\<m,\rho\>=(-1)\<m,\rho\>-(-1)\<m,\rho\>=0$, and hence the commutator equals zero.

\[commutator\] Suppose ${\partial}_1,{\partial}_2\in \LND(A)$ correspond to different rays $\rho_1,\rho_2$ of the cone $\sigma$. Then the following holds:

-   $[{\partial}_1,{\partial}_2]=0 \Leftrightarrow \<e_1,\rho_2\>=0$ and $\<e_2,\rho_1\>=0$,

-   $[{\partial}_1,{\partial}_2]\in \LND(A)\Leftrightarrow\ e_1+e_2\notin\omega_M$, i.e. $\<e_1,\rho_2\>=0$ or $\<e_2,\rho_1\>=0$.

1\) Let $[{\partial}_1,{\partial}_2]=0$. Then for all $m\in\omega_M$ we have $\<e_2,\rho_1\>\<m,\rho_2\>=\<e_1,\rho_2\>\<m,\rho_1\>$. One can choose $m\in \omega_M$ such that $\<m,\rho_1\>=0$ and $\<m,\rho_2\>>0$. In this case $\<e_2,\rho_1\>\<m,\rho_2\>=0$ implies that $\<e_2,\rho_1\>=0$. Similarly $\<e_1,\rho_2\>=0$. The inverse implication holds automatically.

2\) Let us prove sufficiency. Without loss of generality assume $\<e_1,\rho_2\>=0,\ \<e_2,\rho_1\>>0$. Then $\<e_1+e_2,\rho_2\>=-1,\
\<e_1+e_2,\rho_1\>\geqslant 0$. Therefore $e_1+e_2$ is a Demazure root corresponding to the ray $\rho_2$ of the cone $\sigma$ and $[{\partial}_1,{\partial}_2]=f {\partial}_{\rho_2,e_1+e_2}$, where $f=f_1f_2\<e_2,\rho_1\>\in \Phi_{e_1+e_2}^{\times}$.

To prove necessity assume that the commutator is an LND. Since its degree equals $e_1+e_2$, there exists a ray $\rho^*$ of the cone $\sigma$ such that $\<e_1+e_2,\rho^*\>=-1$. As $e_1,e_2\in
\sigma_{\rho}^{\vee}$ for $\rho\ne\rho_1, \rho_2$, one obtains $\rho^*=\rho_1$ or $\rho_2$. This proves the assertion.

\[deg\_notin\_cone\] In general, if ${\partial}$ is a homogeneous derivation of a graded algebra $A=\bigoplus_{m\in \omega_M}\widetilde{A_m}$, and $\deg{\partial}\notin\omega_M$, then ${\partial}$ is locally nilpotent. Indeed, for any $m\in\omega_M$ one can find $k\in\ZZ_{\geqslant 1}$ such that $(m+k\deg{\partial})\notin\omega_M$ and, thus, ${\partial}^k(\widetilde{A_m})=0$.

Sums of two homogeneous LNDs {#sec5}
============================

In this section we establish a necessary and sufficient condition of local nilpotency of the sum of two homogeneous LNDs. Consider two nonzero homogeneous LNDs ${\partial}_1, {\partial}_2$ of fiber type: $${\partial}_1(\chi^m)=f_1\<m,\rho_1\>\chi^{m+e_1},\qquad
{\partial}_2(\chi^m)=f_2\<m,\rho_2\>\chi^{m+e_2},$$ where $e_1,e_2\in\Re$ and $f_1\in \Phi_{e_1}^{\times}$, $f_2\in \Phi_{e_2}^{\times}$. Note that their sum is homogeneous if and only if both ${\partial}_1$ and ${\partial}_2$ are of the same degree, i.e. $e_1=e_2$.

\[main\_theorem\] In the above notation let ${\partial}_1$ and ${\partial}_2$ be homogeneous LNDs of fiber type. Then ${\partial}_1+{\partial}_2\in \LND(A)$ if and only if $e_1+e_2\notin\omega_M$.

Let us prove sufficiency. The condition $e_1+e_2\notin\omega_M$ means that either both ${\partial}_1$ and ${\partial}_2$ correspond to the same ray, or $\<e_2,\rho_1\>=0$ (up to permutation of indices). In the first case according to Lemma $\ref{sameray}$ our derivations commute and hence their sum is an LND.

Let us consider the second case. It suffices to show that for any $m\in \omega_M$ there exists $n\in\mathbb{Z}_{\geqslant 0}$ such that $({\partial}_1+{\partial}_2)^n(\chi^m)=0$. We proceed by induction on the parameter $\<m,\rho_1\>$.

Let $\<m,\rho_1\>=0$. This means that $m\in\rho_1^\perp\cap\omega_M$ and $({\partial}_1+{\partial}_2)(\chi^m)={\partial}_2(\chi^m)$. In addition, the equality $\<e_2,\rho_1\>=0$ implies that $m+e_2\in\rho_1^\perp\cap\omega_M$. Continuing these arguments and using local nilpotency of ${\partial}_2$, we obtain the required condition.

Now consider an arbitrary point $m\in\omega_M$. Since ${\partial}_2\in \LND(A)$, there exists $n\in\mathbb{Z}_{\geqslant 0}$ such that ${\partial}_2^n(\chi^m)=0$. Therefore all the images of $m$ under powers of ${\partial}_2$, namely $m,m+e_2,\dots,m+(n-1)e_2$, lie in the hyperplane $H$ perpendicular to $\rho_1$ and given by the equation $\<x,\rho_1\>=\<m,\rho_1\>$. Now we apply $({\partial}_1+{\partial}_2)^n$ to $\chi^m$. One can easily see that applying ${\partial}_1$ to an arbitrary element of the hyperplane $H$, the image will be in the hyperplane given by the equation $\<x,\rho_1\>=\<m,\rho_1\>-1$. Since each summand (except for ${\partial}_2^n$) in $({\partial}_1+{\partial}_2)^n$ contains ${\partial}_1$ and ${\partial}_2^n(\chi^m)=0$ and using the inductive hypothesis, we obtain local nilpotency of the sum ${\partial}_1+{\partial}_2$.

Now let us prove the inverse implication. If $\mathrm{rk}\,M=1$, then $\omega_M=\ZZ$ or $\ZZ_{\geqslant 0}$ and the dual cone $\sigma$ is $0$ or $\QQ_{\geqslant 0}$ respectively. In the first case $\sigma$ contains no ray, thus there are no derivations of fiber type on $\kk[X]$. In the second case $\sigma$ consists of one ray and the condition $e_1+e_2\notin \omega_M$ follows immediately.

The case $\mathrm{rk}\,M=2$ follows from results of P. Kotenkova, see [@PK]. We recall some notation and results from this article. Consider a one-dimensional subtorus $T\subset\TT$ given by the equation $e_1-e_2=0$. The torus $T$ also acts on $X$ and every $\TT$-homogeneous LND on $\kk[X]$ is $T$-homogeneous as well. Recall that a $\TT$-root of an $M$-graded algebra $A$ is the degree of some homogeneous LND on $A$. Any $\TT$-root of $A=\kk[X]$ can be restricted to some $T$-root and we denote by $\pi$ the restriction map. Denote by $\Gamma_T\subseteq N_{\QQ}$ the hyperplane, corresponding to the subtorus $T$. Let $\<\cdot,m_T\>=0$ be the equation of the hyperplane $\Gamma_T$, where $m_T \in M$. Evidently, the locally nilpotent derivation ${\partial}_1+{\partial}_2$ restricts to a homogeneous LND with respect to the torus $T$. Our case corresponds to Case 3.3 in [@PK Proposition 6]. It follows that all $T$-homogeneous LNDs of degree $\pi(e_1)$ are of the following form (see [@PK Proposition 5]):

$${\partial}(\chi^m)=\chi^{m+e_2}(\alpha\<\rho_1,m\>\chi^{m_T}+\beta\<\rho_2,m\>)(\alpha\chi^{m_T}+\beta\<\rho_2,m_T\>)^{\<\rho_1,e_2\>},$$ for some $\alpha, \beta\in \kk$. Now one can easily see that for ${\partial}={\partial}_1+{\partial}_2$ the exponent $\<\rho_1,e_2\>$ has to vanish, so $\<\rho_1,e_1+e_2\>=-1$ and $e_1+e_2\notin\omega_M$.

Let us consider the general case $\mathrm{rk}M=n$.

\[extension to alg.closure\] Denote by $\bar{k}$ the algebraic closure of a field $k$. The derivation ${\partial}$ on a $k$-algebra $A$ extends in a unique way to a derivation $\tilde{{\partial}}$ on $A\otimes_k \bar{k}$. In addition, ${\partial}$ is locally nilpotent if and only if $\tilde{{\partial}}$ is.

To prove the first assertion of the lemma we let $x\in\bar{k}$ and assume that $p(t)$ is the minimal polynomial of $x$. Applying $\tilde{{\partial}}$ to the equation $p(x)=0$, we obtain $\tilde{{\partial}}(x)p'(x)=0$, hence $\tilde{{\partial}}(x)=0$. Further, an extension of ${\partial}$ to $A\otimes_k \bar{k}$ by linearity is unique. Since $\bar{k}\subset\Ker(\tilde{{\partial}})$, local nilpotency of $\tilde{{\partial}}$ and ${\partial}$ are equivalent.

According to the previous lemma we can replace $\kk(X)^{\TT}$ with its algebraic closure $\overline{\kk(X)^{\TT}}$.

It is required to show that $e_1+e_2\notin \omega_M$. If the roots $e_1,e_2$ correspond to the same ray, the condition holds automatically. If $e_1,e_2$ correspond to different rays $\rho_1$ and $\rho_2$, the required condition is equivalent to the following one: at least one of expressions $\<e_1,\rho_2\>$ or $\<e_2,\rho_1\>$ vanishes. We carry out the proof by contradiction.

We assume that the vectors $e_1$ and $e_2$ are not collinear. In this case for any $m\in \omega_M$ we denote by $\gamma_m$ a two-dimensional plane passing through $m$ and spanned by vectors $e_1,e_2$. It is obvious that images of $m$ under powers of the derivation ${\partial}_1+{\partial}_2$ are in $\omega_M\cap\gamma_m$. It follows from the formulae defining ${\partial}_1$ and ${\partial}_2$ that $\gamma_m\cap\rho_1^\bot\ne\varnothing$ and $\gamma_m\cap\rho_2^\bot\ne\varnothing$. If $\gamma_m\subset\rho_1^\bot$ then $\<e_2,\rho_1\>=0$ and similarly for another permutation of the indices. Otherwise $\mathrm{dim}\,(\gamma_m\cap\rho_1^\bot)=\mathrm{dim}\,(\gamma_m\cap\rho_2^\bot)=1$.

Now we assume that $m=e_1+e_2$. Denote the lines in which the plane $\gamma_m$ intersects $\rho_1^{\perp}$ and $\rho_2^{\perp}$ by $l_1$ and $l_2$ respectively. It follows from local nilpotency of ${\partial}_1,\ {\partial}_2$ that there exist $k_1,k_2\in\ZZ_{\geqslant 0}$ such that $$m_1=e_1+e_2+k_1e_1\in\rho_1^{\perp}\cap\gamma_m, \qquad
m_2=e_1+e_2+k_2e_2\in\rho_2^{\perp}\cap\gamma_m.$$ Obviously, $0\in\rho_1^{\perp}\cap\rho_2^{\perp}\cap\gamma_m$. Thus, $l_1$ and $l_2$ are precisely the lines passing through $0$ and $m_1$ or $m_2$ respectively. If $l_1$ and $l_2$ are different, we set $\omega_m=\gamma_m\cap\omega$. The two-dimensional cone $\sigma_m$ dual to $\omega_m$ can be considered as embedded in $N_{\QQ}$ and spanned by the rays $\rho_1,\ \rho_2$. One can easily see that $e_1$ and $e_2$ are Demazure roots of $\sigma_m$. A locally nilpotent derivation on $\overline{\kk(X)^{\TT}}[\omega_M]$ can be restricted to an LND on $\overline{\kk(X)^{\TT}}[\omega_m\cap M]$, hence using the assertion of the theorem in case of dimension two we obtain $e_1+e_2\notin \omega_m\cap
M$, a contradiction.

If the lines $l_1$ and $l_2$ coincide, then the vectors $e_1+e_2+k_1e_1$ and $e_1+e_2+k_2e_2$ are collinear. This means the following: $$\frac{k_1+1}{1}=\frac{1}{k_2+1} \Leftrightarrow (k_1+1)(k_2+1)=1
\Leftrightarrow k_1=k_2=0.$$ Thus, $e_1+e_2\in \rho_1^{\perp}\cap\rho_2^{\perp}$ and $\gamma_m\cap\omega$ is the line spanned by $e_1+e_2$. Indeed, let $\<ae_1+be_2,\rho_1\>\geqslant 0$. Using that $\<e_1,\rho_1\>=~-1,\
\<e_2,\rho_1\>=1$ one obtains $b\geqslant a$. Similarly we obtain $a\geqslant b$ and, hence, $a=b$. Consider now an arbitrary element $s\in\omega_M^0=\mathrm{Int}(\omega_M)$ and the corresponding plane $\gamma_s$. Since $\gamma_s
\parallel \gamma_m$, the plane $\gamma_s$ intersects both $\rho_1^{\perp}$ and $\rho_2^{\perp}$ in parallel lines $v_1$ and $v_2$ with leading vector $e_1+e_2$. Our aim now is to construct $f\in
\overline{\kk(X)^{\TT}}[\omega_M]$ such that $f\notin \Nil({\partial}_1+{\partial}_2)$.

\[fig-stripe\]

Intersection of $\gamma_s$ and $\omega_M$

Consider a two-dimensional plane containing the lines $v_1$ and $v_2$, and its intersection with the cone $\omega_M$. We obtain a stripe-shaped diagram, see Figure 1.

One can also consider a lattice $S$ passing through $s$ with generating vectors $e_1,e_2$. Since $\<e_i,\rho_j\>=(-1)^{i+j-1}\
(i,j=1,2)$, the derivations ${\partial}_1,{\partial}_2$ send elements of the lattice $S$ one level up or down respectively. Here levels are of the form $\{x\in S\ |\ \<x,\rho_2\>=\alpha\},\ \alpha=0,\dots,k$. In particular, 0-level lies on $v_2$ and $k$-level lies on $v_1$. Consider elements $m_1,\dots,m_r\in S$ as shown on Figure 1. Note that Figure 1 represents the case of even $k$, for odd $k$ arguments are similar. Let us prove that there exist coefficients $a_1,\dots,a_r\in \overline{\kk(X)^{\TT}}$ such that $$a_1\chi^{m_1}+\dots+a_r\chi^{m_r}\notin \Nil({\partial}_1+{\partial}_2).$$ Indeed, we apply $({\partial}_1+{\partial}_2)^2$ to an element with yet undetermined coefficients and write the column vector of coefficients at $\chi^{m_1+e_1+e_2},\dots,
\chi^{m_r+e_1+e_2}$ after decomposition into graded components:

$$\small
\begin{pmatrix}
a_1 \\ a_2 \\ a_3 \\ \vdots \\ a_{r-1} \\ a_r
\end{pmatrix}
\rightsquigarrow
\begin{pmatrix}
a_1\cdot f_1f_2\cdot k\cdot 1 + a_2\cdot f_1^2\cdot 2\cdot 1 \\
a_2\cdot f_1f_2\cdot ((k-2)\cdot 3 +2\cdot(k-1))+ a_3\cdot f_1^2\cdot 4\cdot 3+a_1\cdot f_2^2\cdot k\cdot (k-1)\\
a_3\cdot f_1f_2\cdot ((k-4)\cdot 5 +4\cdot(k-3))+ a_4\cdot f_1^2\cdot 6\cdot 5+a_2\cdot f_2^2\cdot (k-2)\cdot (k-3)\\
\vdots\\
a_{r-1}\cdot f_1f_2\cdot (2\cdot (k-1)+(k-2)\cdot 3)+ a_r\cdot f_1^2\cdot k\cdot (k-1)+a_{r-2}\cdot f_2^2\cdot 4\cdot 3\\
a_r\cdot f_1f_2\cdot k \cdot 1 + a_{r-1}\cdot f_2^2\cdot 2\cdot 1\\
\end{pmatrix}$$

We try to find such values $a_1,\dots,a_r$, that these two vectors are proportional. In other words, $(a_1,\dots,a_r)^T$ has to be an eigenvector of the following three-diagonal matrix $A$:

$$\small
\begin{pmatrix}
f_1f_2\cdot k\cdot 1 & * & 0 & 0 & \hdotsfor{1} & 0 \\
* & f_1f_2\cdot ((k-2)\cdot 3 +2\cdot(k-1)) & * & 0 & \hdotsfor{1} & 0 \\
0 & \hdotsfor{1} & \ddots & * & \hdotsfor{1} & \vdots \\
\vdots & \hdotsfor{1} & * & \ddots & \hdotsfor{1} & 0\\
0 & \hdotsfor{1} & 0 & * & f_1f_2\cdot (2\cdot (k-1)+(k-2)\cdot 3) & * \\
0 & \hdotsfor{1} & 0 & 0 & * & f_1f_2\cdot k \cdot 1
\end{pmatrix}$$

Therefore, it suffices to show that the matrix $A$ possesses a nonzero eigenvalue $\lambda$, because otherwise applying even powers of derivation ${\partial}_1+{\partial}_2$ we obtain the following sequence: $$\sum_{i=1}^r a_i\chi^{m_i}\longrightarrow \lambda\left(\sum_{i=1}^r
a_i\chi^{m_i+e_1+e_2}\right)\longrightarrow
\lambda^2\left(\sum_{i=1}^r
a_i\chi^{m_i+2(e_1+e_2)}\right)\longrightarrow \dots,$$ whose members do not vanish and thus $\sum_{i=1}^r
a_i\chi^{m_i}\notin\Nil({\partial}_1+{\partial}_2)$. We write the characteristic polynomial of $A$: $$\chi(\lambda)=\mathrm{det}(\lambda E -
A)=\lambda^r-\mathrm{tr}A\lambda^{r-1}+\dots+(-1)^r\mathrm{det}A$$ and compute the coefficient at $\lambda^{r-1}$. One can easily see that $\mathrm{tr}A$ is a product of two factors, where the first factor is $f_1f_2$ and the second one is a sum of positive integers. More precisely,

$$\begin{gathered}
\mathrm{tr}A=f_1f_2\sum_{j=1}^k
j(k+1-j)=f_1f_2\left((k+1)\frac{k(k+1)}{2}-\frac{k(k+1)(2k+1)}{6}\right)=\\
=f_1f_2\frac{k(k+1)(k+2)}{6}\ne0.\end{gathered}$$

Hence, $\mathrm{tr}A$ does not vanish and $\chi(\lambda)\ne
\lambda^r$. Therefore we obtain existence of a nonzero $\lambda\in\overline{\kk(X)^{\TT}}$ with $\chi(\lambda)=0$.

Now let $e_1$ and $e_2$ be collinear, i.e. $e_1=te_2,\ t\in \QQ^*$. Combining the conditions $$\<e_1,\rho_2\>=\<te_2,\rho_2\>=-t \Rightarrow t\in\mathbb{Z}_{<0}$$ and $$\<e_2,\rho_1\>=\left\langle\frac{e_1}{t},\rho_1\right\rangle=-\frac1t
\Rightarrow \frac1t\in\mathbb{Z}_{<0},$$ we see that $t=-1$ and $e_1=-e_2$. The construction from the previous case allows us to obtain an element of the semigroup algebra $\overline{\kk(X)^{\TT}}[\omega_M]$ that does not belong to $\Nil({\partial}_1+{\partial}_2)$. The proof is completed.

Concluding remarks {#sec6}
==================

The next corollary follows directly from Lemma $\ref{sameray}$, Proposition $\ref{commutator}$ and Theorem $\ref{main_theorem}$.

Let ${\partial}_1$ and ${\partial}_2$ be two nonzero homogeneous LNDs on $A$ of fiber type. Then ${\partial}_1+{\partial}_2$ is a locally nilpotent derivation if and only if $[{\partial}_1,{\partial}_2]$ is.

\[polynom\] Let us illustrate the obtained results for $A=\kk[x_1,\dots,x_n]$ in the settings of Example $\ref{ex-1}$. Using for simplicity multiindices ($x^I=x_1^{i_1}\dots x_n^{i_n}$), we set $${\partial}_1=\lambda_1 x^I \frac{{\partial}}{{\partial}x_i}, \qquad {\partial}_2=\lambda_2 x^J
\frac{{\partial}}{{\partial}x_j},$$ where $x^I$ and $x^J$ do not contain factors $x_i$ and $x_j$ respectively. Then the following conditions hold:

-   $[{\partial}_1,{\partial}_2]=0 \Leftrightarrow$ $x^I$ does not depend on $x_j$ and $x^J$ does not depend on $x_i$;

-   $[{\partial}_1,{\partial}_2]\in \LND(A)\Leftrightarrow {\partial}_1+{\partial}_2\in \LND(A) \Leftrightarrow$ $x^I$ does not depend on $x_j$ or $x^J$ does not depend on $x_i$.

Note that in the settings of Example $\ref{polynom}$ Theorem \[main\_theorem\] can be easily obtained from the following proposition.

\[principle\][@GF Principle 5] Let ${\partial}\in \LND(A)$ and $f_1,\dots,f_m\in A$ ($m\geqslant 1$). Suppose there exists a permutation $\sigma\in S_m$ such that ${\partial}f_i\in f_{\sigma(i)}A$ for each $i$. Then in each orbit of $\sigma$ there is an index $i$ with ${\partial}f_i=0$.

Indeed, suppose ${\partial}={\partial}_1+{\partial}_2\in \LND(A)$. We take $f_1=x_i$, $f_2=x_j$. Then ${\partial}f_1=\lambda_1 x^I\ne 0$ and ${\partial}f_2=\lambda_2 x^J\ne 0$. Using Proposition $\ref{principle}$ we obtain the required condition. The converse is immediate.

Let ${\partial}_1$ and ${\partial}_2$ be two nonzero homogeneous LNDs on $A$ of fiber type. Suppose $e_1+e_2\notin\omega_M$. Then the Lie algebra $L$ generated by ${\partial}_1$ and ${\partial}_2$ over $\kk$ is finite dimensional and consists of locally nilpotent derivations.

We can assume without loss of generality that $\<e_1,\rho_2\>=0$ and $\<e_2,\rho_1\>=n\geqslant 0$. Then the algebra $L$ is linearly generated by the derivations ${\partial}_1,{\partial}_2$ and ${\partial}_2^{(1)},\dots,{\partial}_2^{(n)}$, where ${\partial}_2^{(i)}=\ad({\partial}_1)^i{\partial}_2$. So the dimension of $L$ equals to $n+2$. Note also that ${\partial}_2^{(i)},\ i=1,\dots,n$, are locally nilpotent derivations of degree $e_2+ie_1$ respectively, which are Demazure roots corresponding to the ray $\rho_2$. Let us assume that a derivation ${\partial}$ in $L$ is a linear combination of ${\partial}_2,{\partial}_2^{(1)},\dots,{\partial}_2^{(n)}$. Then ${\partial}$ is locally nilpotent because all these LNDs commute. If ${\partial}={\partial}_1+\lambda_0{\partial}_2+\lambda_1{\partial}_2^{(1)}+\dots+\lambda_n{\partial}_2^{(n)}$, the proof is similar to the proof of sufficiency in Theorem $\ref{main_theorem}$.

At the moment the author does not know whether the condition $\deg\,{\partial}_1+\deg\,{\partial}_2\notin\omega_M$ implies that ${\partial}_1+{\partial}_2\in\LND(A)$ for locally nilpotent derivations ${\partial}_1,\ {\partial}_2$ of horizontal type. Let us give a particular result in this direction.

Consider an effectively graded affine algebra $$A=\bigoplus_{m\in \omega_M}\widetilde{A_m}.$$ Let ${\partial}_1$ and ${\partial}_2$ be two locally nilpotent derivations on $A$ of degrees $e_1, e_2\in M$ respectively. If $\{te_1+(1-t)e_2,\ t\in\QQ\}\cap\omega_M=\varnothing$, then ${\partial}_1+{\partial}_2\in \LND(A)$.

Let us consider the grading of $A$ given by the quotient group $M'=M/(e_1-e_2)$, and denote by $\pi: M\to M'$ the factorization map. Derivations ${\partial}_1$ and ${\partial}_2$ considered as derivations on $M'$-graded algebra are homogeneous of the same degree $\pi(e_1)=\pi(e_2)$. Hence, the sum ${\partial}_1+{\partial}_2$ is $M'$-homogeneous of degree $\pi(e_1)$ as well.

The condition $\{te_1+(1-t)e_2,\ t\in\QQ\}\cap\omega_M=\varnothing$ means that the line passing through the lattice points $e_1,e_2\in M$ does not intersect the cone $\omega_M$. This implies that $\pi(e_1)\notin\pi(\omega_M)$.

Summarizing these facts, we see that ${\partial}$ is a homogeneous derivation on $M'$-graded algebra $A$ and its degree $\pi(e_1)$ does not lie in the weight cone $\pi(\omega_M)$. By Remark $\ref{deg_notin_cone}$ this is sufficient for the local nilpotency of ${\partial}$.

Unlike the case of derivations of fiber type another implication of Theorem $\ref{main_theorem}$ does not hold for derivations of horizontal type.

Consider a $\TT$-variety $\AA^2$ with the following action of a one-dimensional torus $\TT$: $t\cdot (x,y)=(tx,ty)$. The algebra of regular functions $A=\kk[x,y]$ is graded by the weight cone $\omega_M=\ZZ_{\geqslant 0}$ and $\deg\,x=\deg\,y=1$. Moreover, $\kk(X)^{\TT}=\kk\left(\dfrac xy\right)$.

Consider a homogeneous locally nilpotent derivation ${\partial}=y\dfrac{{\partial}}{{\partial}x}$ on $A$. Note that ${\partial}\left(\dfrac
xy\right)=1$, hence ${\partial}$ is of horizontal type. Let us show that two copies of the derivation ${\partial}$ give a counterexample to Theorem $\ref{main_theorem}$. Condition for commutators given in Proposition $\ref{commutator}$ for derivations of fiber type also does not hold. Indeed, note that $\deg\,{\partial}=0\in\omega_M$. Taking ${\partial}_1={\partial}_2={\partial}$, we obtain $\deg\,{\partial}_1+\deg\,{\partial}_2=0\in\omega_M$, though ${\partial}_1+{\partial}_2=2{\partial}\in \LND(A)$ and $[{\partial}_1,{\partial}_2]=[{\partial},{\partial}]=0\in \LND(A)$.

Finally, we would like to discuss torus actions and homogeneous LNDs coming from actions of reductive algebraic groups, cf. [@IA+AL].

Let $G$ be a reductive algebraic group and $\mathfrak{g}=\Lie G$. We consider a maximal torus $\TT\subset G$ and $\mathfrak{h}=\Lie \TT$. The reductive Lie algebra $\mathfrak{g}$ admits a Cartan decomposition $$\mathfrak{g}=\mathfrak{h}\oplus\bigoplus_{\alpha\in\Delta}\mathfrak{g}_{\alpha},$$ where $\Delta\subset\mathfrak{h}^*$ is the system of roots and $\mathfrak{g}_{\alpha}=\langle e_{\alpha}\rangle$.

Starting with a regular action of $G$ on an affine variety $X$ we obtain the $\TT$-action on $X$ and the corresponding grading of $A=\kk[X]$ by the lattice $M$ of characters of the torus $\TT$. For every $\alpha\in\Delta$, the nilpotent element $e_{\alpha}\in\mathfrak{g}$ defines a homogeneous locally nilpotent derivation ${\partial}_{\alpha}$ on $\kk[X]$ of degree $\alpha$.

\[alpha-beta\] Let $\alpha,\beta\in\Delta$. Then $e_{\alpha}+e_{\beta}$ is nilpotent if and only if $\alpha+\beta\ne 0$.

Assume $\beta=-\alpha$. In this case $e_{\alpha}$, $e_{-\alpha}$ and $[e_{\alpha},e_{-\alpha}]$ form an $\mathfrak{sl}_2$-triple and, thus, $e_{\alpha}+e_{-\alpha}$ is semisimple.

For $\alpha\ne -\beta$ we can consider a hyperplane in $\mathfrak{h}^*$ such that $\alpha$ and $\beta$ are contained in the same open half-space. This hyperplane determines a one-dimensional torus $T$, and the roots $\alpha$ and $\beta$ are positive with respect to $T$. Looking at the weights occuring in the decomposition of the element $\ad(e_{\alpha}+e_{\beta})^N(x)$ for some homogeneous $x\in\mathfrak{g}$ we obtain that $e_{\alpha}+e_{\beta}$ is nilpotent.

Using this lemma and the result of Theorem $\ref{main_theorem}$ we obtain the following

\[alpha-beta-cone\] Assume that $\alpha+\beta\ne 0$. If ${\partial}_{\alpha}$ and ${\partial}_{\beta}$ are of fiber type and ${\partial}_{\alpha}+{\partial}_{\beta}\in\LND(A)$, then $\alpha+\beta$ does not belong to the weight cone $\omega_M$ corresponding to the action of the maximal torus $\TT$ in $G$ on $A$.

Consider a natural $GL_n(\kk)$-action on the affine space $\AA^n$. The affine space $\AA^n$ gets a structure of a toric variety under the action of the maximal torus $$\TT^n=\{\diag(t_1,\dots,t_n)\}\subseteq GL_n(\kk).$$ The weights of $x_1,\dots,x_n$ are $\varepsilon_1,\dots,\varepsilon_n$ respectively. A root $\alpha$ determines an LND ${\partial}_{\alpha}$: $$\alpha=\varepsilon_i-\varepsilon_j, i\ne j \qquad \rightsquigarrow \qquad {\partial}_{\alpha}=x_i\frac{{\partial}}{{\partial}x_j}.$$ It is easy to see that $${\partial}_{\alpha}+{\partial}_{\beta}=x_i\frac{{\partial}}{{\partial}x_j}+x_k\frac{{\partial}}{{\partial}x_l}\in\LND(A) \quad \Leftrightarrow \quad (i,j)\ne(l,k)\quad \Leftrightarrow \quad\alpha\ne -\beta.$$ Moreover, $\alpha+\beta=\varepsilon_i-\varepsilon_j+\varepsilon_k-\varepsilon_l\notin \omega_M=\ZZ_{\geqslant 0}^n$ for $(i,j)\ne(l,k)$. This illustrates Corollary $\ref{alpha-beta-cone}$.

Consider a natural $SL_n(\kk)$-action on the affine space $\AA^n$. The maximal torus $$\TT^{n-1}=\{\diag(t_1,\dots,t_n)\ |\ \prod_i\,t_i=1\}\subseteq SL_n(\kk)$$ acts on $\AA^n$ with complexity one. The weights of $x_1,\dots,x_n$ are $\varepsilon_1,\dots,\varepsilon_{n-1}$ and $-\varepsilon_1-\dots-\varepsilon_{n-1}$ respectively, thus, $\omega_M=M$. Therefore, there exist no locally nilpotent derivations of fiber type. Taking ${\partial}_{\alpha}+{\partial}_{\beta}$ with $\alpha+\beta\ne 0$ we obtain one more counterexample to Theorem $\ref{main_theorem}$ in case of derivations of horizontal type.

Acknowledgement {#acknowledgement .unnumbered}
===============

The author is grateful to her supervisor Ivan Arzhantsev for posing the problem and permanent support in preparing the text of this paper, and to Polina Kotenkova for useful suggestions.

Ivan Arzhantsev and Alvaro Liendo. [*Polyhedral divisors and $SL_2$-actions on affine $\TT$-varieties.*]{} To appear in Michigan Math. J., see also arXiv:1105.4494v2.

Ivan Arzhantsev, Hubert Flenner, Shulim Kaliman, Frank Kutzschebauch and Mikhail Zaidenberg. [*Flexible varieties and automorphism groups.*]{} To appear in Duke Math. J., see also arXiv:1011.5375v1.

Ivan Arzhantsev, Juergen Hausen, Elaine Herppich and Alvaro Liendo. [*The automorphism group of a variety with torus action of complexity one.*]{} arXiv:1202.4568v2.

Michel Demazure. [*Sous-groupes algebriques de rang maximum du groupe de Cremona.*]{} Ann. Sci. Ecole Norm. Sup. 3 (1970), 507–588.

Miguel Ferrero, Yves Lequain and Andrzej Nowicki. [*A note on locally nilpotent derivations.*]{} J. Pure Appl. Algebra 79 (1992), 45–50.

Gene Freudenburg. [*Algebraic Theory of Locally Nilpotent Derivations.*]{} Encyclopaedia of Mathematical Sciences 136. Invariant Theory and Algebraic Transformation Groups 7. Berlin: Springer, 2006.

Polina Kotenkova. [*On restriction of roots on affine $T$-varieties.*]{} arXiv:1104.0560v3.

Alvaro Liendo. [*Affine $\TT$-varieties of complexity one and locally nilpotent derivations.*]{} Transform. Groups 15 (2010), no. 2, 389–425.

Alvaro Liendo. [*$\GG_a$-actions of fiber type on affine $\TT$-varieties.*]{} J. Algebra 324 (2010), 3653–3665.

Vladimir Popov. [*Problems for problem session.*]{} In: Affine Algebraic Geometry, Contemporary Math., Vol. 369, AMS, 2005, 12–16.
