Equivalence of three-dimensional Cauchy-Riemann manifolds and multisummability theory (Q2074801)

The interrelation between three major kinds of equivalence in Cauchy-Riemann geometry, namely biholomorphic, CR and formal equivalences, is one of the much interesting and challenging issues in this theory. In the paper, in question, the authors study the relation of CR and formal equivalence between three-dimensional real-analytic real hypersurfaces in \(\mathbb C^2\). As the main result, they show that every formal equivalence between such hypersurfaces is CR. This result provides a geometric realization for formal transformations between real-analytic hypersurfaces in \(\mathbb C^2\). It also is the endpoint of a long development of classifying equivalence of real hypersurfaces in \(\mathbb C^2\) started by Cartan and developed by Chern-Moser and Tanaka in the nondegenerate case. As a nice application of this result, it also provides an affirmative answer to a conjecture of Nordine Mir. Indeed, it proves that every formal invertible CR map between real-algebraic Levi-nonflat hypersurfaces in \(\mathbb C^2\) is algebraic and in particular convergent. The main tool of the authors to prove the mentioned main result of this paper is the modern theory of multisummability in dynamical systems.