Modules formels locaux de feuilletages holomorphes - arXiv

70 J.-F. MATTEI & E. SALEM
Supposons à présent ̂R ∗ (F) non-vide et montrons que F est t.f.f. si et seulement
si ̂R ∗ (F) est connexe répulsif.
Soit K un sous-graphe de ̂N ∗ (F). Notons S(K) ⊂ S(F) l’ensemble des sommets
de K et S i (K) le sous-ensemble des sommets de K de type i, avec i = 0 ou 1 . Nous
appelons application de cohomologie associée à K l’application C-linéaire :
∏
∏
∆ K : E s =: Z 0 (K) −→ Z 1 (K) := E ss ′ ,
(84)
où
s∈S(K)
(s,s ′ )∈S(K)ˇ2
(X s ) s
↦−→ (X ss ′) (s,s ′ ) , avec X ss ′ := X s ′ − X s ,
(85) S(K)ˇ2 := { (s, s ′ ) ∈ S 0 (K) × S 1 (K) / ss ′ arête de K } .
Nous noterons dans tout ce qui suit :
H 0 (K) := ker (∆ K ) , H 1 (K) := coker (∆ K ) .
Remarquons que deux sous-graphes K et K ′ de ̂N ∗ (F) vérifient :
(86) dim C H 1 (K) ≥ dim C H 1 (K ′ ) dès que K ′ ⊂ K .
En effet, π désignant la projection linéaire Z 1 (K) −→ Z 1 (K ′ ) induite par la structure
produit, les applications ∆ K ′ , π ◦ ∆ K ont même image.
Visiblement
(87) H 1 (̂N∗ ) ( )
(F) = H 1 U ; ̂T˜F .
Pour voir que F n’est pas t.f.f. il suffit donc de détecter un sous-graphe K de ̂N ∗ (F)
tel que dim C H 1 (K) = ∞ .
(̂N∗ )
Remarque 5.4.1. — En fait H 1 (F) peut s’interpréter comme un espace de
∣
cohomologie de Cech : munissons la réalisation géométrique ∣̂N ∗ (F) ∣ de ̂N ∗ (F) de la
topologie dont une base d’ouverts est la collection V des réalisations géométriques V s ,
s ∈ S(F), des parties de ̂N ∗ (F) constituées d’un sommet s et de toutes les arêtes qui
y sont attachées. Considérons le faisceau ̂T ∣
F de base ∣̂N ∗ (F) ∣ défini par
̂T F (V s ) := E s , ̂TF (V s ∩ V ′ s) := E ss ′ , (s, s ′ ) ∈ S(K)ˇ2 ,
les applications de restriction associées aux inclusions V s ∩ V s ′ ⊂ V s et V s ∩ V s ′ ⊂ V s ′
étant respectivement les injections ρ s ss ( et ′ ρs′ ss définies en (79). alors
′
H j (K) = H j V K ; ̂T
)
F , j = 0, 1 ,
où V K est le recouvrement (V s ) s∈S(K)
de K .