Modules formels locaux de feuilletages holomorphes - arXiv

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
.