Modules formels locaux de feuilletages holomorphes - arXiv

80 J.-F. MATTEI & E. SALEM
où ̂Λ sat désigne l’ensemble des 1-formes formelles à singularité isolée.
Désignons par ν ω la multiplicité algébrique à l’origine de ω ∈ ̂Λ sat et par h ′ ω la
hauteur de son arbre de pré-réduction (3.3.1). Rappelons qu’après un éclatement la
multiplicité du transformé strict de ω en un point quelconque du diviseur exceptionnel
est au plus ν ω + 1. Définissons alors la fonction σ : N ∗2 −→ N par la relation de
récurence : { σ(v, 1) := v + 1 , σ(v, 2) := 2v + 1 ,
σ(v, h + 2) = σ(v, h + 1) + σ(v, h) + v + h .
On voit facilement qu’en chaque point m du diviseur de cîme ˜D ′ ω de la pré-réduction
de ω , le transformé strict de F ω s’obtient en divisant l’image réciproque de ω par un
facteur u p v εq , ε = 0 ou 1, avec :
p, q ≤ σ (ν ω , h ′ ω ) .
uv ε = 0 étant une équation réduite locale de ˜D ω ′ en m. Comme pour tout entier r ,
le r-jet (21) de l’image réciproque de ω le long de D ω ′ ne dépend que du r-jet de ω à
l’origine, on obtient :
Lemme 6.1.1. — Soit ω une 1-forme formelle à singularité isolée et k , l des entiers
qui vérifient : 0 < l < k − σ (ν ω , h ′ ω ). Alors jk ω est l-déterminant pour la préréduction
des singularités, i.e. η et ω ont même pré-réduction des singularités dès
que j k η = j k ω.
A l’aide du le théorème (3.3.5) appliqué à la famille (Ω P, Q ) (P,Q)∈S
on peut
construire une filtration décroissante de chaque strate S ∈ E k µ par des sous-ensembles
algébriques fermés L ′ k,r+1 (S) telle que les différences ∆ k, r(S) := L ′ k,r (S) −L′ k, r−1 (S)
sont lisses et telle ,que lorsque (P, Q) varie dans ∆ k, r (S), le germe de Ω P, Q en
chaque point de ∆ k, r (S) définit une déformation équi-pré-réductible . Notons E k p.red
la stratification de P k dont les strates sont les composantes connexes des ∆ k, r (S),
S ∈ E k µ .
Pour chaque strate S ∈ E k p.red , notons respectivement h′ S et ν S la hauteur de
l’arbre de pré-réduction et la multiplicité à l’origine d’une 1-forme quelconque Ω P, Q ,
(P, Q) ∈ S . Pour chaque entier l , 0 ≤ l < k , considérons l’ensemble constructible
L” k, l formé de l’union des strates S de E k p.red telles que k − σ (ν S, h ′ S ) ≤ l . Notons :
W k, l
p.red := Jk 0 ̂Λ − (L k, k+1 ∪ L” k, l ) et
Fixons l’entier l ≥ 1 et notons jk k ′
Il découle du lemme (6.1.1) :
W k, l
p.red := ( j k) −1 ( W k, l
p.red
)
.
: Jk′ 0 ̂Λ −→ J k 0 ̂Λ, k ≤ k ′ , les applications canoniques.
(21) Deux formes formelles le long d’un diviseur ˜D ont même r-jet le long de ˜D si elles diffèrent d’une
forme à coefficients dans I r+1 , où désigne le faisceau des fonctions transversallement formelles
˜D
I˜D
le long de ˜D et nulles sur ˜D.