A \(C^\infty\)-regularity theorem for nondegenerate CR mappings (Q1778120)

Let \(M\), \(M'\) be two smooth, generic real submanifolds of \(\mathbb C^N\) and \(\mathbb C^{N'}\), respectively, and let \(H: M \to M'\) be a CR map of type \({\mathcal C}^m\). The map \(H\) is called \(k_0\)-non-degenerate at a point \(p_0 \in M\) if there exists a defining function \(\rho' = (\rho_1', \dots, \rho_{d'}')\) for \(M'\) near \(H(p_0)\) and a basis \(L_1\), \dots, \(L_n\) of CR vector fields tangent to \(M\) near \(p_0\) with the following property: if for any \(k \leq m\), we set \[ E_k(p_0) = \text{span}_{\mathbb C} \biggl\{L_1^{\alpha_1} L_2^{\alpha_2} \dots L_n^{\alpha_n}\partial\rho'_{j,Z'}(H(Z), \overline{H(Z)}) \Bigl| _{Z = p_0}\: 0 \leq \sum_s \alpha_s \leq k, 1 \leq j\leq d'\biggr\} \] then \(E_{k_0-1}(p_0) \neq E_{k_0}(p_0) = \mathbb C^N\) (in the above formula, \(\rho_{j,Z'}'\) denotes the complex gradient of \(\rho_j'\)). In this paper, the author proves that if a CR map \(H: M \to M'\) is of type \({\mathcal C}^{k_0}\), it is \(k_0\)-non-degenerate at a point \(p_0\) and extends continuously to a holomorphic map in a wedge \(W\) with edge \(M\), then \(H\) is smooth in some neighborhood of \(p_0\). By Tumanov's theorem on holomorphic extendibility of CR functions on a wedge with a minimal CR manifold as edge, this result has the following corollary: if \(M\) is minimal, then every \({\mathcal C}^{k_0}\)-CR-map \(H: M\to M'\), which is \(k_0\)-non-degenerate at \(p_0 \in M\), is smooth on a neighborhood of \(p_0\).