Holomorphic mappings between real analytic submanifolds in complex space (Q4400552)

The author introduces an invariant sequence of sets, called Segre sets, attached to a real-analytic submanifold of \({\mathbb C}^N\). This sequence begins with the Segre variety which has been used since Segre's time to study mapping problems for real-analytic hypersurfaces. Other sets in the sequence turn out to be unions of Segre varieties. There is no requirement on the codimension of the submanifold here, and the Segre sets enable the analysis of so-called reflection identities for the case of higher codimension. They also provide a way of constructing the CR orbits of a real-analytic CR submanifold that does not use solutions of differential equations. In addition to preliminary results on reflection identities and the Segre sets, the main result proved here is the following theorem, due jointly to the author, \textit{M. S. Baouendi} and \textit{L. P. Rothschild} [Acta Math. 177, No. 2, 225-273 (1996; Zbl 0890.32005)]: Let \(M\subset {\mathbb C}^N\) be a real algebraic, connected submanifold with \(p_0\in\overline{M}\). Assume that \(M\) is holomorphically nondegenerate, generic, and that there is a point at which \(M\) is minimal. Then, if \(H: {\mathbb C}^N\to {\mathbb C}^N\) is a germ at \(p_0\) of a holomorphic mapping, with \(\text{Jac} H\not\equiv 0\), such that \(H(M)\subset A'\), where \(A'\subset {\mathbb C}^N\) is a real algebraic set with \(\dim_{\mathbb R}A'=\dim_{\mathbb R}M\), necessarily \(H\) is algebraic. (The original statement of this result appears more algebraic.) The theory presented in these notes is also applied to the algebraic equivalence problem and to the uniqueness of biholomorphisms between real-analytic generic submanifolds. For the entire collection see [Zbl 0889.00023].