Nonvanishing of the differential of holomorphic mappings at boundary points (Q1910668)

Let \(M\) and \(M'\) be smooth, connected orientable (real) hypersurfaces in \(\mathbb{C}^n\) and let \(h : M \to M'\) be a smooth CR mapping with nonvanishing Jacobian. Let \(p_0 \in M\) be such that \(h^{-1} (h(p_0))\) is a compact subset of \(M\). The authors prove that if \(M'\) is not minimally convex at \(p_0' = h(p_0)\), then all CR functions on \(M\) extend holomorphically to a full neighborhood of \(p_0\) in \(\mathbb{C}^n\). In particular, this means that \(h\) satisfies the so-called Hopf lemma property at \(p_0\) (a condition on the derivative of the extension). The authors make no assumption on the nonflatness of the mapping or its Jacobian or any pseudoconvexity or minimal convexity assumptions on the hypersurfaces. The ``Hopf lemma property'' as stated in the paper has something missing.