Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 7
lieu singulier de réduction de η t :
D η ∩ π −1 (t) = D ηt , Σ η ∩ π −1 (t) = Σ ηt .
On voit facilement que l’espace M η est un produit C ∞ au voisinage de D η :
il existe un germe de difféomorphisme C ∞ ∼
au desus de P, Ψ : (M η , D ω ) −→
(M ω × P, D ω × {0}) , Ψ = (Ψ, π η ), induisant une famille de difféomorphismes
(4) Ψ t : (M ηt , D ηt ) −→ (M ω × {t}, D ω × {t}) .
De plus on a : Ψ t (Σ ηt ) = Σ ω × {t}. Nous pouvons maintenant définir précisement la
notion de déformation à type ŜLconstant, ou encore de déformation ŜL-équisingulière,
par les propriétés suivantes :
1. η est une déformation équiréductible de ω,
2. ˜Fη est t.f.-triviale le long de chaque composante irréductible de Σ η , c’est à dire
qu’en chaque point c de Σ ω ⊂ Σ η il existe un difféomorphismes φ c du germe
(M η , c), sur le germe (M ω × P, (c, 0)), fibré au dessus de P, t.f. le long de D η
et tel que φ ∗ c ˜F ω cste = ˜F η ,
3. pour chaque composante irréductible D de D ω = πη
−1(0)
∩ D η, il existe une
famille analytique de difféomorphismes formels d’une variable φ t (z), φ t (0) = 0 ,
telle que pour t assez petit on ait :
τ φt ◦ Ĥη t , D = Ĥω , D , ◦ Ψ t ∗ ,
avec τ φt (g) := φ t ◦g ◦φ −1
t , et Ψ t ∗ désignant l’automorphisme induit par (4) sur
les groupes fondamentaux considérés.
La ”classification locale en ω ” sera achevée si l’on obtient une déformation η de ω
qui est ŜL-verselle dans le sens suivant :
– η est ŜL-équisingulière et toute déformation ŜL-équisingulière η ′ est t.f. conjuguée
à une déformation qui s’écrit λ ∗ η où λ(x, y, t) = (x, y, λ(t) et λ est un
germe d’application holomorphe de l’espace des paramètre de η dans celui de (η ′ .
• Les singularités de type formel fini (t.f.f.). Considérons d’abord la situation
infinitésimale. Le faisceau (de base D ω ) essentiel, décrit en (4.3.1 ), est le quotient
̂T˜Fω
= ̂B˜Fω
/
̂X˜Fω
du faisceau des germes aux points de D ω des champs de vecteurs t.f. basiques pour
F ω par le sous-faisceau des champs tangents à ˜F ω . On appellera déformation infinitésimale
de ω tout élement de l’espace H 1 (
U ; ̂B˜Fω
), où U désigne un recouvrement
distingué du diviseur D ω , i.e. ses ouverts sont de deux types : l’intersection de D ω avec
un petit polydisque de coordonnées centré en un point singulier de ˜F ω , ou bien une
composante irrédictible de D ω épointée de toutes les singularités de ˜F ω qu’elle portait.
Les conditions 2. et 3. ci-dessus donnent, pour toute déformation ŜL -équisingulière η
de ω d’espace de paramères (C p , 0), des germes φ U de difféomorphismes t.f. le long de