-
Module structure of the Lie algebra $W_n(K)$ over $sl_n(K)$
Authors:
Y. Chapovskyi,
A. Petravchuk
Abstract:
Let $\mathbb K$ be an algebraically closed field of characteristic zero, $A = \mathbb K[x_1,\dots,x_n]$ the polynomial ring, and let $W_n(\mathbb K)$ denote the Lie algebra of all $\mathbb K$-derivations on $A$. The Lie algebra $W_n := W_n(\mathbb K)$ admits a natural grading $W_n = \bigoplus_{i \ge -1} W^{[i]}_n$, where $W^{[i]}_n$ consists of all homogeneous derivations whose coefficients are ho…
▽ More
Let $\mathbb K$ be an algebraically closed field of characteristic zero, $A = \mathbb K[x_1,\dots,x_n]$ the polynomial ring, and let $W_n(\mathbb K)$ denote the Lie algebra of all $\mathbb K$-derivations on $A$. The Lie algebra $W_n := W_n(\mathbb K)$ admits a natural grading $W_n = \bigoplus_{i \ge -1} W^{[i]}_n$, where $W^{[i]}_n$ consists of all homogeneous derivations whose coefficients are homogeneous polynomials of degree $i+1$ or zero. The component $W^{[0]}_n$ is a subalgebra of $W_n$ and is isomorphic to $\mathfrak{gl}_n(\mathbb K).$ Moreover, each $W_n^{[i]}$ for $i \ge -1$ is a finite-dimensional module over $W_n^{[0]}$. We prove that $W^{[i]}_n,\; i \ge 0$ is a sum of two irreducible submodules $W^{[i]}_n = M_i \oplus N_i$, where $M_i$ consists of all divergence-free derivations, and $N_i$ consists of derivations that are polynomial multiples of the Euler derivation $E_n = \sum_{i=1}^n x_i \frac{\partial}{\partial x_i}$. As a consequence, we show that the standard grading is exact in certain sense, namely: $[W^{[i]}_n, W^{[j]}_n] = W^{[i+j]}_n$ for all $i,j,$ except when $i = j = 0$. We also address the question of when the subalgebra of $W_n$ generated by $W_n^{[-1]} \oplus W_n^{[0]},$ together with an additional element from $W_n,$ equals the entire Lie algebra $W_n$.
△ Less
Submitted 27 May, 2025;
originally announced May 2025.
-
Decomposition of matrices from $SL_ 2(K[x, y])$
Authors:
Y. Chapovskyi,
O. Kozachok,
A. Petravchuk
Abstract:
Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and $\mathbb{K}[x,y]$ the polynomial ring. The group $\text{SL}_{2}\left(\mathbb{K}[x,y]\right)$ of all matrices with determinant equal to $1$ over $\mathbb{K}[x,y]$ can not be generated by elementary matrices. The known counterexample was pointed out by P.M. Cohn. Conversely, A.A.Suslin proved that the group…
▽ More
Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and $\mathbb{K}[x,y]$ the polynomial ring. The group $\text{SL}_{2}\left(\mathbb{K}[x,y]\right)$ of all matrices with determinant equal to $1$ over $\mathbb{K}[x,y]$ can not be generated by elementary matrices. The known counterexample was pointed out by P.M. Cohn. Conversely, A.A.Suslin proved that the group $\text{SL}_{r}\left(\mathbb{K}[x_{1},\dots,x_{n}]\right)$ is generated by elementary matrices for $r\ge 3$ and arbitrary $n\geq 2$, the same is true for $n=1$ and arbitrary $r.$ It is proven that any matrix from $\text{SL}_{2}\left(\mathbb{K}[x,y]\right)$ with at least one entry of degree $\le 2$ is either a product of elementary matrices or a product of elementary matrices and of a matrix similar to the one pointed out by P. Cohn. For any matrix $\begin{pmatrix}\begin{array}{cc} f & g\\ -Q & P \end{array}\end{pmatrix}\in\text{SL}_{2}\left(\mathbb{K}[x,y]\right)$, we obtain formulas for the homogeneous components $P_i , Q_i$ for the unimodular row $(-Q, P) $ as combinations of homogeneous components of the polynomials $f, g, $ respectively, with the same coefficients.
△ Less
Submitted 4 December, 2024;
originally announced December 2024.
-
Polynomial similarity of pairs of matrices
Authors:
Vitaliy Bondarenko,
Anatoliy Petravchuk,
Maryna Styopochkina
Abstract:
Let $K$ be a field, $R=K[x, y]$ the polynomial ring and $\mathcal{M}(K)$ the set of all pairs of square matrices of the same size over $K.$ Pairs $P_1=(A_1,B_1)$ and $P_2=(A_2,B_2)$ from $\mathcal{M}(K)$ are called similar if $A_2=X^{-1}A_1X$ and $B_2=X^{-1}B_1X$ for some invertible matrix $X$ over $K$. Denote by $\mathcal{N}(K)$ the subset of $\mathcal{M}(K)$, consisting of all pairs of commuting…
▽ More
Let $K$ be a field, $R=K[x, y]$ the polynomial ring and $\mathcal{M}(K)$ the set of all pairs of square matrices of the same size over $K.$ Pairs $P_1=(A_1,B_1)$ and $P_2=(A_2,B_2)$ from $\mathcal{M}(K)$ are called similar if $A_2=X^{-1}A_1X$ and $B_2=X^{-1}B_1X$ for some invertible matrix $X$ over $K$. Denote by $\mathcal{N}(K)$ the subset of $\mathcal{M}(K)$, consisting of all pairs of commuting nilpotent matrices. A pair $P$ will be called {\it polynomially equivalent} to a pair $\overline{P}=(\overline{A}, \overline{B})$ if $\overline{A}=f(A,B), \overline{B}=g(A ,B)$ for some polynomials $f, g\in K[x,y]$ satisfying the next conditions: $f(0,0)=0, g(0,0)=0$ and $ {\rm det} J(f, g)(0, 0)\not =0,$ where $J(f, g)$ is the Jacobi matrix of polynomials $f(x, y)$ and $g(x, y).$ Further, pairs of matrices $P(A,B)$ and $\widetilde{P}(\widetilde{A}, \widetilde{B})$ from $\mathcal{N}(K)$ will be called {\it polynomially similar} if there exists a pair $\overline{P}(\overline{A}, \overline{B})$ from $\mathcal{N}(K)$ such that $P$, $\overline{P}$ are polynomially equivalent and $\overline{P}$, $\widetilde{P}$ are similar. The main result of the paper: it is proved that the problem of classifying pairs of matrices up to polynomial similarity is wild, i.e. it contains the classical unsolvable problem of classifying pairs of matrices up to similarity.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
Centralizers of Jacobian derivations
Authors:
D. I. Efimov,
A. P. Petravchuk,
M. S. Sydorov
Abstract:
Let $\mathbb K$ be an algebraically closed field of characteristic zero, $\mathbb K[x, y]$ the polynonial ring in variables $x$, $y$ and let $W_2(\mathbb K)$ be the Lie algebra of all $\mathbb K$-derivations on $\mathbb K[x, y]$. A derivation $D \in W_2(\mathbb K)$ is called a Jacobian derivation if there exists $f \in \mathbb K[x, y]$ such that $D(h) = \det J(f, h)$ for any…
▽ More
Let $\mathbb K$ be an algebraically closed field of characteristic zero, $\mathbb K[x, y]$ the polynonial ring in variables $x$, $y$ and let $W_2(\mathbb K)$ be the Lie algebra of all $\mathbb K$-derivations on $\mathbb K[x, y]$. A derivation $D \in W_2(\mathbb K)$ is called a Jacobian derivation if there exists $f \in \mathbb K[x, y]$ such that $D(h) = \det J(f, h)$ for any $h \in \mathbb K[x, y]$ (here $J(f, h)$ is the Jacobian matrix for $f$ and $h$). Such a derivation is denoted by $D_f$. The kernel of $D_f$ in $\mathbb K[x, y]$ is a subalgebra $\mathbb K[p]$ where $p=p(x, y)$ is a polynomial of smallest degree such that $f(x, y) = \varphi (p(x, y)$ for some $\varphi (t) \in \mathbb K[t]$. Let $C = C_{W_2(\mathbb K)} (D_f)$ be the centralizer of $D_f$ in $W_2(\mathbb K)$. We prove that $C$ is the free $\mathbb K[p]$-module of rank 1 or 2 over $\mathbb K[p]$ and point out a criterion of being a module of rank $2$. These results are used to obtain a class of integrable autonomous systems of differential equations.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Centralizers of linear and locally nilpotent derivations
Authors:
L. Bedratyuk,
Y. Chapovskyi,
A. Petravchuk
Abstract:
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 central…
▽ More
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}.°_{K}R,$ where $R$ is the field of fraction of the ring $A.
△ Less
Submitted 11 March, 2023; v1 submitted 5 February, 2023;
originally announced February 2023.
-
Automorphisms and derivations of affine commutative and PI-algebras
Authors:
Oksana Bezushchak,
Anatoliy Petravchuk,
Efim Zelmanov
Abstract:
We prove analogs of A.~Selberg's result for finitely generated subgroups of $\text{Aut}(A)$ and of Engel's theorem for subalgebras of $\text{Der}(A)$ for a finitely generated associative commutative algebra $A$ over an associative commutative ring. We prove also an analog of the theorem of W.~Burnside and I.~Schur about locally finiteness of torsion subgroups of $\text{Aut}(A)$.
We prove analogs of A.~Selberg's result for finitely generated subgroups of $\text{Aut}(A)$ and of Engel's theorem for subalgebras of $\text{Der}(A)$ for a finitely generated associative commutative algebra $A$ over an associative commutative ring. We prove also an analog of the theorem of W.~Burnside and I.~Schur about locally finiteness of torsion subgroups of $\text{Aut}(A)$.
△ Less
Submitted 19 November, 2022;
originally announced November 2022.
-
Pairs of commuting nilpotent operators with one-dimensional intersection of kernels and matrices commuting with a Weyr matrix
Authors:
Vitalij M. Bondarenko,
Vyacheslav Futorny,
Anatolii P. Petravchuk,
Vladimir V. Sergeichuk
Abstract:
I.M. Gelfand and V.A. Ponomarev (1969) proved that the problem of classifying pairs (A,B) of commuting nilpotent operators on a vector space contains the problem of classifying an arbitrary t-tuple of linear operators. Moreover, it contains the problem of classifying representations of an arbitrary quiver, and so it is considered as hopeless. We give a simple normal form of the matrices of (A,B) i…
▽ More
I.M. Gelfand and V.A. Ponomarev (1969) proved that the problem of classifying pairs (A,B) of commuting nilpotent operators on a vector space contains the problem of classifying an arbitrary t-tuple of linear operators. Moreover, it contains the problem of classifying representations of an arbitrary quiver, and so it is considered as hopeless. We give a simple normal form of the matrices of (A,B) if the intersection of kernels of A and B is one-dimensional. We prove that this form is canonical if the Jordan matrix of A is a direct sum of Jordan blocks of the same size and the field is of zero characteristic.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Nilpotent Lie algebras of derivations with the center of small corank
Authors:
Ie. Yu. Chapovskyi,
L. Z. Mashchenko,
A. P. Petravchuk
Abstract:
Let $\mathbb K$ be a field of characteristic zero, $A$ an integral domain over $\mathbb K$ with the field of fractions $R = \text{Frac}(A),$ and $\text{Der}_{\mathbb{K}}A$ the Lie algebra of all $\mathbb K$-derivations on $A$.
Let $W(A):=R\text{Der}_{\mathbb{K}} A$ and $L$ a nilpotent subalgebra of rank $n$ over $R$ of the Lie algebra $W(A).$ We prove that if the center $Z=Z(L)$ is of rank…
▽ More
Let $\mathbb K$ be a field of characteristic zero, $A$ an integral domain over $\mathbb K$ with the field of fractions $R = \text{Frac}(A),$ and $\text{Der}_{\mathbb{K}}A$ the Lie algebra of all $\mathbb K$-derivations on $A$.
Let $W(A):=R\text{Der}_{\mathbb{K}} A$ and $L$ a nilpotent subalgebra of rank $n$ over $R$ of the Lie algebra $W(A).$ We prove that if the center $Z=Z(L)$ is of rank $\geq n-2$ over $R$ and $F=F(L)$ is the field of constants for $L$ in $R,$ then the Lie algebra $FL$ is contained in a locally nilpotent subalgebra of $ W(A)$ of rank $n$ over $R$ with a natural basis over the field $R.$ It is also also proved that the Lie algebra $FL$ can be isomorphically embedded (as an abstract Lie algebra) into the triangular Lie algebra $u_n(F)$ which was studied early by other authors.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Nilpotent modules over polynomial rings
Authors:
Ie. Yu. Chapovskyi,
A. P. Petravchuk
Abstract:
Let $\mathbb K$ be an algebraically closed field of characteristic zero, $\mathbb K[X]$ the polynomial ring in $n$ variables. The vector space $T_n = \mathbb K[X]$ is a $\mathbb K[X]$-module with the action $x_i \cdot v = v_{x_i}'$ for $v \in T_n$. Every finite dimensional submodule $V$ of $T_n$ is nilpotent, i.e. every polynomial $f \in \mathbb K[X]$ with zero constant term acts nilpotently (by m…
▽ More
Let $\mathbb K$ be an algebraically closed field of characteristic zero, $\mathbb K[X]$ the polynomial ring in $n$ variables. The vector space $T_n = \mathbb K[X]$ is a $\mathbb K[X]$-module with the action $x_i \cdot v = v_{x_i}'$ for $v \in T_n$. Every finite dimensional submodule $V$ of $T_n$ is nilpotent, i.e. every polynomial $f \in \mathbb K[X]$ with zero constant term acts nilpotently (by multiplication) on $V.$ We prove that every nilpotent $\mathbb K[X]$-module $V$ of finite dimension over $\mathbb K$ with one dimensional socle can be isomorphically embedded in the module $T_n$. The automorphism groups of the module $T_n$ and its finite dimensional monomial submodules are found. Similar results are obtained for (non-nilpotent) finite dimensional $\mathbb K[X]$-modules with one dimensional socle.
△ Less
Submitted 8 May, 2018; v1 submitted 2 May, 2018;
originally announced May 2018.
-
Wildness of the problem of classifying nilpotent Lie algebras of vector fields in four variables
Authors:
V. M. Bondarenko,
A. P. Petravchuk
Abstract:
Let $\mathbb F$ be a field $\mathbb F $ of characteristic zero. Let $W_{n}(\mathbb F)$ be the Lie algebra of all $\mathbb F$-derivations with the Lie bracket $[D_1, D_2]:=D_1D_2-D_2D_1$ on the polynomial ring $\mathbb F [x_1, \ldots , x_n]$. The problem of classifying finite dimensional subalgebras of $W_{n}(\mathbb F)$ was solved if $ n\leq 2$ and $\mathbb F=\mathbb C$ or $\mathbb F=\mathbb R.$ W…
▽ More
Let $\mathbb F$ be a field $\mathbb F $ of characteristic zero. Let $W_{n}(\mathbb F)$ be the Lie algebra of all $\mathbb F$-derivations with the Lie bracket $[D_1, D_2]:=D_1D_2-D_2D_1$ on the polynomial ring $\mathbb F [x_1, \ldots , x_n]$. The problem of classifying finite dimensional subalgebras of $W_{n}(\mathbb F)$ was solved if $ n\leq 2$ and $\mathbb F=\mathbb C$ or $\mathbb F=\mathbb R.$ We prove that this problem is wild if $n\geq 4$, which means that it contains the classical unsolved problem of classifying matrix pairs up to similarity. The structure of finite dimensional subalgebras of $W_{n}(\mathbb F)$ is interesting since each derivation in case $\mathbb F=\mathbb R$ can be considered as a vector field with polynomial coefficients on the manifold $\mathbb R^{n}.$
△ Less
Submitted 26 March, 2018;
originally announced March 2018.
-
Wildness of the problems of classifying two-dimensional spaces of commuting linear operators and certain Lie algebras
Authors:
Vyacheslav Futorny,
Tetiana Klymchuk,
Anatolii P. Petravchuk,
Vladimir V. Sergeichuk
Abstract:
For each two-dimensional vector space $V$ of commuting $n\times n$ matrices over a field $\mathbb F$ with at least 3 elements, we denote by $\widetilde V$ the vector space of all $(n+1)\times(n+1)$ matrices of the form $\left[\begin{smallmatrix}A&*\\0&0\end{smallmatrix}\right]$ with $A\in V$. We prove the wildness of the problem of classifying Lie algebras $\widetilde V$ with the bracket operation…
▽ More
For each two-dimensional vector space $V$ of commuting $n\times n$ matrices over a field $\mathbb F$ with at least 3 elements, we denote by $\widetilde V$ the vector space of all $(n+1)\times(n+1)$ matrices of the form $\left[\begin{smallmatrix}A&*\\0&0\end{smallmatrix}\right]$ with $A\in V$. We prove the wildness of the problem of classifying Lie algebras $\widetilde V$ with the bracket operation $[u,v]:=uv-vu$. We also prove the wildness of the problem of classifying two-dimensional vector spaces consisting of commuting linear operators on a vector space over a field.
△ Less
Submitted 29 September, 2017;
originally announced September 2017.
-
Locally nilpotent Lie algebras of derivations of integral domains
Authors:
A. P. Petravchuk,
O. M. Shevchyk,
K. Ya. Sysak
Abstract:
Let $\mathbb K$ be a field of characteristic zero and $A$ an integral domain over $\mathbb K.$ The Lie algebra $\Der_{\mathbb K} A$ of all $\mathbb K$-derivations of $A$ carries very important information about the algebra $A.$ This Lie algebra is embedded into the Lie algebra $R\Der_{\mathbb K} A\subseteq \Der_{\mathbb K}R$, where $R={\rm Frac}(A)$ is the fraction field of $A.$ The rank…
▽ More
Let $\mathbb K$ be a field of characteristic zero and $A$ an integral domain over $\mathbb K.$ The Lie algebra $\Der_{\mathbb K} A$ of all $\mathbb K$-derivations of $A$ carries very important information about the algebra $A.$ This Lie algebra is embedded into the Lie algebra $R\Der_{\mathbb K} A\subseteq \Der_{\mathbb K}R$, where $R={\rm Frac}(A)$ is the fraction field of $A.$ The rank $rk_{R}L$ of a subalgebra $L$ of $R\Der_{\mathbb K} A$ is defined as dimension $\dim_R RL.$ We prove that every locally nilpotent subalgebra $L$ of $R\Der_{\mathbb K} A$ with $rk_{R}L=n$ has a series of ideals $0=L_0\subset L_1\subset L_2\dots \subset L_n=L$ such that $\rank_R L_i=i$ and all the quotient Lie algebras $L_{i+1}/L_{i}, i=0, \ldots , n-1,$ are abelian. We also describe all maximal (with respect to inclusion) locally nilpotent subalgebras $L$ of the Lie algebra $R\Der_{\mathbb K} A$ with $rk_{R}L=3.$
△ Less
Submitted 26 September, 2017;
originally announced September 2017.
-
On Lie algebras associated with modules over polynomial rings
Authors:
A. P. Petravchuk,
K. Ya. Sysak
Abstract:
Let $\mathbb K$ be an algebraically closed field of characteristic zero. Let $V$ be a module over the polynomial ring $\mathbb K[x,y]$. The actions of $x$ and $y$ determine linear operators $P$ and $Q$ on $V$ as a vector space over $\mathbb K$. Define the Lie algebra $L_V=\mathbb K\langle P,Q\rangle \rightthreetimes V$ as the semidirect product of two abelian Lie algebras with the natural action o…
▽ More
Let $\mathbb K$ be an algebraically closed field of characteristic zero. Let $V$ be a module over the polynomial ring $\mathbb K[x,y]$. The actions of $x$ and $y$ determine linear operators $P$ and $Q$ on $V$ as a vector space over $\mathbb K$. Define the Lie algebra $L_V=\mathbb K\langle P,Q\rangle \rightthreetimes V$ as the semidirect product of two abelian Lie algebras with the natural action of $\mathbb K\langle P,Q\rangle$ on $V$. We show that if $\mathbb K[x,y]$-modules $V$ and $W$ are isomorphic or weakly isomorphic, then the corresponding associated Lie algebras $L_V$ and $L_W$ are isomorphic. The converse is not true: we construct two $\mathbb K[x,y]$-modules $V$ and $W$ of dimension $4$ that are not weakly isomorphic but their associated Lie algebras are isomorphic. We characterize such pairs of $\mathbb K[x, y]$-modules of arbitrary dimension. We prove that indecomposable modules $V$ and $W$ with $\dim V=\dim W\geq 7$ are weakly isomorphic if and only if their associated Lie algebras $L_V$ and $L_W$ are isomorphic.
△ Less
Submitted 13 January, 2017;
originally announced January 2017.
-
On Lie algebras consisting of locally nilpotent derivations
Authors:
A. P. Petravchuk,
K. Ya. Sysak
Abstract:
Let $K$ be an algebraically closed field of characteristic zero and $A$ an integral $K$-domain. The Lie algebra $Der_{K}(A)$ of all $K$-derivations of $A$ contains the set $LND(A)$ of all locally nilpotent derivations. The structure of $LND(A)$ is of great interest, and the question about properties of Lie algebras contained in $LND(A)$ is still open. An answer to it in the finite dimensional case…
▽ More
Let $K$ be an algebraically closed field of characteristic zero and $A$ an integral $K$-domain. The Lie algebra $Der_{K}(A)$ of all $K$-derivations of $A$ contains the set $LND(A)$ of all locally nilpotent derivations. The structure of $LND(A)$ is of great interest, and the question about properties of Lie algebras contained in $LND(A)$ is still open. An answer to it in the finite dimensional case is given. It is proved that any finite dimensional (over $K$) subalgebra of $Der_{K}(A)$ consisting of locally nilpotent derivations is nilpotent. In the case $A=K[x, y],$ it is also proved that any subalgebra of $Der_{K}(A)$ consisting of locally nilpotent derivations is conjugated by an automorphism of $K[x, y]$ with a subalgebra of the triangular Lie algebra.
△ Less
Submitted 4 August, 2016;
originally announced August 2016.
-
On nilpotent Lie algebras of derivations of fraction fields
Authors:
A. P. Petravchuk
Abstract:
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 dimen…
▽ More
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.
△ Less
Submitted 10 August, 2016; v1 submitted 17 January, 2016;
originally announced January 2016.
-
On nilpotent and solvable Lie algebras of derivations
Authors:
Ie. O. Makedonskyi,
A. P. Petravchuk
Abstract:
Let K be a field and A be a commutative associative K-algebra which is an integral domain. The Lie algebra Der A of all K-derivations of A is an A-module in a natural way and if R is the quotient field of A, then RDer A is a vector space over R. It is proved that if L is a nilpotent subalgebra of RDer A of rank k over R (i.e. such that dim_{R}RL=k), then the derived length of L is at most k and L…
▽ More
Let K be a field and A be a commutative associative K-algebra which is an integral domain. The Lie algebra Der A of all K-derivations of A is an A-module in a natural way and if R is the quotient field of A, then RDer A is a vector space over R. It is proved that if L is a nilpotent subalgebra of RDer A of rank k over R (i.e. such that dim_{R}RL=k), then the derived length of L is at most k and L is finite dimensional over its field of constants. In case of solvable Lie algebras over a field of characteristic zero their derived length does not exceed 2k. Nilpotent and solvable Lie algebras of rank 1 and 2 (over R) from the Lie algebra RDer A are characterized. As a consequence we obtain the same estimations for nilpotent and solvable Lie algebras of vector fields with polynomial, rational, or formal coefficients.
△ Less
Submitted 6 May, 2013;
originally announced May 2013.
-
On finite dimensional Lie algebras of planar vector fields with rational coefficients
Authors:
Ievgen Makedonskyi,
Anatoliy Petravchuk
Abstract:
The Lie algebra of planar vector fields with coefficients from the field of rational functions over an algebraically closed field of characteristic zero is considered. We find all finite-dimensional Lie algebras that can be realized as subalgebras of this algebra.
The Lie algebra of planar vector fields with coefficients from the field of rational functions over an algebraically closed field of characteristic zero is considered. We find all finite-dimensional Lie algebras that can be realized as subalgebras of this algebra.
△ Less
Submitted 9 January, 2013; v1 submitted 17 November, 2012;
originally announced November 2012.
-
Finite-dimensional subalgebras in polynomial Lie algebras of rank one
Authors:
I. V. Arzhantsev,
E. A. Makedonskii,
A. P. Petravchuk
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 May, 2010;
originally announced May 2010.
-
On pairs of commuting derivations of the polynomial ring in two variables
Authors:
Anatoliy P. Petravchuk
Abstract:
Let $k$ be an arbitrary field of characteristic zero, $k[x, y]$ be the polynomial ring and $D$ a $k$-derivation of the ring $k[x, y]$. Recall that a nonconstant polynomial $F\in k[x, y]$ is said to be a Darboux polynomial of the derivation $D$ if $D(F)=λF$ for some polynomial $λ\in k[x, y]$. We prove that any two linearly independent over the field $k$ commuting $k$-derivations $D_{1}$ and…
▽ More
Let $k$ be an arbitrary field of characteristic zero, $k[x, y]$ be the polynomial ring and $D$ a $k$-derivation of the ring $k[x, y]$. Recall that a nonconstant polynomial $F\in k[x, y]$ is said to be a Darboux polynomial of the derivation $D$ if $D(F)=λF$ for some polynomial $λ\in k[x, y]$. We prove that any two linearly independent over the field $k$ commuting $k$-derivations $D_{1}$ and $D_{2}$ of the ring $k[x, y]$ either have a common Darboux polynomial, or $D_{1}=D_{u_{1}}, D_{2}=D_{u_{2}}$ are Jacobian derivations i.e., $D_{i}(f)=\det J(u_{i}, f)$ for every $f\in k[x, y], i=1, 2,$ where the polynomials $u_{1}, u_{2}$ satisfy the condition $\det J(u_{1}, u_{2})=c\in k^{\star}.$ This statement about derivations is an analogue of the known fact from
Linear Algebra about common eigenvectors of pairs of commuting linear operators.
△ Less
Submitted 11 November, 2009;
originally announced November 2009.
-
On the annihilators of rational functions in the Lie algebra of derivations of k[x, y]
Authors:
O. G. Iena,
A. P. Petravchuk,
A. O. Regeta
Abstract:
Let k be an algebraically closed field of zero characteristic. The Lie algebra W_2 of all k-derivations of the polynomial ring k[x, y] naturally acts on the polynomial ring k[x, y] and also on the field of rational functions k(x, y). For a fixed non-constant rational function u from k(x,y) we consider the set A_{W_2}(u) of all derivations D from W_2 such that D(u)=0. We prove that A_{W_2}(u) is…
▽ More
Let k be an algebraically closed field of zero characteristic. The Lie algebra W_2 of all k-derivations of the polynomial ring k[x, y] naturally acts on the polynomial ring k[x, y] and also on the field of rational functions k(x, y). For a fixed non-constant rational function u from k(x,y) we consider the set A_{W_2}(u) of all derivations D from W_2 such that D(u)=0. We prove that A_{W_2}(u) is a free submodule of rank 1 of the k[x,y]-module W_2. A description of the maximal abelian subalgebras as well of the centralizers of elements in the Lie algebra A_{W_2}(u) has been obtained.
△ Less
Submitted 23 October, 2009;
originally announced October 2009.
-
On behavior of solvable ideals of Lie algebras under outer derivations
Authors:
Anatoliy P. Petravchuk
Abstract:
Let $L$ be a finite dimensional Lie algebra over a field $F$. It is well known that the solvable radical $S(L)$ of the algebra $L$ is a characteristic ideal of $L$ if $\char F=0$ and there are counterexamples to this statement in case $\char F=p>0$. We prove that the sum $S(L)$ of all solvable ideals of a Lie algebra $L$ (not necessarily finite dimensional) is a characteristic ideal of $L$ in th…
▽ More
Let $L$ be a finite dimensional Lie algebra over a field $F$. It is well known that the solvable radical $S(L)$ of the algebra $L$ is a characteristic ideal of $L$ if $\char F=0$ and there are counterexamples to this statement in case $\char F=p>0$. We prove that the sum $S(L)$ of all solvable ideals of a Lie algebra $L$ (not necessarily finite dimensional) is a characteristic ideal of $L$ in the following cases: 1) $\char F=0;$ 2) $S(L)$ is solvable and its derived length is less than $\log_{2}p.$ Some estimations (in characteristic 0) for the derived length of ideals $I+D(I)+... +D^{k}(I)$ are obtained where $I$ is a solvable ideal of $L$ and $D\in Der(L).$
△ Less
Submitted 24 August, 2008;
originally announced August 2008.
-
Saturated subfields and invariants of finite groups
Authors:
Ivan V. Arzhantsev,
Anatoliy P. Petravchuk
Abstract:
Every subfield $\kk(φ)$ of the field of rational functions $\kk(x_1,...,x_n)$ is contained in a unique maximal subfield of the form $\kk(ψ)$. The element $ψ$ is called generative for the element $φ$. A subfield of $\kk(x_1,...,x_n)$ is called saturated if it contains a generative element of each its element. We study the saturation property for subfields of invariants $\kk(x_1,...,x_n)^G$, where…
▽ More
Every subfield $\kk(φ)$ of the field of rational functions $\kk(x_1,...,x_n)$ is contained in a unique maximal subfield of the form $\kk(ψ)$. The element $ψ$ is called generative for the element $φ$. A subfield of $\kk(x_1,...,x_n)$ is called saturated if it contains a generative element of each its element. We study the saturation property for subfields of invariants $\kk(x_1,...,x_n)^G$, where $G$ is a finite group of automorphisms of the field $\kk(x_1,...,x_n)$.
△ Less
Submitted 29 April, 2009; v1 submitted 22 August, 2008;
originally announced August 2008.
-
On one-sided Lie nilpotent ideals of associative rings
Authors:
V. S. Luchko,
A. P. Petravchuk
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 March, 2008;
originally announced March 2008.
-
On closed rational functions in several variables
Authors:
A. P. Petravchuk,
O. G. Iena
Abstract:
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…
▽ More
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.
△ Less
Submitted 12 February, 2007; v1 submitted 21 January, 2007;
originally announced January 2007.
-
Closed and Irreducible Polynomials in Several Variables
Authors:
Ivan V. Arzhantsev,
Anatoliy P. Petravchuk
Abstract:
New and old results on closed polynomials, i.e., such polynomials f in K[x_1,...,x_n] that the subalgebra K[f] is integrally closed in K[x_1,...,x_n], are collected. Using some properties of closed polynomials we prove the following factorization theorem: Let f be an element of K[x_1,...,x_n], where K is an algebraically closed field. Then for all but finite number of a's the polynomial f+a can…
▽ More
New and old results on closed polynomials, i.e., such polynomials f in K[x_1,...,x_n] that the subalgebra K[f] is integrally closed in K[x_1,...,x_n], are collected. Using some properties of closed polynomials we prove the following factorization theorem: Let f be an element of K[x_1,...,x_n], where K is an algebraically closed field. Then for all but finite number of a's the polynomial f+a can be decomposed into a product of irreducible polynomials of the same degree (not depending on a) such that their defferences are constants. An algorithm for finding of a generative polynomial of a given polynomial f, which is a closed polynomial h with f=F(h) for some F(t) in K[t], is given. Some types of saturated subalgebras A in K[x_1,...,x_n] are considered, i.e., such that for any f in A a generative polynomial of f is contained in A.
△ Less
Submitted 20 May, 2007; v1 submitted 7 August, 2006;
originally announced August 2006.