Modules formels locaux de feuilletages holomorphes - arXiv
Modules formels locaux de feuilletages holomorphes - arXiv
Modules formels locaux de feuilletages holomorphes - arXiv
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
76 J.-F. MATTEI & E. SALEM<br />
Démonstration du corollaire. — La condition 1. <strong>de</strong> la définition ci-<strong>de</strong>ssus exclu,<br />
d’après [10], l’existence d’un facteur intégrant formel <strong>de</strong> F. La proposition (4.5.4)<br />
donne alors l’égalite ̂β(F) = ̂τ(F) + ̂δ(F). Pour achever la démonstration, il suffit<br />
<strong>de</strong> montrer que ̂R ∗ (F) est connexe répulsif et <strong>de</strong> calculer ̂τ(F).<br />
Examinons maintenant les propriétés du nerf ̂N ∗ (F) induites par les conditions<br />
<strong>de</strong> non-dégénérescence. Nous reprenons les notions <strong>de</strong> branches sécable et d’élagage<br />
introduites dans la démonstration du théorème (5.3.1). D’après ce qui précè<strong>de</strong>, en<br />
examinant les listes (81) et (82) on voit que :<br />
(a) tout sommet <strong>de</strong> valence ≥ 3 est rouge et <strong>de</strong> poids 0, tout sommet rouge <strong>de</strong><br />
valence ≤ 2 est <strong>de</strong> poids 1.<br />
(b) toute arête verte est : soit une simple flèche orientée vers son sommet <strong>de</strong> type<br />
0, qui est aussi vert, soit une double flèche,<br />
(c) toute arête verte <strong>de</strong> ̂N ∗ (F) qui joint <strong>de</strong>ux sommets <strong>de</strong> valence ≤ 2 est une<br />
double flèche joignant <strong>de</strong>ux sommets verts,<br />
On en déduit que les sommets s j , j = 1, . . .,r , extrémités <strong>de</strong> ̂N ∗ (F) sont aussi chacun<br />
l’extrémité d’une branche sécable rouge ou bien verte B j . Les sommets d’extrémités<br />
du sous-graphe ̂N 1 <strong>de</strong> ̂N ∗ (F) obtenu en élagant ̂N ∗ (F) <strong>de</strong>s branches B 1 , . . . , B r ,<br />
étaient visiblement, dans ̂N ∗ (F), <strong>de</strong>s sommets <strong>de</strong> valence ≥ 3 et donc <strong>de</strong>s sommets<br />
rouges <strong>de</strong> poids 0. Ainsi l’élagage total est effectué en une seule étape :<br />
(̂N∗<br />
)<br />
El (F) = ̂N 1 .<br />
Chaque arête <strong>de</strong> ̂N 1 fait visiblement partie d’une géodésique C dont les sommets sont<br />
<strong>de</strong> valence 2 dans ̂N ∗ (F), sauf les sommets d’extrémités qui sont <strong>de</strong> valence ≥ 3 dans<br />
̂N ∗ (F). Une telle géodésique correspond à une chaine <strong>de</strong> A ∗ (F). D’après la condition<br />
2’. <strong>de</strong> (5.5.1) les sommets et les arêtes <strong>de</strong> C sont rouges et d’après (a) sont tous <strong>de</strong> poids<br />
1, sauf les sommets d’extrémités qui sont <strong>de</strong> poids 0. Ainsi tous les sommets et arêtes<br />
<strong>de</strong> ̂N 1 sont rouges. Les sommets <strong>de</strong> valence ≥ 3 ainsi que les sommets d’extrémités<br />
sont <strong>de</strong> poids 0. Tous les autres sommets ainsi que les arètes sont <strong>de</strong> poids 1. Les<br />
géodésiques <strong>de</strong> ̂N 1 dont les sommets sont tous <strong>de</strong> poids 1 sauf les extrémités qui sont<br />
<strong>de</strong> poids 0, correspon<strong>de</strong>nt biunivoquement aux chaines <strong>de</strong> A ∗ (F). La formule (83) et<br />
le théorème <strong>de</strong> codimension (5.3.1) montrent que le nombre <strong>de</strong> ces géodésiques est<br />
̂τ(F). Ceci achève la démonstration.<br />
5.6. Démonstration du théorème <strong>de</strong> préparation (4.6.4). — Conservons les<br />
notations fixées en tête <strong>de</strong> ce chapitre 4. En particulier le composé <strong>de</strong> l’application<br />
E FP : M FP −→ C 2 × P d’équiréduction <strong>de</strong> F P et <strong>de</strong> la projection <strong>de</strong> C 2 × P sur P<br />
est noté<br />
π FP : M FP −→ P ≃ (C p , 0), π FP = (t 1 , . . . , t p ), t j := pr j ◦ π FP ,<br />
où pr j : C p −→ C désigne la j-ième projection. Nous i<strong>de</strong>ntifions toujours la cime<br />
M F <strong>de</strong> la réduction <strong>de</strong> F à la fibre π −1<br />
F P<br />
(0), et le diviseur exceptionnel D F ⊂ M F