We consider nonsingular polynomial maps F = (P,Q): ℝ² → ℝ² under the following regularity condition at infinity $\left(J_{\infty }\right)$: There does not exist a sequence $(p_k,q_k)\subset ℂ²$ of complex singular points of F such that the imaginary parts $(\Im \left(p_k\right),\Im \left(q_k\right))$ tend to (0,0), the real parts $(\Re \left(p_k\right),\Re \left(q_k\right))$ tend to ∞ and $F(\Re \left(p_k\right),\Re \left(q_k\right)))\to a\in ℝ²$. It is shown that F is a global diffeomorphism of ℝ² if it satisfies Condition $\left(J_{\infty }\right)$ and if, in addition, the restriction of F to every real level set $P^{-1}\left(c\right)$ is proper for values of |c| large enough.

We show that the GVC (generalized vanishing conjecture) holds for the differential operator $\Lambda =({\partial }_x-\Phi \left({\partial }_y\right)){\partial }_y$ and all polynomials $P(x,y)$, where $\Phi \left(t\right)$ is any polynomial over the base field. The GVC arose from the study of the Jacobian conjecture.

We associate to a given polynomial map from ${ℂ}^2$ to itself with nonvanishing Jacobian a variety whose homology or intersection homology describes the geometry of singularities at infinity of this map.

Given a real n×n matrix A, we make some conjectures and prove partial results about the range of the function that maps the n-tuple x into the entrywise kth power of the n-tuple Ax. This is of interest in the study of the Jacobian Conjecture.