Extension of holomorphic maps between real hypersurfaces of different dimension (Q2466312): Difference between revisions

From the abstract: We prove the following: Let \(M\) be a connected smooth real analytic minimal hypersurface in \(\mathbb{C}^{n}\), \(M^{\prime}\) a compact strictly pseudoconvex real algebraic hypersurface in \(\mathbb{C}^{N}\), \(1 < n \leq N\). Suppose that \(f\) is a germ of a holomorphic map at a point \(p\) in \(M\) and \(f(M)\) is in \(M^{\prime}\). Then \(f\) extends as a holomorphic map along any smooth \(CR\)-curve on \(M\) with the extension sending \(M\) to \(M^{\prime}\). Further, if \(D\) and \(D^{\prime}\) are smoothly bounded domains in \(\mathbb{C}^{n}\) and \(\mathbb{C}^{N}\), respectively, \(1 < n \leq N\), the boundary of \(D\) is real analytic, and the boundary of \(D^{\prime}\) is real algebraic, and if \(f:D \rightarrow D^{\prime}\) is a proper holomorphic map which admits a smooth extension to a neighborhood of a point \(p\) in the boundary of \(D\), then the map \(f\) extends continuously to the closure of \(D\), and the extension is holomorphic on a dense open subset of the boundary of \(D\).