We describe some recent developments concerning the Jacobian Conjecture (JC). First we describe Drużkowski’s result in [6] which asserts that it suffices to study the JC for Drużkowski mappings of the form $x+{\left(Ax\right)}^{*3}$ with A² = 0. Then we describe the authors’ result of [2] which asserts that it suffices to study the JC for so-called gradient mappings, i.e. mappings of the form x - ∇f, with $f\in k^{\left[n\right]}$ homogeneous of degree 4. Using this result we explain Zhao’s reformulation of the JC which asserts the following:...

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 and geometric properties of the maps involved. That permits the separate formulation and reduction, though not so far the solution, of the SRJC for classes of nonsingular polynomial endomorphisms of real n-space that exclude the Pinchuk counterexamples to the SRJC,...

Existence of loops for non-injective regular analytic transformations of the real plane is shown. As an application, a criterion for injectivity of a regular analytic transformation of ${ℝ}^2$ in terms of the Jacobian and the first and second order partial derivatives is obtained. This criterion is new even in the special case of polynomial transformations.