Related papers: Test polynomials, retracts, and the Jacobian conje…

We prove that a polynomial map is invertible if and only if some associated differential ring homomorphism is bijective. To this end, we use a theorem of Crespo and Hajto linking the invertibility of polynomial maps with Picard-Vessiot…

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…

The Automorphism Theorem, discovered first by Jung in 1942, asserts that if $k$ is a field, then every polynomial automorphism of $k^2$ is a finite product of linear automorphisms and automorphisms of the form $(x,y)\mapsto(x+p(y), y) $ for…

Let $n\geq 2$ and $\mathbb K $ be a number field of characteristic $0$. Jacobian Conjecture asserts for a polynomial map $\mathcal P$ from $\mathbb K ^n$ to itself, if the determinant of its Jacobian matrix is a nonzero constant in $\mathbb…

The Jacobian conjecture involves the map $y= x - V(x)$ where $y, x$ are n-dimensional vectors, $V(x)$ is a symmetric polynomial of degree $d$ for which the Jacobian hypothesis holds: $ e^{Tr \ln(1- V'(x))} =1,\ \forall x$. The conjecture…

We consider differential rings of the form (K[x; y];D), where K is an algebraically closed field of characteristic zero and D : K[x; y] \to K[x; y] is a K-derivation. We study the Automorphism Group of such a ring and give criteria for…

Jacobian conjecture states that if $F:\ \mathbb C^n(\mathbb R^n)\rightarrow \mathbb C^n(\mathbb R^n)$ is a polynomial map such that the Jacobian of $F$ is a nonzero constant, then $F$ is injective. This conjecture is still open for all…

Vladimir Shpilrain and Jie-Tai Yu have asked for an effective algorithm to decide if two elements of C[x,y] are related by an automorphism of C[x,y]. We describe here an efficient algorithm that decides this question and finds the…

A non-zero constant Jacobian polynomial maps $F=(P,Q)$ of $\mathbb{C}^2$ is invertible if $P$ and $Q$ are rational polynomials.

Let $K$ be a field of characteristic $0$, and let $k \geq 2$ be an integer. We prove that every $K$-linear bijection $f \colon K[X] \to K[X]$ strongly preserving the set of $k$-free polynomials (or the set of polynomials with a $k$-fold…

We prove that an irreducible polynomial derivation in positive characteristic is a Jacobian derivation if and only if there exists an n-1-element p-basis of its ring of constants. In the case of two variables we characterize these…

Let K be an algebraically closed field of characteristic zero and let f(x,y) be a nonzero polynomial of K[x,y]. We prove that if the generic element of the family $(f-\lambda)\_{\lambda}$ is a rational polynomial, and if the Jacobian J(f,g)…

A polynomial endomorphism $\sigma\in {\rm End}_K(P_n)$ is called a Jacobian map if its Jacobian is a nonzero scalar (the field has zero characteristic). Each Jacobian map $\sigma$ is extended to an endomorphism $\sigma$ of the Weyl algebra…

The two-dimensional Jacobian Conjecture says that a Keller map $f: (x,y) \mapsto (p,q) \in k[x,y]^2$ having an invertible Jacobian is an automorphism of $k[x,y]$. We prove that there is no Keller map with $[k(x,y): k(p,q)]$ prime.

Let $k$ be an algebraically closed field of characteristic zero. Let $H:k^2\to k^2$ be a polynomial mapping such that the Jacobian $\text{Jac}\,H$ is a non-zero constant. In this note we prove, that if there is a line $l \subset k^2$ such…

The famous Jacobian conjecture asks if an endomorphism $f$ of $K[x,y]$ ($K$ is a characteristic zero field) having a non-zero scalar Jacobian is invertible. Let $\alpha$ be the exchange involution on $K[x,y]$: $\alpha(x)= y$ and $\alpha(y)=…

This article is about polynomial maps with a certain symmetry and/or antisymmetry in their Jacobians, and whether the Jacobian Conjecture is satisfied for such maps, or whether it is sufficient to prove the Jacobian Conjecture for such…

In this paper, we will first show that, the homogeneous polynomials which satisfy the Jacobian condition are injective on the lines that pass through the origin. Secondly, we will show that $F$ and $G'$ are paired, where $F$ is a Druzkowski…

We say that a polynomial automorphism $\phi $ in $n$ variables is stably co-tame if the tame subgroup in $n$ variables is contained in the subgroup generated by $\phi $ and affine automorphisms in $n+1$ variables. In this paper, we give…

Let K<x,y> be the free associative algebra of rank 2 over an algebraically closed constructive field of any characteristic. We present an algorithm which decides whether or not two elements in K<x,y> are equivalent under an automorphism of…