Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 19
sont surjectives.
G l (U α ) −→ G [k]
l
(U α ), Ĝ l (U α ) −→ Ĝ [k]
l
(U α ) ,
Rappelons qu’étant donné un faisceau de groupes G et un recouvrement ouvert
localement fini W := (W i ) i∈I
de la base de G, on appelle 1-cocycle à valeurs dans G
et on note (g ij ) ∈ Z 1 (W; G) toute famille
(g ij ) (i,j)∈I ˇ×I , g ij ∈ G(W i ∩ W j ), I ˇ×I := {(i, j) ∈ I 2 ; W i ∩ W j ≠ ∅} ,
telle que g ij = g −1
ji et g ij = g ik g kj chaque fois que W i ∩W j ∩W k ≠ ∅ . Deux 1-cocycle
C := (g ij ) et C ′ := (g ij ′ ) de Z1 (W; G) sont dits cohomologues s’il existe un élément
C 0 := (g i ) de Z 0 (W; G) := ∏ i∈I G(W i)) tel que
(18) g ′ ij = g i · g ij · g −1
j .
Nous noterons alors C ≈ G C ′ ou plus précisément C ′ = C 0 ⋆ C et nous désignerons
par [C ] ou par [g G ij ] la classe d’équivalence de C ; lorsqu’aucune confusion n’est
G
possible nous omettrons l’indice G dans ces notations.
Soit U un recouvrement distingué de ˜D 0 . Nous pouvons associer à un cocycle
C := (φ αβ ) ∈ Z 1 (U; G l ), l ≥ 0 le germe, le long d’une courbe D 0, C ≃ ˜D 0 , de la variété
holomorphe M C obtenue par recollement en quotientant l’union disjointe ⊔ α (V α , U α )
des germes, le long des U α , de voisinages V α de U α dans la cime ˜M de A P , par la
relation d’équivalence
(19) m ∼ C m ′ ⇐⇒ il existe (α, β) ∈ C (A P )ˇ×C (A P ) tel que
m ∈ V α , m ′ ∈ V β et m ′ = φ βα (m).
Les propriétés des φ αβ font que cette variété est naturellement munie d’un diviseur
D C ⊃ D 0, C , d’un germe le long de D 0,C de submersion holomorphe π C sur P et d’un
germe le long de ˜D 0 de plongement
(
ρ C : ˜M0 , ˜D
)
0 ֒→ (M C , D 0, C )
(
qui induit un isomorphisme entre les germes ˜M0 , ˜D
)
0
C ∈ Z 1 (U; G l ), l ≥ 0 on dispose aussi d’un plongement
(20) υ [l]
C : ˜M [l] ֒→ M C , avec π C ◦ υ [l]
C = ˜π [l] ,
et ( π −1
C (0), D 0, C)
. Lorsque
qui induit un isomorphisme entre les diviseurs ˜D ≃ ˜M [0] et ˜D C . En restriction à ˜D 0, C
cet isomorphisme coïncide avec ρ C .
( )
Remarque 1.4.4. — Deux cocycles C := (φ αβ ) et C ′ := φ ′ αβ ∈ Z 1 (U; G) sont
cohomologues, C ′ = C 0 ⋆ C avec C 0 := (φ α ) ∈ Z 0 (U; G) , si et seulement s’il existe
un germe de difféomorphisme Φ C 0 : M C
∼
−→ MC ′ qui satisfait les relations de
commutation :
π C ′ ◦ Φ C 0 = π C , ρ C ′ = Φ C 0 ◦ ρ C .