Extension of holomorphic maps between real hypersurfaces of different dimension

Shafikov, Rasul ; Verma, Kausha

Annales de l'Institut Fourier, Tome 57 (2007), p. 2063-2080 / Harvested from Numdam

Résumé

Dans cet article, les résultats sur le prolongement analytique des germes d’applications holomorphes d’une hypersurface analytique réelle à une hypersurface algébrique réelle sont étendus au cas où la cible est une hypersurface de dimension supérieure à celle de la source. Plus précisément, nous prouvons ce qui suit : soit $M$ une hypersurface lisse, connexe, analytique réelle et minimale dans $C^n$, et $M^{\prime}$ une hypersurface compacte, strictement pseudoconvexe, et algébrique réelle dans $C^N$, avec $1 < n \le N$. Supposons que $f$ soit le germe d’une application holomorphe en un point $p$ de $M$, et $f(M)$ soit contenu dans $M^{\prime}$. Alors $f$ se prolonge à un application holomorphe le long de toute courbe $CR$ sur $M$, et le prolongement envoie $M$ dans $M^{\prime}$. De plus, si $D$ et $D^{\prime}$ sont des domaines bornés lisses dans $C^n$ et $C^N$ respectivement, avec $1 < n \le N$, la frontière de $D$ est analytique réelle, celle de D’ est algébrique réelle, et si $f:D \rightarrow D^{\prime}$ est une application holomorphe propre qui admet un prolongement lisse à un voisinage d’un point $p$ de la frontière de $D$, alors l’application $f$ se prolonge continûment à la fermeture de $D$, et le prolongement est analytique sur un sous-ensemble dense de la frontière de $D$.

Abstract

In this paper we extend the results on analytic continuation of germs of holomorphic mappings from a real analytic hypersurface to a real algebraic hypersurface to the case when the target hypersurface is of higher dimension than the source. More precisely, we prove the following: Let $M$ be a connected smooth real analytic minimal hypersurface in $C^n$, $M^{\prime}$ be a compact strictly pseudoconvex real algebraic hypersurface in $C^N$, $1 < n \le N$. Suppose that $f$ is a germ of a holomorphic map at a point $p$ in $M$ and $f(M)$ is in $M^{\prime}$. Then f extends as a holomorphic map along any smooth $CR$-curve on M with the extension sending $M$ to $M^{\prime}$. Further, if $D$ and $D^{\prime}$ are smoothly bounded domains in $C^n$ and $C^N$ respectively, $1 < n \le N$, the boundary of $D$ is real analytic, and the boundary of $D^{\prime}$ is real algebraic, and if $f : D \rightarrow D^{\prime}$ is a proper holomorphic map which admits a smooth extension to a neighbourhood of a point $p$ in the boundary of $D$, then the map $f$ extends continuously to the closure of $D$, and the extension is holomorphic on a dense open subset of the boundary of $D$.

Détail

Publié le : 2007-01-01

MR 2377897 | Zbl 1149.32008

DOI : https://doi.org/10.5802/aif.2324
Classification:  32H40
Mots clés: applications holomorphes, principe de réflexion, prolongement analytique

Bibliographie

[1] Alexander, H. Holomorphic mappings from the ball and polydisc, Math. Ann., Tome 209 (1974), pp. 249-256 | Article | MR 352531 | Zbl 0272.32006

[2] Baouendi, M. S.; Ebenfelt, P.; Rothschild, L. P. Algebraicity of holomorphic mappings between real algebraic sets in ${\bf C}^n$, Acta Math., Tome 177 (1996) no. 2, pp. 225-273 | Article | MR 1440933 | Zbl 0890.32005

[3] Baouendi, M. Salah; Ebenfelt, Peter; Rothschild, Linda Preiss Real submanifolds in complex space and their mappings, Princeton University Press, Princeton, NJ, Princeton Mathematical Series, Tome 47 (1999) | MR 1668103 | Zbl 0944.32040

