16.07.2014 Views

Modules formels locaux de feuilletages holomorphes - arXiv

Modules formels locaux de feuilletages holomorphes - arXiv

Modules formels locaux de feuilletages holomorphes - arXiv

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!