Modules formels locaux de feuilletages holomorphes - arXiv

72 J.-F. MATTEI & E. SALEM
Pour obtenir la réciproque définissons maintenant des ”opérations d’élagage” d’un
sous-graphe de ̂N ∗ (F), qui ne changent pas la dimension de l’espace de cohomologie
associé.
Appelons branche verte sécable d’un sous-graphe connexe K de ̂N ∗ (F), toute géodésique
B ⊂ K, reliant deux sommets de K, qui vérifie :
1. tous les sommets de B, autres que ses extrémités, sont verts et de valence 2 dans
K ;
2. l’un des sommets extrémité de B , que nous appelons sommet d’attache de B ,
est répulsif dans B : chaque arête de B est soit une double flèche ◦ ↔ ◦ , soit
une flèche simple ◦ → ◦ orientée vers l’autre sommet extrémité de B , que nous
appelons sommet libre de B ;
3. le sommet libre de B est vert et de valence 1 dans K ; le sommet d’attache est :
soit rouge, soit de valence ≠ 2, soit vert du type ←− ⋆ −→ .
Remarquons que l’on peut avoir B = K . Dans ce cas, lorsque toutes les flèches sont
des doubles flèches, le choix du sommet d’attache est arbitraire.
Désignons par El B (K) le graphe K élagué de la branche B c’est à dire le graphe
connexe obtenu à partir de K en supprimant toutes les arêtes et tous les sommets de
B , sauf le sommet d’attache. Lorsque B = K , El B (K) est le graphe trivial réduit à
un seul sommet. Pour un sous-graphe L de K , nous désignons par λ 1 L l’injection de
Z 1 (L) dans Z 1 (K) définie par λ 1 L · (X ss ′) (s,s ′ ) := (Y ss ′) (s,s ′ ) , avec Y ss ′ := X ss ′ si s ,
s ′ sont les sommets d’une arête de L et Y ss ′ = 0 sinon.
Lemme 5.4.3. — Soit B une branche verte sécable de K , l’application
[ ] [ ] [
]
κ
1
K ′ : H 1 (K ′ ) −→ H 1 (K) , (X ss ′) (s,s ′ )
↦−→ κ 1 K · (X ′ ss ′) (s,s ′ )
,
avec K ′ := El B (K), est un isomorphisme.
Démonstration. — Soit ◦ s0 ⋆ s1 · · · · · · · · · ⋆ sn+1 la branche verte sécable
B , s 0 désignant le sommet d’attache. Considérons l’injection ˜λ 0 : Z 0 (B − {s 0 }) −→
Z 0 (K), (X s ) s
↦−→ (Y s ) s
définie par Y s := X s si s est un sommet de B − {s 0 } et
Y s = 0 sinon. Le diagramme suivant est commutatif et ses lignes sont exactes :
0 −→ Z 0 (B − {s 0 })
˜λ
−→
0
Z 0 (K)
π
−→ 0
Z 0 (K ′ ) −→ 0
˜∆ B ↓ ∆ K ↓ ∆ K ′ ↓
0 −→ Z 1 (B)
λ 1 B
−→
Z 1 (K)
π 1
−→ Z 1 (K ′ ) −→ 0 ,
où π 0 , π 1 sont les projections canoniques données par les structures produits et l’application
˜∆ B est définie par la relation de commutativité qu’elle doit vérifier. La suite
exacte longue associée donne
· · · −→ coker(˜∆ B ) −→ H 1 (K) −→ H 1 (K ′ ) −→ 0 .