Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 23
Prouvons maintenant l’injectivité de ̂χ k . Soient (φ αβ ) et (φ ′ αβ ) ∈ Z1 (U; Ĝk) qui
induisent la même classe dans H 1 (U; G [k+h]
k
). Comme dans B) nous avons un élément
(φ α ) de Z 0 (U; Ĝk) tel que :
( ) [k+h]
φ αβ := ( φ α ◦ φ ′ −1
αβ ◦ φ ) [k+h]
β .
Donnons nous (ξ αβ ) ∈ Z 1 (U; G k ) tel que ξ [k+h]
αβ
= φ [k+h] αβ . Nous allons montrer
successivement les égalités, dans H 1 (U; Ĝk), des classes
[
[φ αβ = [ξ αβ , φα ◦ φ ′ −1
αβ ◦ φ ] β = [ξ ]Ĝk
]Ĝk Ĝ αβ ;
k
]Ĝk
Ce qui permet de conclure.
Décomposons φ αβ de la manière suivante :
φ αβ = R (2)
αβ ◦ φ(1) αβ ◦ ξ αβ , (φ (1)
αβ ) ∈ Z1 (U; G k+h ), (R (2)
αβ ) ∈ Z1 (U; Ĝk+2h).
En utilisant le corollaire (1.4.7) on obtient : (φ (0)
α ) ∈ Z 0 (U; G k ) vérifiant
Ainsi on a :
avec
φ (1)
αβ ◦ ξ αβ = φ (0)
α ◦ ξ αβ ◦ (φ (0)
β )−1 .
φ αβ = φ (0) (2)
α ◦ ˜R
αβ ◦ ξ αβ ◦ (φ (0)
β )−1 ,
( ) (
)
˜R(2) αβ
:= (φ (0)
α ) −1 ◦ R (2)
αβ ◦ φ(0) α ∈ Z 1 (U; Ĝk+2h),
puisque Ĝk+2h est un sous-groupe distingué de Ĝk . Décomposons alors
manière suivante :
˜R (2)
αβ = R(3) αβ ◦ φ(2) αβ ,
˜R
(2)
αβ
(φ(2) αβ ) ∈ Z1 (U; G k+2h ), (R (3)
αβ ) ∈ Z1 (U; Ĝk+3h).
On obtient de nouveau à l’aide du corollaire (1.4.7) une décomposition :
( ) −1 ( )
φ (2)
αβ ◦ ξ αβ = φ (1)
α ◦ ξ αβ ◦ φ (1)
β , φ (1)
α ∈ Z 0 (U; G k+h );
et
Ce qui donne :
˜R (2)
αβ ◦ ξ αβ = φ (1) (3)
α ◦ ˜R
αβ ◦ ξ αβ ◦ (φ (1)
β )−1 ,
(
)
(3)
( ˜R
αβ ) := (φ (1)
α )−1 ◦ R (3)
αβ ◦ φ(1) α ∈ Z 1 (U; Ĝk+3h).
φ αβ =
( ) (
φ (0)
α ◦ φ (1) (3)
α ◦ ˜R
αβ ◦ ξ αβ ◦ φ (0)
β
) −1 ◦ φ(1) β .
De cette manière, en itérant cette construction, on obtient des suites
( ) ( )
(j)
φ α ∈ Z 0 (U; G k+jh ),
∈ Z 1 (U; Ĝk+jh),
qui, pour tout n ∈ N , vérifient l’égalité :
φ αβ =
R (j)
αβ
(
φ (0)
α ◦ · · · ◦ φ (n)) α ◦ R (n+2)
αβ
◦ ξ αβ ◦
(
φ (0)
β ◦ · · · ◦ φ β (n)) −1
.
de la