No label defined (Q4380701)

The author studies infinitesimal sufficient conditions for two algebraically isomorphic map germs to be isomorphic. The basic results are the following. Theorem 1.1: Let \(f,g: (\mathbb{R}^n,0)\to (\mathbb{R}^p,0)\) be \(C^\infty\)-map germs. Suppose that there exists a germ of \(C^\infty\)-diffeomorphism \(s:(\mathbb{R}^n, 0)\to(\mathbb{R}^n, 0)\) and a \(C^\infty\)-map germ \[ M= ({\mathbf m}_1,\dots, {\mathbf m}_p): (\mathbb{R}^n, 0)\to (GL(p, \mathbb{R}), M(0)) \] such that \(f(x)= M(x)g(s(x))\). Suppose, furthermore, that there exists a positive integer \(\ell\) such that \[ {\mathbf m}_i-{\mathbf m}_i(0)\in{\mathfrak m}^\ell_x{\mathcal E}^p_x\subset tf({\mathfrak m}_x{\mathcal E}^n_x)+ wf({\mathfrak m}_y{\mathcal E}^p_y) \] for any \(i\) \((1\leq i\leq p)\). Then \(f\) and \(g\) are isomorphic. Theorem 1.2: Let \(f,g:(\mathbb{R}^n, 0)\to (\mathbb{R}^p, 0)\) be \(C^\infty\)-map germs. Suppose that there exists a germ of \(C^\infty\) diffeomorphism \(s:(\mathbb{R}^n, 0)\to(\mathbb{R}^n, 0)\) and a \(C^\infty\) map germ \(M= ({\mathbf m}_1,\dots,{\mathbf m}_p): (\mathbb{R}^n, 0)\to(GL(p,\mathbb{R}), M(0))\) such that \(f(x)= M(x)g(s(x))\). Suppose, furthermore, that there exists an integer \(\ell\) \((\ell\geq 0)\) such that \[ {\mathbf m}_i-{\mathbf m}_i(0)\in {\mathfrak m}^{\ell+1}_x{\mathcal E}^p_x\quad\text{for any }i\quad (1\leq i\leq p), \] \[ {\mathfrak M}^\ell_x{\mathcal E}^p_x\subset tf({\mathcal E}^n_x)+ wf({\mathcal E}^p_y)\quad\text{and} \quad {\mathfrak m}^\ell_x{\mathcal E}^p_x\subset tg({\mathcal E}^n_x)+ wg({\mathcal E}^p_y). \] Then \(f\) and \(g\) are isomorphic. [For special notions \({\mathbf m}_i\), \({\mathfrak m}_x\), \({\mathcal E}_x\) see the paper itself]. For the entire collection see [Zbl 0882.00014].