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 73<br />

Montrons que ˜∆ B est surjective. Donnons nous un élément (X j,j+1 ) j=0,...,n<br />

<strong>de</strong><br />

Z 1 (B). Faisons les i<strong>de</strong>ntifications<br />

E s0 ⊂ E s0s 1<br />

⊂ E s1 ⊂ E s1s 2<br />

⊂ · · · · · · ⊂ E sn ⊂ E sns n+1<br />

⊂ E sn+1 ,<br />

puisque s 0 est un sommet répulsif <strong>de</strong> la branche sécable B . Il est évi<strong>de</strong>nt que l’on<br />

peut résoudre le système d’équations<br />

X 1 − 0 = X 0,1 , X 2 − X 1 = X 1,2 , . . ., X n,n+1 = X n+1 − X n ,<br />

d’inconnues X j ∈ E sj .<br />

Ainsi π 1 induit un isomorphisme [ π 1] : H 1 (K) −→ ∼<br />

H 1 (K ′ ). Comme l’application<br />

λ 1 K est une section <strong>de</strong> ′<br />

π1 , on obtient que [ ]<br />

λ 1 K est aussi un isomorphisme.<br />

′<br />

Supposons ̂R ∗ (F) connexe, non-vi<strong>de</strong> et répulsif et montrons que F est t.f.f.. Notons<br />

K 0 := ̂N ∗ (F). aucun sommet vert <strong>de</strong> K 0 n’est du type ←− ⋆ −→ . Chaque sommet<br />

vert s j extrémité <strong>de</strong> K 0 , j = 1, . . .,r 0 est aussi l’extrémité libre d’une branche verte<br />

sécable B j <strong>de</strong> K 0 , le sommet d’attache <strong>de</strong> B j étant soit un sommet rouge, soit un<br />

sommet vert <strong>de</strong> valence ≥ 3 . Considérons le sous-graphe K 1 obtenu en élagant K 0<br />

(dans un ordre indifférent) <strong>de</strong>s branches B 1 , . . . , B r0 . Le graphe K 1 est connexe et<br />

̂R ∗ (F) est toujours une partie connexe répulsive <strong>de</strong> K 1 . En répétant cette opération<br />

on obtient une filtration ̂N ∗ (F) =: K 0 ⊃ K 1 ⊃ · · · ⊃ K p avec K p = ̂R ∗ (F). Le<br />

lemme donne :<br />

(90) H 1 (̂N∗ )<br />

(F) = H 1 (̂R∗ )<br />

(F)<br />

Nous allons maintenant élaguer ̂R ∗ (F).<br />

Appelons branche rouge sécable d’un sous-graphe connexe K <strong>de</strong> ̂R ∗ (F) toute<br />

géodésique B ⊂ K qui joint une extrémité <strong>de</strong> K <strong>de</strong> poids 1 à un sommet <strong>de</strong> K qui<br />

est soit <strong>de</strong> valence ≠ 2 dans K , soit <strong>de</strong> valence 2 dans K et <strong>de</strong> poids 0, et telle<br />

que les autres sommets sont <strong>de</strong> valence 2 dans K et <strong>de</strong> poids 1. Lorsque B = K et<br />

tous les sommets <strong>de</strong> B sont <strong>de</strong> poids 1, on choisit arbitrairement l’un <strong>de</strong>s sommets<br />

extrémité que l’on appelle sommet d’attache <strong>de</strong> B . Dans les autres cas on appelle<br />

sommet d’attache <strong>de</strong> B le sommet extrémité qui est <strong>de</strong> valence ≥ 3 ou <strong>de</strong> poids 0.<br />

Chaque sommet extrémité <strong>de</strong> ̂R ∗ (F) qui n’est pas <strong>de</strong> poids 0 est aussi l’extrémité<br />

libre d’une branche rouge sécable. En itérant l’opération qui consiste à élaguer successivement<br />

toutes ces branches, on construit <strong>de</strong> nouveau une filtration finie décroissante<br />

<strong>de</strong> premier terme ̂R ∗ (F). Le <strong>de</strong>rnier terme <strong>de</strong> cette filtration est soit un point, soit<br />

un sous-graphe connexe El ( ̂R ∗ (F)) ⊂ ̂R ∗ (F) dont les sommets extrémité sont <strong>de</strong><br />

poids 0. ainsi El ( ̂R ∗ (F)) est l’union (non-vi<strong>de</strong>) <strong>de</strong>s parties actives rouges L 1 , . . . , L r<br />

<strong>de</strong> ̂N ∗ (F). On a :<br />

H 1 (̂N∗ ) ∼<br />

(F) −→ H<br />

1 (̂R∗ ) ( ( ∼<br />

(F) −→ H<br />

1<br />

El (F)))<br />

̂R∗ .<br />

Pour achever la démonstration il reste à montrer le

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

Saved successfully!

Ooh no, something went wrong!