Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 39
L’arbre dual fléché et pondéré A ∗ [F] de A[F], cf. (1.1.2) possède une seconde
pondération, la pondération par multiplicités que nous allons définir maintenant.
De manière générale, donnons-nous une application holomorphe E d’une surface
lisse M sur C 2 telle que D := E −1 (0) soit une hypersurface et une 1-forme formelle
η ∈ ̂Λ C 2 , 0 non nécessairement à singularité isolée. Le sous-faisceau de modules (E ∗ (η))
de ̂Λ D M engendré par E∗ (η) se décompose de manière unique en
(44) (E ∗ (η)) = Ĵ · ∏
Î mD(η)
D
· ̂Λ˜Fη , m D (η) ∈ N ,
D∈comp(D)
où comp(D) désigne l’ensemble des composantes irréductibles de D , ÎD le faisceau des
fonctions transversalement formelles le long de D nulles sur D , F η le feuilletage défini
par η , E ∗ F η son transformé strict (2.1.1) et Ĵ un faisceau d’idéaux dont les zéros ne
contiennent aucune composante irréductible de D . Lorsque η est à singularité isolée
en 0, on a Ĵ = (1).
Définition 3.1.5. — L’entier m D (η) défini par (44) s’appelle la multiplicité de η
suivant la composante irréductible D . Il se note aussi m D (F η ).
Ce nombre s’interprète comme le plus grand entier k tel qu’en chaque point la k-ième
puissance d’une équation réduite locale de D divise E ∗ (η).
Enrichissons la donnée de A ∗ [F] en associant à chaque sommet s correspondant à
une composante irréductible D de D ω , d’une part l’auto-intersection e(s) := 〈D, D〉
et d’autre part la multiplicité m(s) := m D (F) ∈ N . On obtient un arbre doublement
pondéré. Nous y rajoutons une donnée supplémentaire en munissant du symbole
”flèche double” chaque sommet dont le diviseur correspondant, appelé composante dicritique,
n’est pas invariant par ˜F . L’arbre obtenu est noté Ǎ[F] .
Définition 3.1.6. — L’arbre Ǎ[F] s’appelle arbre dual doublement pondéré associé
à F .
Dans [6] on trouvera des formules liant ces multiplicités avec le nombre de Milnor
de F défini par
( / )
(45) µ 0 (F) := dim C ÔC 2 , 0 (a, b) ,
et avec la multiplicité algébrique du feuilletage à l’origine c’est à dire l’ordre du premier
terme du développement en série de ω que l’on note ν 0 (ω) ou ν 0 (F). Les auteurs
définissent aussi le nombre de Milnor µ 0 (F, Z) de F suivant une courbe invariante
lisse Z comme la multiplicité à l’origine de la restriction à Z d’un champ de vecteurs
formel à singularité isolée définissant F . Ils prouvent la formule suivante, lorsque D ω
est sans composante dicritique :
(46) ν 0 (F) + 1 =
∑
∑
D∈comp(D ω) m∈Sing(˜F∩D)
(
m (D) µ m ( ˜F,
)
D) − ε(m) + 1