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 11<br />
avec j = 0, . . .,h, on ait :<br />
0. π est une submersion,<br />
1. chaque E j+1 est l’application d’éclatement <strong>de</strong> centre S j ,<br />
2. chaque S j est une union <strong>de</strong> composantes irréductibles <strong>de</strong> Σ j et Σ 0 = S 0 ,<br />
3. chaque Σ j est contenu dans D j et la restriction <strong>de</strong> π j à Σ j est propre à fibres<br />
finies,<br />
4. pour chaque j = 1, . . . , h la restriction <strong>de</strong> π j à chaque composante connexe <strong>de</strong><br />
S j est un biholomorphisme sur Q .<br />
Définition 1.1.1. — Nous dirons que l’arbre A Q est régulier si chaque Σ j est lisse<br />
et la restriction <strong>de</strong> π j à chaque composante connexe <strong>de</strong> Σ j est un biholomorphisme<br />
sur Q .<br />
Nous noterons<br />
(7) A Q = (M j , E j , Σ j , S j , π j , D j ) j=0,...,h .<br />
L’entier h s’appelle la hauteur <strong>de</strong> l’arbre, la variété M 0 son socle, M h sa cime et D j<br />
le jème diviseur exceptionnel. Pour simplifier nous désignerons les données <strong>de</strong> cime<br />
<strong>de</strong> la manière suivante :<br />
(8) ˜M := M h , ˜Σ := Σ h , ˜D := D h , Ẽ := E h , ˜π := π h .<br />
On définit l’image inverse <strong>de</strong> A Q par une application holomorphe λ d’une variété<br />
holomorphe Q ′ dans Q , comme le diagramme λ ⋆ A Q obtenu <strong>de</strong> manière naturelle à<br />
partir <strong>de</strong> (6) par produits fibrés <strong>de</strong> λ et <strong>de</strong>s π j . C’est un arbre au <strong>de</strong>ssus <strong>de</strong> Q ′ . En<br />
particulier lorsque Q ′ se réduit à un seul point t ∈ Q cette opération donne la fibre<br />
<strong>de</strong> A Q au <strong>de</strong>ssus <strong>de</strong> t, c’est à dire l’arbre noté :<br />
(9) A Q (t) = (M j t , Ej t , Σj t , Sj t , π j,t , D j t ) j=0,...,h ,<br />
qui s’obtient en restreignant les espaces et les applications du diagramme (6) aux<br />
fibres π −1<br />
j (t). En particulier Σ 0 t = St 0 est réduit à un point.<br />
Fixons un point t 0 <strong>de</strong> Q . Nous appellerons germe <strong>de</strong> A Q au <strong>de</strong>ssus <strong>de</strong> (Q, t 0 ) le<br />
diagramme obtenu à partir <strong>de</strong> (6) en remplaçant pour chaque j = 1, . . .,h les espaces<br />
et les applications par leurs germes le long <strong>de</strong>s diviseurs exceptionnels D j t 0<br />
⊂ D j <strong>de</strong><br />
A Q (t 0 ) et, pour j = 0 , en remplaçant M 0 et Σ 0 = S 0 et par leurs germes au point<br />
{m 0 } := Σ 0 t 0<br />
= S 0 t 0<br />
.<br />
Deux germes d’arbres au <strong>de</strong>ssus <strong>de</strong> P := (C p , 0) <strong>de</strong> même hauteur h<br />
A P = (M j , E j , Σ j , S j , π j , D j ) j , A ′ P = (M′ j , E<br />
′j , Σ<br />
′j , S<br />
′j , π<br />
′ j , D ′ j )j<br />
sont dits isomorphes, resp. homéomorphes, s’il existe le long <strong>de</strong> chaque diviseur D j 0<br />
<strong>de</strong> A P (0) <strong>de</strong>s germes <strong>de</strong> biholomorphismes, resp. d’homéomorphismes<br />
φ j : (M j , D j 0 ) −→ (M′ j , D<br />
′j<br />
0 ), j = 0, . . .,h