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