A case of affine bound for the Artin approximation function (Q935357)

Let \((A, \mathfrak{m})\) be an henselian excellent local ring. \((A,\mathfrak{m})\) has the strong property of approximation [cf. \textit{G. Pfister} and \textit{D. Popescu}, Invent. Math. 30, 145--174 (1975; Zbl 0293.13011) and \textit{D. Popescu}, in: Handbook of algebra. Volume 2. Amsterdam: North-Holland. 321--356 (2000; Zbl 1005.13003)]: Let \(I=\langle f_1, \dots, f_m\rangle\subseteq A[y_1, \dots, y_n]\) be an ideal. There exists a function \(d_I:\mathbb{N}\to\mathbb{N}\) with the following property. Let \(\overline{y}=(\overline{y}_1, \dots, \overline{y}_n)\in A^m\) such that \(f_i(\overline{y})\in \mathfrak{m}^{d_I(c)}\) for all \(i\) then there exists \(y=(y_1, \dots, y_n)\in A^m\) such that \(f_i(y)=0\) for all \(i\) and \(y_i-\overline{y}_i\in \mathfrak{m}^c\) for all \(i\). The function \(d_I\) is called an Artin approximation function for \(I\). Under the assumption that \(A\) is a domain of equal characteristic, \(I\) is a homogeneous ideal and \(n=2\) it is proved that \(I\) has an affine function as Artin approximation function, i.e. there exist \(a,b\in\mathbb{R}_+\) such that \(d_I(c)=ac+b\).