The Cremona problem in dimension 2 (Q2153267)

The famous Jacobian Conjecture claims that a polynomial mapping $F :\mathbb{C}^{n} \rightarrow \mathbb{C}^{n}$ with the constant non-zero jacobian $(\det {\operatorname{Jac}}F =\mathrm{const}\neq 0)$ is a polynomial automorphism. The author proves this conjecture for $n =2.$ We put $F =(f, g) .$ However, there are some weak points in the proof: \begin{itemize} \item[1.] (communicated to me by Z. Jelonek and A. Parusinski). In Corollary 1.5 from the proportions $\frac{m}{n} =\frac{m_{1}}{n_{1}} =\frac{m_{2}}{n_{2}}$ the author infers that $\vert m_{1} -m_{2}\vert \neq \vert n_{1} -n_{2}\vert .$ The second possible case $\vert m_{1} -m_{2}\vert =\vert n_{1} -n_{2}\vert =0$ is omitted, which should be considered separately. \item[2.] (communicated to me by Sz. Brzostowski). In Proposition 2.3 the cardinality of the fibers of $(f, g)\vert _{V}$ is calculated. It is equal to the sum of cardinalities of the fibers of the mappings: $(f, g^{1/k})\vert _{V}$, $(f, \varepsilon g^{1/k})\vert _{V},\dots,(f, \varepsilon ^{k -1}g^{1/k})\vert _{V}$, where $\varepsilon $ is a $k$-th primitive root of 1 and $g^{1/k}$ is a fixed $k$-th root of $g$ (under assumptions in the proof this root exists). Precisely, if $(x_{0}, y_{0}) \in V$ and we put $(\alpha,\beta):=(f(x_{0},y_{0}),g(x_{0}, y_{0})),$ $\widetilde{\beta}: =g^{1/k}(x_{0}, y_{0})$ then \[ \#((f, g)\vert _{V})^{ -1}(\alpha, \beta) =\sum _{i =0}^{k -1}\#((f, \varepsilon ^{i}g^{1/k})\vert _{V})^{ -1}(\alpha, \widetilde{\beta}). \] The author claims that each term in the sum is the same and equal to $\vert n_{1} -n_{2}\vert /k .$ This is not justified because we don't know if the point $(\alpha, \widetilde{\beta})$ is in the images $(f, \varepsilon ^{i}g^{1/k})(V)$ for $i =1,\dots,k -1$ (this is true for $i =0$). \end{itemize}