On the linearity of Artin functions (Q869208)

Let \((R,m)\) be an excellent Henselian local ring of dimension \(d\). It is well known that \((R,m)\) has the so called strong Artin approximation property. Let \(f=(f_1,\ldots,f_r)\) be a system of polynomials of \(R[Y]\), \(Y=(Y_1,\ldots,Y_N)\) and \(\beta:{\mathbb N}\rightarrow {\mathbb N}\) the so called Artin function. The aim of this paper is to give conditions, when \(\beta\) can be chosen to be linear. If \(R\) is reduced then this happens when \(N=1\). If \(R\) is regular (resp. DVR) explicit calculations of linear Artin functions are included in the case when \((f)\) is a monomial (resp. determinantal) ideal. Let \(H_f\) be the ideal defining the smooth locus of \(R[Y]/(f)\) over \(R\) and \(t_1,\ldots, t_{d-1}\) a part of a system of parameters of \(R\). Using Elkik's ideas, here it shows that there exists a linear function \(\beta:{\mathbb N}\rightarrow {\mathbb N}\) such that for each \(n\in {\mathbb N}\) and each \(a\in R^N\) satisfying \(f(a)\subset m^{\beta(n)}\), and \(f(a)+H_f(a)\supset (t_1,\ldots,t_{d-1})\) there is \(b\in R^N\) such that \(f(b)=0\) and \(b\equiv a\) mod \(m^nR^N\).