Injectivity on one line
Let $k$ be an algebraically closed field of characteristic zero. Let $H:k^2\to k^2$ be a polynomial mapping such that the Jacobian $\text{Jac}\,H$ is a non-zero constant. In this note we prove, that if there is a line $l \subset k^2$ such that $H|_l:l\to k^2$ is an injection, then $H$ is a polynomial automorphism.
alg-geom↗