[4] Chirka, E. M. Complex analytic sets, Kluwer Academic Publishers Group, Dordrecht, Mathematics and its Applications (Soviet Series), Tome 46 (1989) (Translated from the Russian by R. A. M. Hoksbergen) | MR 1111477 | Zbl 0683.32002

[5] Coupet, Bernard; Damour, Sylvain; Merker, Joël; Sukhov, Alexandre Sur l’analyticité des applications CR lisses à valeurs dans un ensemble algébrique réel, C. R. Math. Acad. Sci. Paris, Tome 334 (2002) no. 11, pp. 953-956 | Zbl 1010.32019

[6] Coupet, Bernard; Meylan, Francine; Sukhov, Alexandre Holomorphic maps of algebraic CR manifolds, Internat. Math. Res. Notices (1999) no. 1, pp. 1-29 | Article | MR 1666972 | Zbl 0926.32044

[7] Diederich, K.; Fornæss, J. E. Pseudoconvex domains with real-analytic boundary, Ann. Math. (2), Tome 107 (1978) no. 2, pp. 371-384 | Article | MR 477153 | Zbl 0378.32014

[8] Diederich, K.; Fornæss, J. E. Proper holomorphic mappings between real-analytic pseudoconvex domains in ${\bf C}^n$, Math. Ann., Tome 282 (1988) no. 4, pp. 681-700 | Article | MR 970228 | Zbl 0661.32025

[9] Diederich, K.; Sukhov, A. Extension of CR maps into hermitian quadrics (2005) (preprint)

[10] Diederich, K.; Webster, S. M. A reflection principle for degenerate real hypersurfaces, Duke Math. J., Tome 47 (1980) no. 4, pp. 835-843 | Article | MR 596117 | Zbl 0451.32008

[11] Dor, Avner Proper holomorphic maps between balls in one co-dimension, Ark. Mat., Tome 28 (1990) no. 1, pp. 49-100 | Article | MR 1049642 | Zbl 0699.32014

[12] Forstnerič, Franc Embedding strictly pseudoconvex domains into balls, Trans. Amer. Math. Soc., Tome 295 (1986) no. 1, pp. 347-368 | MR 831203 | Zbl 0594.32024

[13] Forstnerič, Franc Extending proper holomorphic mappings of positive codimension, Invent. Math., Tome 95 (1989) no. 1, pp. 31-61 | Article | MR 969413 | Zbl 0633.32017

[14] Globevnik, Josip Boundary interpolation by proper holomorphic maps, Math. Z., Tome 194 (1987) no. 3, pp. 365-373 | Article | MR 879938 | Zbl 0611.32021

[15] Hakim, Monique Applications holomorphes propres continues de domaines strictement pseudoconvexes de ${\bf C}^n$ dans la boule unité de ${\bf C}^{n+1}$, Duke Math. J., Tome 60 (1990) no. 1, pp. 115-133 | Article | MR 1047118 | Zbl 0694.32010

[16] Huang, Xiao Jun On the mapping problem for algebraic real hypersurfaces in the complex spaces of different dimensions, Ann. Inst. Fourier (Grenoble), Tome 44 (1994) no. 2, pp. 433-463 | Article | Numdam | MR 1296739 | Zbl 0803.32011

[17] Łojasiewicz, Stanisław Introduction to complex analytic geometry, Birkhäuser Verlag, Basel (1991) (Translated from the Polish by Maciej Klimek) | Zbl 0747.32001

[18] Løw, Erik Embeddings and proper holomorphic maps of strictly pseudoconvex domains into polydiscs and balls, Math. Z., Tome 190 (1985) no. 3, pp. 401-410 | Article | MR 806898 | Zbl 0584.32048

[19] Merker, Joël On the partial algebraicity of holomorphic mappings between two real algebraic sets, Bull. Soc. Math. France, Tome 129 (2001) no. 4, pp. 547-591 | Numdam | MR 1894150 | Zbl 0998.32019

[20] Merker, Joël; Porten, Egmont On wedge extendability of CR-meromorphic functions, Math. Z., Tome 241 (2002) no. 3, pp. 485-512 | Article | MR 1938701 | Zbl 1026.32020

