Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 77
à l’intersection de π −1
F
(0) et du diviseur exceptionnel D FP ⊂ M FP . On peut donc
P
écrire : M F ⊂ M FP et D F ⊂ D FP ⊂ M FP . Par hypothèse, pour chaque ouvert U
du recouvrement distingué U de D F , le germe de ˜F P le long de U est conjugué au
germe de la déformation constante. On dispose ainsi de germes de rétractions
R U := ( M FP , U ) −→ (M F , U) , U ∈ U ,
(
tels que l’image réciproque (19) R ˜F)
U
∗ de ˜F et l’application tangente de π FP
définissent ˜F
)
P au voisinage de U, c’est à dire : ̂Λ˜FP = RU
(̂Λ˜F ∗ +(dt 1 , . . .,dt p ). Considérons
le faisceau d’anneaux Ô˜F P
de base D FP constitué des germes f ∈ ÔM˜F P
,m
de fonctions transversalement formelles le long de D FP qui sont des intégrales
premières de ˜F P , c’est à dire qui vérifient df ∧ η = 0, pour tout germe η ∈ ̂Λ˜FP . ,m
Restreignons ce faisceau au ( dessus de 0 et considérons le faisceau suivant
)
:= i −1 , où i : D Ô˜FP Ô˜FP F ֒→ D FP , i(m) := m
qui a mêmes fibres que Ô˜F P
mais est de base D F . Les co-morphismes
R ∗ U : Ô˜F (U) ֒→ Ô˜F P
(U) et π ∗ F P
: O P ֒→ Ô˜F P
(U), U ∈ U ,
permettent de considérer O P et Ô˜F (U) comme des sous-anneaux de Ô˜F P
(U). On voit
que les seules éventualités sont :
– Ô˜F (U) = C et Ô˜FP (U) = π ∗ F P
(O P ) = C {t},
– Ô˜F (U) = C[[f U]] et Ô˜FP
(U) = π ∗ F P
(O P )[[f U ◦ R U ]] = C {t} [[f ◦ R U ]],
où π ∗ F P
(O P )[[f U ◦ R U ]] désigne le complété de π ∗ F P
(O P )[f U ◦ R U ] dans Ô˜F P
(U)
pour la topologie (f U ◦ R U )-adique et où C {t} est l’anneau des séries convergentes
en les variables t 1 , . . . , t p .
Tout champ de vecteurs basique X ∈ ̂B˜F (U), U ∈ U, se relève par R U en un unique
champ basique et vertical noté R ∗ U (X), grâce encore à la trivialité de ˜F P le long de
U. Pour le C{t}-module ̂T˜FP (U), les seules éventualités sont :
1. Ô F (U) = C[[f U ]] et ̂T˜F (U) = C[[f U ]] · {X U }, où f U est une intégrale première
non-constante et où X U ∈ ̂B F (U) définit un élément non-nul aproprié {X U }
de ̂T F (U) . Alors Ô˜F P
(U) = C{t}[[F U ]] et ̂T˜FP (U) = C{t}[[F U ]] · {Z U }, avec
F U := f U ◦ R U /∈ C{t} et Z U := R ∗ U (X U) définissant un élément {Z U } non-nul
de ̂T˜FP (U).
2. Ô F (U) = C et ̂T˜F (U) = C · {X U } avec {X U } ≠ {0}. Alors Ô˜F P
(U) = C{t} et
̂T˜FP
(U) = C{t} · {Z U }, avec Z U := R ∗ U (X U) et {Z U } ≠ {0}.
(19) Il s’agit du faisceau engendré par les images réciproques par R U des germes formes différentielles
de , cf. (2.1.1) ̂Λ˜F