Images of real submanifolds under finite holomorphic mappings (Q2479701)

Let \(M\) be a real analytic submanifold of codimension \(d\) in \(\mathbb{C}^N\). For \(p_0\in M\), one denotes by \(\mathcal{M}\) the usual complexification of \(M\) in some neighborhood of \((p_0,\overline{p}_0)\) in \(\mathbb{C}^N\times \mathbb{C}^N\). To a holomorpic mapping \(H:(\mathbb{C}^N,p_0)\to (\mathbb{C}^N,\tilde{p}_0)\), one can associate its complexfication \(H:(\mathbb{C}^N\times \mathbb{C}^N ,(p_0,\overline p_0))\to (\mathbb{C}^N\times \mathbb{C}^N,(\tilde{p}_0,\overline{\tilde p_0}))\). A real analytic submanifold \(M\) is generic if \(T_pM+J(T_pM)=T_p{\mathbb{C}}^N\) for every \(p\in M\). The main result of the paper is the following Theorem 1.1. Let \(M\) be a (germ of a) real-analytic submanifold through \(p_0\) in \(\mathbb{C}^N\) and \(H:(\mathbb{C}^N,p_0)\to (\mathbb{C}^N,\tilde{p}_0)\) a germ of a finite holomorphic mapping. Consider the two properties: {\parindent=6,5mm \begin{itemize}\item[(i)] The image \(H(M)\) is a germ at \(\tilde p_0\) of a real analytic submanifold. \item[(ii)] The complexified germ \(\mathcal{H}\) satisfies \(\mathcal{H}^{-1}(\mathcal{H}(\mathcal{M}))=\mathcal{M}\). \end{itemize}} If \(M\) is not contained in any proper complex analytic subvariety through \(p_0\), then: {\parindent=6mm \begin{itemize}\item[(I)] (i) with \(H\) is transversal to H(M) at \(\tilde p_0\Leftrightarrow \text{(ii)}\). \end{itemize}} If \(M\) is generic and of finite type at \(p_0\), then {\parindent=6mm \begin{itemize}\item[(II)] (i) with \(H(M)\) generic \(\Leftrightarrow \text{(ii)}\). \end{itemize}} Moreover, in the later case, if either (i) or (ii) is satisfied, then the image \(H(M)\) is of finite type at \(\tilde p_0\), and \(H\) is CR transversal to \(H(M)\) at \(\tilde p_0\). Then, the authors study the images of complex manifolds under finite mappings.