CR singular images of generic submanifolds under holomorphic maps

From MaRDI portal
(Redirected from Publication:2254976)



Abstract: The purpose of this paper is to organize some results on the local geometry of CR singular real-analytic manifolds that are images of CR manifolds via a CR map that is a diffeomorphism onto its image. We find a necessary (sufficient in dimension 2) condition for the diffeomorphism to extend to a finite holomorphic map. The multiplicity of this map is a biholomorphic invariant that is precisely the Moser invariant of the image when it is a Bishop surface with vanishing Bishop invariant. In higher dimensions, we study Levi-flat CR singular images and we prove that the set of CR singular points must be large, and in the case of codimension 2, necessarily Levi-flat or complex. We also show that there exist real-analytic CR functions on such images that satisfy the tangential CR conditions at the singular points, yet fail to extend to holomorphic functions in a neighborhood. We provide many examples to illustrate the phenomena that arise.


Let \(N\) be a generic real-analytic CR manifold in \(\mathbb C^n\) and let \(f:N\longrightarrow\mathbb C^n\) be a real-analytic CR map which is a diffeomorphism onto its CR singular image \(M=f(N)\). It is well known that \(f\) extends to a holomorphic map \(F\) from a neighborhood of \(N\) in \(\mathbb C^n\) into a neighborhood of \(M\) in \(\mathbb C^n\). The authors of the paper under review consider the following matters: 1. What can one say on the holomorphic extension \(F\)? The authors provide a necessary (and sufficient in dimension 2) condition for \(F\) to be finite. 2. Characterize the structure of the set of CR singular points of \(M\). It is shown that if \(M\) is a CR singular image with a CR singular set \(S\), and \(M\) contains a complex subvariety \(L\) of complex dimension \(j\) that intersects \(S\), then \(S\cap L\) is a complex subvariety of complex dimension \(j\) or \(j-1\). A corollary to that theorem shows that a Levi-flat CR singular image necessarily has a CR singular set of large dimension. 3. Does every real-analytic CR function on \(M\) extend holomorphically to a neighborhood of \(M\) in \(\mathbb C^n\)? Here the authors show that this is the case when \(M\) is generic at every point. In contrast, they also show that if \(M\) is a CR singular image, then there is a real-analytic function satisfying all tangential CR conditions, yet fails to extend to a holomorphic function on a neighborhood of \(M\).











This page was built for publication: CR singular images of generic submanifolds under holomorphic maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254976)