Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 21
Pour tout (α, β) ∈ C (A P )ˇ×C (A P ) nous disposons de deux germes de difféomorphismes
u α ◦ι αβ et u β ◦ι αβ , où ι αβ désigne le germe d’inclusion ( ˜M, U α ∩U β ) ֒→ ( ˜M, ˜D 0 ).
Le recouvrement U n’a pas d’intersection d’ouverts trois à trois non-triviale. Ainsi,
pour tout faisceau de groupes G sur ˜D 0 , le groupe Z 1 (U; G) s’identifie au groupe
Z 1 (U; G) :=
∏
G(U α ∩ U β ),
(α,β)∈A
avec A := {(α, β) ∈ C (A P )ˇ×C (A P ) / dimU α < dimU β } .
Choisissons d’identifier les ensembles de 1-cocycles de la manière suivante
κ 1 : Z 1 (U; G) ∼
−→ Z 1 (U; G C ) ,
κ 1 k : Z 1 (U; G k ) ∼
−→ Z 1 (U; G C, k ) ,
(Ψ αβ ) ↦→ (Ψ C, αβ ) := ((u α ◦ ι αβ ) ∗ (Ψ αβ )) .
On voit facilement que les relations de cohomologie s’expriment dans les espaces Z 1
par :
(21) (Ψ C, αβ ) ≈ GC
(
Ψ
′
C, αβ
)
⇐⇒ (Ψαβ ◦ ξ αβ ) ≈ G
(
Ψ
′
αβ ◦ ξ αβ
)
(Ψ C, αβ ) ≈ GC,k
(
Ψ
′
C, αβ
)
⇐⇒ (Ψαβ ◦ ξ αβ ) ≈ Gk
(
Ψ
′
αβ ◦ ξ αβ
)
Théorème de Stabilité 1.4.6. — Soient A P un germe d’arbre au dessus de P, de
hauteur h, U un recouvrement distingué du diviseur de cime ˜D 0 de A P (0) et soit G ,
respectivement G k , k ∈ N, les faisceaux introduits en (1.3). Alors pour tout k ∈ N
les applications suivantes
H 1 (U; G h ) −→ H 1 (U; G) , [φ αβ ] Gh
↦→ [φ αβ ] G
,
resp. H 1 (U; G k+h ) −→ H 1 (U; G k ) , [φ αβ ] Gk+h
↦→ [φ αβ ] Gk
sont les applications constantes [φ αβ ] Gh
↦→ [Id αβ ] G
, resp. [φ αβ ] Gk+h
↦→ [Id αβ ] Gk
, où
Id αβ désigne le germe de l’application identité le long de U α ∩ U β .
Démonstration. — Donnons nous un 1-cocycle C := (φ αβ ) ∈ Z 1 (U; G k+h ) D’après la
proposition (1.4.5), M C est difféomorphe à la cime d’un germe d’arbre A ′ P au dessus
∼
de P , σ : M C −→ ˜M′ . Le difféomorphisme ˜τ := σ [k+h] ◦υ [k+h]
C
: ˜M [k+h] ∼
−→ ˜M′[k+h]
induit grâce à (1.2.3) un isomorphisme d’arbres infinitésimaux
τ •
: A [k+h]
P
∼
−→ A ′ [k+h]
P , avec τ h = ˜τ .
Soit T : M 0 ∼
−→ M ′0 un difféomorphisme entre les socles de A P et de A ′ P induisant
τ 0 , i.e. T [k+h] = τ 0 . Relevons le (1.2.5) en un (unique) isomorphisme
∼
T •
: A P −→ A
′
P , T 0 = T . En comparant T • à τ • à l’aide de (1.2.4) on voit
que pour tout j ≤ h , on a T [k+h−j]
j
H := T −1
h
◦ σ : M C
∼
= τ [k+h−j]
j . En particulier T [k] = τ [k] et
• •
−→ ˜M est un difféomorphisme qui vaut l’identité en restriction
à ˜M [k] , c’est à dire (H ◦ υ C ) [k] = identité ˜M [k]
. On conclut alors par (1.4.4) que l’on
a bien [φ αβ ] Gk = [Id αβ ] Gk .