Modules formels locaux de feuilletages holomorphes - arXiv

10 J.-F. MATTEI & E. SALEM
Ce chapitre est technique. Nous suggèrons de limiter une première lecture au vocabulaire
nécéssaire à l’ennoncé des théorèmes (1.4.8) et (1.4.6).
Chapitre 2. Nous développons une technique très générale de construction de
déformations ŜL-équisingulières. La notion clé est celle de système semi-local cohérent
(2.3.5). Elle permet d’établir un théorème de réalisation de déformation ŜL-équisingulières
(2.3.6), avec controle des jets de la 1-forme définissant la déformation.
Chapitre 3. Nous dégageons l’importante classe des 1-formes de deuxième espèce,
pour lesquelles l’equiréduction d’une déformation est équivalente à la constance de
l’arbre dual pondéré par les auto-intersections, cf. le théorème (3.2.3). Le théorème
(3.1.9) donne des condition équivalentes très simples qui caractérise cette classe.
Chapitre 4. Nous introduisons la notion de ŜL -équisingularité, de déformation
infinitésimale et, après avoir donné des techniques de construction de déformations,
nous prouvons le théorème principal 1 en admettant le théorème de préparation.
Chapitre 5. Nous prouvons le théorème principal 2, puis le théorème de préparation.
Chapitre 6. Nous stratifions l’espace de formes de deuxième espèce et nous montrons
le théorème principal 3.
1. Préliminaires sur les arbres d’éclatements
L’objet de ce chapitre est de prouver des propriétés de ”stabilité” et de ”détermination
finie” pour des espaces obtenus à partir de C 2 par une succession d’éclatements
ponctuels au dessus de 0, Théorèmes (1.4.6) et (1.4.8).
1.1. Arbres et arbres duaux. — Nous appelons ici arbre au dessus d’une variété
holomorphe connexe Q de dimension p la donnée d’un diagramme commutatif A Q :
(6)
M h −→ · · · −→ M j E
−→ j
M j−1 E
−→ · · · −→ 1
M 0 π
⋃ ⋃ ⋃ ⋃
−→
Σ h −→ · · · −→ Σ j −→ Σ j−1 −→ · · · −→ Σ 0
⋃ ⋃ ⋃ ⋃
S h −→ · · · −→ S j −→ S j−1 −→ · · · −→ S 0
Q
où, pour chaque j = 0, . . .,h : M j est une variété analytique complexe lisse de dimension
2 + p appelée jème espace éclaté, Σ j est un sous-ensemble analytique fermé
de M j de dimension p appelé jème lieu de singularités, S j est une sous-variété analytique
lisse fermée (non nécessairement connexe) de Σ j de dimension p appelé jème
centre d’éclatement, éventuellement S h peut être vide, et tels que, en notant
E j := E 0 ◦ · · · ◦ E j , π j := π ◦ E j , D j := E −1
j (S 0 ), ,