Modules formels locaux de feuilletages holomorphes - arXiv

44 J.-F. MATTEI & E. SALEM
Théorème 3.2.3. — Soit F un feuilletage formel à l’origine de C 2 à singularité
isolée non-réduite et non-dicritique et soit F P une déformation de F formelle le long
de 0 × P cf (29), de lieu singulier relatif 0 × P . Alors :
1. F P est équiréductible si et seulement si pour chaque t ∈ P assez petit, les
arbres flèchés et doublement pondérés (par auto-intersection et par multiplicités)
Ǎ[F P (t)] et Ǎ[F] définis en (3.1) sont égaux (10) .
2. Si de plus F est de deuxième espèce, F P est équiréductible si et seulement si
pour chaque t ∈ P assez petit, les arbres duaux de réduction (flèchés et pondérés
par auto-intersection) A ∗ [F P (t)] et A ∗ [F] sont égaux.
Remarque 3.2.4. — La condition Sing P (F P ) = 0 × P est une hypothèse essentielle
dans ce théorème. Dans l’exemple de la déformation F C donnée par η :=
y dx+x(x −t)dy cette hypothèse n’est pas satisfaite bien qu’en chaque point (0, t) le
feuilletage F C (t) soit réduit et de multiplicité algébrique un. On construit facilement
des déformations satisfaisant Ǎ[F P(t)] = Ǎ[F] où ce phénomène se produit à une
étape du processus de réduction. Ces déformations ne sont pas équiréductibles car
Sing P (F P ) ≠ 0 × P.
Démonstration du théorème. — Montrons d’abord l’équivalence 1. Une des implication
est triviale. Soit η := A(x, y; t)dx + B(x, y; t)dy une 1-forme définissant F P .
Notons η t la restriction de η à ( C 2 × P, (0; t) ) et
(
M
j
ηt
, E j η t
, Σ j η t
, S j η t
, π ηt, j, D j ν t
)
j=0,...,h ηt
l’arbre de réduction A[F P (t)] . Désignons par η j t la 1-forme différentielle sur Mj η t
,
image réciproque de η t par la composée Eη 1 t
◦ · · · ◦ Eη j t
et par F j P
(t) le transformé
strict de F P (t) sur M j η t
. Supposons satisfaite l’égalité
(54) Ǎ[F P (t)] = Ǎ[F] .
Nous allons construire par induction un arbre d’équiréduction de F P , mais auparavant
faisons quelque remarques utiles.
La difficulté principale est qu’on ne dispose pas de notion de ”continuité” de la
correspondance t ↦−→ Ǎ[F P(t)] . En effet lorsque Ǎ[F] possède des symétries nontriviales
on ne peut pas en général, à partir seulement de la donnée de Ǎ[F P(t)],
associer de façon canonique une composante irréductible du diviseur de réduction D ηt
de F P (t) à chaque sommet de Ǎ[F P(t)] . La condition (54) donne cependant quelques
informations globales. On sait en effet retrouver à partir de la pondération par autointersection
”l’ordre de création des composantes”. Plus précisément effectuons sur
Ǎ[F P (t)] les opérations qui correspondent aux contractions des composantes de D ηt
(10) L’égalité signifie l’isomorphisme, en un sens clair, d’arbres flèchés et doublement pondérés,
puisque ces arbres, comme graphes dans R 2 , ne sont en fait définis qu’à isomophisme près.