No label defined (Q4348153)

In the paper under review the author discusses joint work with X. Huang and L. Rothschild about the holomorphic extendibility of CR mappings between algebraic hypersurfaces in \(\mathbb{C}^N\). In the algebraic case there are sharp necessary and sufficient criterions for the extendibility of such mappings which do not hold in the real analytic case. For example, let \(M\) and \(M'\) be connected algebraic hypersurfaces in \(\mathbb{C}^N\) of degree \(d\) and \(d'\) respectively, with \(M\) holomorphically nondegenerate. There exists \(k=k (d,d',N)\) such that every CR mapping \(f:M\to M'\) of class \(C^k\) with Jac \(f\not \equiv 0\) extends holomorphically into a neighborhood of \(M\) and is algebraic (Theorem A). The author shows by an example that extendibility may not be possible if \(M\) is not algebraic. In the special case \(N=2\) the methods for the proof of Theorem A lead to the following result: If \(M\) and \(M'\) are connected algebraic hypersurfaces in \(\mathbb{C}^2\), \(M\) not Levi flat and \(f:M\to M'\) a smooth CR mapping with Jac \(f\not \equiv 0\), then \(f\) extends holomorphically into a neighborhood of \(M\) in \(\mathbb{C}^2\). On the other hand, if \(M\) is a real analytic hypersurface in \(\mathbb{C}^N\), holomorphically degenerate in \(p_0\in M\) with the property that every germ at \(p_0\) of a CR diffeomorphism of \(M\) fixing \(p_0\) extends holomorphically to a neighborhood of \(p_0\) in \(\mathbb{C}^N\), then every germ of a smooth CR function in \(p_0\) extends to a neighborhood of \(p_0\) in \(\mathbb{C}^N\). For the entire collection see [Zbl 0865.00044].