An application of Newton-Puiseux charts to the Jacobian problem (Q837649)

The author studies 2-dimensional Jacobian maps \((f,g):\mathbb{C} ^{2}\rightarrow \mathbb{C}^{2}\) (i.e. \(f,g\) are polynomials and \(\text{Jac }(f,g)\equiv 1)\) using so-called Newton-Puiseux charts. These are multi-valued coordinates near divisors of resolutions of indeterminacies at infinity of the Jacobian map in the source space as well as in the target space. The mapping \((f,g)\) expressed in these charts takes a very simple form, which allows him to obtain generalizations of the known theorem. As applications he proves that the Jacobian conjecture holds true for \((f,g)\) in the following cases: {\parindent=6mm \begin{itemize}\item[1.] topological degree of \((f,g)\) is \(\leq 5\) (a generalization of the Domrina-Orevkov result), \item[2.] \(\text{GCD}(\deg f,\deg g)\leq 16\) (a generalization of the Heitmann result), \item[3.] \(\text{GCD}(\deg f,\deg g)\) is equal to 2 times a prime (a generalization of the Appelgate-Onishi result). \end{itemize}}