Modules formels locaux de feuilletages holomorphes - arXiv

More documents

Recommendations

Info

54 J.-F. MATTEI & E. SALEM Démonstration. — Considérons le diagramme suivant dont les lignes sont exactes d’après le lemme ci dessus : ∏ ∏ ∏ 0 −→ ̂X ṽ (U) −→ ̂B ṽ (U) −→ ̂T ṽ (U) −→ 0 F P F P F P 0 −→ ∏ U∈U U,V ∈U U∈U U∈U ↓ ↓ ↓ ̂X ṽ (U ∩ V ) −→ ∏ ̂B ṽ (U ∩ V ) −→ ∏ ̂T ṽ (U ∩ V ) −→ 0 F P F P F P U,V ∈U U,V ∈U Comme le recouvrement U est sans intersection trois à trois, la suite du serpent de ce diagramme correspond à la suite longue de cohomologie de la proposition. . Pour simplifier le texte désignons ici par N P l’un des trois faisceaux (62) ̂B ṽ F P , ̂X ṽ F P , ̂T˜FP . Faisons varier W dans le système inductif de tous les recouvrements distingués de D F . Proposition 4.3.5. — Chaque application canonique de H 1 (U ; N P ) dans lim −→W H 1 (W ; N P ) est bijective. Démonstration. — Considérons d’abord le cas N P = ̂X ṽ . On a vu dans la F P démonstration du lemme (4.3.3) que tout recouvrement distingué est acyclique pour ce faisceau. On conclut par le théorème de Leray. Le cas N P = ̂T˜FP est une conséquence directe de la proposition (4.3.2). Enfin le cas N P = ̂B ṽ s’obtient par F P passage à la limite inductive des suites exactes longues (4.3.4). Lorsque P est réduit à {0} on a F P = F et les faisceaux (62) sont constitués de champs de vecteurs transversalement formels sur M F . Nous les notons (63) ̂B˜F , ̂X˜F , ̂T˜F , et désignons par N 0 l’un quelconque de ces faisceaux. Pour une déformation ŜLéquisingulière F P avec P quelconque, la restriction X|M F d’une section X d’un des faisceaux N P de (62) à M F est une section du faisceau N 0 correspondant. La trivialité locale de ˜F P implique que, pour tout ouvert W contenu dans un ouvert U du recouvrement distingué U , les applications N P (W) −→ N 0 (W), X ↦−→ X|M F sont surjectives. Ainsi, (t) désignant l’idéal maximal de O P , les morphismes de faisceaux et les morphismes de O P -modules (64) N P ⊗ OP O P /(t) −→ N 0 , N P (W) ⊗ OP O P /(t) −→ N 0 (W), W ⊂ U ∈ U , donnés par X⊗ · f(t) ↦−→ f(0) · X| M F Proposition 4.3.6. — Les applications canoniques sont des isomorphismes. sont des isomorphismes. H 1 (U ; N P ⊗ OP O P /(t)) −→ H 1 (U ; N P ) ⊗ OP O P /(t)
MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 55 Démonstration. — Comme U est sans intersection non-triviale 3 à 3, on a la suite exacte ∏ N P (U) −→ ∏ N P (U ∩ V ) −→ H 1 (U ; N P ) −→ 0 . U∈U U,V ∈U U∩V ≠∅ La conclusion résulte de l’exactitude à droite de ⊗ OP O P /(t) et des isomorphismes (64). Au chapitre suivant nous étudierons en détail les faisceaux (63) et leurs cohomologies. 4.4. Vitesses de déformation. — Soit Z un élément du O P -module X P des germes de champs de vecteurs sur P := (C p , 0) et F P une déformation ŜL-équisingulière de F . Cette déformation étant triviale sur des voisinages dans M FP de chaque ouvert U ∈ U , le champ Z se relève suivant π FP sur ces voisinages, en des champs basiques Z U ∈ ̂B˜FP (U), i.e. Tπ FP · Z U = Z ◦π FP . Les différences Z UV := Z V − Z U , ( U ∩ V ≠ ∅ , sont des champs basiques verticaux. Le cocycle (Z UV ) ∈ Z 1 U ; ̂B ) ṽ F P dépend du choix des relèvements, mais sa classe de cohomologie n’en dépend pas. Définition 4.4.1. — Nous appelons application de Kodaira-Spencer de F P l’application [ ] ( ∂FP : X P −→ H 1 U ; ∂t ̂B ) ṽ , Z ↦−→ [Z UV ] . F P ( Un calcul direct montre que si [Φ UV, t ] ∈ H 1 U, Âut ( F cst ) ) est la classe du cocycle associé à F P par (4.1.2), on a l’égalité (65) [Z UV ] = [ ∂ΦUV, t ∂t P ◦ Φ −1 UV, t · Z ] . Par construction la classe [Z UV ] est exactement l’obstruction à l’existence d’un relèvement global de Z en un champ basique. Plus précisément le sous-module ([ ]) ∂FP K := ker ⊂ X P ∂t est exactement constitué des champs de vecteurs sur P qui possèdent un relevé global ˜Z ∈ H 0 ( D F ; ̂B˜FP ). On en déduit imédiatement : Proposition 4.4.2. — Une [ déformation ] ŜL-équisingulière F P est formellement ∂FP triviale si et seulement si est l’application identiquement nulle. ∂t Nous allons raffiner cette proposition et obtenir la trivialité de F P suivant les feuilles d’un feuilletage de P . Remarquons d’abord que K est un sous-module involutif de X P , i.e. stable par crochet de Lie. En effet le crochet de Lie commute aux images directes des champs de vecteurs (lorsqu’elles sont définies) et le crochet de deux champs basiques est aussi un champ basique. En général K n’est pas un sous-module libre de X P et ses générateurs peuvent être singuliers à l’origine. Considérons le sousespace vectoriel K(0) de l’espace tangent T 0 P de P à l’origine, constitué des valeurs
Page 1 and 2:
arXiv:math/0402256v1 [math.DS] 16 F
Page 3 and 4: MODULES FORMELS DE FEUILLETAGES HOL
Page 53: MODULES FORMELS DE FEUILLETAGES HOL
Page 89: MODULES FORMELS DE FEUILLETAGES HOL
show all

Modules formels locaux de feuilletages holomorphes - arXiv

Create successful ePaper yourself

Delete template?

Save as template?