Modules formels locaux de feuilletages holomorphes - arXiv

18 J.-F. MATTEI & E. SALEM
˜J ,m = (z r 1 zs 2 ), alors les éléments de Ĝl, m s’identifient aux couples (F 1 , F 2 ) avec
∑
∞
F j = z j + (z1z r 2) s l+1 (
A
1
j, k (z 1 ; t) + A 2 j, k(z 2 ; t) ) (z 1 z 2 ) k , j = 1, 2 ,
k=0
les coefficients A r j, k
de ces séries étant encore holomorphes sur un même voisinage de
m dans ˜D . Cette dernière écriture est bien sûr unique si l’on exige que A 2 1, k
(0; t) ≡
(0; t) ≡ 0 . On déduit immédiatement de ces écritures que, si l’on se donne pour
A 2 2, k
chaque l ∈ N un élément Φ l de Ĝl,m, les suites
Φ n := Φ n ◦ · · · ◦ Φ 0 et Ψ n := Φ 0 ◦ · · · ◦ Φ n
convergent dans Ĝ,m , pour la topologie I˜D
-adique. D’autre part tout élément de Ĝ,m
est limite de telles suites et, Φ 0 , . . .,Φ s étant construits, (Φ s+1 ) est unique modulo
I s+2
˜D .
1.4. Théorèmes de stabilité et de détermination finie. — Nous conservons
les notations du paragraphe précédent.
Définition 1.4.1. — Nous appelons données critiques d’un germe d’arbre A P au
dessus de P l’ensemble C (A P ) dont les éléments, appelés ensembles critiques sont :
1. les points de l’ensemble singulier de cime ˜Σ 0 de l’arbre A P (0),
2. les composantes connexes du complémentaire de ˜Σ 0 dans le diviseur exceptionnel
de cime ˜D 0 de A P (0) ;
On appelle données critiques de dimension 0, resp. de dimension 1, et on note
C 0 (A P ), resp. C 1 (A P ) les ensembles des données critiques du type 1. ou 2.. Deux
ensembles critiques seront dits adjacents si leurs adhérences s’intersectent; on note :
Ad(K) := { K
(17)
′ ∈ C (A P ); K ∩ K ′ ≠ ∅ }
Ad i (K) := {K ′ ∈ Ad(K); dim(K ′ ) = i } , i = 0 ou 1 .
Définition 1.4.2. — Nous appelons recouvrement distingué de ˜D 0 tout recouvrement
ouvert U := (U α ) α∈C (AP )
du type suivant :
1. si dim(α) = 1 , on pose U α := α ,
2. si dim(α) = 0 , U α est la trace sur ˜D 0 d’un petit polydisque {|z 1 | < ε , |z 2 | < ε} ,
où z 1 , z 2 sont des coordonnées de ˜M 0 dans lesquelles ˜D 0 est monomial et
z 1 (α) = z 2 (α) = 0 .
Les propriétés remarquables d’un tel recouvrement, que nous utiliserons constamment,
sont : a) les ouverts de U sont de Stein et admettent un système fondamental de
voisinages de Stein dans ˜M et, b) toute intersection 3 à 3 d’ouverts de U est triviale.
Remarque 1.4.3. — En calculant à partir des expressions de la remarque (1.3.2),
on voit que si U est un recouvrement distingué de ˜D 0 , pour α ∈ C(A P ) et 0 ≤ l ≤ k
les applications canoniques
G (U α ) −→ G [k] (U α ), Ĝ (U α ) −→ Ĝ [k] (U α ) ,