HIPERSUPERFICIES GENERALIZADAS EN Cn Percy Fernández S.1 , Jorge Mozo F.2 y Hernán Neciosup P.2 Noviembre, 2013 Resumen El objetivo principal de este artı́culo es demostrar que la reducción de singularidades de una hipersuperficie generalizada coincide con una reducción de singularidades de su separatriz; el cual es una generalización del resultado presentado en [8] por los dos primeros autores. MSC(2010): 37F75, 32S65. Palabras clave: Foliaciones holomorfas, Clasificación analı́tica, Resolución de singularidades. 1 2 Sección Matemáticas, Departamento de Ciencias, PUCP. Facultad de Ciencias, Campus Miguel Delibes, Univ. de Valladolid, España. Percy Fernández S., Jorge Mozo F. & Hernán Neciosup P 1. Introducción En [8] se estudian los gérmenes de foliaciones holomorfas singulares no-dicrı́ticas de co-dimensión uno en (C3 , 0) tal que en su reducción de singularidades no aparecen silla nodo. Este tipo de foliaciones son denominados superficies generalizadas. Demuestran que una reducción de singularidades de su separatriz coincide con la reducción de singularidades de la foliación, resultado que es análogo al que muestran C. Camacho, A. Lins Neto y P. Sad en [1] para curvas generalizadas no dicrı́ticas. La noción anterior puede darse en un espacio de dimensión arbitraria, mediante secciones transversales, y es ası́ como llevamos acabo la generalización del mismo. Sea F una foliación en (Cn , 0) definida por una 1-forma integrable ω. Una aplicación ϕ : (C2 , 0) → (Cn , 0), es llamada genéricamente transversal a F si ϕ∗ (F) 6≡ 0; geométricamente esto significa que la imagen de ϕ es no invariante (ver [2]). Por otro lado, una inmersión i : (Cl , 0) → (Cn , 0) se dice transversal a F si se cumplen las siguientes condiciones 1. Sing(i∗ ω) = i−1 Sing(ω);    2. codim Sing(i∗ ω) = mı́n l−mı́n 0, dim Sing(ω) , codim Sing(ω) . Para más detalles ver [11] y [6], con el convenio: dim(∅) = −1 para el caso de foliaciones regulares. Cuando l = 2, la condición (2) es equivalente a Sing(i∗ ω) ⊆ {0}. Ası́, la inmersión i : (C2 , 0) → (Cn , 0) es transversal a F si y solo si - ν0 (i∗ ω) = ν0 (ω), donde ν0 denota el orden en 0; - Sing(i∗ ω) ⊆ {0}. Observe que cualquier inmersión trasversal a F es genéricamente transversal, lo recı́proco es falso. 72 Pro Mathematica, 27, 53-54 (2013), 71-82, ISSN 1012-3938 Hipersuperficies Generalizadas En (C2 , 0) una foliación holomorfa singular F, está dado por ω = 0, donde ω una 1-forma holomorfa. Se dice que F es dicrı́tica, si tiene una infinidad de curvas analı́ticas invariantes (separatrices). Por otro lado, sabemos que existe la reducción de singularidades de F debido a Seidenberg [12]. Esto nos permite dar una formulación equivalente del concepto de dicriticidad, en el sentido siguiente: la foliación F es dicrı́tica en el origen si y solo si existe una reducción de singularidades tal que el divisor excepcional tenga una componente irreducible genéricamente transversal. En dimensión tres, una foliación holomorfa singular F, está dada por una 1-forma holomorfa ω tal que ω ∧ dω = 0. En este caso, existen distintas nociones de dicriticidad no necesariamente equivalentes (ver [4], [5], [7]). Nosotros adoptamos la noción debido a F. Cano en [2]: una foliación holomorfa singular F sobre (Cn , 0) es llamada dicrı́tica si existe ϕ : (C2 , 0) → (Cn , 0), germen de aplicación analı́tica, tal que 1. ϕ∗ F = (dx = 0). 2. ϕ(y = 0) es invariante para F. Se dice que F es estrictamente dicrı́tica en el origen si existe un germen de aplicación analı́tica no invariante para F, ϕ : (C2 , 0) → (Cn , 0) tal que ϕ∗ F tiene una infinidad de curvas analı́ticas invariantes que se acumulan en el origen. Estos conceptos coinciden en el caso 2-dimensional y son equivalentes a decir que la foliación tiene infinidad de curvas analı́ticas invariantes en el origen (ver [2]). En [9], damos una forma pre-normal de las foliaciones cuspidales casi-homogéneas en (Cn , 0) con separatriz prescrita. En particular, para un caso especial, damos una condición necesaria, análoga a la de F. Loray [10] de manera que después de una resolución de singularidades de su separatriz, las singularidades de la foliación son automáticamente simples en el sentido de Cano-Cerveau [5]. Un trabajo en preparación Pro Mathematica, 27, 53-54 (2013), 71-82, ISSN 1012-3938 73 Percy Fernández S., Jorge Mozo F. & Hernán Neciosup P por los autores, es ver si la clasificación analı́tica de este tipo de foliaciones coincide con la clasificación analı́tica de la holonomı́a proyectiva de una cierta componente del divisor excepcional. Esta propiedad es similar a la propiedad de ser curva generalizada y es una motivación a la generalización de esta noción a dimensión tres [8] y en consecuencia para dimensión arbitraria. Cuando el espacio ambiente es de dimensión mayor a tres, aún no se conoce una forma de reducir las singularidades. En dimensión tres la reducción de singularidades se debe a F. Cano y D. Cerveau [5] en el caso no-dicrı́tico y por F. Cano [4] en el caso dicrı́tico. Por otro lado la noción de genéricamente transversal y el de no-degenerada transversa debido a [11] junto con un trabajo de existencia de separatriz, en dimensión arbitraria, debido a [7], llevan al resultado principal: Teorema 1. Sea F una hipersuperficie generalizada en (Cn , 0), y S := (f = 0) la ecuación reducida del conjunto de sus separatrices. Dado π : (M, E) → (Cn , 0), el morfismo de una resolución de singularidades inmersa de S, entonces π ∗ (F) tiene singularidades simples adaptadas al divisor E. 2. Preliminares: Singularidades Pre-simples y Simples Sea X una variedad compleja de dimensión n. Dado p ∈ X y ω un germen de 1-forma diferencial e integrable tal que ω = 0 define una foliación, F, localmente en p. Consideremos el subespacio n o D(ω)(p) = X (p) : X ∈ XX,p y ω(X ) = 0 ⊂ Tp X. La co-dimensión de D(ω)(p) en Tp X es llamado el tipo dimensional denotado por t = τ (F, p), este número representa la mı́nima cantidad de coordenadas necesarias para expresar un generador de F. Sea E ⊂ X un 74 Pro Mathematica, 27, 53-54 (2013), 71-82, ISSN 1012-3938 Hipersuperficies Generalizadas divisor con cruzamientos normales tal que las componentes irreducibles de E son no-dicrı́ticas, es decir, cada componente irreducible de E es invariante por F. A continiación presentamos algunas deficiciones de las singularidades pre-simples y simple, debido a F. Cano (ver [5]). Denotemos por e = e(E, p) el número de componentes irreducibles de E a través de p. Claramente e ≤ t. Ası́, podemos tomar coordenadas (x1 , . . . , xn ) alrededor del punto p = (0, . . . , 0) y A ⊂ {1, . . . , t} tal que ) ( Y xi = 0 E= i∈A y entonces ω es escrito como  Y  X dxi + bi (x1 , . . . , xt ) xi  ω= xi i∈A i∈A X i∈{1,...,t}−A  bi (x1 , . . . , xt )dxi (2.1) Definimos el orden adaptado (orden de ω en p, relativo a E): ν(F, E, p) = mı́n{νp (bi ) : i = 1, . . . , t}, donde νp (bi ) es la multiplicidad algebraica de bi en p. Definimos también la multiplicidad adaptada   µ(F, E, p) = mı́n {νp (bi )}i∈A ∪ {νp (bi ) + 1}i6∈A . Por definición tenemos las siguientes desigualdades ν(F, E, p) ≤ µ(F, E, p) ≤ ν(F, E, p) + 1. Definición 2. Una singularidad p ∈ Sing(F) es llamada pre-simple de F adaptada a E si y solo si una de las siguientes propiedades se cumple: 1. ν(F, E, p) = 0 2. ν(F, E, p) = µ(F, E, p) = 1 y existe un i tal que la parte lineal b1i de bi no depende solamente de las variables {xi : i ∈ A}. Pro Mathematica, 27, 53-54 (2013), 71-82, ISSN 1012-3938 75 Percy Fernández S., Jorge Mozo F. & Hernán Neciosup P Observe que en dimensión 2 una singularidad pre-simple corresponde a una singularidad de multiplicidad 1 que no es nilpotente. Definición 3. Una singularidad p ∈ Sing(F) es llamada simple de F adaptada a E si y solo si es formalmente equivalente a una de las formas: 1. Existen λi ∈ C, i = 1, . . . , s, tal que ω= s Y i=1 xi s X dxi λi xi i=1 ! y para todo n1 , . . . , ns ∈ N∪{0} no todos nulos tenemos s X ni λi 6= i=1 0. 2. Existe un entero k, 1 ≤ k ≤ s tal que ω= s Y i=1 xi s X dxi dxi αi + ψ(xp11 . . . . xpkk ) pi x xi i i=2 i=1 k X ! donde los p1 , . . . , pk ∈ N primos entre si, ψ(t) ∈ C[[t]], con ψ(0) 6= 0; αi ∈ C y para todo entero nk+1 , . . . , ns ∈ N ∪ {0} no todos nulos s X ni αi 6= 0. tenemos i=k+1 Si p es una singularidad pre-simple de tipo dimensional t, considere el conjunto   A := q ∈ U r {p} : q ∈ Sing(F), U una vecindad de p . Todos los elementos de este conjunto son singularidades de tipo dimensional 2 (ver [5] ). Entonces, p es simple si y solo si todos los elementos en A son simples. 76 Pro Mathematica, 27, 53-54 (2013), 71-82, ISSN 1012-3938 Hipersuperficies Generalizadas 3. Hipersuperficie Generalizada La definición de curva generalizada fue introducido por C. Camacho, A. Lins Neto y P. Sad en [1]: foliación holomorfa singular de co-dimensión uno en (C2 , 0) que no admite sillas-nodos en su reducción de singularidades. Sea (f = 0) la ecuación analı́tica del conjunto de separatrices de una curva generalizada F y ω la 1-forma que define F, en [1] demuestran: 1. ν0 (ω) = ν0 (df ); 2. La reducción de singularidades de F coincide con la reducción de (f = 0). Cuándo el espacio ambiente es tres, la noción anterior se verifica en [8] con F no-dicrı́tica. Si el espacio ambiente es n > 3 el resultado principal en [8] se sigue verificando y que a continuación pasamos a dar detalles de la demostración. Definición 4. Sea F una foliación holomorfa de co-dimension uno definida por una 1-forma integrable ω in (Cn , 0). Diremos que F es una hipersuperficie generalizada si se satisfacen las siguientes condiciones 1. F es no dicrı́tica. 2. Para cada aplicación ϕ : (C2 , 0) → (Cn , 0), genéricamente transversal a F, ϕ∗ F es una curva generalizada. Lema 5. Sea F una hipersuperficie generalizada generada por una 1forma holomorfa ω y S := (f = 0) la ecuación reducida del conjunto de sus separatrices. Entonces ν0 (ω) = ν0 (df ). Demostración. Dada una inmersión i : (C2 , 0) → (Cn , 0) transversal a F.
Por definición i∗ F es curva generalizada, con i∗ f = 0 como separatriz. Pro Mathematica, 27, 53-54 (2013), 71-82, ISSN 1012-3938 77 Percy Fernández S., Jorge Mozo F. & Hernán Neciosup P Debido a [5] y [7], cualquier separatriz de i∗ F se extiende a una separatriz de F. Por transversalidad se sigue ν0 (ω) = ν0 (i∗ ω). Como i∗ F es curva generalizada, entonces ν0 (i∗ ω) = ν0 (d(f ◦ i)) = ν0 (df ). Ası́, ν0 (ω) = ν0 (df ). Lema 6. Sea F una hipersuperficie generalizada en (Cn , 0). Si F tiene exactamente n hipersuperficies regulares transversales como separatriz, entonces F es simple. Demostración. Por hipótesis, podemos elegir coordenadas locales tales que el conjunto de separatrices de F está dado por ! n Y S := xi = 0 . i=1 Entonces F está generado por una 1-forma ! ! n n n X Y X dxi , ω= fi dxi = xi ai xi i=1 i=1 i=1 (3.1) donde fi , ai ∈ C{x1 , x2 , · · · , xn }. Dada cualquier inmersión transversal a F en torno del origen, i : (C2 , 0) → (Cn , 0), i∗ F es una curva generalizada con n curvas regulares transversales como separatriz, ası́ ν0 (i∗ ω) = n − 1. Luego, por transversalidad se tiene ν0 (i∗ ω) = ν0 (ω) = n − 1. (3.2) De (3.1) y (3.2) se sigue, ν0 (fi ) = n − 1 para algún i, ası́ ν0 (ai ) = 0 para algún i y por tanto el origen es una singularidad pre-simple. Además tenemos que el origen es una esquina. Por otro lado, la hipótesis de la no-dicriticidad de F, implica la no-resonancia estricta de la singularidad, 78 Pro Mathematica, 27, 53-54 (2013), 71-82, ISSN 1012-3938 Hipersuperficies Generalizadas por tanto 0 es simple (Ver [3], Def. 13). Otra forma de ver esto es: dada cualquier inmersión transversal a F, ip : (C2 , 0) → (Cn , p), en torno de un punto p ∈ Sing(F), con p 6= 0, entonces i∗p (F) es una curva generalizada con n − 1 curvas regulares transversales como separatriz, por tanto ν0 (i∗ ω) = n − 2. Luego por transversalidad se tiene ν0 (i∗ ω) = νp (ω) = n − 2. (3.3) Por otro lado, entorno de p, F está generado por una 1-forma ωp ! n−1 ! n−1 Y X dx̃i x̃i ãi . ωp = x̃i i=1 i=1 Entonces ν0 (ãi ) = 0 para algún i ∈ {1, · · · , n − 1} y en consecuencia p es una singularidad pre-simple. Ahora tomamos una inmersión transversal a F en torno de un punto q ∈ Sing(F) cerca de p. Prosiguiendo como antes, q es una singularidad pre-simple. Por recurrencia, secciones transversales en torno de puntos p cerca del origen son simples y por tanto, el origen es singularidad simple de F. Observación La condición de no dicritricidad en el Lema 6, permite pasar de presimple a simple. Lo que no ocurre en el ejemplo siguiente: para n = 3 la foliación F generada por la 1-forma ω ω= dx dy dz +p − (1 + p) ; p ∈ I. x y z El origen es una singularidad pre-simple, además es una esquina, sin embargo no podemos concluir que sea simple (no satisface la condición de no resonancia estricta ver [3]). Este ejemplo, se debe a Felipe Cano. Pro Mathematica, 27, 53-54 (2013), 71-82, ISSN 1012-3938 79 Percy Fernández S., Jorge Mozo F. & Hernán Neciosup P Teorema 1. Sea F una hipersuperficie generalizada en (Cn , 0), y S := (f = 0) la ecuación reducida del conjunto de sus separatrices. Dado π : (M, E) → (Cn , 0), el morfismo de una resolución de singularidades inmersa de S, entonces π ∗ (F) tiene singularidades simples adaptadas al divisor E. Demostración. Sea π : (Mn , Dn ) πn / (Mn−1 , Dn−1 ) / ··· π1 / (M0 , 0) . Con (M0 , 0) = (U, 0) ⊂ (Cn , 0), una reducción de singularidades de S. Después de esto, en Mn tenemos la foliación Fn = π ∗ (F), transformado estricto de F por π. Cualquier p ∈ Sing(Fn ) se encuentra en la intersección de por lo menos dos hipersuperficies Hi regulares invariantes por Fn . k \ Hi para cada k ∈ {2, 3, · · · , n} e ip : P ≃ (C2 , 0) → (Cn , p) Sea p ∈ i=2 una inmersión, entorno de p, transversal a Fn , i∗ Fn tiene k curvas regulares transversales como separatriz (p = 0, cuando k = n). Por el Lema 6, p es simple de tipo dimensional k y por tanto Fn es simple. Agradecimiento El primer y tercer autor agradecen el financiamiento de la Pontificia Universidad Católica del Perú mediante el proyecto DGI 2013-0047. El segundo y tercer autor agradecen el financiamiento parcial al proyecto nacional Español MTM2010-15471. El tercer autor es financiado por el programa de becas de doctorado FPI-UVa para la formación de personal investigador (Universidad de Valladolid). Referencias [1] C. Camacho, A. Lins Neto, P. Sad, Topological invariants and equidesingularization for holomorphic vector fields. J. Differential Geom., 20 (1984), no. 1, 143-174 80 Pro Mathematica, 27, 53-54 (2013), 71-82, ISSN 1012-3938 Hipersuperficies Generalizadas [2] F. Cano, Dicriticidad de foliaciones holomorfas de codimensión uno. Seminario Iberoamericano de Matemáticas. Vol. 3. Fascı́culo V-VI (2008). [3] F. Cano. Reduction of the singularities of codimensión one holomorphic foliations in dimension three. Annals of Math. 160 (2004), 907–1011. [4] F. Cano. Dicriticalness of a singular foliations.pp. 73-94 Holomorphic Dymamics (México 1986), Lecture Notes in Mathematics 1345, Springer-Verlag, 1988. [5] F. Cano, D. Cerveau, Desingularization of non-dicritical holomorphic foliations and existence of separatrices., Acta Math., 169 (1992), p. 1-103. [6] F. Cano, D. Cerveau, J. Déserti, Théorie élémentaire des feuilletages holomorphes singuliers. Collection Echelles, Belin. [7] F. Cano, J.-F. Mattei.Hypersurfaces Intégrales des feuilletages holomorphes. Ann. Inst. Fourier 42, (1992), p.49-72. [8] P. Fernández-Sánchez, J. Mozo Fernández. On generalized surfaces in (C3 , 0). Astérisque 323 (2009), 261–268. [9] P. Fernández-Sánchez, J. Mozo Fernández & H. Neciosup Puican. On codimension one foliations with prescribed cuspidal separatrix. preprint arXiv:1306.4695 [10] F. Loray, Réduction formalle des singulatiés cuspidales de champs de vecteurs analytiques. J. of Diff. Equations 158 (1999), 152-173. [11] J.F. Mattei, R. Moussu, Holonomie et intégrales premiéres, Ann. Sci. École Normale Sup. 13 (1980) 469–523. [12] A. Seidenberg. Reduction of the singularities of the differentiable equation Ady = Bdx. Amer. J. Math., 90 (1968), 248-269. Pro Mathematica, 27, 53-54 (2013), 71-82, ISSN 1012-3938 81 Percy Fernández S., Jorge Mozo F. & Hernán Neciosup P Abstract The main aim of this paper is proof that the reduction of the singularities of a generalized hypersurfaces agrees with a reduction of singularities of its separatrix; which is a generalization of the result presented in [8] by the first two authors. Keywords: Holomorphic foliations. Analytic classification. Resolution of singularities. Percy Fernández Sánchez Sección Matemática, Departamento de Ciencias Pontificia Universidad Católica del Perú pefernan@pucp.edu.pe Jorge Mozo Fernández Dpto. Matemática Aplicada, Facultad de Ciencias, Campus Miguel Delibes, Universidad de Valladolid Paseo de Belén, 7, 47011 Valladolid, España. jmozo@maf.uva.es Hernán Neciosup Puicán Dpto. Análisis Matemático, Álgebra, Geometrı́a y Topologı́a, Facultad de Ciencias, Campus Miguel Delibes, Universidad de Valladolid Paseo de Belén, 7, 47011 Valladolid, España. hneciosup@agt.uva.es 82 Pro Mathematica, 27, 53-54 (2013), 71-82, ISSN 1012-3938