Modules formels locaux de feuilletages holomorphes - arXiv

86 J.-F. MATTEI & E. SALEM
non-dégénerescence et de tangence à la déformation constante soient satisfaites. Nous
allons construire les déformations
(95) ˜FC, K , K ∈ C k+1 − C k ,
( )
pour que la collection ˜FC, K satisfasse aussi les mêmes conditions.
K∈Ck+1 Lorsque l’opération L k+1 ↦−→ L k+2 est un élagage, chaque branche B de L k+1
porte sur l’une de ses extrémités un point singulier c B qui est un point d’attache
d’une branche ou d’un diviseur de tête de L k . Ainsi c B est un élément de C k et la
déformation ˜F C, cB est déjà donné par l’induction. Nous définissons alors les autres
déformations de la collection (95) à l’aide du lemme (6.2.3).
Supposons maintenant que l’opération L k+1 ↦−→ L k+2 est un étêtage. Considérons
un diviseur de tête D ⊂ L k+1 . Adoptons les mêmes notations qu’à la deuxième étape.
Ordonnons aussi les points singuliers portés par D pour que :
c 1 , . . . , c s ∈ C k et c j /∈ C k pour j ≥ s + 1 ,
et pour que c r+1 soit le point d’attache de D sur L k+1 . On a : s ≥ 1 et r ≥ 2.
Pour j = 1, . . .,s, les déformations ˜F C, cj sont déja données par l’induction. En plus
du système de lacets γ 1 , . . . , γ r+1 , donnons-nous aussi pour chaque j = 1, . . .,s un
disque conforme ∆ j ⊂ W j , c j ∈ ◦ ∆j suffisament petit pour que les germes ˜F C,cj (t),
soient réalisés et à singularités isolées c j (t) dans ∆ j .
Remarquons d’abord que les holonomies ˜h j,t de ˜FC,cj (t) le long des lacets
β j := ∂∆ j , j = 1, · · · , s, sont toutes différentes de l’identité. En effet, si k > 1,
les germes ˜F C,cj (t) en c j (t) ne possèdent pas d’intégrale première t.f. non-constante
d’après les conditions de non-dégénérescence de l’induction : les points c 1 , . . . , c s sont
des points d’attache de chaines de D ω , ou bien des points d’intersections de deux
composantes de Dω de valence ≥ 3. Si k = 1, les points c 1 , . . .,c s sont des points
d’attache de branche ou de diviseurs de tête. Le lemme (6.2.5) ou la remarque (6.2.6)
ci dessus permettent de conclure.
Première éventualité s = r. Pour construire ˜F C, K pour K = D − {c 1 , . . . , c r+1 },
il suffit de déterminer des difféomorphismes formels h 1,t , . . .,h r+1,t dépendant holomorphiquement
d’un petit paramètre t ∈ (C, 0), qui satisfont les condition (a)–(c) ci
dessous, puis d’appliquer la proposition (2.3.3)à ces difféomorphismes :
(a) pour j = 1, . . .,s, chaque h j,t est t.f. conjugué à ˜h j,t par un difféomorphisme
t.f. l-tangent à l’identité,
(b) h r+1,t = (h 1,t ◦ · · · ◦ h r,t ) −1 ,
(c) pour t ≠ 0, h r+1,t n’est pas périodique et le groupe engendré par h 1,t , . . . , h r,t
n’est pas abélien.
Les difféomorphismes t.f. ˜h j,t étant différents de l’identité pour t ≠ 0 nous déterminons
aisément h 2,t , . . .,h r,t vérifiant (a) pour que g t := h 2,t ◦ · · ·h r,t ne soit pas l’identité.
On utilise alors lemme suivant dont la démonstration est laissée au lecteur.