Regularity of CR-mappings between Fuchsian type hypersurfaces in \(\mathbb{C}^2 \) (Q830766)

A CR-map between real-analytic hypersurfaces of finite D'Angelo type in \(\mathbb{C}^2\) is necessarily real-analytic (see for example [\textit{M. S. Baouendi} et al., Ann. Math. (2) 122, 365--400 (1985; Zbl 0583.32021)]). On the other hand, \(C^\infty\) CR-diffeomorphisms between real-analytic Levi-non-flat hypersurfaces in \(\mathbb{C}^2\) are \textit{not} analytic in general [the second and the third author, Am. J. Math. 140, No. 1, 139--188 (2018; Zbl 1396.32015)]. In this paper the regularity of CR-mappings between real-analytic infinite type hypersurfaces in \(\mathbb{C}^2\) is investigated, in the attempt of identifying an optimal class of real-analytic hypersurfaces for which CR-diffeomorphisms are still analytic. In a previous paper, the authors introduced the notion of Fuchsian-type hypersurface. By definition, an infinite-type hypersurface \(M\) is called of Fuchsian type if in admissible local holomorphic coordinates \((z,w)\) near \(p=0\), where \(w=u+iv\), it is given by \[ v=\tfrac12 u^m(\epsilon |z|^2+\sum_{k,l\ge 2} h_{kl}(u)z^k\bar z^l) =:h(z,\bar z,u) ,\quad \epsilon=\pm 1, \] and an appropriate part of the \((2m+4)\)-jet of \(h\) at \(0\) vanishes. The Fuchsian-type property is holomorphically invariant. The following theorems are proved when the source hypersurface is of Fuchsian type at some point. Theorem. Let \(M,\, M^*\subset \mathbb{C}^2\) be real-analytic hypersurfaces, and let \(M\) be of Fuchsian type at a point \(p\in M\). Let \(U\) be an open neighbourhood of \(p\) in \(\mathbb{C}^2\). Then any \(C^\infty\) CR-diffeomorphism \(H: M\cap U\to M^*\) is analytic. Theorem. Let \(M,\, M^*\subset \mathbb{C}^2\) be real-analytic Levi-non-flat hypersurfaces, and \(U\) an open neighbourhood of \(p\) in \(\mathbb{C}^2\). Assume that \(U\cap M\) contains a Fuchsian type point \(q\). Then any \(C^\infty\) CR-diffeomorphism \(H: M\cap U\to M^*\) is analytic. Moreover a result on convergence of formal power series maps between Fuchsian type hypersurfaces is obtained. Theorem. Let \(M,\, M^*\subset \mathbb{C}^2\) be real-analytic hypersurfaces, and let \(M\) be of Fuchsian type at a point \(p\in M\). Let \(U\) be an open neighbourhood of \(p\) in \(\mathbb{C}^2\). Then any formal invertible power series map \(H: (M, p) \to (M^*,p^*)\), \(p^*\in M^*\) is convergent.