Modules formels locaux de feuilletages holomorphes - arXiv

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].