Modules formels locaux de feuilletages holomorphes - arXiv

56 J.-F. MATTEI & E. SALEM
(14) à l’origine des éléments de K . Un résultat de D. Cerveau [9] donne l’existence
d’un sous-module libre involutif de K , non-unique, qui possède une base constituée
de champs de vecteurs réguliers dont les valeurs à l’origine forment une base de K(0).
Il définit un germe de feuilletage holomorphe régulier H sur P .
Lemme 4.4.3. — Soit P ′ ⊂ P un germe de sous-variété strictement transverse à
K(0), i.e. T 0 P = T 0 P ′ ⊕ K(0) et soit ι : P ′ ֒→ P l’application d’inclusion. Notons
F P ′ la déformation ι ∗ F P obtenue en restreignant les paramètres (2.2) à P ′ . Alors il
existe un germe de submersion λ : P −→ P ′ telle que F P soit formellement conjugué
à λ ∗ F P ′ .
Démonstration. — Le feuilletage H précédemment défini peut être engendré par des
champs Z j , j = 1, . . .,r , r := dimK(0), qui commutent entre eux. Ces champs
admettent, sur un voisinage de D FP dans M FP , des relèvements globaux en des
champs basiques ˜Z j . L’intégration successive des Z j avec conditions initiales sur P ′
donne une rectification P −→ ∼
P ′ × C r de H . Elle induit une submersion λ de P
sur P ′ qui consiste à suivre les feuilles de H . L’intégration successive des relevés ˜Z j
donne alors la conjugaison cherchée.
4.5.
(
Codimension formelle de F . — En dérivant un cocycle [Φ UV, t ] ∈
H 1 U, Âut ( F cst ) )
P associé par (58) à une déformation ŜL-équisingulière F P
de F on obtient des cocycles
( ∣ ) ( ∂ΦUV, t ∣∣∣t=0 )
∈ Z 1 U;
∂t ̂B˜F , j = 1, . . . , p
j
à valeurs dans le faisceau ̂B˜F des champs basiques de ˜F . Leurs classes de cohomologies
notées [ ( ∂FP
)
∈ H 1 U; ̂B˜F , j = 1, . . .,p
∂t j
]t=0
ne dépendent que de F P . Elles s’interprètent comme les ”vitesses ( initiales )
de déformation” de F P . Grâce à (65) et à l’identification H 1 U ; ̂B˜F ≃
( )
H 1 U ; ̂B˜FP ⊗ OP O P /(t) donnée par (4.3.6), l’application linéaire
(66)
[ ] ∂FP
∂t
t=0
( )
: T 0 P −→ H 1 U ; ̂B˜F ,
p∑
j=1
α j
∂
∂t j
∣
∣∣∣t=0
↦−→
p∑
j=1
α j
[ ∂FP
∂t j
]t=0
peut être vue comme le tensorisé de l’application de Kodaira-Spencer de F P , c’est à
dire :
[ ] [ ]
∂FP ∂FP
(67)
= ⊗ OP O P /(t).
∂t ∂t
t=0
(14) Notons qu’en général K(0) ≠ K ⊗ OP O P /(t) , mais K(0) est l’image de K ⊗ OP O P /(t) −→
X P ⊗ OP O P /(t) = T 0 P .