Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 79
où C(F) est le bouquet de cercles défini en (5.2.2).
(
Pour voir que H 1 U; ̂B
)
ṽ est de type fini sur C{t}, il suffit maintenant de rappeler
[20] que H 1 U; est libre de type fini et de considérer les derniers termes
( F)
P
̂X˜FP
de la suite exacte longue (4.3.4). Lorsque F(
n’admet ) pas de facteur intégrant formel,
on voit facilement à l’aide de (73) que H 0 U; ̂T˜FP est nul. Ainsi (4.3.4) montre que
(
H 1 U; ̂B
)
( ) (
ṽ est la somme directe de H 1 U; et de H
F P
̂X˜FP 1 U;
). ̂T˜FP
6. Généricité des singularités t.f.f.
6.1. Jets déterminant les singularités de deuxième espèce. — Considérons
l’espace ̂Λ C 2 , 0 comme la limite projective des espaces de jets, via les applications
canoniques j k : ̂Λ C 2 , 0 → J0 kΛ := ̂Λ
/
C 2 , 0 ̂m 2·̂Λ C 2 , 0 , où ̂m 2 désigne l’idéal maximal
de ÔC 2 , 0. A l’aide des coordonnées canoniques identifions J0 k Λ à l’espace vectoriel
P k := {(P, Q) ∈ C[X, Y ] / deg(P), deg(Q) ≤ k} .
Classiquement pour chaque entier r , le sous-ensemble L k, r ⊂ P k des couples (P, Q)
qui engendrent un idéal de ÔC 2 , 0 de colongueur
)
µ(P, Q) := dim C
(ÔC 2 ,0/(P, Q)
supérieure ou égale à r, est algébrique fermé. En raffinant la partition de P k par les
composantes connexes des différences L k, r+1 −L k ,r , on obtient une une stratification
E k µ de P k , localement finie pour la topologie de zariski, telle que chaque strate est un
ensemble constructible lisse le long duquel µ(P, Q) est constant.
Considérons maintenant la famille ”linéaire” de feuilletages F Pk
, d’espace (global)
de paramètres P k , définie par :
Ω P, Q := ẼP(x, y)dx + ẼQ(x, y)dy où Ẽ F (x, y) := F(x, y), F ∈ P k .
Il découle (20) de l’inclusion ̂m µ(P,Q)
2 ⊂ (P, Q) que l’ouvert
W k µ.det := J k 0 ̂Λ − L k, k+1 ,
est k-déterminant pour le nombre de Milnor, c’est à dire : µ(ω) = µ(η) < ∞ dès que
j k ω = j k η ∈ Wµ.det k . Visiblement W µ.det k est une union de strates de Ek µ et la famille
Wµ.det k := (jk ) −1 (Wµ.det k ) vérifie :
Wµ.det k ⊂ W k+1
µ.det , k ∈ N et ⋃
W j µ.det
= ̂Λ sat ,
j∈N
(20) La suite de sous-espaces vectoriels de codimension finie F j := (P, Q)+̂m j 2 ⊂ ̂Λ C 2 ,0 est décroissante
et F r = F r+1 pour un entier r ≤ µ(P, Q). On conclut par le lemme de Nakayama.