Semi-universal unfoldings and orbits of the contact group (Q1349449)

The authors study the action of the contact group \(K=\Aut (\mathbb{C}^n,) \ltimes GL_p ({\mathcal O}_n)\) on the space \({\mathcal O}_n^p\) of rows of convergent power series in \(n\) variables near an analytic map germ \(h:(\mathbb{C}^n,0) \to (\mathbb{C}^p,0)\) of isolated singularity type. The notion of vicinity is introduced. A vicinity \(U\) of \(h\) is a set containing \(h\) which, in general, is too ``thin'' to be a neighborhood of \(h\). But it is ``fat'' enough to have the following property: Any analytic ``curve'' \(\gamma: T\to {\mathcal O}^p_n\), parametrized by a finite dimensional space \(T\), with \(\gamma(0) =h\) stays inside \(U\) for \(t\in T\) close to 0. It is shown that for suitable transversals \(N\subseteq {\mathcal O}^p_n\) to the orbit \(hK\), resp. \(M \subseteq K\) to the stabilizer \(K_h\), the restriction \(N\times M\to {\mathcal O}^p_n\) of the action map \({\mathcal O}^p_n \times K\to {\mathcal O}^p_n\) is an isomorphism in a vicinity of the point \((h,1)\). The proof relies on the Inverse Mapping Theorem in Banach spaces and the Grauert-Hironaka Division Theorem. As a corollary the Mather's Theorem on the existence of the semi-universal unfolding is obtained. Moreover it is proven that the orbit \(hK\) is isomorphic, in a vicinity of \(h\), to a submanifold of \({\mathcal O}^p_n\).