Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 5
distingons :
• les d-invariants formels globaux du processus la réduction. Ils décrivent
seulement le processus de réduction, en oubiant la position exacte, sur chaque composante
de D ω , des centres d’éclatement et des points du lieu singulier de réduction
Σ ω := {m ∈ D ω | ˜ω m (m) = 0} .
Classiquement on construit un graphe connexe pondéré et flèché, l’arbre dual de
réduction A ∗ [ω] de la manière suivante : on se donne biunivoquement un sommet
de A ∗ [ω] pour chaque composante irréductible D de D ω puis on le pondère
par l’auto-intersection de D et on lui attache autant de flèches que de points de
Σ ω ∩ (D − Sing(D ω )), enfin on relie deux sommets par une arète chaque fois que
les composantes irréductibles correspondantes s’intersectent. Pour une très large
classe de 1-formes, les formes de deuxième espèce décrites en (3.1), la donnée de
A ∗ [ω] équivaut à la donnée du type d’équisingularité (2) du germe de courbe formelle
Sep(ω), formée de toutes les séparatrices formelles de ω.
• Les d-invariants formels locaux issus de la réduction. Remarquons
d’abord que Eω(ω) ∗ définit une 1-forme formelle en chaque point du diviseur D ω .
De manière précise, Eω ∗ (ω) est une 1-forme transversalement formelle : elle s’écrit
localement A(u, v)du + B(u, v)dv , les coefficients A, B étant des sections locales
du faisceau Ô, de base D ω, obtenu en complétant, pour la topologie I Dω -adique, la
restriction à D ω du faisceau O Mω des fonctions holomorphes sur M ω , I Dω ⊂ O Mω
désignant le faisceau d’idéaux des fonctions nulles sur D ω . Des expressions précises
de A et de B sont donnée en (25) et (26). On doit en retenir que Eω(ω) ∗ peut être vu
comme un champ, le long de D ω , de 1-formes formelles dont les coefficients varient
holomorphiquement le long de D ω . Les sections locales de Ô s’appellent fonctions
transversalement formelles. On définit de la même manière (3) les faisceaux des
champs de vecteurs, formes différentielles, difféomorphismes locaux... transversalement
formels. Nous écrirons en abrégé t.f. pour transversalement formel.
La collection (˜ω m ) m∈Dω
défini un sous-module noté ˜F ω du faisceau de base D ω des
1-formes t.f., que nous appelons feuilletage réduit associé à ω. La classe de conjugaison
t.f. du feuilletage ˜F ω en un point m ∈ D ω est la classe de conjugaison du germe
˜ω m pour la relation d’équivalence définie [ par]
les égalités (2), mais avec ici φ et u
transversalement formels. Nous notons ˜Fω, m cette classe. La collection
tf
( [ ] )
̂L(ω) := ˜Fω, m
tf
m∈Σ ω
,
(2) Le type d’équisingularité d’une courbe formelle d’équation f(x, y) := ∑ ∞
i,j=1 f ijx i y j = 0 peut
être défini comme le type topologique commun à tous les germes de courbes analytiques, à l’origine
de C 2 , d’équations ∑ N
i,j=1 f ijx i y j = 0, pour N ∈ N assez grand.
(3) ou encore à l’aide de l’extension des scalaire ι −1 (O Mω |D ω) −→ Ô, où ι : D ω ֒→ M ω désigne
l’injection canonique.