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 75<br />

On voit facilement :<br />

ker(δ 1 C) = C ·<br />

∑<br />

s∈S(C)<br />

s , ker(σ) = C ·<br />

où S(C) est l’ensemble <strong>de</strong>s sommets <strong>de</strong> C , et la première flèche <strong>de</strong> (92) est un<br />

isomorphisme. Comme σ est visiblement surjective, on obtient la conclusion.<br />

Ceci achève la démonstration du théorème <strong>de</strong> codimension (5.3.1)<br />

5.5. Feuilletages <strong>de</strong> <strong>de</strong>uxième espèce non-dégénérés. — Mettons maintenant<br />

en évi<strong>de</strong>nce une classe <strong>de</strong> <strong>feuilletages</strong> t.f.f. pour lesquels ̂τ(F) peut se calculer seulement<br />

à partir <strong>de</strong> la donnée <strong>de</strong> l’arbre dual A ∗ (F).<br />

Pour cela munissons A ∗ (F) <strong>de</strong> la métrique pour laquelle les arêtes sont isométriques<br />

à l’intervalle [0, 1] . Rappelons que la valence d’un sommet s <strong>de</strong> A ∗ (F), notée v(s),<br />

est le nombre <strong>de</strong> flèches et d’arêtes attachées à s . On appellera aussi valence d’une<br />

composante D du diviseur exceptionnel D F et l’on notera v(D) la valence du sommet<br />

<strong>de</strong> A ∗ (F) correspondant. Nous appellerons chaine <strong>de</strong> A ∗ (F) toute géodésique <strong>de</strong><br />

A ∗ (F) qui joint <strong>de</strong>ux sommets <strong>de</strong> valence ≥ 3 . Une chaine <strong>de</strong> A ∗ (F) peut être<br />

éventuellement réduite à un segment <strong>de</strong> longueur 1. A une chaine <strong>de</strong> A ∗ (F) correspond<br />

biunivoquement, soit une union connexe maximale <strong>de</strong> diviseurs <strong>de</strong> D F <strong>de</strong> valence 2,<br />

soit un point d’intersection <strong>de</strong> <strong>de</strong>ux composantes <strong>de</strong> D F <strong>de</strong> valence ≥ 3, appelée dans<br />

les <strong>de</strong>ux cas chaine <strong>de</strong> D F .<br />

Définition 5.5.1. — Un feuilletage formel <strong>de</strong> <strong>de</strong>uxième espèce (3.1.4) F à l’origine<br />

<strong>de</strong> C 2 est dit non-dégénéré s’il satisfait les conditions suivantes :<br />

1. le groupe d’holonomie H D <strong>de</strong> toute composante D <strong>de</strong> D F <strong>de</strong> valence ≥ 3 est<br />

non-commutatif,<br />

2. pour toute chaine C <strong>de</strong> D F on a : Ô˜F<br />

(C) = C .<br />

Remarquons que la condition <strong>de</strong> <strong>de</strong>uxième espèce implique que tout germe d’intégrale<br />

première f ∈ ÔF, m en un point singulier m situé sur une chaine C <strong>de</strong> D F , se prolonge à<br />

toute la chaine : f ∈ ÔF(C). Ainsi on obtient une définition équivalente en remplaçant<br />

la condition 3. par :<br />

2’. pour toute chaine C <strong>de</strong> D F et tout un ouvert U d’un recouvrement distingué U<br />

<strong>de</strong> D F intersectant C on a : Ô F (U) = C .<br />

Sur les chaines C <strong>de</strong> D F non-réduites à un point, cette condition est aussi équivalente à<br />

la non-finitu<strong>de</strong> du groupe d’holonomie d’une composante irréductible quelconque <strong>de</strong> C.<br />

v∑<br />

s=0<br />

On a le corollaire suivant au théorème <strong>de</strong> codimension (5.3.1) :<br />

Corollaire 5.5.2. — Soit F un feuilletage <strong>de</strong> <strong>de</strong>uxième espèce non-dégénéré à l’origine<br />

<strong>de</strong> C 2 . Alors F est t.f.f., satisfait l’égalité ̂β(F) = ̂τ(F) + ̂δ(F) et ̂τ(F) est<br />

égal à la somme du nombre <strong>de</strong> chaines <strong>de</strong> A ∗ (F).<br />

s j

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

Saved successfully!

Ooh no, something went wrong!