Łojasiewicz inequality over the ring of power series in two variables (Q395058)

The classical Łojasiewicz inequality says that if \(f:\Omega \to \mathbb{R},\) \(\Omega \subset \mathbb{R}^{n}\) open\(,\) is a real analytic function and \(K\subset \Omega \) is a compact subset then there exist \(\alpha ,C>0\) such that NEWLINE\[NEWLINE | f(x)| \geq C\text{dist}(f^{-1}(0),x)^{\alpha },\;\;x\in K. NEWLINE\]NEWLINE The author carry over this theorem to an algebraic setting.NEWLINENEWLINEThe main theorem is: Let \(A=\mathbb{K}[[x,y]]\) be a ring of formal power series in \(x,y\) over a perfect field \(\mathbb{K}\) and let \(I=(f_{1},\dots ,f_{n})\) be an ideal in the polynomial ring \(\mathbb{K}[x,y,z_{1},\dots ,z_{m}].\) Assume \(\deg f_{i}\leq d,\) \(i=1,\dots ,n,\) and the set \(f^{-1}(0):=\{z\in A^{m}:f_{i}(z)=0,\) \(i=1,\dots ,m\}\) is not empty. Then there exist \( K_{1},K_{2},K_{3}>0\) such that the following ``Łojasiewicz inequality'' holds NEWLINE\[NEWLINE \| f(z)\| \geq (K_{1}d(f^{-1}(0),z))^{d^{( 1/\| H_{f}(z)\| ) ^{K_{2}m}}},\;\;z\in A^{m}\setminus H_{f}^{-1}(0), NEWLINE\]NEWLINE where the meanings of above notions are: {\parindent=6mm \begin{itemize}\item[1.] \(\| f(z)\| =\max_{i}\| f_{i}(z)\| ,\) where \(\| f_{i}(z)\| =e^{-\text{ord}f_{i}(z)}\), \item[2.] \(d(f^{-1}(0),z)=\inf_{u\in f^{-1}(0)}\| u-z\|\), \item[3.] \(H_{f}\subset A[z]\) is an ideal described in terms of the Jacobian matrix \(( \frac{\partial f_{i}}{\partial z_{j}})_{1\leq i\leq n , 1\leq j\leq m}\). NEWLINENEWLINE\end{itemize}} In an equivalent way it is an effective version of the Strong Artin Approximation Theorem. From this result he deduce a bound of Artin function (which appear in the Artin Theorem) of isolated singularities.