Variations on inversion theorems for Newton-Puiseux series (Q2402846): Difference between revisions
From MaRDI portal
Latest revision as of 10:20, 14 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Variations on inversion theorems for Newton-Puiseux series |
scientific article |
Statements
Variations on inversion theorems for Newton-Puiseux series (English)
0 references
15 September 2017
0 references
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.
0 references
hypersurface singularities
0 references
Lagrange inversion
0 references
characteristic exponents
0 references
plane curve singularities
0 references
quasi-ordinary series
0 references
branch
0 references
Newton-Puiseux series
0 references