Related papers: Jacobian conjecture in $\mathbb R^2$

In this note we provide two special examples of non-injective polynomial maps from $\mathbb{R}^2$ to $\mathbb{R}^2$ with non-vanishing Jacobian: the first one is surjective, the second one has non-dense image.

We prove that if a non-singular planar map $\Lambda \in C^2(R^2,R^2)$ has a convex component, then $\Lambda$ is injective. We do not assume strict convexity.

It is proved that the Jacobian of a k-endomorphism of k[x_1,...,x_n] over a field k of characteristic zero taking every tame coordinate to a coordinate, must be a nonzero constant in k. It is also proved that the Jacobian of an…

Implementations of known reductions of the Strong Real Jacobian Conjecture (SRJC), to the case of an identity map plus cubic homogeneous or cubic linear terms, and to the case of gradient maps, are shown to preserve significant algebraic…

Let $p$ be a polynomial in several non-commuting variables with coefficients in a field $K$ of arbitrary characteristic. It has been conjectured that for any $n$, for $p$ multilinear, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by…

Let $ K[x, y]$ be the polynomial algebra in two variables over a field $K$ of characteristic $0$. A subalgebra $R$ of $K[x, y]$ is called a retract if there is an idempotent homomorphism (a {\it retraction}, or {\it projection}) $\varphi:…

This paper investigates a Tate algebra version of the Jacobian conjecture, referred to as the Tate-Jacobian conjecture, for commutative rings $R$ equipped with an $I$-adic topology. We show that if the $I$-adic topology on $R$ is Hausdorff…

We give a constructive proof of the general Nullstellensatz: a univariate polynomial ring over a commutative Jacobson ring is Jacobson. This theorem implies that every finitely generated algebra over a zero-dimensional ring or the ring of…

Let $\Omega\subset \mathbb{R}^n$ be open and let $\mathcal{R}$ be a partial frame on $\Omega$, that is a set of $m$ linearly independent vector fields prescribed on $\Omega$ ($m\leq n$). We consider the issue of describing the set of all…

Let f be a nondegenerate power series in several variables. We describe a condition for a polynomial g which implies that the product of g by the kth power of f is not contained in the Jacobian ideal of f.

If a symmetric multilinear algebra is weakly nil, then it is Engel. This result may be regarded as an infinite-dimensional analogue of the well-known Jacobian theorem, which states that if a polynomial mapping has a polynomial inverse, then…

Based on the reduction of degree in polynomial mappings and some known results in algebraic geometry, by introducing the Brouwer degree, a tool from differential topology, algebraic topology and algebraic geometry, we completely prove the…

We first study some properties of images of commuting differential operators of polynomial algebras of order one with constant leading coefficients. We then propose what we call the image conjecture on these differential operators and show…

A map $f$ from the quaternion skew field $H$ to itself, can also be thought as a transformation $f:R^4 \to R^4$. In this manuscript, the Jacobian $J(f)$ of $f$ is computed, in the case where $f$ is a quaternion polynomial. As a consequence,…

The Weitzenboeck theorem states that the algebra of constants of a linear locally nilpotent derivation of the polynomial algebra K[Z]=K[z_1,...,z_m] in m variables over a field K of characteristic 0 is finitely generated. If m=2n and the…

We determine a necessary and sufficient condition for a polynomial over an algebraically closed field $k$ to induce a surjective map on matrix algebras $M_n(k)$ for $n \ge 2$. The criterion is given in terms of critical points and uses…

We consider manifolds whose transition maps are restrictions of polynomial mappings $\mathbb{R}^n\to\mathbb{R}^n$, and use them to give an equivalent statement of the Jacobian conjecture over the real field.

We give a positive answer to a conjecture of Faith stating that a self-injective semiprimary ring is QF, for algebras which are at most countable dimensional modulo their Jacobson radical. As a consequence of the method used, we also give…

We consider polynomial maps of affine space over an algebraically closed field of characteristic zero. We prove that every irreducible component of the zero locus of the Jacobian determinant corresponds to either a contracted divisor or a…

In the field of the Jacobian conjecture it is well-known after Druzkowski that from a polynomial "cubic-homogeneous" mapping we can build a higher-dimensional "cubic-linear" mapping and the other way round, so that one of them is invertible…