## Illinois Journal of Mathematics

### Transversality of holomorphic mappings between real hypersurfaces in complex spaces of different dimensions

#### Abstract

We consider holomorphic mappings $H$ between a smooth real hypersurface $M\subset\mathbb{C}^{n+1}$ and another $M'\subset\mathbb{C}^{N+1}$ with $N\geq n$. We provide conditions guaranteeing that $H$ is transversal to $M'$ along all of $M$. In the strictly pseudoconvex case, this is well known and follows from the classical Hopf boundary lemma. In the equidimensional case ($N=n$), transversality holds for maps of full generic rank provided that the source is of finite type in view of recent results by the authors (see also a previous paper by the first author and L. Rothschild). In the positive codimensional case ($N>n$), the situation is more delicate as examples readily show. In recent work by S. Baouendi, the first author, and L. Rothschild, conditions were given guaranteeing that the map $H$ is transversal outside a proper subvariety of $M$, and examples were given showing that transversality may fail at certain points.

One of the results in this paper implies that if $N\le 2n-2$, $M'$ is Levi-nondegenerate, and $H$ has maximal rank outside a complex subvariety of codimension $2$, then $H$ is transversal to $M'$ at all points of $M$. We show by examples that this conclusion fails in general if $N\geq 2n$, or if the set $W_{H}$ of points where $H$ is not of maximal rank has codimension one. We also show that $H$ is transversal at all points if $H$ is assumed to be a finite map (which allows $W_{H}$ to have codimension one) and the stronger inequality $N\leq 2n-3$ holds, provided that $M$ is of finite type.

#### Article information

Source
Illinois J. Math., Volume 56, Number 1 (2012), 33-51.

Dates
First available in Project Euclid: 27 September 2013

https://projecteuclid.org/euclid.ijm/1380287458

Digital Object Identifier
doi:10.1215/ijm/1380287458

Mathematical Reviews number (MathSciNet)
MR3117016

Zentralblatt MATH identifier
1293.32043

#### Citation

Ebenfelt, Peter; Son, Duong Ngoc. Transversality of holomorphic mappings between real hypersurfaces in complex spaces of different dimensions. Illinois J. Math. 56 (2012), no. 1, 33--51. doi:10.1215/ijm/1380287458. https://projecteuclid.org/euclid.ijm/1380287458

#### References

• M. S. Baouendi, P. Ebenfelt and L. P. Rothschild, Real submanifolds in complex space and their mappings, Princeton Math. Series, vol. 47, Princeton Univ. Press, Princeton, NJ, 1999.
• M. S. Baouendi, P. Ebenfelt and L. P. Rothschild, Rational dependence of smooth and analytic CR mappings on their jets, Math. Ann. 315 (1999), 205–249.
• M. S. Baouendi, P. Ebenfelt and L. P. Rothschild, Transversality of holomorphic mappings between real hypersurfaces in different dimensions, Comm. Anal. Geom. 15 (2007), 589–611.
• M. S. Baouendi, P. Ebenfelt and X. J. Huang, Holomorphic mappings between hyperquadrics with small signature difference, Amer. J. Math. 133 (2011), 1633–1661.
• M. S. Baouendi and X. Huang, Super-rigidity for holomorphic mappings between hyperquadrics with positive signatures, J. Differential Geom. 69 (2005), 379–398.
• M. S. Baouendi, X. Huang and L. P. Rothschild, Nonvanishing of the differential of holomorphic mappings at boundary points, Math. Res. Lett. 2 (1995), 737–750.
• M. S. Baouendi and L. P. Rothschild, Geometric properties of mappings between hypersurfaces in complex space, J. Differential Geom. 31 (1990), 473–499.
• M. S. Baouendi and L. P. Rothschild, A generalized complex Hopf lemma and its applications to CR mappings, Invent. Math. 111 (1993), 331–348.
• E. M. Chirka and C. Rea, Normal and tangent ranks of CR mappings, Duke Math. J. 76 (1994), 417–431.
• E. M. Chirka and C. Rea, Differentiable CR mappings and CR orbits, Duke Math. J. 94 (1998), 325–340.
• P. Ebenfelt, X. Huang and D. Zaitsev, The equivalence problem and rigidity for hypersurfaces embedded into hyperquadrics, Amer. J. Math. 127 (2005), 169–191.
• P. Ebenfelt and L. P. Rothschild, Transversality of CR mappings, Amer. J. Math. 128 (2006), 1313–1343.
• P. Ebenfelt and R. Shroff, Partial rigidity of CR embeddings of real hypersurfaces into hyperquadrics with small signature difference, to appear in Comm. Anal. Geom.; available at \arxivurlarXiv:1011.1034.
• P. Ebenfelt and D. N. Son, CR transversality of holomorphic mappings between real submanifolds in complex spaces, Proc. Amer. Math. Soc. 140 (2012), 1729–1738.
• J. E. Fornæ ss, Biholomorphic mappings between weakly pseudoconvex domains, Pacific J. Math. 74 (1978), 63–65.
• M. Golubitsky and V. Guillemin, Stable mappings and their singularities, Graduate Texts in Math., Springer, New York, 1986.
• X. Huang and Y. Zhang, Monotonicity for the Chern–Moser–Weyl curvature tensor and CR embeddings, Sci. China Ser. A 52 (2009), 2617–2627.
• B. Lamel and N. Mir, Remarks on the rank properties of formal CR maps, Sci. China Ser. A: Mathematics 49 (2006), 1477–1490.
• B. Lamel, Holomorphic maps of real submanifolds in complex spaces of different dimensions, Pacific J. Math. 201 (2001), 357–387.
• S. I. Pinčuk, Analytic continuation of mappings along strictly pseudo-convex hypersurfaces (Russian), Dokl. Akad. Nauk SSSR 236 (1977), 544–547.
• Y. Zhang, Rigidity and holomorphic Segre transversality for holomorphic Segre maps, Math. Ann. 337 (2007), 457–478.