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

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

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

Saved successfully!

Ooh no, something went wrong!