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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 13<br />

3. A ∗ P = A′ P ∗ .<br />

1.2. Arbres infinitésimaux et relèvements. — Arbres et arbres duaux Une<br />

pondération équivalente <strong>de</strong>s sommets <strong>de</strong> l’arbre dual d’un germe d’arbre A P <strong>de</strong> hauteur<br />

h au <strong>de</strong>ssus <strong>de</strong> P , noté encore (6), est la ”pondération algébrique” D ↦−→ m(D).<br />

Avant <strong>de</strong> la définir, fixons quelques notations. Pour chaque niveau j = 0, . . .,h<br />

désignons par :<br />

O (j) la restriction au j-ème diviseur exceptionnel D j 0 ⊂ Dj ⊂ M j <strong>de</strong><br />

l’arbre A P (0), du faisceau O M j <strong>de</strong>s germes <strong>de</strong> fonctions <strong>holomorphes</strong><br />

<strong>de</strong> M j , i.e. O (j) = ι −1<br />

j<br />

( O M j ) où ι j : D j 0 ֒→ Mj est l’application<br />

d’inclusion; pour j = 0 , π −1 (0) ∩ Σ 0 est réduit à un point m 0 et<br />

O (0) est l’anneau O M0 , m 0<br />

<strong>de</strong>s germes <strong>de</strong> fonctions <strong>holomorphes</strong> en<br />

ce point,<br />

I j<br />

I 0<br />

le faisceau d’idéaux <strong>de</strong> O (j) formé <strong>de</strong>s germes qui s’annulent sur le<br />

diviseur D j , j ≥ 1 ,<br />

l’idéal <strong>de</strong> l’anneau O (0) formé <strong>de</strong>s germes <strong>de</strong> fonctions qui s’annulent<br />

sur Σ 0 = S 0 ,<br />

J (j) le faisceau d’idéaux E j ∗ (I 0 ) ⊂ O (j) , qui est localement engendré par<br />

les fonctions du type f ◦ E j , f appartenant à l’idéal I 0 ⊂ O M 0 ,<br />

J (0) = I 0 .<br />

Pour une réunion finie D ′<br />

<strong>de</strong> composantes irréductibles <strong>de</strong> D j , on notera<br />

I D ′<br />

le sous-faisceau d’idéaux <strong>de</strong> O (j) formé <strong>de</strong>s germes qui s’annulent sur<br />

D ′ .<br />

Enfin, pour simplifier, nous noterons :<br />

(11) ˜J := J(h) , Õ := O (h) Ĩ := I˜D<br />

.<br />

Visiblement J (j) se décompose <strong>de</strong> la manière suivante :<br />

∏<br />

(12) J (j) =: I m(D) D , j = 1, . . . , h ,<br />

D∈comp(D j )<br />

où comp(D j ) désigne la collection <strong>de</strong>s composantes irréductibles <strong>de</strong> D j et les exposants<br />

m (D) se calculent par le procédé très simple suivant qui ne dépend que <strong>de</strong><br />

l’arbre dual associé à A P :<br />

– m (D 1 ) = 1 ,<br />

– si D ′ ⊂ D j est le transformé strict d’une composante D <strong>de</strong> D j−1 , alors m (D ′ ) =<br />

m (D),<br />

– si D ′ est créé par un éclatement <strong>de</strong> centre connexe C ⊂ S j−1 , alors m (D ′ ) est<br />

la somme <strong>de</strong>s ”multiplicités” m (D) <strong>de</strong>s composantes irréductibles D <strong>de</strong> D j−1<br />

qui contiennent C .<br />

Lemme 1.2.1. — Pour tout j = 0, . . .,h, les propriétés suivantes sont vérifiées :

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

Saved successfully!

Ooh no, something went wrong!