A polynomial map F = (P,Q) ∈ ℤ[x,y]² with Jacobian has a polynomial inverse with integer coefficients if the complex plane curve P = 0 has infinitely many integer points.
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-ap88-1-4, author = {Nguyen Van Chau}, title = {Integer points on a curve and the plane Jacobian problem}, journal = {Annales Polonici Mathematici}, volume = {89}, year = {2006}, pages = {53-58}, zbl = {1091.14018}, language = {en}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-ap88-1-4} }
Nguyen Van Chau. Integer points on a curve and the plane Jacobian problem. Annales Polonici Mathematici, Tome 89 (2006) pp. 53-58. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-ap88-1-4/