Modules formels locaux de feuilletages holomorphes - arXiv

More documents

Recommendations

Info

52 J.-F. MATTEI & E. SALEM La proposition (4.1.2) donne l’identification. (59) ̂Mod ( F cst P ) ∼ −→ H 1 ( U; Âut ( F cst P Un germe de Âut( F cst ) P s’interprète comme un (germe de) famille Φt de difféomorphismes de M F , transversalement formels le long de D F , qui laissent invariant le feuilletage réduit ˜F et telle que Φ 0 soit l’identité. Aussi nous adopterons souvent la notation (Φ W, t ) t pour les sections de Âut( F cst ) P sur un ouvert W de DF . Lemme 4.2.2. — Soient F P1 et F P2 deux déformations ŜL-équisingulières de F de paramètres P j := (C pj , 0), j = 1, 2. Il existe alors une déformation ŜL-équisingulière F P1×P 2 de F de paramètres P 1 × P 2 qui est conjuguée à F P1 , respectivement à F P2 lorsqu’on restreint l’espace des paramètres à P 1 × 0, respectivement à 0 × P 2 . ) ( ( )) Démonstration. — Notons (Φ j UV, t j ∈ Z 1 U; Âut F cst P j un cocycle associé à F Pj , par la bijection (59), j = 1 , 2 . Le recouvrement U n’ayant pas d’intersection 3 à 3 non-triviale, les ”composés” Φ 1 UV, t 1 ◦ Φ 2 UV, t 2 , U ∩ V ≠ ∅ , définissent un élément ( de Z 1 U, Âut ( F cst ) ) P 1×P 2 . La proposition (4.1.2) donne la déformation cherchée. Ce lemme, qui peut s’interpréter comme une propriété d’irréductibilité de l’espace des déformations ŜL-équisingulières, est essentiel dans la démonstration du théorème de versalité (4.6.3). ) ) , 4.3. Champs basiques, champs transverses. — Un champ de vecteurs de M FP transversalement formel le long d’un ouvert de D FP sera appelé ici basique pour F P s’il est tangent à D FP et si son flot laisse le feuilletage ˜F P invariant. Les germes de tels champs forment un faisceau de base D FP que nous notons ̂B˜FP . Désignons par ̂B ṽ F P le sous-faisceau de ̂B˜FP des germes de champs de vecteurs basiques verticaux, c’est à dire basiques et qui annulent l’application tangente Tπ FP . Désignons aussi par ̂X ṽ F P le sous-faisceau de ̂B ṽ F P des champs verticaux tangents à ˜F P . Ce dernier est un faisceau de modules cohérenr, en fait localement libre de rang 1, sur le faisceau d’anneaux ÔDF P M FP , de base D FP , des germes de fonctions transversalement formelles le long de D FP , cf. (24). Ce n’est plus le cas de ̂B ṽ F P qui possède seulement une structure de faisceau de πF ∗ (O P )-modules. P Définition 4.3.1. — Nous appelons champ transverse (13) de ˜F P toute section du faisceau ̂T ˜FP qui est défini par la suite exacte (60) 0 −→ ̂X ṽ F P −→ ̂B ṽ F P −→ ̂T ˜FP −→ 0 . Nous notons {X} la section de ̂T ˜FP définie par une section X de ̂B ṽ F P . (13) Appelé aussi symétrie transverse dans [10].
MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 53 Restreignons la base de ces faisceaux à D F ⊂ D FP , en d’autres termes considérons les faisceaux ̂B ( ) ṽ := i −1 ṽ ̂B F F P , ̂X ( ) ṽ := i −1 ṽ ̂X P F F P , (̂T P ) ( ) := i ̂T˜FP −1 ˜FP , Ô MFP := i −1 Ô DF P M FP , où i : D F ֒→ D FP est l’application d’inclusion. Explicitons les fibres de ces faisceaux en un point m ∈ D F où le feuilletage ˜F P est régulier. Fixons des coordonnées transversalement formelles z 1 , z 2 , t 1 , . . . , t p dans lesquelles ˜F P est défini par le champ ∂ ∂z 1 , D FP par z 2 = 0 et π FP = (t 1 , . . .,t p ). Alors les éléments de ̂B ṽ sont les germes de champs transversalement formels (en F P , m la variable z 2 ) qui s’écrivent (61) α(z 1 , z 2 , t 1 , . . .,t p ) ∂ ∂z 1 ∂ + β(z 2 , t 1 , . . .,t p )z 2 , ∂z 2 et ̂X ṽ F P , m est le ÔM FP , m-module libre de base ∂ ∂z 1 . On voit ainsi que, si la coordonnée z 2 est définie sur un ouvert W de D F − Sing( ˜F), i.e. z 2 ∈ ÔM FP (W), alors l’application de restriction ̂T˜FP (W) −→ ̂T˜FP est surjective. D’où : , m ( ) Proposition 4.3.2. — Sur l’ouvert D F − Sing ˜F le faisceau ̂T˜FP est localement constant. En particulier, donnés deux ouverts U et W de D F , W ⊂ U , dont les groupes fondamentaux en un( point ) de base m ∈ W satisfont π 1 (W; m) = π 1 (U; m) et tels que (U − W) ∩ Sing ˜F = ∅, alors, toute section de ̂T˜FP sur W se prolonge de manière unique en une section de ̂T˜FP sur U . Lemme 4.3.3. — Soit W un ouvert d’une composante irréductible D de D F , W ≠ D . Alors l’application canonique ̂B ṽ F P (W) −→ ̂T˜FP (W) est surjective. Démonstration. — Visiblement ̂X ṽ est un faisceau de F ÔM FP -modules localement P libre de rang 1. A ( l’aide de la ) suite exacte de cohomologie associée à (60) il suffit de prouver que H 1 W ; Ô MFP est nul. La restriction de ÔDF P M FP à tout voisinage de Stein V de W dans D FP est isomorphe à O N V d’après les écritures (25) et (26). La conclusion résulte de la cohérence de O V et de l’existence d’un système fondamental de voisinages de Stein de W dans D FP . Proposition 4.3.4. — La suite exacte (60) associée au recouvrement distingué U de D F induit une suite exacte longue ) ( 0 −→ H (U 0 ṽ ; ̂X −→ H 0 U ; ̂B ) ( ) ṽ −→ H 0 U ; ( ̂T˜FP F P ) ( F P δ −→ 0 H 1 ṽ U ; ̂X −→ H 1 U ; ̂B ) ( ) ṽ −→ H 1 δ U ; ̂T˜FP −→ 1 0 F P F P
Page 1 and 2: arXiv:math/0402256v1 [math.DS] 16 F
Page 3 and 4: MODULES FORMELS DE FEUILLETAGES HOL
Page 51: MODULES FORMELS DE FEUILLETAGES HOL
Page 89: MODULES FORMELS DE FEUILLETAGES HOL

Modules formels locaux de feuilletages holomorphes - arXiv

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

Delete template?

Save as template?