Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 57
Remarquons enfin que pour tout k ∈ N et tout germe d’application holomorphe
λ : ( C k , 0 ) −→ P , on a :
[ ∂λ ∗ ] [ ]
F
(68)
P ∂FP
=
◦ ∂λ
∂s ∂t ∂s ∣ .
s=0
s=0
Définition ( 4.5.1. ) — On appelle déformation ŜL-infinitésimale de F tout élément
de H 1 U ; ̂B˜F .
On a la propriété de réalisation suivante :
Théorème de réalisation ( 4.5.2. — Données des déformations ŜL-infinitésimales
v 1 , . . . , v q ∈ H 1 U ;
), ̂B˜F il existe une déformation ŜL-équisingulière F Q de F de
[ ]
paramètres Q := (C q ∂FQ
, 0) telle que = v
∂t j , j = 1, . . .,q .
j
Démonstration. — Soient
(
X j UV
t=0
t=0
) )
∈ Z
(U 1 ; ̂B˜F tels que v j =
[ ]
X j UV
, j = 1, . . .,q .
Les composés Φ UV, t := Φ 1 UV, t 1
◦ · · · ◦ Φ q UV, t q
des flots Φ j UV, s des Xj UV
définissent un
cocycle à valeurs dans Âut ( F cst )
Q . Il définit par la bijection (59) une déformation
ŜL-équisingulière qui convient.
Définition 4.5.3. — Un feuilletage formel à l’origine de C 2 défini par une 1-forme
différentielle formelle ω est dit de ( type formel ) fini, en abrégé t.f.f., si ω est nondicritique,
à singularité isolée et H 1 U ; ̂B˜F est un C-espace vectoriel de dimension
finie. Sa dimension, notée ̂β(F) ou encore ̂β(ω) est appelée codimension formelle de
F , ou de ω .
Nous caractériserons plus loin les feuilletages t.f.f. par des conditions combinatoires
sur l’arbre dual de réduction de F que l’on a enrichi d’un nombre fini de données
supplémentaires. Auparavant comparons ̂β (F) aux nombres
(69) ̂δ ( )
( )
(F) := dimC H 1 U; et ̂τ (F) := dim ̂X˜F C H 1 U; ̂T˜F .
Une version formelle d’un résultat de [20] dont la démonstration se transcrit littéralement,
donne la formule
(70) ̂δ (F) =
∑
c
(ν c − 1)(ν c − 2)
2
où dans cette somme, c décrit l’ensemble ⊔ h j=0 Σj F
de tous les points singuliers (y
compris 0 ∈ C 2 ) qui apparaissent dans le processus de réduction de F , cf. (42) et
où ν c désigne la multiplicité algébrique de transformé strict du feuilletage au point
c . Signalons que cette formule est valable en toute généralité, même si F est dicritique.
,