Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 9
Lorsque ω est de deuxième espèce ̂δ(F) est égal à la dimension de la strate à µ-constant
de l’union des séparatrices formelles de ω, c.f. (3.1.8).
Ce procédé combinatoire permet aussi d’expliciter une base de H 1 (
U ; ̂T˜Fω
).
Cette précision permet de voir que pour toute déformation ŜL-équisingulière η
d’une 1-forme bonne ω de base quelconque (C p , 0), ”les familles de déformations
infinitésimales” forment un ÔC p ,0-module de type fini. Plus précisément désignons
par ̂B ṽ le faisceau de base D ω ⊂ D η des germes aux points de D ω de champs de
F η
vecteurs de M η qui sont verticaux et basiques pour ˜F η .
Théorème de préparation. Si ω est bonne et t.f.f., alors H 1 (
U ; ̂B ṽ F η
)
Ô C p ,0-module de type fini, qui est libre lorsque ω ne possède pas de facteur intégrant
formel.
Ce théorème enoncé en (4.6.4) et montré en (5.6) est un ingrédient indispensable
à la démonstration du théorème principal 1. Sa démonstration ne peut pas se faire
par des arguments de géométrie analytique, car le faisceau ̂B ṽ n’est pas un faisceau
de modules sur le faisceau des fonctions t.f.. Elle utilise le caractère constructif
F η
de la démonstration du théorème principal 2, qui permetd’expliciter des bases de
déformations infinitésimales. Ainsi le shéma logique de ce papier est :
Théorème principal 2 =⇒ Théorème de préparation =⇒ Théorème principal 1 .
Nous examinons aussi la généralité de ces résultats. Nous décrivons d’abord
l’ensemble Ê2 des 1-formes formelles de deuxième espèce, en le stratifiant par ”strates
d’équisingularité”. Chaque srate est pro-constructible de codimension finie, cf. théorème
(6.1.2). Nous montrons ensuite le théorème suivant qui est précisé en (6.2.2) :
Théorème principal 3. L’ensemble Ê2 et le sous ensemble Êtff des ω ∈ Ê qui sont
t.f.f sont des ouverts de la topologie de Krull. De plus Ê2 tff est Krull-dense dans Ê2 .
Plan de l’article
Chapitre 1. Les techniques de construction de déformations, de type Kodaira-
Spencer, vont consister à decouper ˜F ω le long des ouverts d’un recouvrement adapté
U, puis à effectuer des recollements t.f. le long des intersections de ces ouverts. La
première obstruction rencontrée vient du caractère formel de la variété ainsi obtenue.
L’objet de ce chapitre est de lever cette obstruction : les théorèmes de stabilité (1.4.8)
et de détermination finie (1.4.6) expriment, ”avec contrôle des jets”, la propriété
suivante
– toute variété formelle obtenue à partir de M ω par recollement t.f. est t.f. isomorphe
à une variété holomorphe, qui est la cîme d’un arbre de même arbre dual
que ω.
un