Regularity of CR mappings between algebraic hypersurfaces (Q1914831)

Let \(M \subset \mathbb{C}^N\), \(M' \subset \mathbb{C}^{N'}\) be two real analytic hypersurfaces and \(H : M \to M'\) be a smooth CR-map. The main result of the paper is the following: if \(M\) and \(M'\) are algebraic, \(M\) is connected and holomorphically nondegenerate (i.e. there is a point \(p_0 \in M\) such that no nonzero germ of holomorphic vector field is tangent to \(M\) in a neighbourhod of \(p_0)\) and \(\text{Jac} H \not \equiv 0\) \(\text{(Jac} H =\) the jacobian determinant of \(H)\) then \(H\) extends holomorphically to a neighbourhood of \(M\) in \(\mathbb{C}^N\). If \(N = N' =2\), \(M\) is holomorphically nondegenerate if and only if it is not Levi flat. In this case, as a corollary one has the following: if \(H\) is of class \(C^1\) with \(\text{Jac} H \not \equiv 0\) on any open subset of \(M\) then \(H\) is locally algebraic.