Linear nested Artin approximation theorem for algebraic power series

Abstract

We give an elementary proof of the nested Artin approximation Theorem for linear equations with algebraic power series coefficients. Moreover, for any Noetherian local subring of the ring of formal power series, we clarify the relationship between this theorem and the problem of the commutation of two operations for ideals: the operation of replacing an ideal by its completion and the operation of replacing an ideal by one of its elimination ideals. In particular we prove that a Grothendieck conjecture about morphisms of analytic/formal algebras and Artin's question about linear nested approximation problem are equivalent.

A proof of A. Gabrielov’s rank theorem

“…This question has been investigated for the first time in [CJPR19] where it is related to several other properties.…”

Nested Artin strong approximation property

“…Question 2 together with [7,Theorem 3.4] give the idea of the following proposition. )) matrix of entries of coefficients of w j from K,ṽ is a vector of entries from the coefficients ofv j from K ′ and u is a vector of entries from the coefficients ofû i from K ′ .…”

“…Question 2 together with [7,Theorem 3.4] give the idea of the following proposition. w j vj has this form for some polynomials vj…”

Algorithms for Discrete Differential Equations of Order 1

“…The strength of the approaches presented in [10,31] lies in the effectivity of their algebraicity proofs. Despite a recent improvement in the linear case [17], Popescu's result is still not known to admit an effective proof.…”