Source author record

Arno van den Essen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
7topics
4close collaborators

Published work

11 publications

preprint2022arXiv

On the Image Conjecture for Locally Finite Derivations and E\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)k(x) of the polynomial algebra k[x]k[x], the formal power series algebra k[[x]]k[[x]] and the Laurent formal power series algebra k[[x]][x−1]k[[x]][x^{-1}], where x=(x1,x2,…,xn)x=(x_1, x_2, \dots, x_n) denotes nn commutative free variables and kk 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 mm asserts that if a polynomial ff in mm variables XiX_i over $\C$ is such that L(fk)=0{\cal L}(f^k)=0 for all k≥1k\geq 1, then f=0f=0, where L{\cal L} is the $\C$-linear map from $\C[X_1,...,X_m]$ to $\C$ defined by L(X1l1...Xmlm)=l1!...lm!{\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)a(X) with complex coefficients of degree at most m+1m+1 such that a(X)=Xa(X)=X mod X2X^2, is equal to XX if mm consecutive coefficients of the formal inverse of a(X)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 kk-derivation of the polynomial algebra k[x,y]k[x, y] in two variables over a field kk of characteristic zero is a Mathieu subspace. We also show that the two-dimensional Jacobian conjecture is equivalent to the statement that the image ImDIm D of every kk-derivation DD of k[x,y]k[x, y] such that 1∈ImD1\in Im D and divD=0div D=0 is a Mathieu subspace of k[x,y]k[x, y].

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 kk be a field and RR a commutative kk-algebra. A kk-linear subspace MM of RR is called a Mathieu subspace of RR, if the following holds: let f∈Rf\in R be such that fm∈Mf^m\in M, for all m≥1m\geq 1, then for every g∈Rg\in R also gfm∈Mgf^m\in M, for almost all mm, i.e. only finitely many exceptions. Let AA be the polynomial ring in ζ=ζ1,...,ζnζ=ζ_1, ...,ζ_n and z1,...,znz_1, ...,z_n over C\mathbb C. The Image Conjecture (IC) asserts that ∑i(∂zi−ζi)A\sum_i(\partial_{z_i}-ζ_i)A is a Mathieu subspace of AA. We prove this conjecture for n=1n=1. Also we relate (IC) to the following Integral Conjecture: if BB is an open subset of Rn\mathbb R^n and σσ a positive measure, such that the integral over BB of each polynomial in zz over C\mathbb C is finite, then the set of polynomials, whose integral over BB is zero, is a Mathieu subspace of C[z]\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 UU actions on affine k−k-varieties XX (kk an algebraically closed field of characteristic 0) for which the algebraic quotient X//UX//U has small dimension are considered.. In case XX is factorial, O(X)∗=k∗,O(X)^{\ast}=k^{\ast}, and X//UX//U is one-dimensional, it is shown that O(X)UO(X)^{U}=k[f]k[f], and if some point in XX has trivial isotropy, then XX is UU equivariantly isomorphic to U×A1(k).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).

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.