Modules formels locaux de feuilletages holomorphes - arXiv

More documents

Recommendations

Info

34 J.-F. MATTEI & E. SALEM de déformations transaversalement formelles du transformé strict F ′ de F sur la cime de A 0 . Il existe alors un germe d’arbre A P au dessus de P tel que A P (0) = A 0 et une déformation F P de F de paramètres P compatible avec A P telle que S = S(F ′ P). Démonstration. — Notons (36) le système S . Le long de chaque ensemble critique K les germes d’espaces W P, K et S P,K sont holomorphiquement triviaux, cf. ([20] Lemme 1.2.2 page 304). On supposera donc que les déformations F ′ P, K sont réalisées sur : ( ) ( ) W P, K = ˜M0 × P , K × 0 , S P, K = ˜D0 × P , K × 0 , où ˜M 0 et ˜D 0 sont la cime et le diviseur de cime de A 0 . Identifions ˜M 0 et ˜D 0 à ˜M 0 × 0 et ˜D 0 × 0 . Quitte à restreindre, les traces U K des W P, K sur ˜D 0 forment un recouvrement distingué U de ˜D 0 . Notons F P, UK le germe de F P, K le long de U K . Deux ouverts U , V ∈ U s’intersectent s’ils correspondent à des éléments critiques adjacents. La condition de cohérence permet alors de construire à l’aide de (2.1.7) une conjugaison formelle de déformations ̂Φ UV entre les germes de F P, U et de F P, V le long de U ∩ V , valant l’identité ) en restriction ) à ˜D 0 × P . Appliquons le théorème (1.4.8) au cocycle (̂ΦUV Ĉ := ∈ Z (U; 1 Ĝ . On obtient un cocycle holomorphe ) ) C := (Φ UV ) ∈ Z 1 (U; G) et une cochaine formelle (̂ΦU ∈ Z (U; 0 Ĝ telle que ̂Φ UV = ̂Φ U ◦ Φ UV ◦ ̂Φ −1 V . La relation de congugaison ̂Φ ∗ UV F P, U = F P, V donne : Φ UV ∗̂Φ∗ U F P, U = ̂Φ ∗ V F P, V . Cette égalité signifie que lorsqu’on construit comme en (19) une variété holomorphe M C en recollant par les biholomorphismes Φ UV des voisinages des U ∈ U dans ˜M 0 × P , les feuilletages transversalement formels ̂Φ ∗ U F P, U se recollent aussi en un feuilletage transversalement formel le long d’un diviseur (isomorphe à ˜D 0 ×P ). D’après le lemme (1.4.5) M C est biholomorphe à la cime d’un arbre au dessus de P et l’on conclut par image directe cf.(2.1.6) . Nous aurons besoin au chapitre généricité d’un résultat plus précis permettant de construire des déformations avec contrôle des jets. Le théorème ci-dessous n’est pas optimal pour ce contrôle mais suffira à notre usage. De manière générale nous dirons que deux déformations transversalement formelles d’un même feuilletage réalisées sur le même espace F ′ P = (M P,S P , π, σ; F ′ P ) et F ′′ P = (M P,S P , π, σ; F ′′ P ) sont tangentes à l’ordre k ∈ N le long d’un sous-espace analytique non nécessairement réduit de M P : Z := (|Z| , O Z := O MP /A) avec |Z| ⊂ S P , si en chaque point de S P les feuilletages F P ′ et F” P peuvent être définis par des formes différentielles dont les coefficients ne diffèrent que d’un élément de l’idéal Â k+1 := A k+1 ⊗ OMP Ô Z M P ⊂ ÔZ M P .
MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 35 En d’autres termes on a l’égalité des restrictions des feuilletages F P ′ ′′ et F P au k-ième voisinage infinitésimal de Z dans M P , c’est à dire l’égalité des faisceaux : ( / (38) Λ F ′ ⊗ÔZ ÔZ P MP A k+1) ( = Λ F”P ⊗ÔZ ÔZ MP /A k+1) . MP MP Fixons de nouveau un arbre A P de hauteur h au dessus de P, noté (33). Désignons par ( / ) (39) D := ˜D ; O ˜M ˜J le sous-espace analytique de la cime ˜M de A P défini par le faisceau d’idéaux ˜J image réciproque sur ˜M du faisceau d’idéaux I P ⊂ O C 2 ×P des fonctions nulles sur 0 × P cf. (11). Théorème de réalisation tangente 2.3.7. — Soient F un feuilletage formel à l’origine de C 2 , A P un germe d’arbre au dessus de P tel que F est compatible avec A P (0) au dessus de {0}. Notons F ′ la transformée stricte de F sur la cime ˜M 0 de A P (0). On se donne une déformation transversalement formelle F P de F de paramètres P compatible avec A P , et un système semi-local S := (F” P, K ) K∈C (AP (0)) de déformations formelles de F ′ réalisées sur la cime ˜M de A P . Supposons qu’au voisinage de chaque ensemble critique K le transformé strict F ′ P de F P sur ˜M est tangent (36) à l’ordre k +2h à F” P,K , le long de D, k ∈ N. Alors il existe un germe de déformation H P de F transversalement formelle le long de 0×P , k-tangente à F P le long de 0×P (considéré comme espace réduit), compatible avec A P et dont le transformé strict H ′ P sur ˜M induit un système semi-local S(H ′ P ) formellement conjugué à S. Démonstration. — On procède de la même manière que pour la démonstration du théorème de réalisation. Les hypothèses de tangence donnent maintenant, toujours grâce au Thèorème 1.4.8, 3. des cocycles vérifiant : ) (Φ UV ) ∈ Z 1 (U; G k+2h ), (̂ΦU ∈ Z 0 (U; Ĝk+2h), Φ UV ∗̂Φ∗ U F” P, U = ̂Φ ∗ V F” P,V où U désigne encore le recouvrement distingué de ˜D 0 formé des intersections U K := W K, P ∩ ˜D 0 , et F” P, UK désigne le germe de F” P, K le long de U K . D’après le théorème de stabilité (1.4.6) le cocycle (Φ UV ) vaut l’identité dans H 1 (U; G k+h ). Ainsi et on obtient (7) Φ UV = Φ ′ U ◦ Φ ′ −1 V , (Φ′ U ) ∈ Z0 (U; G k+h ) , ̂Ψ ∗ UF” P, U = ̂Ψ ∗ V F” P, V , U ∩ V ≠ ∅ , ̂ΨU := ̂Φ U ◦ Φ ′ U ∈ Ĝk+h (U) . Ces relations définisent un germe le long de ˜D 0 de feuilletage global H ′ P , transversalement formel le long de ˜D. Considérons la déformation H P de F , transversalement (7) On aurait aussi pu appliquer l’isomorphisme 2. du théorème 1.4.8 pour obtenir directement les conjugaisons Ψ U .
Page 1 and 2: arXiv:math/0402256v1 [math.DS] 16 F
Page 3 and 4: MODULES FORMELS DE FEUILLETAGES HOL
Page 33: MODULES FORMELS DE FEUILLETAGES HOL
Page 85 and 86:
MODULES FORMELS DE FEUILLETAGES HOL
Page 87 and 88:
Page 89:
show all

Modules formels locaux de feuilletages holomorphes - arXiv

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?