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.
MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 51<br />
Démonstration. — La métho<strong>de</strong> <strong>de</strong> construction est similaire à celle déjà ( utilisée pour )<br />
montrer le théorème <strong>de</strong> réalisation (2.3.6). Soit C := (Φ UV ) ∈ Z 1 U, Âut(F P ) .<br />
Appliquons l’assertion 5. du théorème <strong>de</strong> détermination finie (1.4.8) à l’arbre d’équiréduction<br />
A[F P ] et au cocycle induit par C dans Z<br />
(U 1 ; ̂Ĝ<br />
)<br />
. Il existe le long <strong>de</strong><br />
chaque U ∈ U un germe Φ U <strong>de</strong> difféomorphisme transversalement formel et <strong>de</strong>s germes<br />
<strong>de</strong> biholomorphismes ˜Φ UV le long <strong>de</strong>s intersections non-vi<strong>de</strong>s U ∩ V , U, V ∈ U , qui<br />
satisfont les relations <strong>de</strong> commutation avec π FP , valent l’i<strong>de</strong>ntité au <strong>de</strong>ssus <strong>de</strong> 0 et tels<br />
que : Φ UV = Φ U ◦˜Φ UV ◦Φ −1<br />
V<br />
. Soit M C la variété holomorphe obtenue en recollant par<br />
les biholomorphismes ˜Φ UV <strong>de</strong>s voisinages, dans M FP , <strong>de</strong>s ouverts U ∈ U. Elle est<br />
naturellement munie d’un diviseur D C , d’une submersion π C sur P et d’un plongement<br />
σ C : M F ֒→ M C . D’après le lemme (1.4.5) elle est biholomorphe (au <strong>de</strong>ssus <strong>de</strong> P) à<br />
la cime M ′ d’un arbre A ′ P au <strong>de</strong>ssus <strong>de</strong> P ; <strong>de</strong> plus A′ P (0) est l’arbre <strong>de</strong> réduction <strong>de</strong><br />
F . L’invariance <strong>de</strong> F P par Φ UV donne<br />
˜Φ ∗ UV (Φ U ∗ (F P )) = Φ V ∗ (F P ) .<br />
Cette égalité signifie que M C est aussi munie d’un feuilletage F C , transversalement<br />
formel le long <strong>de</strong> D C tel que σC ∗ (F C) = ˜F . On obtient ainsi sur M ′ un feuilletage<br />
transversalement formel le long du diviseur exceptionnel qui est une déformation<br />
<strong>de</strong> ˜F . Son image directe, cf. (2.1.2), (2.1.6), sur C 2 × P est, par construction, une<br />
déformation <strong>de</strong> F qui est ŜL -équivalente à F P .<br />
Remarque 4.1.3. — A priori tout ce qui précè<strong>de</strong> semble dépendre du choix du<br />
recouvrement distingué U <strong>de</strong> D F . Cela n’est pas gênant : tout d’abord, pour ce qui<br />
nous intéresse dans ce travail, nous pouvons fixer U ; d’autre part nous aurions pu<br />
définir la notion <strong>de</strong> ŜL-équivalence ainsi que l’espace <strong>de</strong> cohomologie associé en passant<br />
à la limite sur l’ensemble <strong>de</strong>s recouvrements distingués <strong>de</strong> D F (qui forme clairement<br />
un système inductif). Mais cette précaution est superflue. Il est en effet possible <strong>de</strong><br />
démontrer que, si les transformés stricts <strong>de</strong> <strong>de</strong>ux déformations équiréductibles <strong>de</strong> F<br />
sont formellement conjugués au voisinage d’un élément U <strong>de</strong> U , alors ils le sont aussi<br />
au voisinage <strong>de</strong> tout élément U ′ d’un recouvrement distingué U ′ tel que U ⊂ U ′ . Il<br />
en est <strong>de</strong> même pour <strong>de</strong>s intersections d’ouverts <strong>de</strong> recouvrements distingués.<br />
4.2. Déformations ŜL-équisingulières. — Notons F cst<br />
P la déformation constante<br />
<strong>de</strong> F <strong>de</strong> paramètres P définie en (32), c’est à dire la déformation définie par<br />
a(x, y)dx + b(x, y)dy , considérée comme 1-forme transversalement formelle le long<br />
<strong>de</strong> 0 × P dans ( C 2 × P, 0 ) . C’est évi<strong>de</strong>mment une déformation équiréductible et<br />
l’application d’équiréduction E F cst est le produit E<br />
P<br />
F × Id P : M F × P −→ C 2 × P <strong>de</strong><br />
l’application <strong>de</strong> réduction <strong>de</strong> F par l’i<strong>de</strong>ntité <strong>de</strong> P . Rappelons qu’une déformation<br />
est dite formellement triviale si elle est formellement conjuguée à F cst<br />
P .<br />
Définition 4.2.1. — Une déformation F P transversalement formelle le long <strong>de</strong> 0 ×<br />
P est dite ŜL-équisingulière si elle est équiréductible et ŜL-équivalente à F cst<br />
P .