On maps between nonminimal hypersurfaces (Q1936622)

It was shown by \textit{P. Ebenfelt, B. Lamel} and \textit{D. Zaitsev} [Geom. Funct. Anal. 13, No. 3, 546--573 (2003; Zbl 1032.32025)] that the \(CR\) automorphism group \(\text{Aut}(M,p)\) at a minimal point of a real analytic \(CR\) manifold is a finite dimensional Lie group. In the same paper it was shown that the fact that M is not Levi-flat is sufficient for finite jet determination and hence for embedding \(\text{Aut}(M,p)\) into some finite dimensional Lie group, but the closedness of the image remained an open question. In this paper this is shown to be the case for a class of \(CR\) submanifolds of \(\mathbb{C}^2\), that the authors call \textit{\(1\)-nonminimal}. These are characterized by the possibility of being described, for suitable holomorphic coordinates \(w,z\) centered ad \(p\) by \[ \Im w=\Re w\phi(z,\bar{z},\Re w),\quad\text{with \(\phi(z,\bar{z},0)\neq{0}\).} \] The authors also investigate germs of biholomorphisms \(H\) of \(\mathbb{C}^2\), mapping \((M,p)\) to \((M',p')\) for \(CR\) real analytic hypersurfaces \(M,M'\) which are \(1\)-nonminimal at \(p,p'\) and for which \(H(E)\not\subset{E}'\), where \(E,E'\) are the holomorphic curves through \(p,p'\) in \(M,M'\), respectively. They show that for each value \(k\) of the transveral order of vanishing of \(H\) along \(E\) there is a finite jet determination of the map, which yields a homeomorphism of the space \(\mathcal{H}_k(M,p;M',p')\) of such maps onto a closed real analytic subset of a jet space \(J^\ell_{p,p'}(\mathbb{C}^2)\).