Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 65
en ∂ ∂z 1
est nulle. La restriction X 0 de ce champ à T m0 est invariante par h . Elle
admet une extension unique en un champ basique ˜X ∈
̂B˜F (U − {m}). Comme
EF ∗ (ω) · ˜X et EF ∗ (ω) · Z m sont deux facteurs intégrants de EF ∗ (ω), leur quotient Q
est une intégrale première méromorphe transversalement formelle. La restriction Q 0
de Q à T m0 est invariante par h , et, quitte à remplacer Q par 1/Q on peut supposer
que Q 0 ∈ ÔT m0
. Dans les cas 1., 3. et 4. h n’est pas périodique, ce qui implique que
l’intégrale première Q 0 - et donc aussi Q - est constante ≠ 0 . Visiblement ˜X − µ Z m ,
avec µ := Q ou 1/Q ∈ C ∗ , est un champ tangent. ainsi {µZ m } est une extension de
˜X sur U .
Il reste à examiner le cas 2. Un calcul direct de l’invariance de X 0 par h montre
alors que X 0 = l (z q 2 )z 2 ∂ ∂z 2
, l(ξ) ∈ C[[ξ]] . ainsi l (z p 1 zq 2 )z 2 ∂ ∂z 2
est une extension de X .
La démonstration de l’extension des intégrales premières est similaire. Nous la
laissons au lecteur.
Remarque 5.1.1. — L’exemple z p+1
1 dz 2 + (ζz p 1 − p)z 2 dz 1 du selle nœud tangent
donné en 4.b possède une intégrale première sur U − {m} , puisque l’holonomie h est
périodique, qui ne s’étend évidemment pas au point m. Nous verrons que la présence
d’une singularité de ce type pourra empêcher le feuilletage F d’être de type formel
fini.
5.1.4. Récapitulation. — De même qu’en (76) appelons encore couple normalisé sur
un ouvert W de D F tout élément (f, Z) de Ô˜F (W) × ̂T˜F (W) qui vérifie, toujours
avec la convention C[[1]] := C , la relation de dualité
{
ÔF (W) = C[[f]] , ̂TF (W) = C[[f]] Z ,
(77)
il existe c ∈ C tel que df · Z = c f .
Il est maintenant clair que pour chaque W ∈ U de tels couples existent. L’étude cas
par cas que l’on vient de faire, complétée par des calculs immédiats, peut se résumer
en la proposition suivante
Proposition 5.1.2. — Soient U et V des ouverts de U , U ∩ V ≠ ∅ tels que ˜F
est régulier sur V et U contient un point singulier m de ˜F qui n’est pas un sellenœud
tangent. Soit T m0 un germe de courbe formelle lisse transverse à V en un point
m 0 ∈ U ∩ V . Notons H V , resp. H U ∗ les sous-groupes de ̂Diff(T m0 ) d’holonomie de
˜F le long de V , resp. le long de U ∗ := U − {m 0 }. alors les applications naturelles
Ô˜F
(U) × ̂T˜F (U) −→ Ô˜F, m × ̂T˜F, m
, Ô˜F
(U) × ̂T˜F (U) −→ Ô˜F (U ∩ V ) × ̂T˜F (U ∩ V ),
Ô˜F
(U) × ̂T˜F (U) −→ ÔH U ∗ × ̂T HU ∗ , Ô˜F
(V ) × ̂T˜F (V ) −→ ÔH V
× ̂T HV
sont des isomorphismes respectant les couples normalisés. En particulier toute section
de Ô˜F (V ) × ̂T˜F (V ) se prolonge en une section de Ô˜F (U ∪ V ) × ̂T˜F (U ∪ V ).