Source author record

Arno van den Essen

Arno van den Essen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

On the Image Conjecture for Locally Finite Derivations and $\mathcal E$-Derivations

Some cases of the LFED Conjecture, proposed by the second author [Z3], for certain integral domains are proved. In particular, the LFED Conjecture is completely established for the field of fractions $k(x)$ of the polynomial algebra $k[x]$, the formal power series algebra $k[[x]]$ and the Laurent formal power series algebra $k[[x]][x^{-1}]$, where $x=(x_1, x_2, \dots, x_n)$ denotes $n$ commutative free variables and $k$ a field of characteristic zero. Furthermore, the relation between the LFED Conjecture and the Duistermaat-van der Kallen Theorem [DK] is also discussed and emphasized.

preprint2013arXiv

The Strong Factorial Conjecture

In this paper we present an unexpected link between the Factorial Conjecture and Furter's Rigidity Conjecture. The Factorial Conjecture in dimension $m$ asserts that if a polynomial $f$ in $m$ variables $X_i$ over $\C$ is such that ${\cal L}(f^k)=0$ for all $k\geq 1$, then $f=0$, where ${\cal L}$ is the $\C$-linear map from $\C[X_1,...,X_m]$ to $\C$ defined by ${\cal L}(X_1^{l_1}... X_m^{l_m})=l_1!... l_m!$. The Rigidity Conjecture asserts that a univariate polynomial map $a(X)$ with complex coefficients of degree at most $m+1$ such that $a(X)=X$ mod $X^2$, is equal to $X$ if $m$ consecutive coefficients of the formal inverse of $a(X)$ are zero.

preprint2012arXiv

Stable Tameness of Two-Dimensional Polynomial Automorphisms Over a Regular Ring

In this paper it is established that all two-dimensional polynomial automorphisms over a regular ring R are stably tame. In the case R is a Dedekind Q-algebra, some stronger results are obtained. A key element in the proof is a theorem which yields the following corollary: Over an Artinian ring A all two-dimensional polynomial automorphisms having Jacobian determinant one are stably tame, and are tame if A is a Q-algebra. Another crucial ingredient, of interest in itself, is that stable tameness is a local property: If an automorphism is locally tame, then it is stably tame.

preprint2011arXiv

Some Results on the Vanishing Conjecture of Differential Operators with Constant Coefficients

In this paper we prove four cases of the vanishing conjecture of differential operators with constant coefficients and also a conjecture on the Laurent polynomials with no holomorphic parts, which were proposed in [Zh3] by the third named author. We also give two examples to show that the generalizations of both the vanishing conjecture and the Duistermaat-van der Kallen theorem [DK] to Laurent formal power series do not hold in general.

preprint2010arXiv

Images of Locally Finite Derivations of Polynomial Algebras in Two Variables

In this paper we show that the image of any locally finite $k$-derivation of the polynomial algebra $k[x, y]$ in two variables over a field $k$ of characteristic zero is a Mathieu subspace. We also show that the two-dimensional Jacobian conjecture is equivalent to the statement that the image $Im D$ of every $k$-derivation $D$ of $k[x, y]$ such that $1\in Im D$ and $div D=0$ is a Mathieu subspace of $k[x, y]$.

preprint2010arXiv

Mathieu Subspaces of Univariate Polynomial Algebras

We first give a characterization for Mathieu subspaces of univariate polynomial algebras over fields in terms of their radicals. We then deduce that for some classes of classical univariate orthogonal polynomials the Image Conjecture is true. We also prove two special cases of the one-dimensional Image Conjecture for univariate polynomial algebras $A[t]$ over commutative $\Bbb Q$-algebras $A$.

preprint2010arXiv

The Amazing Image Conjecture

In this paper we discuss a general framework in which we present a new conjecture, due to Wenhua Zhao, the Image Conjecture. This conjecture implies the Generalized Vanishing Conjecture and hence the Jacobian Conjecture. Crucial ingredient is the notion of a Mathieu space: let $k$ be a field and $R$ a commutative $k$-algebra. A $k$-linear subspace $M$ of $R$ is called a Mathieu subspace of $R$, if the following holds: let $f\in R$ be such that $f^m\in M$, for all $m\geq 1$, then for every $g\in R$ also $gf^m\in M$, for almost all $m$, i.e. only finitely many exceptions. Let $A$ be the polynomial ring in $ζ=ζ_1, ...,ζ_n$ and $z_1, ...,z_n$ over $\mathbb C$. The Image Conjecture (IC) asserts that $\sum_i(\partial_{z_i}-ζ_i)A$ is a Mathieu subspace of $A$. We prove this conjecture for $n=1$. Also we relate (IC) to the following Integral Conjecture: if $B$ is an open subset of $\mathbb R^n$ and $σ$ a positive measure, such that the integral over $B$ of each polynomial in $z$ over $\mathbb C$ is finite, then the set of polynomials, whose integral over $B$ is zero, is a Mathieu subspace of $\mathbb C[z]$. It turns out that Laguerre polynomials play a special role in the study of the Jacobian Conjecture.

preprint2010arXiv

Unipotent group actions on affine varieties

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, $O(X)^{\ast}=k^{\ast},$ and $X//U$ is one-dimensional, it is shown that $O(X)^{U}$=$k[f]$, and if some point in $X$ has trivial isotropy, then $X$ is $U$ equivariantly isomorphic to $U\times A^{1}(k).$ The main results are given distinct geometric and algebraic proofs. Links to the Abhyankar-Sathaye conjecture and a new equivalent formulation of the Sathaye conjecture are made.

preprint2005arXiv

On ring homomorphisms of Azumaya algebras

The main theorem (Theorem 4.1) of this paper claims that any ring morphism from an Azumaya algebra of constant rank over a commutative ring to another one of the same constant rank and over a reduced commutative ring induces a ring morphism between the centers of these algebras. The second main theorem (Theorem 5.3) implies (through its Corollary 5.4) that a ring morphism between two Azumaya algebras of the same constant rank is an isomorphism if and only if it induces an isomorphism between their centers. As preliminary to these theorems we also prove a theorem (Theorem 2.8) describing the Brauer group of a commutative Artin ring and give an explicit proof of the converse of the Artin-Procesi theorem on Azumaya algebras (Theorem 2.6).