On nilpotent Lie algebras of derivations of fraction fields

Let $K$ be an arbitrary field of characteristic zero and $A$ a commutative associative $K$-algebra which is an integral domain. Denote by $R$ the fraction field of $A$ and by $W(A)=RDer_{\mathbb K}A,$ the Lie algebra of $\mathbb K$-derivations of $R$ obtained from $Der_{\mathbb K}A$ via multiplication by elements of $R.$ If $L\subseteq W(A)$ is a subalgebra of $W(A)$ denote by $rk_{R}L$ the dimension of the vector space $RL$ over the field $R$ and by $F=R^{L}$ the field of constants of $L$ in $R.$ Let $L$ be a nilpotent subalgebra $L\subseteq W(A)$ with $rk_{R}L\leq 3$. It is proven that the Lie algebra $FL$ (as a Lie algebra over the field $F$) is isomorphic to a finite dimensional subalgebra of the triangular Lie subalgebra $u_{3}(F)$ of the Lie algebra $Der F[x_{1}, x_{2}, x_{3}],$ where $u_{3}(F)=\{f(x_{2}, x_{3})\frac{\partial}{\partial x_{1}}+g(x_{3})\frac{\partial}{\partial x_{2}}+c\frac{\partial}{\partial x_{3}}\}$ with $f\in F[x_{2}, x_{3}], g\in F[x_3]$, $c\in F.$ In particular, a characterization of nilpotent Lie algebras of vector fields with polynomial coefficients in three variables is obtained.Comment: Corrected typos. Revised formulation of Theorem 1, results unchange

On one-sided Lie nilpotent ideals of associative rings

We prove that a Lie nilpotent one-sided ideal of an associative ring $R$ is contained in a Lie solvable two-sided ideal of $R$. An estimation of derived length of such Lie solvable ideal is obtained depending on the class of Lie nilpotency of the Lie nilpotent one-sided ideal of $R.$ One-sided Lie nilpotent ideals contained in ideals generated by commutators of the form $[... [ [r_1, r_{2}], ... ], r_{n-1}], r_{n}]$ are also studied.Comment: 5 page

On closed rational functions in several variables

Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function F=f/g is closed if f and g are algebraically independent and at least one of them is irreducible. We also show that the rational function F=f/g is closed if and only if the pencil af+bg contains only finitely many reducible hypersurfaces. Some sufficient conditions for a polynomial to be irreducible are given.Comment: Added references, corrected some typo

Finite-dimensional subalgebras in polynomial Lie algebras of rank one

Let W_n(K) be the Lie algebra of derivations of the polynomial algebra K[X]:=K[x_1,...,x_n] over an algebraically closed field K of characteristic zero. A subalgebra L of W_n(K) is called polynomial if it is a submodule of the K[X]-module W_n(K). We prove that the centralizer of every nonzero element in L is abelian provided L has rank one. This allows to classify finite-dimensional subalgebras in polynomial Lie algebras of rank one.Comment: 5 page

Centralizers of linear and locally nilpotent derivations

Let $K$ be an algebraically closed field of characteristic zero, $A = K[x_1,\dots,x_n]$ the polynomial ring, $R = K(x_1,\dots,x_n)$ the field of rational functions, and let W_n(K) = \Der_{K}A be the Lie algebra of all $K$-derivations on $A$. If $D \in W_n(K),$ $D\not =0$ is linear (i.e. of the form $D = \sum_{i,j=1}^n a_{ij}x_j \frac{\partial}{\partial x_i}$) we give a description of the centralizer of $D$ in $W_n(K)$ and point out an algorithm for finding generators of $C_{W_n(K)}(D)$ as a module over the ring of constants in case when $D$ is the basic Weitzenboeck derivation. In more general case when the ring $A$ is a finitely generated domain over $K$ and $D$ is a locally nilpotent derivation on $A,$ we prove that the centralizer $C_{{\rm Der}A}(D)$ is a "large" \ subalgebra in ${\rm Der}_{K} A$, namely \rk_A C_{\Der A}(D) := \dim_R RC_{\Der A}(D) equals ${\rm tr}.\deg_{K}R,$ where $R$ is the field of fraction of the ring $A.Comment: 10 page

Lie algebras of derivations with large abelian ideals

We study subalgebras L of rank m over R of the Lie algebra Wn(K) with an abelian ideal I ⊂ L of the same rank m over R