A reflection principle in complex space for a class of hypersurfaces and mappings (Q1902044)

Dans \(\mathbb{C}^{n + 1} (n \geq 1)\), soient \(M,M'\) deux germes à l'origine d'hypersurfaces analytiques réelles; on suppose \(M\) défini, dans un voisinage \(\Omega\) de l'origine, par \(\text{Im} w = \varphi (z, \overline z, \text{Re} w)\), où \(w \in \mathbb{C}\), \(z \in \mathbb{C}^n\), \(\varphi (.,.,.)\) est la somme d'une série entière convergente. On donne de nouvelles (car la question a déjà fait l'objet de plusieurs études: cf. la Bibliographie du présent article) conditions suffisantes pour que toute application \(H \in {\mathcal C}^\infty (\overline {\Omega^+}, \mathbb{C}^{n + 1})\) holomorphe sur \(\Omega^+ = \{(z,w) \in \Omega : \text{Im} w > \varphi (z, \overline z, \text{Re} w)\}\), telle que \(H(M) \subset M'\), se prolonge en une application holomorphe sur un voisinage de l'origine. Certaines de ces conditions portent sur \(M\): c'est par exemple l'existence de \(m \in \mathbb{N}\) tel que \(\varphi (z, \overline z, \text{Re} w) \equiv (\text{Re} w)^m \psi (z, \overline z, \text{Re} w)\) et que les coefficients du développement de \(\psi (z, \zeta, 0)\) suivant les puissances de \(\zeta\) engendrent dans \(\mathbb{C} [[z]]\) un idéal de codimension finie. D'autres conditions portent de même sur \(M'\); d'autres enfin sur \(H = (F_1, \dots, F_n,G)\): c'est par exemple le fait que \(\text{det} {\partial F_j \over \partial z_k} (z,0) \not \equiv 0\) ou la codimension finie de l'idéal engendré dans \(C[[z]]\) par les \(F_j (z,0)\).