On the Jung-Abhyankar theorem (Q706354)

The authors give a new proof of the Jung-Abhyankar theorem. Let \(k\) be an algebraically closed field of characteristic zero (respectively, with additional condition of being complete valued); let \(R_n\) be the ring of formal (respectively, convergent) power series in the indeterminates \(X_1,\cdots, X_n\); let \(F\in R_n[Z]\) be a monic irreducible Weierstrass polynomial having a discriminant of the form \(X_1^{\mu_1}\cdots X_h^{\mu_h}\cdot U\) with \(h\leq n\), \(\mu_1,\cdots, \mu_h\in \mathbb N\) and \(U\in R_n\) a unit. Then there exist \(e_1,\cdots, e_h\in \mathbb N\) such that \(F\) has all its roots in \(k[[X_1^{\frac{1}{e_1}},\cdots ,X_h^{\frac{1}{e_h}},X_{h+1},\cdots,X_n]]\) (respectively, in the ring of convergent power series with the same arguments). In this new proof, which covers the analytic case, the authors use differential modules and a characterization of the finite formally unramified extensions of a local ring.