Propagation of analyticity for essentially finite \(\mathcal C^\infty\)-smooth CR mappings (Q706165)

Consider a \({\mathcal C}^\infty\)-smooth local CR map \(h: M \to M'\) between the germs of two real analytic generic CR manifolds \(M \subset {\mathbb C}^n\), \(M'\subset {\mathbb C}^{n'}\), passing through the origin of \({\mathbb C}^n\) and \({\mathbb C}^{n'}\), respectively, and both of positive CR codimension. The map \(h\) is called essentially finite at \(0\) if, for a sufficiently small ball \(B_\rho(0)\) centered at the origin, the analytic subset \[ {\mathcal A} = \{y\in B_\rho(0):\overline L^\beta(r_j(y, \overline{h(t)})| _{\bar t = 0} = 0, \text{ for all } \beta \in {\mathbb N}^m, \;1 \leq j \leq d\}, \] where \(r_j\) are local defining functions for \(M'\) and \(\overline L^1\), \dots, \(\overline L^m\) is basis of \((0,1)\)-vector fields tangent to \(M\), has dimension \(0\). The paper is devoted to the proof of the following theorem. Let \(h: M \to M'\) be a \({\mathcal C}^\infty\)-smooth local CR map so that: a) it is essentially finite at \(0\); b) there exists a complete wedge \(\mathcal W\) in a sufficiently small ball \(B_{\rho'}(0)\) with edge \(M \cap B_{\rho'}(0)\) and such that all components of \(h\) extend holomorphically to \(\mathcal W\); c) the orbit under CR diffeomorphisms of \(M\) contains a sequence of points tending to \(0\), at which \(h\) is real analytic. Then there exists an open ball centered at the origin on which \(h\) extends holomorphically. The hypothesis of this theorem are shown to be satisfied when the origin is a point where either \(M\) is minimal or \(M'\) is essentially finite. So, this result might be considered as an extension and a unification of the results in [\textit{M. S. Baouendi, H. Jakobowitz} and \textit{F. Treves}, Ann. Math. (2) 122, 365--400 (1985; Zbl 0583.32021] and in [\textit{S. Damour}, Mich. Math. J. 49, No. 3, 583--603 (2001; Zbl 0997.32033) and \textit{F. Meylan, N. Mir} and \textit{D. Zaitsev}, Math. Res. Lett. 9, No. 1, 73--93 (2002; Zbl 1009.32024)].