Convergence of formal CR mappings into strongly pseudoconvex Cauchy-Riemann manifolds (Q1689502)

This is a well-written paper that answers a fundamental question in CR geometry. The authors prove that any formal holomorphic map from a generic real-analytic finite-type manifold \(M\subset\mathbb{C}^m\) into a real-analytic strongly pseudoconvex CR manifold \(N\subset\mathbb{C}^n\) is actually convergent. Here \(m\) is not necessarily equal to \(n\). The authors give a concise summary of the previous results and relevant issues in the first part.