scientific article; zbMATH DE number 17168
[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. \(kx_ 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 kt^ n\), \(x(0)=0\), \(f_ j(x(t))\in(t^{\beta_ I(i)+1})\), then there exists \(x'(t)\in k\{k\}^ n\) (resp. \(kt^ n)\) such that \(f_ j(x'(t))=0\), \(1\leq j\leq q\), and \(x(t)- x'(t)\in(t^{i+1})kt^ 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\).
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973867)
