Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 25
on a un feuilletage régulier de codimension q noté F reg . Lorsque Sing(F) n’a pas
de composante de codimension 1, on voit facilement qu’aucun point singulier m n’est
”éliminable” : on ne peut pas prolonger F reg au voisinage de m en un feuilletage
régulier. En divisant localement les générateurs de Λ F,m par le p.g.c.d. de leurs coefficients,
on construit un unique feuilletage sat(F) appelé saturé de F, qui coïncide avec
F sur la partie régulière M − Sing(F) de M et qui est maximal pour cette dernière
propriété. On a l’égalité :
Λ sat(F), m = { η ∈ Λ M, m ; η ∧ ω 1 ∧ · · · ∧ ω q = 0 , ∀ ω 1 , . . . , ω q ∈ Λ F, m
}
L’image réciproque f −1 F de F par une application holomorphe f d’une variété
holomorphe M ′ dans M est le feuilletage de codimension q localement défini par les
images réciproques f ∗ ω , ω ∈ Λ F, m lorsque celles-ci engendrent un faisceau localement
libre de rang q. Quand f est un plongement et les f ∗ ω , ω ∈ Λ F, m tous identiquement
nuls, nous dirons que M ′ est une variété intégrale ou invariante de F . Lorsque M ′
est la partie régulière d’un sous-ensemble analytique fermé S de M, nous dirons que
S est un ensemble intégral ou encore invariant de F .
Définition 2.1.1. — Nous appelons transformé strict de F par f et notons f ∗ F le
saturé de f −1 F .
Lorsque f est un biholomorphisme, les deux feuilletages F et H := f −1 F sont dits
holomorphiquement conjugués ; et l’on note F ∼ hol H . Signalons la propriété d’image
directe suivante qui s’obtient facilement à l’aide du théorème d’extension de Levi des
fonctions méromorphes.
Proposition 2.1.2. — Soient h : M −→ M ′ une application propre entre deux
variétés holomorphes de même dimension et F un feuilletage holomorphe (singulier)
sur M . Supposons que la codimension de h(Sing(F)) soit ≥ 2 et que la restriction
de h au complémentaire de Sing(F) soit un difféomorphisme sur son image. Alors il
existe sur M ′ un feuilletage unique noté h ∗ F et appelé image directe de F par h tel
que h ∗ h ∗ F = sat(F).
Nous aurons aussi à considérer la position relative d’un feuilletage par rapport à
une hypersurface à croisement normal. Cela nous amène à poser :
Définition 2.1.3. — Soit F un feuilletage holomorphe saturé de codimension q au
voisinage d’un ensemble analytique S. On appelle lieu singulier du couple (F, S)
l’ensemble analytique Sing(F, S) défini par le radical du faisceau d’idéaux
J F, S = sat (I F, S ) , I F, S := ( q ∧Λ F ) · ( q ⊗ X M, S ),
où : X M,S ⊂ X M est le sous-faisceau des germes de champs de vecteurs holomorphes
sur M tangents à S (i.e. à la partie lisse de S) et où, pour un idéal I := (f 1 , . . .,f r )
de O M,m , on désigne par sat (I) l’idéal (f 1 /g, . . . , f r /g), g := p.g.c.d.(f 1 , . . . , f r )
Visiblement Sing(F) et Sing(F, S) coïncident en dehors de S. On voit facilement :