Modules formels locaux de feuilletages holomorphes - arXiv

62 J.-F. MATTEI & E. SALEM
Théorème 4.6.5. — Tout feuilletage F bon et de type formel fini possède une
déformation ŜL-verselle F P , telle que l’application
[ ]
( ∂FP
)
(75)
: T 0 P −→ H 1 U ;
∂t
̂B˜F
t=0
définie en (66) est un isomorphisme.
5. Caractérisation des singularités t.f.f.
5.1. Description du faisceau ̂T˜F . — Rappelons d’abord quelques résultats de
classification formelle des sous-groupes de type fini H du groupe ̂Diff (C, 0) des
difféomorphismes formels de (C, 0), cf. [27] ou [14]. Nous notons ÔH ⊂ C[[z]] l’anneau
des séries formelles invariantes par l’action à droite g ⋆ h := h ◦ g −1 de H sur ÔC, 0 =
C[[z]] . Les éléments de ÔH sont appelés intégrales premières de H . De même un
champ de vecteurs formel qui s’annule à l’origine et qui est invariant par l’action (de
conjugaison) de H est appelé symétrie formelle de H. L’espace de ces champs est noté
̂T H . On a :
1. ̂TH est soit nul, soit un ÔH-module libre de rang 1 ;
2. H est fini, #H =: p , si et seulement si il existe f ∈ ÔH non-constante. Dans ce
cas, il existe une coordonnée formelle ˜z telle que H est engendré par la rotation
e 2iπ/p ˜z . On a alors nécessairement : Ô H = C[[˜z p ]] , ̂T H = ÔH˜z ∂ ∂ω z ;
3. H est commutatif si et seulement si son action laisse invariant un champ de
vecteurs formel Z ∈ C[[z]]z ∂ non-identiquement nul. Si de plus H est d’ordre
∂z
infini, alors ̂T H = CZ .
Nous dirons qu’un couple (f, Z) ∈ ÔH × ̂T H est normalisé si, avec la convention
C[[1]] := C , il satisfait les relations de dualité :
(76) Ô H = C[[f]] , ̂TH = C[[f]] Z , il existe c ∈ C tel que df · Z = c f .
Dans chacun des cas 1., 2., 3. l’existence de tels couples est claire.
Notons Ô˜F le faisceau de base D F des germes, aux points de D F , des intégrales
premières transversalement formelles de ˜F . Nous allons expliciter, pour les ouverts U
du recouvrement distingué U , les espaces ̂T˜F (U) de sections du faisceau des champs
transverses (4.3.1).
5.1.1. L’ouvert U ∈ U ne contient pas de singularités de ˜F . — Fixons un point m 0
sur U , ainsi qu’un germe de courbe T m0 analytique ou formelle, lisse et transverse
à U en m 0 . Nous la munissons d’une coordonnée formelle z ∈ ÔT m0
, z(m 0 ) = 0 .
D’après l’écriture (61) tout champ formel Z sur T m0 qui s’annule en m 0 s’étend en
un germe de champ basique en m 0 , définissant un unique élément de ̂T˜F, m0
. De plus
tout élément de ̂T˜F,m0 est de ce type. ainsi ̂T˜F,m0 ≃ ÔT m0
z ∂ . La restriction de
∂z ̂T˜F
à U est un faisceau localement constant (4.3.2) dont la monodromie le long d’un lacet