Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 31
F ′ le long d’un sous-ensemble quelconque W ⊂ ˜D 0 . Nous supposons dans tout ce qui
suit que ˜D 0 est un ensemble intégral de F ′ .
Définition 2.3.1. — Une déformation transversalement formelle F P de F le long
de 0 × P , de paramètres P est dite compatible avec l’arbre A P si
1. M 0 = C 2 ×P , Σ 0 = S 0 = 0 ×P et pour tout j = 1, . . .h le lieu singulier relatif
du transformé strict de F P sur M j intersecte D j suivant Σ j .
2. le diviseur de cime ˜D de A P est un ensemble intégral du feuilletage F ′ P := Ẽ∗ F P ,
3. la restriction de la projection π : M h → P au lieu singulier relatif de F ′ P est
finie (c’est à dire π ∗ (ÔSing P (F P
)) est un O P -module fini),
4. Sing P
(
F
′
P
)
∩ ˜D0 = Sing(F ′ ).
Nous allons donner des procédés de construction de telles déformations. pour cela
nous faisons les deux hypothèses suivantes :
– l’ensemble ˜Σ 0 des singularités de la cime A P (0) est égal au lieu singulier de F ′ ,
– le diviseur ˜D 0 est un ensemble intégral de F ′ .
Reprenons le vocabulaire et les notations introduites dans la definition (1.4.1).
Définition 2.3.2. — Nous appelons bon système de lacets associé à un élément critique
K toute collection Γ K de lacets telle que :
1. Si K ∈ C 0 (A P ) alors Γ K = (γ K,L ) L∈Ad1(K) où γ K,L est un lacet simple tracé sur
L (cf. (17)) bordant un disque conforme W K, L ⊂ L vérifiant W K, L ∩Sing(F ′ ) =
{K};
2. Si K ∈ C 1 (A P ) alors Γ K est une collection (γ K, m ) m∈Ad0(K) de lacets simples
tracés sur K de même origine m 0 et bordant des disques conformes V K,m ⊂ K
tels que V K,m ∩ Sing(F ′ ) = {m} et V K,m ∩ V K,m ′ = {m 0 } pour m ≠ m ′ .
Fixons un germe de courbe lisse (T, m 0 ) transverse à K ∈ C 1 (A P ) en l’origine
commune d’un bon système de lacet Γ K m 0 ainsi qu’un bon système de lacets. Ordonnons
et orientons les lacets de ce système : Γ K = (γ j ) j=1,...,v(K)
de manière que
leurs classes dans π 1 (K, m 0 ) vérifient : γ • −1
v(K) = γ • 1 ◦ · · · ◦ γ • v(K)−1 . Notons h j ∈ ÔT ,m 0
l’holonomie du feuilletage F ′ le long de γ j , j = 1, . . .,v(K).
Proposition 2.3.3. — Pour chaque j = 1, . . .,v(K), donnons-nous un germe de
famille de difféomorphismes formels h j, t ∈ ÔT, m 0
dépendant analytiquement du
paramètre t ∈ P et tels que
h j, 0 = h j , et h −1
v(K), t = h 1, t ◦ · · ·h v(K)−1, t .
( )
Il existe alors une déformation transversalement formelle F ′ P, K de ˜M0 , K, F ′ de
(
paramètres P réalisée sur le produit ˜M0 × P, K × P)
telle que pour chaque j =
1, . . .,v(K), l’holonomie du feuilletage (de dimension 1) F ′ P, K le long du lacet γ j,
calculée sur la transversale (T × P, (m 0 , 0)) est égale à h j (u, t) := h j, t (u).