Modules formels locaux de feuilletages holomorphes - arXiv

4 J.-F. MATTEI & E. SALEM
l’invariant Ĥ ω du cas nilpotent et enfin fixer ce premier groupe d’invariants et
chercher une famille complètant la liste.
La localisaton se fait en ne s’intéressant qu’aux germes de familles analytiques de
1-formes formelles. Plus précisemment, une déformation (1) transversalement formelle
d’une 1-forme formelle ω de base le germe P := (C p , 0) est la donnée d’une 1- forme
qui s’écrit
η = A(x, y; t)dx + B(x, y; t)dy , η 0 := η| t=0 = ω,
A(x, y; t) = ∑ i,j
A ij (t)x i y j ,
B(x, y; t) = ∑ i,j
B ij (t)x i y j ∈ C{t}[[x, y]] ,
les coefficients A ij (t) et B ij (t) ∈ C{t} étant tous convergents sur un même polydisque
ouvert. Deux déformations η et η ′ sont dites t.f.-conjuguées, s’il existe dans C p un
polydisque ouvert K centé à l’origine et des séries φ 1 , φ 2 , u, c ∈ O C p (K)[[x, y]],
u 0 (0, 0, 0) ≠ 0 , telles que :
φ ∗ η = u · η ′ + cdt , φ| t=0 = (x, y), φ := ( φ 1 , φ 2) .
Définisons un d-invariant formel comme un objet I(ω) attaché à chaque 1-forme
formelle ω, tel que pour toute déformation η t.f.-conjuguée à la déformation constante
η cst ≡ ω , on a : I(η| t=t0 ) = I(η| t=0 ) pour tout t 0 petit.
Avant de définir les groupes d’invariants rappelons l’existence d’une réduction des
singularités de ω [30] [22], c’est à dire d’une application holomorphe canonique notée
E ω : M ω −→ C 2 , obtenue comme composition finie d’applications d’éclatements simultané
de points, telle qu’en chaque point m du diviseur de réduction D ω := Eω −1 (0)
l’image réciproque Eω ∗ (ω) peut s’écrire, dans des coordonnées locales u, v, appropriées
: E ∗ ω (ω) = u p v q˜ω m , avec D ω = {u ε v = 0}, p, q ∈ N , ε = 0 ou 1, et ˜ω m est
une 1-forme formelle en m, non-singulière ou bien singulière à singularité isolée et
réduite. Lorsqu’en un point m de D ω , la restriction du germe ˜ω m au diviseur D ω n’est
pas identiquement nulle, ω possède un nombre infini de séparatrices formelles, c’est
à dire descourbes irréductibles formelles à l’origine de C 2 dont la paramètrisation
γ(t) ∈ C[[t]] 2 satisfait γ ∗ ω ≡ 0. On dit alors que ω est dicritique. Lorsque ω n’est pas
dicritique, le nombre de séparatrices est fini ≥ 1, d’après C. Camacho- P. Sad [7].
Dans ce tout ce travail nous supposons ω non-dicritique
Nous distinguerons trois types de d-invariants. Le premier sera constitué d’invariants
discrets, ce sont les plus élémentaires; ils ne dépendent en général que des
séparatrices formelles. Le deuxième rendra compte des singularités obtenues après
réduction; ces invariants sont en général contenu dans un espace de dimension finie.
Le troisième type d’invariant est plus complexe. L’objet de ce travail est de les mettre
en évidence. Nous montrons en particulier qu’ils constituent génériquement, dans
un sens précisé au chapitre 6 des familles de dimensions finies. Plus précisément
(1) Il serait plus correct de dire : un germe de déformation.