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.
60 J.-F. MATTEI & E. SALEM<br />
Définition 4.6.1. — Nous dirons que le feuilletage F est bon s’il existe, soit une<br />
singularité m du transformé strict ˜F <strong>de</strong> F, soit une composante ( irréductible D du<br />
diviseur D F , telle que au voisinage <strong>de</strong> m, ou le long <strong>de</strong> D ∗ := D − Sing( ˜F)<br />
)<br />
∩ D ,<br />
toute intégrale première transversalement formelle est constante : Ô F,m = C , ou<br />
Ô F (D ∗ ) = C .<br />
Remarquons que la condition ÔF(D ∗ ) = C équivaut à la non-finitu<strong>de</strong> du groupe<br />
d’holonomie H D <strong>de</strong> la composante D , défini en (2.1.7).<br />
Fixons une déformation F Q <strong>de</strong> F <strong>de</strong> paramètres Q := (C q , 0), q ∈ N , transversalement<br />
formelle le long <strong>de</strong> 0 × Q et ŜL-équisingulière, donnée par une forme<br />
différentielle formelle<br />
ω := a(x, y; u)dx + b(x, y; u)dy .<br />
Définition 4.6.2. — Nous disons que F Q est ŜL-verselle si pour tout p ∈ N et<br />
toute déformation F P <strong>de</strong> F <strong>de</strong> paramètres P := (C p , 0), transversalement formelle<br />
le long <strong>de</strong> 0 × P et ŜL-équisingulière, il existe un germe d’application holomorphe<br />
λ : P −→ Q tel que F P soit formellement conjuguée à λ ∗ F Q . Lorsque Q = {0} et<br />
F Q est ŜL-verselle, nous dirons que F est ŜL-stable.<br />
En d’autres termes, F Q est ŜL-verselle si toute déformation formelle ŜL-équisingulière<br />
<strong>de</strong> F est définie par une 1-forme qui s’écrit Φ ∗ (a(x, y; λ(t))dx + B(x, y; λ(t))dy) , où<br />
Φ(x, y; t) = (Φ(x, y; t); t) est un difféomorphisme <strong>de</strong> ( C 2 × C p , 0 ) transversalement<br />
formel le long <strong>de</strong> 0 × C p . En particulier la ŜL-stabilité signifie que tout déformation<br />
ŜL-équisingulière <strong>de</strong> F est formellement triviale.<br />
Théorème <strong>de</strong> versalité 4.6.3. — Supposons F bon. Lorsque Q ≠ {0}, la déformation<br />
F Q est ŜL-verselle si et seulement si les ”vitesses initiales <strong>de</strong> déformation”<br />
[ [ ∂FQ ∂FQ<br />
(74)<br />
, . . . , , u = (u 1 , . . . , u q ),<br />
∂u 1<br />
]u=0<br />
∂u q<br />
]u=0<br />
forment un système <strong>de</strong> générateurs <strong>de</strong> H 1 (<br />
U; ̂B˜F<br />
)<br />
. D’autre part F est ŜL-stable si<br />
et seulement si H 1 (<br />
U; ̂B˜F<br />
)<br />
= 0.<br />
Un ingrédient essentiel <strong>de</strong> la démonstration <strong>de</strong> ce résultat est le théorème ci-<strong>de</strong>ssous.<br />
Nous le démontrerons au paragraphe (5.6)<br />
Théorème <strong>de</strong> préparation 4.6.4. — Supposons F bon ( et t.f.f.. alors, pour toute<br />
déformation ŜL-équisingulière F P <strong>de</strong> F , le O P -module H 1 U; ̂B<br />
)<br />
ṽ est <strong>de</strong> type fini.<br />
F P (<br />
Si <strong>de</strong> plus F ne possè<strong>de</strong> pas <strong>de</strong> facteur intégrant formel, alors H 1 U; ̂B<br />
)<br />
ṽ est un<br />
F P<br />
O P -module libre <strong>de</strong> rang ̂β(F).<br />
Démonstration ( du)<br />
théorème <strong>de</strong> versalité.. — Supposons que les cocycles (74) engendrent<br />
H 1 U; ̂B˜F . Soit F P une déformation ŜL -équisingulière <strong>de</strong> F . Donnons-nous