Generalization of a result of Hickel, Ito and Izumi about a Diophantine inequality (Q2254330)

The goal of this paper is to generalize a diophantine approximation theorem for power series in several variables (see [\textit{G. Rond}, Ann. Inst. Fourier 56, No. 2, 299--308 (2006; Zbl 1126.11035)], [\textit{M. Hickel}, C. R., Math., Acad. Sci. Paris 346, No. 13--14, 753--756 (2008; Zbl 1193.13026)], [\textit{H. Ito} and \textit{S. Izumi}, C. R. Math. Acad. Sci., Soc. R. Can. 30, No. 2, 48--55 (2008; Zbl 1161.13012)], [\textit{M. Hickel} et al., C. R., Math., Acad. Sci. Paris 347, No. 9--10, 473--475 (2009; Zbl 1221.13015)]). The first result of the paper is a theorem stating that for a unibranch local domain \(R\), \(R\) is analytically irreducible if and only if \(R\) is analytically unramified and its integral closure is analytically irreducible. Then the authors apply this result to prove the following theorem: Let \((R,m)\) be a analytically irreducible local Henselian domain whose fraction field is denoted by \(K\). Let \(\nu\) be a rank one divisorial valuation of \(R\) centered at \(m\). This valuation induces a non-archimedean norm on \(K\) defined by \(|x/y|=e^{\nu(y)-\nu(x)}\). Let \(\widehat K\) be the completion of \(K\) for this norm (let us remark that the definition of \(\widehat K\) given in the paper is not correct). Then for any \(z\in\widehat K\) algebraic over \(K\) there exists two constants \(c>0\) and \(a>0\) such that for all \(x\in R\) and \(y\in R\backslash\{0\}\): \[ \left|z-\frac{x}{y}\right|>c|y|^a. \] The main improvement in this statement compared to the previous known versions of this diophantine theorem is the fact that the ring \(R\) is not assumed to be excellent. This result is applied to give linear bounds on Artin functions of homogeneous ideal of \(R[X,Y]\) where \(R\) is an analytically irreducible local Henselian domain.