Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 55
Démonstration. — Comme U est sans intersection non-triviale 3 à 3, on a la suite
exacte ∏
N P (U) −→
∏
N P (U ∩ V ) −→ H 1 (U ; N P ) −→ 0 .
U∈U
U,V ∈U
U∩V ≠∅
La conclusion résulte de l’exactitude à droite de ⊗ OP O P /(t) et des isomorphismes
(64).
Au chapitre suivant nous étudierons en détail les faisceaux (63) et leurs cohomologies.
4.4. Vitesses de déformation. — Soit Z un élément du O P -module X P des germes
de champs de vecteurs sur P := (C p , 0) et F P une déformation ŜL-équisingulière
de F . Cette déformation étant triviale sur des voisinages dans M FP de chaque ouvert
U ∈ U , le champ Z se relève suivant π FP sur ces voisinages, en des champs
basiques Z U ∈ ̂B˜FP (U), i.e. Tπ FP · Z U = Z ◦π FP . Les différences Z UV := Z V − Z U ,
(
U ∩ V ≠ ∅ , sont des champs basiques verticaux. Le cocycle (Z UV ) ∈ Z 1 U ; ̂B
)
ṽ
F P
dépend du choix des relèvements, mais sa classe de cohomologie n’en dépend pas.
Définition 4.4.1. — Nous appelons application de Kodaira-Spencer de F P l’application
[ ] ( ∂FP
: X P −→ H 1 U ;
∂t
̂B
)
ṽ , Z ↦−→ [Z UV ] .
F P
(
Un calcul direct montre que si [Φ UV, t ] ∈ H 1 U, Âut ( F cst ) ) est la classe du cocycle
associé à F P par (4.1.2), on a l’égalité
(65) [Z UV ] =
[
∂ΦUV, t
∂t
P
◦ Φ −1
UV, t · Z ]
.
Par construction la classe [Z UV ] est exactement l’obstruction à l’existence d’un
relèvement global de Z en un champ basique. Plus précisément le sous-module
([ ]) ∂FP
K := ker
⊂ X P
∂t
est exactement constitué des champs de vecteurs sur P qui possèdent un relevé global
˜Z ∈ H 0 (
D F ; ̂B˜FP
). On en déduit imédiatement :
Proposition 4.4.2. — Une [ déformation ] ŜL-équisingulière F P est formellement
∂FP
triviale si et seulement si est l’application identiquement nulle.
∂t
Nous allons raffiner cette proposition et obtenir la trivialité de F P suivant les
feuilles d’un feuilletage de P . Remarquons d’abord que K est un sous-module involutif
de X P , i.e. stable par crochet de Lie. En effet le crochet de Lie commute aux
images directes des champs de vecteurs (lorsqu’elles sont définies) et le crochet de deux
champs basiques est aussi un champ basique. En général K n’est pas un sous-module
libre de X P et ses générateurs peuvent être singuliers à l’origine. Considérons le sousespace
vectoriel K(0) de l’espace tangent T 0 P de P à l’origine, constitué des valeurs