On formal maps between generic submanifolds in complex space

From MaRDI portal



Abstract: Let H:(M,p)->(M',p') be a formal mapping between two germs of real-analytic generic submanifolds in C^N with nonvanishing Jacobian. Assuming M to be minimal at p and M' holomorphically nondegenerate at p', we prove the convergence of the mapping H. As a consequence, we obtain a new convergence result for arbitrary formal maps between real-analytic hypersurfaces when the target does not contain any holomorphic curve. In the case when both M and M' are hypersurfaces, we also prove the convergence of the associated reflection function when M is assumed to be only minimal. This allows us to derive a new Artin type approximation theorem for formal maps of generic full rank.


The authors obtain convergence results for a formal holomorphic mapping \(H:(M,p)\rightarrow (M',p')\) between two germs of real-analytic generic submanifolds in \(\mathbb C^N\), with nonvanishing Jacobian. A new Artin type approximation theorem for formal holomorphic maps with nonvanishing Jacobian is also derived.











This page was built for publication: On formal maps between generic submanifolds in complex space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1035204)