No label defined (Q4949393)

\textit{J. Ax} [Pac. J. Math. 31, 1--7 (1969; Zbl 0194.52001)] proved the theorem that every injective polynomial map \(\mathbb{C}^n\to\mathbb{C}^n\) is surjective, by reducing it with the use of model theory to the corresponding statement for \(\widetilde{\mathbb{F}_p}\) (which is obvious). In this note, the author gives a short geometric proof of this fact for \(n=2\), using only birational techniques. One should note that a more general result was later shown by \textit{S. Kaliman} [Proc. Am. Math. Soc. 133, No.4, 975--977 (2005; Zbl 1060.14002)]. For the entire collection see [Zbl 0933.00031].