Nested Artin strong approximation property
type: Item
instance of: scholarly article
title: Nested Artin strong approximation property
zbMATH Open document ID: 1396.13008
author: Zunaira Kosar
author: Dorin Popescu
published in: Journal of Pure and Applied Algebra
publication date: 2017-11-14T00:00:00Z
full work available at URL: https://arxiv.org/abs/1701.09154
review text: The authors give several results concerning the Artin Approximation Property with constraints. The situation is the following: Let \(f\) be a vector of polynomials with formal power series coefficients : \(f\in\mathbb Cx[y]^q\), \(x=(x_1,\ldots, x_n)\), \(y=(y_1,\ldots, y_p)\). Assume given \(J_i\) a subset of \(\{1,\ldots, n\}\) for every \(i\in\{1,\ldots, p\}\). When does there exist a solution \(y(x)\in\mathbb Cx^p\): \[ f(x,y(x))=0 \] with \(y_i(x)\in\mathbb Cx_j, j\in J_i\) for every \(i\) (these last conditions are called the constraints conditions)? When \(J_i=\{1,\ldots,n\}\) for every \(i\), M. Artin proved several results insuring the existence of such solutions:\newline (1) When \(f\in\mathbb C\{x\}[y]^q\) (here \(\mathbb C\{x\}\) denotes the ring of convergent power series), the existence of formal power series solutions assures the existence of convergent power series solutions [\textit{M. Artin}, Invent. Math. 5, 277--291 (1968; Zbl 0172.05301)].\newline (2) He also proved that this statement remains true when we replace \(\mathbb C\{x\}\) by the ring of algebraic power series denoted by \(\mathbb C\langle x\rangle\) [\textit{M. Artin}, Publ. Math., Inst. Hautes Étud. Sci. 36, 23--58 (1969; Zbl 0181.48802)].\newline (3) In general, there is a function \(\beta:\mathbb N\longrightarrow \mathbb N\), such that for every \(c\in\mathbb N\) et every approximate solution \(y'(x)\in\mathbb C[x]^q\) with \(f(x,y'(x))\in (x)^{\beta(c)}\), there is a solution \(y(x)\in\mathbb Cx^p\): \[ f(x,y(x))=0 \] whose monomials of degree \(\leq c\) agree with those of \(y'(x)\). [loc. cit.] When the \(J_i\) are nested, i.e. \(J_1\subset J_2\subset\ldots\subset J_p\), the analogues of these three results are not true in general. It has been proven in [\textit{A. M. Gabrielov}, Funct. Anal. Appl. 5, 318--319 (1972; Zbl 0254.32009); translation from Funkts. Anal. Prilozh. 5, No. 4, 64--65 (1971)] that the answer to the analogue of the first result is no longer t…
reviewed by: Guillaume Rond
Mathematics Subject Classification ID: 13B40
Mathematics Subject Classification ID: 13J05
Mathematics Subject Classification ID: 14B12
zbMATH DE Number: 6807028
zbMATH Keywords: Artin approximation
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2583683038
arXiv ID: 1701.09154
cites work: On the solutions of analytic equations
cites work: Algebraic approximation of structures over complete local rings
cites work: Q5639788
cites work: Ultraproducts and approximation in local rings. I
cites work: Invariant solutions of analytic equations
cites work: Local topological algebraicity of analytic function germs
cites work: Über die Deformation isolierter Singularitäten analytischer Mengen
cites work: Rational points in Henselian discrete valuation rings
cites work: Die Approximationseigenschaft lokaler Ringe
cites work: Artin's approximation theorems and Cauchy-Riemann geometry
cites work: Q3701736
cites work: Algebraically flat or projective algebras
cites work: Die Approximationseigenschaften lokaler Ringe
cites work: Q3205342
cites work: General Néron desingularization and approximation
cites work: Q4510745
cites work: Artin approximation property and the General Neron Desingularization
cites work: Artin Approximation
DOI: 10.1016/J.JPAA.2017.05.008
Recommended article: The classical Artin approximation theorems
Recommended article: Artin Approximation Compatible with a Change of Variables
Recommended article: Q3597060
Recommended article: Solving Kaltofen's challenge on Zolotarev's approximation problem
Recommended article: Q3816482
Recommended article: Linear nested Artin approximation theorem for algebraic power series
Recommended article: Q4884016
Recommended article: Q4288617
Recommended article: Power series and zeroes of trinomial equations
Recommended article: Q3161237
description: scientific article