Related papers: A commuting derivations theorem on UFDs
We establish a Primitive Element Theorem for fields equipped with several commuting operators such that each of the operators is either a derivation or an automorphism. More precisely, we show that for every extension $F \subset E$ of such…
We provide a combinatorial interpretation of the symmetric function $\left.\Theta_{e_k}\Theta_{e_l}\nabla e_{n-k-l}\right|_{t=0}$ in terms of segmented Smirnov words. The motivation for this work is the study of a diagonal coinvariant ring…
Let $R$ be a finite non-commutative ring with $1\ne 0$. By a polynomial function on $R$, we mean a function $F\colon R\longrightarrow R$ induced by a polynomial $f=\sum\limits_{i=0}^{n}a_ix^i\in R[x]$ via right substitution of the variable…
In this paper our main theorem states the following, Main Theorem : Let B denote the polynomial ring D[x1,.... ,xn] , in the commuting indeterminates x i over a division ring D . Let M be a finitely generated B-module . Let B m denote the…
In this paper we present an equivalent statement to the Jacobian conjecture. For a polynomial map F on an affine space of dimension n, we define recursively n finite sequences of polynomials. We give an equivalent condition to the…
Let $k$ be a commutative ring and $A$ a commutative $k$-algebra. Given a positive integer $m$, or $m=\infty$, we say that a $k$-linear derivation $\delta$ of $A$ is $m$-integrable if it extends up to a Hasse--Schmidt derivation…
Algebraic actions of unipotent groups $U$ actions on affine $k-$varieties $X$ ($k$ an algebraically closed field of characteristic 0) for which the algebraic quotient $X//U$ has small dimension are considered$.$ In case $X$ is factorial,…
Here we prove that a commuting variety associated with a symmetric pair (g, g_0) is irreducible for (so_{n+m}, so_n + so_m) and reducible for (gl_{n+m}, {gl}_n + gl_m) with n>m, (so_{2n}, gl_n) with odd n, (E_6, {so}_{10} + k).
Let $G$ be a subgroup of $S_n$, the symmetric group of degree $n$. For any field $k$, $G$ acts naturally on the rational function field $k(x_1,x_2,\ldots,x_n)$ via $k$-automorphisms defined by $\sigma\cdot x_i=x_{\sigma(i)}$ for any…
Let $k[X]=k[x_0,...,x_{n-1}]$ and $k[Y]=k[y_0,...,y_{n-1}]$ be the polynomial rings in $n\geqslant 3$ variables over a field $k$ of characteristic zero containing the $n$-th roots of unity. Let $d$ be the cyclotomic derivation of $k[X]$,…
The Mishchenko-Fomenko conjecture says that for each real or complex finite-dimensional Lie algebra $\goth g$ there exists a complete set of commuting polynomials on its dual space $\goth g^*$. In terms of the theory of integrable…
Let $k\in \mathbb{N}\setminus\{0\}$. For a commutative ring $R$, the ring of dual numbers of $k$ variables over $R$ is the quotient ring $R[x_1,\ldots,x_k]/ I $, where $I$ is the ideal generated by the set $\{x_ix_j\mid i,j=1,\ldots,k\}$.…
We study the images of polynomial maps over algebraically closed division rings. Our first result generalizes the classical Ax-Grothendieck theorem: We show that if $ f_1, \ldots, f_m $ are elements of the free associative algebra $…
We study algebraic dynamical systems (and, more generally, $\sigma$-varieties) $\Phi:{\mathbb A}^n_{\mathbb C} \to {\mathbb A}^n_{\mathbb C}$ given by coordinatewise univariate polynomials by refining a theorem of Ritt. More precisely, we…
In this paper we prove that if $f$ is a self-mapping of a nonempty subset $K$ of a normed space $X$ that satisfies some mild conditions, then the minimal displacement of large iterations $f^n$ always dominates that of $f$ along certain…
We show that any uniformly escaping and wandering dynamics of a holomorphic function on a compact subset of the plane can be realised by a transcendental meromorphic function on $\mathbb{C}$. More precisely, let $\varphi$ be a holomorphic…
We develop a theory of formal multivariate polynomials over commutative rings by treating them as ring terms. Our main result is that two ring terms are s-equivalent (when expanded they yield the same standard polynomial) iff they are…
Let $S_{1}=\left\{F_t\right\}_{t\geq 0}$ and $S_{2}=\left\{G_t\right\}_{t\geq 0}$ be two continuous semigroups of holomorphic self-mappings of the unit disk $\Delta=\{z:|z|<1\}$ generated by $f$ and $g$, respectively. We present conditions…
Let $D$ denote the set of directions determined by the graph of a polynomial $f$ of $\mathbb{F}_q[x]$, where $q$ is a power of the prime $p$. If $D$ is contained in a multiplicative subgroup $M$ of $\mathbb{F}_q^\times$, then by a result of…
This paper studies the sliced nearby cycle functor and its commutation with duality. Over a Henselian discrete valuation ring, we show that this commutation holds, confirming a prediction of Deligne. As an application we give a new proof of…