Modules formels locaux de feuilletages holomorphes - arXiv
Modules formels locaux de feuilletages holomorphes - arXiv
Modules formels locaux de feuilletages holomorphes - arXiv
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
82 J.-F. MATTEI & E. SALEM<br />
De manière plus explicite :<br />
Théorème 6.2.2. — Soit F un feuilletage formel <strong>de</strong> <strong>de</strong>uxième espèce (3.1.4)à l’origine<br />
<strong>de</strong> C 2 donné par une 1- forme formelle ω ∈ ̂Λ C 2 ,0 et soit k un entier positif.<br />
Alors il existe une 1-forme ω ′ ∈ ̂Λ C 2 , 0 et un entier k ′ ≥ k tels que :<br />
1. ω ′ est non-dégénérée au sens <strong>de</strong> (5.5.1), à fortiori t.f.f., et a même k-jet que<br />
ω ′ : j k ω ′ = j k ω,<br />
2. toute 1- forme η ∈ ̂Λ C2 ,0 vérifiant l’égalité j k′ η = j k′ ω ′ est aussi <strong>de</strong> <strong>de</strong>uxième<br />
espèce et non-dégénérée.<br />
Démonstration. — L’assertion 2. est une reformulation du fait que ̂ND est un<br />
ouvert pour la topologie <strong>de</strong> Krull, ce qui se déduit sans peine <strong>de</strong> théorème (6.1.2).<br />
Démontrons l’assertion 1.<br />
Notons ici C( ˜F) l’ensemble C (A[F]) <strong>de</strong>s éléments critiques <strong>de</strong> l’arbre <strong>de</strong> réduction<br />
<strong>de</strong> F, défini en (1.4.1). Les propriétés <strong>de</strong> non-dégénérescence sont ”semi-locales”, dans<br />
le sens où elles se vérifient à partir seulement <strong>de</strong> la collection <strong>de</strong>s germes ˜F K le long<br />
<strong>de</strong> chaque ensemble K ∈ C( ˜F), du transformé strict ˜F <strong>de</strong> la réduction <strong>de</strong> F. La<br />
démonstration va consister à construire un système semi-local cohérent (2.3.5) <strong>de</strong><br />
déformations <strong>de</strong> ˜F<br />
( )<br />
(93) S := ˜FC, K<br />
K ∈ C(˜F) ,<br />
d’espace <strong>de</strong> paramètres (C, 0) tel que, lorsque l’on fixe le paramètre t assez petit et<br />
non-nul, les <strong>feuilletages</strong> t.f. ˜F C, K (t) satisfont les propritéés <strong>de</strong> non-dégénérescence. De<br />
plus ces déformations seront tangentes à la déformation constante, à un ordre l suffisamment<br />
grand pour que le théorème <strong>de</strong> réalisation tangente (2.3.7) donne le résultat.<br />
Avant <strong>de</strong> commencer cette construction, fixons le vocabulaire que nous allons employer<br />
ici. Soit L ⊂ D ω une union <strong>de</strong> composantes iréductible du diviseur D ω <strong>de</strong> la<br />
réduction <strong>de</strong> F. Notons Comp(L) l’ensemble <strong>de</strong>s composantes irréductibles <strong>de</strong> L. Pour<br />
D ∈ Comp(L) nous appelons respectivement L-valence <strong>de</strong> D et ˜F-valence <strong>de</strong> D les<br />
entiers<br />
(<br />
v L (D) := Card(D ∩ Sing(L)) , resp. (D) := Card D ∩ Sing( v˜F ˜F)<br />
)<br />
.<br />
Les éléments <strong>de</strong> Comp(L) <strong>de</strong> L-valence 1 s’appellent extrémités <strong>de</strong> L. Une extrémité<br />
D <strong>de</strong> L sera appelée diviseur <strong>de</strong> tête <strong>de</strong> L si v˜F<br />
(D) ≥ 3. Soit C une union connexe<br />
maximale <strong>de</strong> composantes irréductibles <strong>de</strong> L <strong>de</strong> ˜F-valences égales à 1 ou à 2. Si<br />
l’une <strong>de</strong>s <strong>de</strong>ux extrémités <strong>de</strong> C est aussi une extrémité <strong>de</strong> L nous dirons que C<br />
est une ˜F-branche <strong>de</strong> L. Dans ce cas l’adhérence <strong>de</strong> L − C est encore connexe et<br />
(L − C) ∩ L est réduit à un seul point, appelé point d’attache <strong>de</strong> C sur L. Par<br />
contre, si C ne contient pas d’extrémité <strong>de</strong> L, on dit que C est une ˜F-chaine <strong>de</strong><br />
L. Alors C est aussi une chaine <strong>de</strong> L (22) , l’adhérence <strong>de</strong> L − C n’est plus connexe<br />
(22) i.e. une union connexe maximale <strong>de</strong> composantes <strong>de</strong> L <strong>de</strong> L-valences 2.