No label defined (Q3973867)

[For the entire collection see Zbl 0722.00013.] Let \(k=\mathbb{R}\) or \(\mathbb{C}\). Denote \(k\{x_ 1,\dots,x_ n\}\) by \({\mathcal O}_ n\) (resp. \(k[[x_ 1,\dots,x_ n]]\) by \({\mathcal F}_ n\)). Let \(I\) be a proper ideal in \({\mathcal O}_ n\) (resp. in \({\mathcal F}_ n\)) and \(I=(f_ 1,\dots,f_ q)\). The Artin function \(\beta_ I: \mathbb{N}\to\mathbb{N}\) of the ideal \(I\) is defined in the following way: 1. for \(I=(0)\), \(\beta_ I(i):=i\), 2. for \(I\neq(0)\), \(\beta_ I(i)\) is the least integer such that if \(x(t)\in k[[t]]^ n\), \(x(0)=0\), \(f_ j(x(t))\in(t^{\beta_ I(i)+1})\), then there exists \(x'(t)\in k\{k\}^ n\) (resp. \(k[[t]]^ n)\) such that \(f_ j(x'(t))=0\), \(1\leq j\leq q\), and \(x(t)- x'(t)\in(t^{i+1})k[[t]]^ n\). The author announces (without proofs) results concerning the Artin function of ideals \(I\subset{\mathcal O}_ n\), especially, for \(I=(f)\), \(f\in{\mathcal O}_ n\). One of them is the following strict estimation of the Artin function: if \(I=(f)\), \(f\in{\mathcal O}_ n\) and \(f\) has an isolated singularity at the origin of \(\mathbb{C}^ n\) and \(\nu\) is the Lojasiewicz exponent of \(f\) at 0, then \[ \beta_ I(i)\leq[\nu i]+i, \] where \([\nu i]\) means the integer part of \(\nu i\).