Formal biholomorphic maps of real analytic hypersurfaces (Q1580362)

Let \(f:(\mathbb{C}^n,p) \to(\mathbb{C}^n, p')\), \(p,p'\in \mathbb{C}^n (n\geq 1)\) be a formal (holomorphic) mapping. The mapping \(f\) is called a formal biholomorphism if the Jacobian does not vanish at \(p\). Let \(M\) and \(M'\) be smooth real analytic hypersurfaces in \(\mathbb{C}^n\) through \(p\) and \(p'\) respectively. A formal mapping \(f\) as above sends \(M\) into \(M'\) if \(\rho'(f(z), \overline{f(z)}) =a(z,\overline z)\cdot \rho(z, \overline z)\), where \(\rho,\rho'\) are local real analytic defining functions for \((M,p)\), \((M',p')\) respectively and \(a\in C[[z-p, \overline z-\overline p]]\). After giving the definitions of minimal or holomorphically non-degenerate real analytic hypersurfaces, the author proves that any formal biholomorphic mapping between germs of minimal holomorphically non-degenerate, real analytic hypersurfaces in \(\mathbb{C}^n\) is convergent.