New reduction in the Jacobian conjecture.
Non-zero constant Jacobian polynomial maps of
We study the behavior at infinity of non-zero constant Jacobian polynomial maps f = (P,Q) in ℂ² by analyzing the influence of the Jacobian condition on the structure of Newton-Puiseux expansions of branches at infinity of level sets of the components. One of the results obtained states that the Jacobian conjecture in ℂ² is true if the Jacobian condition ensures that the restriction of Q to the curve P = 0 has only one pole.
Note on the Jacobian condition and the non-proper value set
We show that the non-proper value set of a polynomial map (P,Q): ℂ² → ℂ² satisfying the Jacobian condition detD(P,Q) ≡ const ≠ 0, if non-empty, must be a plane curve with one point at infinity.