16.07.2014 Views

Modules formels locaux de feuilletages holomorphes - arXiv

Modules formels locaux de feuilletages holomorphes - arXiv

Modules formels locaux de feuilletages holomorphes - arXiv

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!