Modules formels locaux de feuilletages holomorphes - arXiv

48 J.-F. MATTEI & E. SALEM
Considérons l’ensemble NPR (F P ) des t 0 ∈ P tels que le germe de F P en (0, t) n’est
pas une déformation équi-pré-réductible de F P (t 0 ),
NPR (F P ) := {t 0 ∈ P / F P non-équi-pré-réductible en t 0 }
Par des arguments standard et à l’aide de (∗), on montre :
Proposition 3.3.2. — NPR (F P ) définit un germe à l’origine de sous-ensemble
analytique fermé de P, de dimension strictement inférieure à la dimension de P,
éventuellement vide.
Pour décrire NR (F P ) il reste à analyser comment s’effectue le passage de la préréduction
à la réduction. Remarquons d’abord que le diviseur de cîme de l’arbre de
pré-réduction peut possèder des composantes dicritiques, c’est à dire des composantes
irréductibles non-invariantes. On appellera ces composantes, composantes dicritiques
du premier type. On montre facilement, par récurence sur la hauteur de l’arbre de
pré-réduction de F P (0), le lemme suivant.
Lemme 3.3.3. — Supposons la deformation F P pré-equiréductible. Alors l’ensemble
Dic (1) (F P ) des t ∈ P tels que la réduction de F P (t) admette une composante
dicritique du premier type est analytique fermé, éventuellement vide ou égale à P.
Sur le diviseur de cîme D ′ de l’arbre de pré-réduction de F, considérons un
point m où le germe de la transformée stricte ˜F ′ de F est pré-réduit mais nonréduit.
Dans de bonnes coordonnées z 1 , z 2 , F ′ est donné par une 1-forme du type
αz 2 dz 1 − βz 1 dz 2 + · · · avec β/α ∈ Q >0 et β/α ≠ 1. Nous laissons au lecteur le soin
de vérifier les affirmations ci-dessous, en examinant chaque éventualité : m est un
point régulier de D ′ , ou bien m est un point singulier de D ′ :
1) β/α /∈ N ∗ ∪ 1 N ∗ . Le feuilletage est alors t.f. linéarisable dans des coordonnées
transversalement formelles, il admet une intégrale première transversalementformelle-méromorphe
(11) et une ou plusieurs composantes dicritiques apparaissent
dans la succession d’éclatements supplémentaires que l’on effectue, au dessus du
point m, pour aboutir à des singularités réduites. Nous appellerons ces composantes,
composantes dicritiques du deuxième type.
2) β/α ∈ N ∗ ∪ 1 N ∗ . Il existe alors des coordonnées ”normalisantes” transversalement
formelles dans lesquelles le feuilletage est donné par la 1-forme
(n z 1 + λz n 2 )dz 2 − z 2 dz 1 , λ ∈ C , n ≥ 2.
Lorsque λ est non-nul, {z 2 = 0} est l’unique séparatrice. Cette courbe correspond au
diviseur, qui est lisse au point m. La réduction se fait par une chaîne de n éclatements
supplémentaires. Elle crée n − 1 singularités de type selle et une singularité de type
selle-nœud, située au point d’intersection de l’avant dernière composante et de
la dernière composante créé, dont c’est l’unique singularité. L’holonomie de cette
(11) C’est à dire un élément du corps des fractions de l’anneau des germes, au point m, de fonctions
transversalement formelles.