Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 59
deux facteurs intégrants u(z 1 , z 2 )z α 2 et f ◦ E F de EF ∗ (ω) diffèrent d’un facteur
multiplicatif qui est une intégrale première formelle méromorphe, ce qui donne :
f ◦ E F = u(z 1 , z 2 )z 2 β l (z 2 ), avec l (z 2 ) ∈ C[[z 2 ]] , l (0) ≠ 0 , β ∈ Z.
Par hypothèse f est une équation (non-nécessairement réduite) de Ŝep(ω). La
caractérisation (3.1.9) des feuilletages de deuxième espèce donne β ≥ α + 1 . Le
β−α
champ X m := l (z 2 )z ∂ 2 est basique et convient.
∂z 2
Lorsque m est un point singulier de ˜F il existe d’après (3.1.3) des coordonnées
transversalement formelles z 1 , z 2 dans lesquelles D F est défini par un monôme et
EF ∗ (ω) s’écrit u(z 1, z 2 )z1 αzβ 2 ˜ω , u(0, 0) ≠ 0 , où ˜ω est l’une des formes normales 1.
à 4. de (3.1). On voit facilement sur ces expressions qu’il existe toujours un germe
Z m ∈ ̂B˜F, m
non-tangent au feuilletage ˜F . Cela sera explicité en détail au paragraphe
suivant. Ainsi h := u(z 1 , z 2 )z1 α z β 2 ˜ω(Z m) est un facteur intégrant de EF ∗ (ω). Si ˜F
ne possède pas au point m de germe d’intégrale première formelle non-constante,
on a f ◦ E F = c h , c ∈ C et le champ X m := c Z m convient. Sinon ˜ω s’écrit
q z 1 dz 2 + p z 2 dz 1 avec p, q ∈ N ∗ et (p, q) = 1 . Alors C[[z p 1 zq 2 ]] est l’anneau des
germes en m d’intégrales premières formelles cf. [22]. Visiblement le champ radial
R m := z 1
∂
∂z1
+z 2
∂
∂z2
est basique et non-tangent. Il vient f ◦E F = l (z p 1 zq 2 )h(z 1, z 2 ),
où, comme précédemment, l est une série formelle d’une variable car F est de
deuxième espèce. Le champ X m := l (z p 1 zq 2 )h(z 1, z 2 )R m convient.
Il reste à prouver que ̂ε(F) vaut 0 ou 1 . Visiblement que Înt (ω) est un module
libre de rang 1 sur l’anneau ÔF des germes à l’origine de C 2 , d’intégrales premières
formelles de F . De même ω · ̂B(ω) est un sous ÔF-module. Ainsi, le résultat est
trivial quand ÔF = C .
Lorsque w possède une intégrale première formelle non-constante f dont la décomposition
en facteurs irréductibles est f 1 · · · f p p , elle s’écrit
n1 n
(
)
df 1 df p
ω = u f 1 · · ·f p n 1 + · · · + n p u ∈
f 1 f ÔC 2 ,0 , u(0, 0) ≠ O
p
et g := f 1 · · · f p est une équation réduite de Ŝep(ω). Ainsi Înt (ω) = C[[f]] ug . On
voit facilement que g appartient à l’idéal I(ω) engendré par les coefficients de ω si et
seulement si f est quasi-homogène, i.e. f ∈ I(df). Lorsque c’est le cas on obtient un
champ X tel que ω ·X = ug et ̂ε(F) = 0 . Si f n’est pas quasi-homogène, ug /∈ ω · ̂B(ω)
et ̂ε(F) ≠ 0 . Mais le théorème de Briançon [4] assure que l’on peut résoudre l’équation
df · X = f 2 . Il vient ω · X = ugf et ω · ̂B(ω) = (f 2 ) · ug . D’où ̂ε(F) = 1 .
4.6. Déformations ŜL-verselles. — Dans cette partie nous montrons, sous une
condition générique sur le feuilletage -F bon- un théorème de versalité pour les
déformations ŜL -équisingulières.