No label defined (Q4348152)

In the paper some indications of the proof, comments, remarks and corollaries are given to the following theorem, which is the main result of the paper by \textit{M. S. Baouendi} and the author [J. Am. Math. Soc. 8, No. 4, 997-1015 (1995; Zbl 0869.14025)]. Let \(M,M'\) be real algebraic hypersurfaces in \(\mathbb C^N\), \(N>1\), (i.e. smooth hypersurfaces defined by vanishing of real valued polynomials). If \(M\) is connected and holomorphically nondegenerate at some point \(p_0\in M\) (it means that there is no germ of a nontrivial holomorphic vector field tangent to \(M\) in a neighbourhood of \(p_0\)) and \[ H: (\mathbb C^N,p_0)\to (\mathbb C^N,H(p_0)) \] is the germ of a biholomorphism of \(M\) into \(M'\), then \(H\) is algebraic (it means that components of \(H\) are Nash function i.e. they are roots of polynomials with holomorphic polynomial coefficients). The converse of this theorem also holds. For the entire collection see [Zbl 0865.00044].