Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 81
1. Si j k ω ∈ W k, l
p.red
alors ω est à singularité isolée et son k-jet est l-déterminant
pour la pré-réduction des singularités;
2. Si S est une strate de E k k, l
p.red contenue dans Wp.red et k ≤ k′ , alors (jk k ′)−1 (S)
est une strate de E k′
p.red contenue dans W k′ , l
p.red ; En particulier (jk k ′)−1 (W k, l
p.red ) ⊂
W k′ , l
p.red ;
3. On a : W k, l
p.red ⊂ Wk′ , l
p.red , k ≤ k′
et
⋃
r∈N
r>l
W r, l
p.red = ̂Λ sat .
Ainsi deux éléments distincts de la famille
E p.red :=
{(j k ) −1 (S) ⊂ ̂Λ
}
sat
/S ∈ E k p.red , k − σ(ν S, h ′ S ) > 1 , k ∈ N
sont d’intersection vide. Nous pouvons maintenant appliquer le théorème (3.3.5) à
chaque S ∈ E k p.red avec k − σ(ν S, h ′ S ) > 1 . Finalement nous obtenons :
Théorème 6.1.2. — Pour chaque S ∈ E p.red il existe une fonction croissante k S :
N −→ N telle que pour k ≥ k S (l) on a :
1. l’ensemble S k := j k (S) est constructible et S = (j k ) −1 (S k ),
2. les jets d’ordre k des éléments de S sont l-déterminants pour la pré-réduction
des singularités,
3. une famille {ω t } t de 1-formes formelle dépendant analytiquement d’un
paramètre t définit une déformation équi-pré-réductible de ω 0 si et seulement
si ω t ∈ S .
4. le sous-ensemble S 2 ⊂ S des éléments de S qui sont des 1-formes de deuxième
espèce vérifie :
(a) S 2 = (j k ) −1 (S 2 k ) avec S2 k := jk (S 2 )
(b) la différence S k − S 2 k est une union dénombrable localement finie (dans
S k , pour la topologie usuelle) de sous ensembles algébriques et l’adhérence
S k − S 2 k est semi-algébrique réelle.
6.2. Krull-densité des singularités t.f.f.— Nous étudions ici la Krull densité
des feuilletages t.f.f.. Nous nous restreignons ici aux feuilletages de deuxième espèce,
qui donnent des ennoncés plus concis. Mais la Krull densité peut s’obtenir pour des
classes plus larges de feuilletages, en permettant par exemple des singularités de type
selle-nœud tangent résonant (3.1.2).
Désignons par Ê2 , resp. Ê2 tff , resp. ̂ND, les sous-ensembles de ̂Λ C2 , 0 des 1-formes
formelles de deuxième espèce, resp. de deuxième espèce t.f.f., resp. non-dégénérées
(5.5.1). D’après (5.5.2) on a ̂ND ⊂ Ê2 tff . Une conséquence immédiate du théorème
précédent (6.1.2) est que Ê2 et ̂ND sont des ouverts de ̂Λ C 2 , 0 pour la topologie de
Krull.
Théorème de généricité 6.2.1. — L’ouvert ̂ND - et à fortiori Ê2 tff
, est dense
dans Ê2 pour la topologie de Krull.