Variations on inversion theorems for Newton-Puiseux series (Q2402846)

Let \(f \in \mathbb{K}[[x, y]]\) be an irreducible formal power series with \(f(0, 0)=0,\) where \(\mathbb{K}\) is an algebraically closed field of characteristic zero. It is well-known that we can solve the equation \(f(x, y) = 0\) by choosing either \(x\) or \(y\) as independent variable, getting two finite sets of Newton-Puiseux series. In 1967 and 1968 respectively, \textit{S. S. Abhyankar} [Am. J. Math. 89, 363--372 (1967; Zbl 0162.34103)] and \textit{O. Zariski} [ibid. 90, 961--1023 (1968; Zbl 0189.21405)] proved the so-called inversion theorem, expressing the characteristic exponents of one set of series in terms of those of the other set. In fact, a stronger result than the inversion theorem, stated by \textit{G. Halphen} [``Sur une série de courbes analogues aux développées'', J. de Math. Pures et Appl (3) 2, 87--144 (1876)] and proved by \textit{O. Stolz} [Math. Ann. 15, 122--160 (1879; JFM 11.0471.01)], relates also the corresponding coefficients of the characteristic terms of both sets of series. In the paper under review, the authors give two new proofs of this latter result and also generalize it to a theorem concerning irreducible series with an arbitrary number of variables. As a consequence, the authors extend Lipman's inversion theorem concerning the characteristic exponents of quasi-ordinary series. The paper is clearly written and well organized.