Modules formels locaux de feuilletages holomorphes - arXiv

78 J.-F. MATTEI & E. SALEM
3. Ô F (U) = C et ̂T˜F (U) = {0}. Alors Ô˜F P
(U) = C{t} et ̂T˜FP (U) = {0}.
En désignant toujours par ∗ un sommet s ou une arête ss ′ du nerf ̂N ∗ (F) de F,
posons maintenant :
A ∗ := Ô˜F P
(U ∗ ) et E ∗ := ̂T˜FP (U ∗ ),
où U ∗ est défini comme en (5.2). Nous avons seulement, comme en (5.2), les trois
possibilités :
1. A ∗ = C{t} et E ∗ = {0} ,
2. A ∗ = C{t} et E ∗ = C{t} · Z ∗ , avec Z ∗ ≠ 0
3. A ∗ = C{t}[[F ∗ ]] et E ∗ = C{t}[[F ∗ ]] · Z ∗ , avec A ∗ ≠ C{t} , Z ∗ ≠ 0 .
Pour chaque arête ss ′ nous disposons, comme en (79), d’opérations de restrictions
r s ss ′ : E s ֒→ E ss ′ et s s ss ′ : A s ֒→ A ss ′ ,
qui sont maintenant des morphismes injectifs de C{t}-modules. De plus, toujours à
cause de la trivialité de ˜F P le long de U ∗ , le morphisme r s ss ′, resp. ss ss ′, est bijectif si
et seulement si ρ s ss ′, resp. σs ss ′, l’est. La ˜F P -application de cohomologie associée à un
un sous-graphe K de ̂N ∗ (F), définie comme en (84) par :
D K : ∏ s∈S(K) E s =: Z 0 (K) −→ Z 1 (K) := ∏ (s,s ′ )∈S(K)ˇ2 E ss ′ ,
(Z s ) s
↦−→ (Z s ′ − Z s ) (s,s ′ ) ,
est maintenant un morphisme de C{t}-modules. En notant HP 1 (K) := coker(D K), il
vient :
( )
H 1 U; ̂T˜FP = HP
1 (̂N∗ P (F))
.
Le procédé d’élagage des branches vertes et rouges sécables utilisé dans la
démonstration du théorème (5.3.1) se retranscrit ici littéralement : le lemme
(5.4.3) reste vrai lorqu’on remplace H 1 (K), H 1 (K ′ ) par HP 1 (K), H1 P (K′ ) et, sous
l’hypothèse que F est t.f.f., on a encore
HP
1 (̂N∗ (F))
≃ HP
1 (̂R∗ (
(F))
≃ HP
1 (̂R∗ ))
El (F) .
Les calculs de la démonstration du lemme (5.4.4) se retranscrivent aussi. Les C{t}-
modules Z 0 (K ′ ), Z 1 (K ′ ) et Z 1 (K) sont respectivement isomorphes aux espaces de
cochaines simpliciales
Z 0 (K ′ ; C{t}) :=
⊕
⊕
C{t} · s , Z 1 (K ′ ; C{t}) := C{t} · ss ′ ,
s∈S(K ′ )
Z 1 (K; C{t}) :=
⊕
ss ′ ∈S(K)ˇ2
C{t} · ss ′ .
ss ′ ∈S(K ′ )ˇ2
On obtient un diagramme similaire au diagramme (91), dont la suite exacte longue associée
produit un isomorphisme C{t}-linéaire entre HP 1 (K) et H1 (C; C{t}).
(
Comme
)
H 1 (C; C{t}) ≃ H 1 (C; C) ⊗ C C{t}, on peut finalement conclure que H 1 U; ̂T˜FP
est un C{t}-module libre de rang égal à dim Z H 1 (C(F); Z), c’est à dire de rang ̂τ(F),