Formal biholomorphic maps of real analytic hypersurfaces

Holomorphic mappings, (holomorphic) embeddings and related questions in several complex variables (32H02) Finite-type conditions on CR manifolds (32V35)

Abstract: Let f : (M,p) o (M',p') be a formal biholomorphic mapping between two germs of real analytic hypersurfaces in C^n, p'=f(p). Assuming the source manifold to be minimal at p, we prove the convergence of the so-called reflection function associated to f. As a consequence, we derive the convergence of formal biholomorphisms between real analytic minimal holomorphically nondegenerate hypersurfaces. Related results on partial convergence of formal biholomorphisms are also obtained.

Review text

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 Cz-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.

Recommendations

Cited in

(14)

This page was built for publication: Formal biholomorphic maps of real analytic hypersurfaces

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