Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 15
au dessus de P qui induit un germe de biholomorphisme de (S, s 0 ) sur ({0} × P, 0).
Démonstration. — Le morphisme τ est entièrement déterminé par les images
f := τ ∗ (x), g := τ ∗ (y) ∈ H 0 ( )
D 0 ; O M j[k]
des deux premières coordonnées de C 2 × P par le co-morphisme
τ ∗ : O C 2 ×P, 0 −→ τ ∗
(
OM j[k])
.
On déduit facilement des égalités 2.b) et 3.b) de (1.2.1) que f et g sont induites par
des sections globales F , G ∈ H 0 (D 0 ; O M j) nulles sur D . Par le théorème d’Hartogs
elles se factorisent en des germes F ♭ , G ♭ ∈ O M j−1 , s 0
nuls sur S . On définit alors τ ♭
en prenant respectivement pour τ ♭∗ (x) et τ ♭∗ (y) les restrictions de F ♭ et de G ♭ à
M j−1[k] .
La proposition suivante peut être considérée comme une version infinitésimale de
la proposition (1.1.3).
Proposition 1.2.3. — Soit ˜φ : ˜M[k] −→ ˜M ′[k] un morphisme entre les cimes de
deux germes d’arbres infinitésimaux A [k]
P
et A′ [k]
P . Supposons que ˜φ induise un germe
le long de ˜D 0 , noté |˜φ|, de biholomorphisme entre les diviseurs de cime ˜D et ˜D′
et vérifie (10). Il existe alors un isomorphisme de germes d’arbres infinitésimaux
φ • : A [k]
P
−→ A′ [k]
P tel que φ h = ˜φ, où h désigne la hauteur (commune) de ces arbres.
Démonstration. — L’application |˜φ| transforme les composantes de ˜D de poids −1, au
sens de (1.1), en les composantes de poids −1 de ˜D ′ , car le voisinage infinitésimal d’une
composante détermine son fibré normal. Ainsi Ψ := E ′ h [k] ◦ |˜φ| envoie sur S ′ h − 1
la réunion ˜D” := ( E h) −1
(S h−1 ) des dernières composantes créées de ˜D . Comme
M ′ h−1 est analytiquement trivial le long de chaque composante S ′ de S ′ h − 1,
(M ′ h−1 , S ′ )
∼
−→ (C 2 × P, 0 × P),
d’après le théorème de contraction de Grauert [1], on peut appliquer le lemme
précédent à Ψ et, au voisinage de D”, factoriser ˜φ dans M h−1[k] par E h[k] . Sur
˜M − ˜D” le morphisme E h est un isomorphisme et la factorisation de ˜φ existe
trivialement. Elle est unique et se recolle ainsi avec celle construite au voisinage de
D” . D’où la conclusion par récurrence sur h .
Les difféomorphismes au dessus de P entre les socles M 0 et M ′0 de deux germes
d’arbres A P et A ′ P ne se relèvent pas en général aux espaces éclatés Mj et M ′j .
Cependant, lorsqu’un relevé existe, il est unique. Cette dernière propriété est en
défaut lorsqu’il s’agit de relever un isomorphisme M 0[k] −→ ∼
M ′ 0 [k] de voisinages
infinitésimaux.
De manière générale considérons un biholomorphisme f entre deux variétés lisses
au dessus d’une variété Q,
f : M ∼
−→ M ′ , π : M −→ Q , π ′ : M ′ −→ Q .