Modules formels locaux de feuilletages holomorphes - arXiv

24 J.-F. MATTEI & E. SALEM
(
)
D’après la remarque (1.3.2) la suite φ (0) (n)
α ◦ · · · ◦ φ α admet, pour la topologie
n∈N
de krull de Ĝk(U α ) une limite Φ α et R n+2
αβ
tend vers l’identité. Par continuité on
obtient la décomposition cherchée :
φ αβ = Φ α ◦ ξ αβ ◦ Φ −1
β , (Φ α) ∈ Z 0 (U; Ĝk).
(
En appliquant cette même méthode au cocycle φ α ◦ φ ′ αβ ◦ φ −1) β , on obtient l’égalité
[
φα ◦ φ ′ −1
αβ ◦ φ ] β = [ξ
Ĝ αβ .
k
]Ĝk
Et donc :
[
φ α ◦ φ ′ αβ ◦ φ β −1] Ĝ k
= [φ αβ ]Ĝk
.
Les démonstrations de l’injectivité de χ et de ̂χ sont similaires; ce qui achève la
démonstration.
2. Déformations de feuilletages
Soit M une variété holomorphe connexe de dimension n, notons O M le faisceau des
germes de fonctions holomorphes, Λ M le faisceau des germes de 1-formes différentielles
holomorphes et X M le faisceau des germes de champs de vecteurs holomorphes sur
M . On désigne toujours par P le germe (C p , 0).
Dans ce chapitre et dans tous les suivants nous emploierons le terme
”arbre” pour ”germe d’arbre”.
2.1. Généralités sur les feuilletages. — Définissons un feuilletage holomorphe
de codimension q (éventuellement singulier) sur M comme la donnée d’un faisceau
de sous-modules Λ F de Λ M localement libres de rang q, vérifiant en chaque point m
les relations d’intégrabilité suivantes :
(22) ω 1 ∧ · · · ∧ ω q ∧ dω i = 0 , ∀i = 1, . . .,q ∀ ω 1 , . . . , ω q ∈ Λ F,m
Cette définition n’est pas la plus générale (6) mais nous n’aurons à faire ici qu’à deux
types de feuilletages, les feuilletages de codimension 1,
(23) Λ F, m = (ω m ) , ω m ∧ dω m = 0 ,
ou bien leurs ”déformations à p paramètres” que nous définirons précisément en (2.2) :
Λ FP = (dt 1 , . . . , dt p , Ω) , dt 1 ∧ . . . ∧ dt p ∧ Ω ∧ dΩ = 0 , Ω | {t=0} = ω ,
avec t 1 , . . . , t p les coordonnées canoniques sur P := (C p , 0).
En dehors du lieu singulier de F, i.e. le sous-ensemble analytique Sing(F) défini
par le radical du faisceau d’idéaux
I F := ( q ∧Λ F ) · ( q ⊗ X M ),
(6) On aurait pu seulement imposer à Λ F d’être cohérent de rang générique q, c’est à dire de rang q
presque partout.