Modules formels locaux de feuilletages holomorphes - arXiv

30 J.-F. MATTEI & E. SALEM
Remarque 2.2.3. — Lorsque F est un feuilletage formel à l’origine de C 2 , i.e. M =
C 2 et S = {0}, la condition de platitude de la restriction de π à S P lui impose d’être
étale au dessus de P et l’on peut supposer que S P = 0 × P . On retrouve alors la
notion de déformation formelle le long de 0 × P définie par (29). Le lieu singulier
relatif de F P est défini par les équations A(x, y; t) = B(x, y; t) = 0 et le feuilletage
formel F P (t) est alors donné par la 1-forme formelle η t ∈ ̂Λ C 2 ×t, (0,t) obtenue en fixant
la valeur du paramètre t ∈ P dans (29).
Donné un germe d’application holomorphe ρ : Q := (C q , 0) −→ P on appelle
déformation obtenue à partir de F P par le changement de paramètres ρ la
déformation transversalement formelle
ρ ∗ F P := (ρ ∗ M P , ρ ∗ S P , ρ ∗ π, ρ ∗ σ; ρ ∗ F P )
dont les composantes sont définies par les diagrammes cartésiens
i ρ
ρ ∗ M P −→
ρ ∗ π↓ □ π ↓
Q
ρ
−→ P
MP
i ρ
ρ ∗ S P −→
ρ ∗ π↓ □ π ↓
Q
ρ
−→ P
avec ρ ∗ F P := i ρ ∗ F P . Comme d’habitude cette opération est contravariante.
Deux déformations transversalement formelles de (M, S, F) de même espace P de
paramètres
F P := (M P , S P , π, σ; F P ) et F ′ P := (M′ P, S ′ P , π′ , Σ ′ ; F ′ P )
sont dites formellement conjuguées s’il existe un germe d’isomorphisme Φ transversalement
formel qui conjugue F P à F P ′ , fait commuter les submersions π et π′ et vaut
l’identité au dessus de l’origine :
Φ : (M P , σ(S))
∼
−→ (M ′ P,Σ ′ (S)) π ′ ◦ Φ = π , Φ ◦ σ = Σ ′ , Φ ∗ F ′ P = F P .
On notera alors Φ ∗ F ′ P = F P , ou encore F ′ P ∼ P, for F P . On dit que F P est formellement
triviale s’il existe une conjugaison formelle entre F P et la déformation constante :
(32) F cst
P := ( M × P, S × P, π, i; FP
cst )
,
où π désigne la projection canonique de M × P sur P , i l’inclusion de M ∼ = M × 0
dans M × P et FP
cst est le feuilletage transversalement formel constant défini comme
pr −1 F, avec pr : M × P → M la projection canonique.
2.3. Construction de déformations formelles par collage. — Fixons un feuilletage
formel F à l’origine de C 2 , et un germe d’arbre non nécessairement régulier
(33) A P = ( M j , E j , Σ j , S j , π j , D j ) j=0,...,h
au dessus de P := (C p , 0). Pour les données de cimes de A P et celles du germe d’arbre
A P (0) défini en (9), nous conservons les notations (8). Le transformé strict F ′ = Ẽ∗ 0F
de F par Ẽ0 , cf. (2.1.1) est un feuilletage transversalement formel le long du diviseur
de cime ˜D 0 ⊂ ˜D de A P (0). Comme dans (2.1.5) on désigne par (F ′ , W) le germe de
SP