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.

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 47<br />

ρ t : {1, . . .k} −→ {1, . . .k} telle qu’en désignant par (F n P (t), m) le germe <strong>de</strong> Fn P (t)<br />

en m ∈ π −1<br />

n (t), on ait l’égalité <strong>de</strong>s arbres duaux <strong>de</strong> réduction :<br />

A ∗ [ ( F n P (t), c r(t))] = A ∗ [ ( F n P (0), c ρ t(r)(0) ) ] .<br />

On voit facilement que l’hypothèse : ”F est <strong>de</strong> <strong>de</strong>uxième espèce” implique que chaque<br />

( F n P (0), c r(0)) est aussi <strong>de</strong> <strong>de</strong>uxième espèce. La propriété <strong>de</strong> minimalité (∗∗) <strong>de</strong><br />

(3.1.8) et la décroissance <strong>de</strong>s t ↦−→ ˜ν r (t) donnent<br />

˜ν ρt(r)(0) ≤ ˜ν r (t) ≤ ˜ν r (0).<br />

En sommant ces inégalités on obtient ˜ν n (t) = ˜ν n (0). De la même manière que<br />

précé<strong>de</strong>mment on conclut à la constance <strong>de</strong> chaque ˜ν r (t).<br />

3.3. Généricité <strong>de</strong> l’équiréduction. — Supposons la déformation F P fixée au<br />

début <strong>de</strong> (3.2) à nombre <strong>de</strong> Milnor constant, ou bien, ce qui revient au même :<br />

Sing P (F P ) = 0 ×P . Nous nous proposons <strong>de</strong> décrire l’ensemble NR (F P ) <strong>de</strong>s points<br />

t 0 ∈ P tels que où le germe <strong>de</strong> F P en (0, t 0 ) n’est pas une déformation équiréductible<br />

<strong>de</strong> F P (t 0 )<br />

(57) NR (F P ) := {t 0 ∈ P /F P non-équiréductible en t 0 }.<br />

L’exemple η 2 <strong>de</strong> (52) montre que NR (F P ) n’est pas analytique. L’obstruction y<br />

rési<strong>de</strong> dans la dicriticité <strong>de</strong> certains <strong>feuilletages</strong> F P (t). Pour obtenir un ensemble<br />

analytique fermé, affaiblissons la notion <strong>de</strong> ”forme réduite”.<br />

Définition 3.3.1. — Nous disons qu’une 1-forme formelle ω ′ := (αx + βy)dx +<br />

(ζx + ξy)dy + · · · , avec α , β , ζ , ξ ∈ C est pré-réduite si les valeurs propres <strong>de</strong> la<br />

matrice ( −ζ<br />

) −ξ<br />

α β<br />

sont distinctes. Un feuilletage formel en un point F sera dit pré-réduit si son saturé<br />

est défini en ce point par une forme pré-réduite.<br />

Un calcul immédiat permet <strong>de</strong> voir que ω ′ est pré-réduite si ( et seulement si le polynôme<br />

homogène <strong>de</strong> plus bas <strong>de</strong>gré du développement <strong>de</strong> ω ′ · x ∂ ∂x + y ∂ )<br />

est <strong>de</strong> <strong>de</strong>gré<br />

∂y<br />

<strong>de</strong>ux, avec <strong>de</strong>ux racines simples (dans P 1 ). Ces points sont alors les singularités<br />

du transformé strict <strong>de</strong> F ω ′ par l’éclatement <strong>de</strong> l’origine. Il est clair, par cette interptétation<br />

géométrique, que :<br />

(⋆ ) l’ensemble <strong>de</strong>s valeurs du paramètre t 0 ∈ P où F P (t 0 ) n’est pas pré-réduite<br />

est analytique fermé.<br />

On définit <strong>de</strong> manière naturelle l’arbre <strong>de</strong> pré-réduction d’un feuilletage formel F<br />

par la succession d’éclatements d’éclatements qui consiste, à chaque étape, à éclater<br />

simultanément les points singuliers non-pré-réduits. Cet arbre est fini, puisque toute<br />

forme réduite est pré-réduite. On obtient aussi la notion <strong>de</strong> déformation équi-préréductible<br />

en remplacant dans (3.2.1) la condition 3. par la condition :<br />

3’. pour toute valeur assez petite <strong>de</strong> t ∈ P l’arbre A P (t) est l’arbre <strong>de</strong> pré-réduction<br />

du feuilletage formel F P (t).

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

Saved successfully!

Ooh no, something went wrong!