Modules formels locaux de feuilletages holomorphes - arXiv

68 J.-F. MATTEI & E. SALEM
Pour toute arête rouge ss ′ , on a dim C E ss ′ = 1 , puisque l’holonomie d’une couronne
est commutative. Visiblement, pour une arête rouge, les seules configurations possibles
sont :
(82)
1
• ↔ 1 • ,
1
• ← 0 • ,
0
•←↦→ 0 • ,
et dans la dernière configuration, le sommet de type 0 correspond à une singularité
de type selle-noeud.
Définition 5.2.1. — Nous appelons nerf complet de F et notons ̂N ∗ (F) le nerf
colorié de F , où chaque sommet rouge est muni de son poids 0 ou 1. La partie rouge
de ̂N ∗ (F) sera désignée par ̂R ∗ (F). Nous le munissons de la métrique pour laquelle
chaque arête est isométrique au segment [0, 1] standard.
Clairement F est bon (4.6.1) si et seulement si ̂R ∗ (F) est non-vide.
5.2.2. Parties actives du nerf de ( F. —)
Ce sont les parties de ̂N ∗ (F) qui contribueront
à la dimension de H 1 U ; ̂T˜F .
Nous appelons partie active rouge de ̂N ∗ (F) tout sous-graphe connexe de ̂R ∗ (F)
dont les sommets extrémité sont de poids 0, tous les autres sommets étant de poids
1. Remarquons que ̂N ∗ (F) peut ne pas posséder de partie active rouge. D’autre part
chaque sous-graphe 0 •←↦→ 0 • est une partie active rouge.
Définition 5.2.2. — Supposons ̂R ∗ (F) non-vide et connexe. Nous appelons bouquet
de cercles assosié à F l’espace topologique Ĉ(F) obtenu à partir de la réalisation
géométrique de ̂R ∗ (F) en identifiant à un seul et même point tous les sommets de
poids 0.
Cet espace topologique est séparé. Il a bien le type d’homotopie d’un bouquet de
cercles, ou d’un point. Le nombre de cercles se calcule à partir des parties actives
L 1 , . . .,L r de ̂R ∗ (F) par la formule :
) r∑
(83) ̂σ(F) := dim Z H 1
(Ĉ(F); Z = (v(L j ) − 1) ,
où la valence v(L j ) est le nombre de sommets extrémités de L j .
5.3. Les critères de finitude formelle de F . — La finitude formelle de F , en
abrégé F est t.f.f., que l’on a définie en (4.5.3) par ̂β(F)
( )
:= dim C H 1 U ; ̂T˜F < ∞ ,
équivaut par (4.5.4) à celle de ̂τ(F) := dim C H 1 (
U ; ̂B˜F
)
. La formule (70) montre
que ̂δ(F) := dim C H 1 (
U ; ̂X˜F
)
se calcule à partir de l’arbre dual doublement pondéré
Ǎ[F] introduit en (3.1.6). Lorsque F ne possède pas de facteur intégrant formel on
a ̂β(F) = ̂τ(F) + ̂δ(F) d’après (4.5.4) et nous verrons que ̂β(F) ne dépend que de
̂N ∗ (F) si ̂R ∗ (F) ≠ ∅ .
j=1