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.

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 45<br />

d’auto-intersection -1, c’est à dire les ”mouvements” consistant à remplacer<br />

par<br />

et<br />

par<br />

· · ·<br />

(e ′ , m ′ )<br />

•<br />

ւ f ′<br />

1<br />

· · · f′<br />

· · ·<br />

(−1, m)<br />

•<br />

′ց r<br />

· · ·<br />

(e ′ +1, m ′ )<br />

•<br />

ւ f ′<br />

1<br />

· · · f′<br />

r ′ց<br />

(e ′ , m ′ )<br />

•<br />

ւ f1 · · · fr ց<br />

· · ·<br />

ւ f1 · · · fr ց<br />

(e ′ +1, m ′ )<br />

•<br />

ւ f1 · · · fr+1 ց · · ·<br />

(e”+1, m”)<br />

•<br />

ւ f”1 · · · f”r” ց · · ·<br />

(−1, m)<br />

•<br />

ւ f ′<br />

1<br />

· · · f′<br />

r ′ց · · ·<br />

(e”, m”)<br />

•<br />

ւ f”1 · · · f”r” ց · · ·<br />

On obtient un nouveau graphe flèché et doublement pondéré noté Ǎh−1 [F P (t)] , qui<br />

est en fait ”l’arbre dual fléché et doublement pondéré associé aux diviseur Dη h−1<br />

t<br />

”.<br />

En répétant cette opération on obtient tous les arbres duaux intermédaires Ǎj [F P (t)]<br />

associés au diviseurs Dη j t<br />

, et cela <strong>de</strong> manière uniquement combinatoire à partir <strong>de</strong><br />

Ǎ[F P (t)] . Ainsi la condition (54) donne les égalités<br />

(55) Ǎ j [F P (t)] = Ǎj [F] , j = 1 . . .h,<br />

et la constance du nombre<br />

m j (t) :=<br />

∑<br />

D∈comp(D j η t )<br />

m D (η t ),<br />

où comp ( )<br />

Dη j t désigne l’ensemble <strong>de</strong>s composantes irréductibles. Mais FP (t) est nondicritique,<br />

car Ǎ[F P(t)] n’a pas <strong>de</strong> symbole ”double flèche” et la multiplicité m D (η t )<br />

d’une composante D ⊂ Dη j+1<br />

t<br />

créée par l’éclatement d’un point c <strong>de</strong> Sη j t<br />

est égale à la<br />

multiplicité algébrique <strong>de</strong> η j t en ce<br />

)<br />

point. Le nombre m j+1 (t) − m j (t) est donc égal<br />

)<br />

à<br />

la somme <strong>de</strong>s multiplicités ν c<br />

(η j t <strong>de</strong> η j t aux points c ∈ Sη j t<br />

. D’autre part ν c<br />

(η j t −<br />

( )<br />

ν c F j P (t) est la somme <strong>de</strong>s multiplicités m D (ηt) j <strong>de</strong>s composantes irréductibles D<br />

<strong>de</strong> Dη j t<br />

qui passent par c . Ainsi le nombre<br />

∆ j (t) := ∑ ( ) )<br />

ν c η j t − ν c<br />

(F j P (t)<br />

c∈Sη j t<br />

se calcule à partir <strong>de</strong> Ǎj [F P (t)] et Ǎj+1 [F P (t)] . Il est constant d’après (55). On en<br />

déduit que<br />

(56) ˜m j (t) := ∑ ( )<br />

ν c F j P (t) = m j+1 (t) − m j (t) − ∆ j (t)<br />

c∈Sη j t<br />

est aussi constant. Nous sommes maintenant en mesure <strong>de</strong> décrire l’induction.

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

Saved successfully!

Ooh no, something went wrong!