Artin approximation for left-right equivalence of map-germs and for quivers of map-germsThe standard Artin approximation (AP) is not readily applicable to the left-right equivalence of map-germs Maps((k^n,o),(k^m,o)). Moreover, the naive 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 map-germs that are either Nash or [real-analytic and of finite singularity type].
We establish LRAP for Maps(X,Y) where X,Y are k-analytic/k-Nash germs of schemes of any characteristic. More precisely: * (k-Nash power series, k<x>/J_X and k<y>/J_Y.) LRAP holds for any map. * (k-analytic power series, k{x}/J_X and k{y}/J_Y.) LRAP holds for maps of weakly-finite singularity type.
This ``weakly-finite singularity type" (which we introduce) is a natural extension of the classical finite singularity type, and is of separate interest.
As a trivial corollary we get: the inverse Artin approximation holds for analytic maps of weakly-finite singularity type.
Then we extend the properties RAP, LAP, LRAP to the approximation results for quivers of maps, Gamma-AP.
Finally, we establish the nested version, ``Gamma-AP with parameters". It is needed for families/unfoldings of maps.
arxiv.org