Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 69
Nous disons qu’un sous-graphe connexe K de ̂N ∗ (F) est répulsif si toute arête
attachée à un sommet s /∈ K est soit du type simple flèche ◦ s → ◦ s ′ dirigée vers
l’extérieur (16) de K , soit du type ◦ s ↔ ◦ s ′ . En particulier ̂N ∗ (F) est répulsif.
Théorème de codimension 5.3.1. — Soit F un feuilletage formel non-dicritique
à singularité isolée non-réduite à l’origine de C 2 . Supposons ̂R ∗ (F) non-vide (17) .
Alors on a :
1. F est t.f.f. si et seulement si ̂R ∗ (F) est connexe et répulsif. Dans ce cas ̂τ(F)
est égal au nombre ̂σ(F) de cercles du bouquet Ĉ(F) défini en (5.2.2), et de
plus :
̂β (F) = ̂δ (F) + ̂τ (F) − ̂ε ′ (F) ,
où ̂δ(F) est défini par la formule (69) et où ̂ε ′ (F) = 0 ou 1.
2. Si F est t.f.f. et de deuxième espèce (3.1.4) alors ̂ε ′ (F) = 0 ou 1. Le cas
̂ε ′ (F) = 1 se produit exactement lorsque F possède un facteur intégrant (71)
formel à l’origine de C 2 qui s’annule sur les séparatrices formelles de F et il
n’existe pas de champ formel à l’origine de C 2 basique et non-tangent pour F.
De plus ̂δ(F) est égal à la dimension de la strate à µ-constant de l’ensemble des
séparatrices formelles Ŝep(F), c.f. (3.1.8).
5.4. Démonstration du Théorème de codimension. — Une partie des
résultats du théorème se déduit de la proposition (4.5.4). Lorsque F est t.f.f. on a,
avec les notations de (4.5.4) : ̂β (F) = ̂δ (F) + ̂τ (F) − Ê′ (F) où
0 ≤ Ê′ (F) ≤ dim C
(Înt (ω)
/(ω · ̂B(ω)
))
.
Si F est t.f.f. et ̂R ∗ (F) ≠ ∅, il n’existe pas d’intégrale première globale non-constante
le long de D F et donc tout intégrale première formelle de F à l’origine de C 2 est
constante. Comme F est non-dicritique toute intégrale première méromorphe / formelle
à l’origine de C 2 est aussi constante. On en déduit que
(ω Înt (ω) · ̂B(ω)
)
est de
dimension 0 ou 1, puisque le quotient de deux facteurs intégrants est une intégrale
première méromorphe. On a donc bien Ê′ (F) = 0 ou 1.
Lorque F est de deuxième espèce, on a
/
Ê ′ (F) = dim C
(Înt(ω)
(ω · ̂B(ω)
))
= 0 ou 1 .
Le cas Ê′ (F) = 1 se produit exactement lorsque, à l’origine de C 2 , il existe un facteur
intégrant formel s’annulant sur les séparatrices formelles de F, mais tout champ
formel basique est tangent.
(16) Ceci a un sens puisque K est connexe et |̂N∗ (F) | simplement connexe.
(17) i.e. la réduction de F comporte un élément critique C ⊂ D F tel que (C) = C .
Ô˜F