Modules formels locaux de feuilletages holomorphes - arXiv

38 J.-F. MATTEI & E. SALEM
Nous avons supposé F formel au point m 0 . Lorsque F est transversalement formel
le long de D il est naturel de chercher à obtenir la forme normale de F dans des
coordonnées transversalement formelles le long de D .
Proposition 3.1.3. — [18], [19] Soit F un feuilletage transversalement formel le
long de D admettant m 0 comme singularité isolée. Si (F, D) est réduit en m 0 et
n’est pas en ce point un selle-nœud tangent à D , il existe alors des coordonnées z 1 ,
z 2 ∈ ÔD M, m 0
, z 1 (m 0 ) = z 2 (m 0 ) = 0 transversalement formelles le long de D et
u ∈ ÔD M, m 0
, u(m 0 ) ≠ 0 telles que ω = u ˜ω et ˜ω est l’une des 1-formes 1. à 4.
ci-dessus.
Lorsqu’un feuilletage formel F à l’origine de C 2 défini par une 1-forme à singularité
isolée, Sing(ω) = {0} (8)
ω := a(x, y)dx + b(x, y)dy
n’est pas réduit on construit un arbre au dessus de {0}, dans le sens du chapitre 1,
mais de hauteur à priori infinie, noté
( (
)
(42) M
j
ω , Eω, j Σ j ω, Cω, j π ω, j , Dω
j )j , ou M j F , Ej F , Σj F , Cj F , π F, j, D j F
en définissant par induction la succession d’éclatements de la manière suivante :
1. M 0 ω := C2 , Σ 0 ω := {0} =: C0 ω ,
2. Σ j ω := Sing(Fj , D j ω ) où Fj désigne le transformé strict de F par l’application
E ω, j := E 1 ω ◦ · · · ◦E j ω composée des éclatements de centres C k ω, k = 0, . . .,j −1
et D j ω := E −1
ω, j (0),
3. C j ω ⊂ Σj ω est l’ensemble des points de Dj ω où le couple ( F j , D j ω)
n’est pas
réduit.
Un théorème classique de Bendixon-Seidenberg [2] [30] [22] affirme que l’arbre
de réduction d’un feuilletage formel à l’origine de C 2 est de hauteur finie : avec les
notations ci-dessus, il existe un entier noté h ω ou h F pour lequel Cω hω = ∅ .
Dans toute la suite du texte nous désignerons indifféremment par A[F] ou A[ω]
l’arbre (42) que nous appelons arbre de réduction de F ou de ω. Nous noterons aussi
(43)
E F := E ω := E ω, hω ,
M ω := M hω
ω , D F := D ω := E −1
ω (0),
j
˜F := E
∗
ω (F).
Définition 3.1.4. — Nous dirons que :
F est non-dicritique si D F est un ensemble invariant de ˜F ,
F est de deuxième espèce s’il est non-dicritique et si aucun point singulier de ˜F
n’est de type selle-nœud tangent.
F est semi-hyperbolique (9) s’il est non-dicritique et si aucun point singulier de ˜F
n’est de type selle-nœud.
(8) i.e. dim C
(
OC 2 , 0/ (a, b)
) < ∞
(9) Ces feuilletages sont aussi appelés courbes généralisées dans [6]