English

On formal maps between generic submanifolds in complex space

Complex Variables 2010-02-12 v1

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.

Keywords

Cite

@article{arxiv.0906.1955,
  title  = {On formal maps between generic submanifolds in complex space},
  author = {Jean-Charles Sunyé},
  journal= {arXiv preprint arXiv:0906.1955},
  year   = {2010}
}
R2 v1 2026-06-21T13:12:01.584Z