Analytic continuation of germs of holomorphic mappings between real hypersurfaces in \({\mathbb{C}}^n\) (Q1591615)

The paper under review treats the following general question: Let \( _{\zeta} f: \Gamma \rightarrow \Gamma'\) be a germ of a holomorphic map at \(\zeta\in\Gamma\), where \(\Gamma,\Gamma'\) are two smooth real-analytic connected hypersurfaces in \({\mathbb C}^n\). Under what conditions on \(\Gamma,\Gamma'\) does \(_\zeta f\) extend holomorphically along any path on \(\Gamma\)? Here, a positive answer is given in the case, when \(\Gamma\) is essentially finite and when \(\Gamma'\) is compact, strictly pseudoconvex, and real-algebraic. \(\Gamma\) is called to be ``essentially finite'' if for any \(z\in \Gamma\) one has \(\{w\in U_z: Q_w=Q_z \} = \{ z\}\), \(U_z\) a sufficiently small neighborhood of \(z\), \(Q_w\) the Segre variety of \(\Gamma\) at \(w\). The proof is based on results of \textit{S. I. Pinchuk} [Math. USSR, Sb. 27, 375-392 (1977); translation from Mat. Sb., N. Ser. 98 (140), 416-435 (1975; Zbl 0366.32010) and Math. USSR, Sb. 34, 503-519 (1978); translation from Mat. Sb., Nov. Ser. 105 (147), 57-593 (1978; Zbl 0438.32009)] as long as extension along any path in the connected component \(\widehat{\Gamma}\) of the strictly pseudoconvex part of \(\Gamma\), \(\widehat{\zeta}\in \widehat{\Gamma}\), \(\widehat{\zeta}\) sufficiently near \(\zeta\), is studied. The key result for the remaining part is an extension result for a holomorphic map in an open neighborhood of \(\Gamma^+\), \({f}(\Gamma^+) \subset \Gamma'\), \(J_f\not\equiv 0\), \(J_f\) the Jacobian of \(f\), where \(p\in M\subset \Gamma\) is a generic \((2n-2)\)-dimensional submanifold, and \(U\) is a neighborhood of \(p\) such that \(U\cap (\Gamma\backslash M) = \Gamma^+ \cup\Gamma^-\), \(\Gamma^\pm\) connected. Observe that, without further topological assumptions on \(\Gamma\), \(f\) does not necessarily extend to a global map on \(\Gamma\).