Convergence of the Chern–Moser–Beloshapka normal forms

In this article, we give a normal form for real-analytic, Levi-nondegenerate submanifolds of{\mathbb{C}^{N}}of codimension{d\geq 1}under the action of formal biholomorphisms. We find a very general sufficient condition on the formal normal form that ensures that the normalizing transformation to this normal form is holomorphic. In the case{d=1}our methods in particular allow us to obtain a new and direct proof of the convergence of the Chern–Moser normal form.