Modules formels locaux de feuilletages holomorphes - arXiv

74 J.-F. MATTEI & E. SALEM
(
Lemme 5.4.4. — On a : dim C H
(El (F)))
1 ̂R∗
Ĉ(F) désigne le bouquet de cercles associé à F défini en (5.2.2).
= dim Z H 1
(Ĉ(F); Z
)
, où
Démonstration. — Supposons que El ( ̂R ∗ (F)) n’est pas réduit à un point, sinon
l’égalité est triviale. Visiblement
(
H 1 (̂R∗ ) r⊕
El (F))
= H 1 (L j ) .
On supposera donc que ̂R ∗ (F) ne possède qu’une seule partie active rouge, notée K .
Soit v la valence de K. L’homologie de Ĉ(F) est celle du complexe simplicial C de
dimension 1, obtenu en rajoutant à K un sommet, noté s 0 , et v arêtes qui relient s 0
aux extrémités s 1 , . . . , s v de K. Considérons maintenant le sous-complexe simplicial
K ′ obtenu en ôtant à K chaque sommet d’extémité et l’arête qui lui est attachée.
∼
−→ E s ′ . Ces
j=1
∼
−→ Ess ′
Toutes les arêtes de K ′ sont du type • 1 ↔ • 1 et l’on a : E s
espaces étant tous de dimension 1, nous les identifions à C . ainsi Z 0 (K ′ ), Z 1 (K ′ ) et
Z 1 (K) peuvent être considérés comme des espaces de cochaines simpliciales à valeurs
dans C :
Z 0 (K ′ )
Z 1 (K ′ )
Z 1 (K)
∼
−→ Z 0 (K ′ ; C) :=
∼
−→ Z 1 (K ′ ; C) =
∼
−→ Z 1 (K ; C) =
⊕
s∈S(K ′ )
⊕
ss ′ ∈S(K ′ )ˇ2
⊕
ss ′ ∈S(K)ˇ2
C · s ,
C · ss ′ ,
C · ss ′ ,
où S(K ′ )ˇ2 et S(K)ˇ2 ont été définis en (85). D’autre part, E s = 0 lorsque s est
un sommet extrémité de K . ainsi nous pouvons identifier Z 0 (K ′ ) à Z 0 (K) et ∆ K
peut être vue comme une application de Z 0 (K ′ ; C) dans Z 1 (K; C). On obtient le
diagramme commutatif suivant dont les lignes sont exactes :
(91)
ι 0
0 −→ Z 0 (K ′ ; C) −→ Z 0 (C ; C) −→
∆ K ↓ δC 1 ↓ σ ↓
0 −→ Z 1 ι
(K; C) −→ 1
Z 1 π
(C ; C) −→
1
π 0
⊕ v
j=0 C · s j −→ 0
⊕ v
j=1 C · s js 0 −→ 0
avec π 0 et π 1 les projections linéaires canoniques, ι 0 et ι 1 les injections linéaires induites
par les inclusions de sous-complexes, et δC 1 l’application de cobord ∑ ∑
λ s · s ↦−→
(λs − λ s ′) · ss ′ dont la restriction à ⊕ v
j=0 C · s j est
v∑
v∑
σ( λ j · s j ) = (λ j − λ 0 ) · s j s 0 .
On obtient la suite exacte :
j=0
(92) ker(δ 1 C ) −→ ker(σ) −→ H1 (K) −→ H 1 (C ; C) −→ coker(σ)
j=0