A reflection principle for real-analytic submanifolds of complex spaces (Q1608512)

Let \(M\) and \(M'\) be CR manifolds. Assume that \(0\in M\subset\mathbb C^N\), generic with real codimension \(d\), and \(0\in M'\subset\mathbb C^{N'}\), generic with real codimension \(d'\). Let \(\rho_1',\dots,\rho_{d'}'\) be smooth defining functions for \(M'\) near \(0\in\mathbb C^{N'}\). A CR map \(H:M\rightarrow M'\) with \(H(0)=0\) is \(k_0\)-nondegenerate at \(0\) if the complex linear span of \(\{L_1\dots L_j(\partial\rho_s'\circ H)(0): L_1,\dots, L_j\in{\mathcal C}^\infty(M,T^{0,1}M)\), \(0 \leq j \leq k_0\), \(1 \leq s \leq d'\}\) is \(\mathbb C^{N'}\). For such a map the author proves that one has: if \(H\) is the boundary value of a holomorphic function in a local wedge \(W\subset\mathbb C^N\) at \(0\) with edge \(M\), then it extends to a holomorphic map defined in a full neighborhood of \(0\) in \(\mathbb C^N\).