Abstract:The standard Artin approximation (AP) is not readily applicable to the left-right equivalence of morphisms Maps((k^n,o),(k^m,o)). Moreover, the naïve extension does not hold in the k-analytic case, because of Osgood-Gabrielov-Shiota examples. The left-right version of Artin approximation (LRAP) was established by M. Shiota for morphisms that are either Nash or [real-analytic and of finite singularity type]. We establish LRAP and its stronger version of Płoski (LRAPP) for Maps(X,Y) where X,Y are k-analytic/k-Nash germs of schemes of any characteristic. More precisely: *(k-algebraic power series, k<x>/J_X and k<y>/J_Y) LRAP, LRAPP, the inverse Artin approximation (and its Płoski's version) hold for any morphism. *(k-analytic power series, k{x}/J_X and k{y}/J_Y) LRAP, LRAPP, the inverse Artin approximation (and its Płoski's version) hold for finite morphisms. * LRAP holds for analytic morphisms of weakly-finite singularity type. This later class of morphisms of ``weakly-finite singularity type" (which we introduce) is of separate importance. It extends naturally the class of morphisms of ``finite singularity type", while preserving their non-pathological behaviour. The definition goes via the higher critical loci of morphisms with singular target. (The critical locus Crit_X f is defined via the Zariski-Lipman sequence.) We establish basic properties of these critical loci. In particular: any map is finitely (right) determined by its higher singular loci.

Notes on Nash modification

Nash blowup fails to resolve singularities in dimensions four and higher

On the Nash modification of a germ of complex analytic singularity

On Nash resolution of (singular) Lie algebroids

A series of Nash resolutions of a singular foliation

A relative Nash-Tognoli theorem over $\mathbb{Q}$ and application to the $\mathbb{Q}$-algebraicity problem

Higher Nash Blow-Up Local Algebras of Singularities and Its Derivation Lie Algebras

Nash multiplicities and isolated points of maximum multiplicity

Nash blowups of normal toric surfaces: the case of one and two segments

Mather-Yau's type theorem for higher Nash blowup algebras

Exceptional divisors which are not uniruled belong to the image of the Nash map

Stability theory over toroidal or Novikov type base and Canonical modifications

A Jacobian criterion for nonsingularity in mixed characteristic

Equivalent conjectures on blowing-ups of $\mathbb P^2$

Multiplicites and modifications, and singularities associated to blowing down negative vector bundles

Local Normal Forms of Noncommutative Functions

A remark to a Theorem of Hacon and Pardini

Higher Jacobian ideals, contact equivalence and motivic zeta functions

The Nonvanishing problem for varieties with nef anticanonical bundle

Remarks on Galois rational covers

Results on left-right approximation for k-Nash morphisms and for k-analytic morphisms of weakly finite singularity type