[21] Merker, Joël; Porten, Egmont Holomorphic extension of CR functions, envelopes of holomorphy, and removable singularities, IMRS Int. Math. Res. Surv. (2006), pp. 1-287 | MR 2270252 | Zbl 05144772

[22] Meylan, Francine; Mir, Nordine; Zaitsev, Dmitri Holomorphic extension of smooth CR-mappings between real-analytic and real-algebraic CR-manifolds, Asian J. Math., Tome 7 (2003) no. 4, pp. 493-509 | MR 2074887 | Zbl 1070.32024

[23] Nemirovskiĭ; Shafikov, R. G. Uniformization of strictly pseudoconvex domains, I, II, Izv. Ross. Akad. Nauk Ser. Mat., Tome 69 (2005) no. 6, p. 1189-1202, 1203–1210 | MR 2190090 | Zbl 1106.32010

[24] Pinchuk, S. I. On holomorphic maps of real-analytic hypersurfaces, Math. USSR Sb., Tome 34 (1978), pp. 503-519 | Article | Zbl 0438.32009

[25] Pinchuk, S. I. Analytic continuation of holomorphic mappings and the problem of holomorphic classification of multidimensional domains, Moscow State Univ. (1980) (Doctoral dissertation (Habilitation))

[26] Pinchuk, S. I.; Khenkin, G. M. Holomorphic maps in ${\bf C}^n$ and the problem of holomorphic equivalence, Encyclopaedia of Mathematical Sciences: Several Complex Variables III, Springer-Verlag, Tome 9 (1989) | Zbl 0658.32011

[27] Pinchuk, S. I.; Sukhov, A. Extension of CR maps of positive codimension, Proc. Steklov Inst. Math., Tome 253 (2006), pp. 246-255 | Article | MR 2338702

[28] Poincaré, H. Les fonctions analytiques de deux variables et la représentation conforme, Rend. Circ. Mat. Palermo, Tome 23 (1907), pp. 185-220 | Article

[29] Shafikov, Rasul Analytic continuation of germs of holomorphic mappings between real hypersurfaces in ${\bf C}^n$, Michigan Math. J., Tome 47 (2000) no. 1, pp. 133-149 | Article | MR 1755261 | Zbl 0966.32007

[30] Shafikov, Rasul On boundary regularity of proper holomorphic mappings, Math. Z., Tome 242 (2002) no. 3, pp. 517-528 | Article | MR 1985463 | Zbl 1044.32013

[31] Shafikov, Rasul Analytic continuation of holomorphic correspondences and equivalence of domains in $\mathbb{C}^n$, Invent. Math., Tome 152 (2003) no. 3, pp. 665-682 | Article | MR 1988297 | Zbl 1024.32008

[32] Sharipov, Ruslan; Sukhov, Alexander On CR-mappings between algebraic Cauchy-Riemann manifolds and separate algebraicity for holomorphic functions, Trans. Amer. Math. Soc., Tome 348 (1996) no. 2, pp. 767-780 | Article | MR 1325920 | Zbl 0851.32017

[33] Tanaka, Noboru On the pseudo-conformal geometry of hypersurfaces of the space of $n$ complex variables, J. Math. Soc. Japan, Tome 14 (1962), pp. 397-429 | Article | MR 145555 | Zbl 0113.06303

[34] Vitushkin, A. G. Real-analytic hypersurfaces of complex manifolds, Russian Math. Surveys, Tome 40 (1985), pp. 1-35 | Article | MR 786085 | Zbl 0588.32025

[35] Webster, S. M. On the mapping problem for algebraic real hypersurfaces, Invent. Math., Tome 43 (1977) no. 1, pp. 53-68 | Article | MR 463482 | Zbl 0348.32005

[36] Zaitsev, Dmitri Algebraicity of local holomorphisms between real-algebraic submanifolds of complex spaces, Acta Math., Tome 183 (1999) no. 2, pp. 273-305 | Article | MR 1738046 | Zbl 1005.32014