Related papers: A commuting derivations theorem on UFDs
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…
Miyanishi proved that the ring of invariants of any $\mathbb{G}_a$ action on $\mathbb{A}^3$ is $\mathbb{A}^2$, when the field $k$ has zero characteristic. However, it is not known if this result holds when $k$ has positive characteristic.…
The first part of the paper will describe a recent result of K. Retert in (\cite{Ret}) for $k[x_1,\ldots,x_n]$ and $k[[x_1,\ldots,x_n]]$. This result states that if $\mathfrak{D}$ is a set of commute $k$-derivations of $k[x,y]$ such that…
We prove Freudenburg's Freeness Conjecture: Let B be the polynomial ring in three variables over a field of characteristic zero, let D : B --> B be a nonzero locally nilpotent derivation, and let A = ker(D). Then B is a free A-module, and…
We prove the rank-4 case of the conjecture of Ha-Hai-Nghia for the invariant subspace of the truncated polynomial ring $\mathcal{Q}_m(n)=\mathbb{F}_q[x_1,\dots,x_n]/(x_1^{q^m},\dots,x_n^{q^m}),$ under a new, explicit technical hypothesis.…
The Guillemin-Sternberg conjecture states that "quantisation commutes with reduction" in a specific technical setting. So far, this conjecture has almost exclusively been stated and proved for compact Lie groups $G$ acting on compact…
In the paper, we first study the subgroup of $ K$-automorphisms of $K[x_1,\allowbreak \ldots,x_n]$ which commutes with a simple derivation of $K[x_1,\ldots,x_n]$. We show that the subgroup of $ K$-automorphisms of $K[x_1,\ldots,x_n]$ which…
We study the problem of characterizing polynomial vector fields that commute with a given polynomial vector field on a plane. It is a classical result that one can write down solution formulas for an ODE that corresponds to a planar vector…
We prove that if d is an integer number bigger than 1 and f_1,...,f_d are commuting circle diffeomorphisms respectively of class C^(1+\tau_k), where \tau_1 + ... + \tau_k > 1, then these maps are simultaneously conjugate to rotations…
We prove a reduced version of the Chevalley restriction conjecture on the commuting scheme posed by T.H. Chen and B.C. Ng\^o, extending the results of Hunziker for classical groups. In particular, we prove that for any connected reductive…
We give a new proof of the Hansen-Mullen irreducibility conjecture. The proof relies on an application of a (seemingly new) sufficient condition for the existence of elements of degree $n$ in the support of functions on finite fields. This…
We consider the subgroup Aut(D) consisting of automorphisms of K[x,y] commuting with a derivation D, where K is an algebraically closed field of characteristic 0. We prove that if D is simple (i.e. D does not stabilize non-trivial ideals),…
Let $\R$ be an alternative ring containing a nontrivial idempotent and $\D$ be a multiplicative Lie-type derivation from $\R$ into itself. Under certain assumptions on $\R$, we prove that $\D$ is almost additive. Let $p_n(x_1, x_2, \cdots,…
Let $d\geq 2$ be an integer and let $\omega_1,\cdots ,\omega_d$ be moduli of continuity in a specified class which contains the moduli of H\"{o}lder continuity. Let $f_k$, $k\in\{1,\cdots,d\}$, be $C^{1+\omega_k}$ orientation preserving…
Let $D$ be a simple derivation of the polynomial ring $\mathbb{k}[x_1,\dots,x_n]$, where $\mathbb{k}$ is an algebraically closed field of characteristic zero, and denote by…
We show that the ring of multisymmetric functions over a commutative ring is isomorphic to the ring generated by the coefficients of the characteristic polynomial of polynomials in commuting generic matrices. As a consequence we give a…
We characterize derivations and 2-local derivations from $M_{n}(\mathcal{A})$ into $M_{n}(\mathcal{M})$, $n \ge 2$, where $\mathcal{A}$ is a unital algebra over $\mathbb{C}$ and $\mathcal{M}$ is a unital $\mathcal{A}$-bimodule. We show that…
We establish an invertibility criterion for free polynomials and free functions evaluated on some tuples of matrices. We show that if the derivative is nonsingular on some domain closed with respect to direct sums and similarity, the…
Let R be an affine k-domain over the field k. The paper's main result is that, if R admits a non-trivial embedding in a polynomial ring K[s] for some field K containing k, then R can be embedded in a polynomial ring F[t] which extends R…
Let $G$ be a finite $p$-group and $k$ a field of characteristic $p>0$. We show that $G$ has a \emph{non-linear} faithful action on a polynomial ring $U$ of dimension $n=\mathrm{log}_p(|G|)$ such that the invariant ring $U^G$ is also…