Modules formels locaux de feuilletages holomorphes - arXiv
Modules formels locaux de feuilletages holomorphes - arXiv
Modules formels locaux de feuilletages holomorphes - arXiv
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
46 J.-F. MATTEI & E. SALEM<br />
Considérons le transformé strict FP 1 du feuilletage F P par l’application E 1 :<br />
M 1 −→ C 2 ×P d’éclatement <strong>de</strong> centre S 0 := 0 ×P . D’après (3.2.2) son lieu singulier<br />
Σ 1 est une courbe, contenue dans le diviseur exceptionnel D 1 := (E 1 ) −1 (0 × P) car<br />
Sing P (F P ) = 0 × P qui est fini au <strong>de</strong>ssus <strong>de</strong> P via π 1 := π 0 ◦ E 1 , π 0 (x, y; t) := t<br />
d’après (3.2.2). La restriction F 1 P (t) <strong>de</strong> F1 P à M1 (t) := π −1<br />
1<br />
(t) est le transformé strict<br />
<strong>de</strong> F P (t) par l’éclatement <strong>de</strong> l’origine et Σ 1 (t) := Σ 1 ∩ M 1 (t) est le lieu singulier <strong>de</strong><br />
FP 1 (t). Ainsi #Σ1 (t) est le nombre <strong>de</strong> flèches et d’arêtes portées par le sommet <strong>de</strong><br />
Ǎ[F P (t)] correspondant au premier diviseur créé. Ce nombre est constant d’après (55).<br />
On en déduit que Σ 1 est étale au <strong>de</strong>ssus <strong>de</strong> P via π 1 . Toujours d’après (3.2.2) les composantes<br />
<strong>de</strong> Σ 1 sont <strong>de</strong> <strong>de</strong>ux types : ou bien FP 1 (t) est réduit en chaque point, ou bien<br />
FP 1 (t) n’est réduit en aucun point. Notons S1 l’union <strong>de</strong>s composantes du second type.<br />
Supposons maintenant que l’on ait itéré n fois cette construction, c’est à dire que<br />
l’on dispose d’un arbre au <strong>de</strong>ssus <strong>de</strong> P <strong>de</strong> hauteur n<br />
A n := ( M j , E j , Σ j , S j , π j , D j) j=0,...,n<br />
qui satisfait les propriétés suivantes : notons comme d’habitu<strong>de</strong> : E j := E 1 ◦ · · · ◦ E j ,<br />
π j := π 0 ◦ E j et désignons par F j P le transformé strict <strong>de</strong> F P par E j et par F j P<br />
(t) sa<br />
restriction à M j (t) := πj<br />
−1 (t), alors<br />
(i) Σ j est le lieu singulier <strong>de</strong> F j P ,<br />
(ii) S j est l’union <strong>de</strong>s composantes irréductibles <strong>de</strong> Σ j formée <strong>de</strong>s points m ′ où le<br />
germe <strong>de</strong> F j P (π j(m ′ )) n’est pas réduit.<br />
Paramètrisons les composantes S1 n, . . .,S k n <strong>de</strong> Sn par <strong>de</strong>s sections c 1 (t), . . . , c k (t) <strong>de</strong><br />
π n et notons ˜ν r (t) la multiplicité algébrique ν cr(t) (FP n(t)) <strong>de</strong> Fn P (t) au point c r(t).<br />
Le nombre<br />
k∑<br />
˜ν n (t) := ˜ν r (t)<br />
est égal au nombre ˜m n (t) définit en (56), car A n (t) est une partie <strong>de</strong> l’arbre <strong>de</strong><br />
réduction <strong>de</strong> F P (t). Il est constant. Comme les applications t ↦−→ ˜ν r (t) sont localement<br />
décroissantes, chaque multiplicité ν cr(t) (FP n (t)) est aussi constante. Ainsi le<br />
lieu singulier Σ n+1 du transformé strict <strong>de</strong> F P par l’application E n+1 d’éclatement<br />
<strong>de</strong> S n est fini au <strong>de</strong>ssus <strong>de</strong> P via π n+1 := π n ◦ E n+1 . Le nombre <strong>de</strong> points <strong>de</strong><br />
Σ n+1 (t) := Σ n+1 ∩ πn+1 −1 (t) est égal au nombre total <strong>de</strong> flèches et d’arêtes <strong>de</strong><br />
Ǎ n+1 [F P (t)] . Ce nombre est donc constant d’après (55) et Σ n+1 est lisse étale au<br />
<strong>de</strong>ssus <strong>de</strong> P . On note S n+1 l’union <strong>de</strong>s composantes <strong>de</strong> Σ n+1 contenant un point<br />
non-réduit <strong>de</strong> F n+1<br />
P<br />
(0). Les conditions (i) et (ii) ci-<strong>de</strong>ssus sont satisfaites et l’on peut<br />
continuer l’induction jusqu’à réduction complète.<br />
Montrons maintenant 2. Nous reprenons la même induction. La seule différence<br />
dans cette construction est qu’il faut maintenant déduire la constance <strong>de</strong>s multiplicités<br />
˜ν r (t) <strong>de</strong> l’hypothèse : ”F est <strong>de</strong> <strong>de</strong>uxième espèce”. Conservons les mêmes<br />
notations. Puisquel’on a A ∗ [F P (t)] = A ∗ [F] , il existe pour chaque t une bijection<br />
r=1