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.
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.