Modules formels locaux de feuilletages holomorphes - arXiv

58 J.-F. MATTEI & E. SALEM
Rappelons [10] qu’une intégrale première formelle, resp. un facteur intégrant formel
de F , ou de ω , est un élément f de ÔC 2 , 0 tel que
(71) df ∧ ω = 0 , resp. d (ω/f) = 0 .
Le quotient de deux facteurs intégrants est une intégrale première méromorphe
formelle de ω , c’est à dire un élément f du corps des fractions de ÔC 2 , 0 satisfaisant
df ∧ ω = 0 . Enfin si X est un champ de vecteurs formel à l’origine de C 2 qui est
basique pour F , ie. L X ω ∧ω = 0 , et non-tangent, alors ω ·X est un facteur intégrant
de F .
Notons Înt (ω) le sous-espace vectoriel de ÔC 2 , 0 des facteurs intégrants formels qui
s’annulent sur les séparatrices formelles Ŝep(ω) de ω , cf. (3.1.8), et ̂B(ω) ⊂ ̂X C2 , 0 le
sous-espace vectoriel du module des champs formels à l’origine de C 2 qui sont basiques
pour ω . On a la
Proposition 4.5.4. — Supposons F non-dicritique. Alors ̂β(F) est fini si et seulement
si ̂τ(F) est fini. De plus on a l’inégalité :
̂δ (F) + ̂τ (F) − ̂ε (F) ≤ ̂β (F) ≤ ̂δ (F) + ̂τ (F) ,
avec ̂ε(F) := dim C
(Înt (ω)
/(ω · ̂B(ω)
))
. Lorsque F est de deuxième espèce,
l’égalité
̂β (F) = ̂δ (F) + ̂τ (F) − ̂ε(F)
est réalisée et ̂ε(F) = 0 ou 1.
Démonstration. — La suite ( exacte longue (4.3.4) donne
) ( ) ( )
(72) 0 −→ N −→ H 1 U; −→ H ̂X˜F 1 U; ̂B˜F −→ H 1 U; ̂T˜F −→ 0
) ))
( )
avec N := coker
(H
(U; 0 ̂B˜F −→ H
(U; 0 ̂T˜F . Remarquons que H 0 U; ̂B˜F
s’identifie à ̂B(ω). En effet tout champ de vecteurs holomorphe global sur un voisinage
de D F dans M F est l’image réciproque d’un champ de vecteurs de (C 2 , 0) ; la
commutation des opérations de complétion et d’image directe [1, page 269] étend ce
fait aux champs formels. De même l’évaluation par EF ∗ (ω) induit une injection
( )
(73) 0 −→ H 0 U; ̂T˜F −→ Înt (ω).
La formule d’Euler de la suite (72) donne l’inégalité cherchée.
Supposons maintenant F de deuxième espèce. Il suffit de montrer que l’injection
ci-dessus est un isomorphisme. Pour cela donnons nous un facteur intégrant
f ∈ Înt (ω) et montrons l’existence en tout point m ∈ D F d’un germe X m ∈ ̂B˜F, m
tel que E ∗ F (ω) · X m = f ◦ E F .
Lorsque ˜F est régulier en m , fixons des coordonnées transversalement formelles
z 1 , z 2 appropriées où E ∗ F (ω) = u(z 1, z 2 )z 2 α dz 2 , avec u(0, 0) ≠ 0 et α ∈ N . Les