The remainder vanishing conjecture for Jacobian pairs

Let

Q={(a,b,m,n)Z>04:m<n, am, an, gcd(a,b)=1, 2a<b}.\mathcal{Q}=\{(a,b,m,n)\in\mathbb{Z}_{>0}^4:m<n,\ a\mid m,\ a\mid n,\ \gcd(a,b)=1,\ 2\leq a<b\}.

For FC[x,y]F\in\mathbb{C}[x,y], let N0(F)N^0(F) be its augmented Newton polygon, let Tm,nT_{m,n} be the corresponding trapezoid, and let Fi(0,1)F_i^{(0,1)} and Fi(1,1)F_i^{(1,1)} denote its homogeneous components for the indicated gradings. Suppose (a,b,m,n)Q(a,b,m,n)\in\mathcal{Q} and F,GC[x,y]F,G\in\mathbb{C}[x,y] satisfy the five conditions in the conjecture: the specified trapezoidal supports for FF and GG, the (x+1)(x+1)- and (x+y)(x+y)-divisibility conditions on the components of FF, and [F,G]C[F,G]\in\mathbb{C}.

The remainder vanishing conjecture. Under these conditions,

[F,G]=0.[F,G]=0.

The paper names this conjecture and states that it implies the Newton-polygon criterion, hence the two-dimensional Jacobian conjecture. Its resolution status is not supplied in the source material.

Sources & referencesView supporting material

Primary source

Jacob Glidewell, William E. Hurst, Kyungyong Lee and Li Li, “On the two-dimensional Jacobian conjecture: Magnus' formula revisited, II”, arXiv:2205.12792 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.