Some classes satisfying the 2-dimensional Jacobian conjecture and a proof of the complex conjecture until degree 104
Thuy Nguyen
TL;DR
This work addresses the two-dimensional Jacobian conjecture by introducing a non-proper variable framework that yields explicit JC-satisfying classes in both real and complex settings. It shows how maps can be expressed as $F=(F_1,F_2)=H(u_0,\dots,u_n)$ with a non-proper variable set $\{u_i\}$, enabling classification via independence/dependence criteria. Using Newton polygon techniques and a synthesis of Abhyankar–Nagata–Appelgate-Onishi–Magnus–Nakai–Baba–Żoła\ndek–Moh results, the paper proves the complex JC for degrees up to $104$, improving the previous bound of $100$ (Moh) and clarifying degree-case analyses. It further reduces the degree-105 problem to four gcd-based cases, offering a more accessible path through classical casework and highlighting potential connections between the non-proper-variable approach and higher-degree conjectures.
Abstract
We construct a non-proper set of two variables polynomial maps and study the nowhere vanishing Jacobian condition of the Jacobian conjecture for this set. We obtain some classes of polynomial maps satisfying the 2-dimensional Jacobian conjecture for both real and complex cases. In addition, by Newton polygon technique, we prove that the complex conjecture is true until degree 104, improving Moh boundary (degree 100) since 1983.
