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\).
- A new proof of D. Popescu’s theorem on smoothing of ring homomorphisms
- Algebraic approximation of structures over complete local rings
- Algebraic structure of power series rings
- Courbes Tracees sur un Germe D'Hypersurface
- Die Approximationseigenschaften lokaler Ringe
- Discrete valuations centered on local domains
- Fonction de Artin et Germes de Courbes Tracees sur un Germe D'Espace Analytique
- General Néron desingularization
- General Néron desingularization and approximation
- General Néron desingularization based on the idea of Popescu
- scientific article; zbMATH DE number 15286 (Why is no real title available?)
- scientific article; zbMATH DE number 1405838 (Why is no real title available?)
- Integral closure of ideals in excellent local rings
- Linear equivalence of ideal topologies
- On the approximation property of excellent rings
- On the solutions of analytic equations
- Rational points in Henselian discrete valuation rings
- Rings with approximation property
- Solutions d'équations à coefficients dans un anneau hensélien
- Sur la linéarité de la fonction de Artin
This page was built for publication: On the linearity of Artin functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q869208)
