Modules formels locaux de feuilletages holomorphes - arXiv
Modules formels locaux de feuilletages holomorphes - arXiv
Modules formels locaux de feuilletages holomorphes - arXiv
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 :