On the convergence of formal mappings (Q1607497)

A connected real analytic generic submanifold \(M\) is holomorphically nondegenerate if there is no non-trivial holomorphic tangent vector field with holomorphic coefficients near any point. It is called real algebraic if it is contained in a real algebraic subvariety of the same dimension. Also \(M\) is said to be minimal at a point \(p\) in \(M\) (or of finite type in the sense of Kohn and Bloom-Graham) if there is no proper CR submanifold contained in \(M\) through \(p\), and with the same Cauchy-Riemann dimension. A formal map is called nondegenerate if its formal holomorphic Jacobian does not vanish identically. Now we can state the main result of the author. Let \(f:(M,0)\to (M',0)\) be a formal nondegenerate CR map between two germs at \(0\) of real analytic generic submanifolds in \(\mathbb{C}^n\) of the same CR dimension. Assume that \(M\) is minimal at \(0\) and \(M'\) is real algebraic and holomorphically nondegenerate. Then \(f\) is convergent.