Modules formels locaux de feuilletages holomorphes - arXiv

MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 63
γ dans U d’origine m 0 s’exprime, avec l’identification précédente, par Z ↦−→ h ∗ γ (Z),
où h γ est l’image de [γ] par la représentation sur T m0
H U : π 1 (U; m 0 ) −→ ̂Diff(T m0 )
de l’holonomie de ˜F le long de U . Notons H U := H U (π 1 (U; m 0 )) le groupe
d’holonomie de U . Toute intégrale première de H U se prolonge de manière unique
[22] en une intégrale première de ˜F le long de U . On obtient finalement :
Ô˜F
(U) ≃ ÔH U
, ̂T˜F
(U) ≃ ̂T HU .
Trois éventualités se présentent, suivant la nature de H U .
a. H U est fini, #H U =: p . Choisissons pour z une coordonnée formelle sur T m0
dans laquelle H U est un groupe de rotation. alors z p se prolonge en une intégrale
première transversalement formelle f U le long de U et Ô˜F (U) = C [[f U]] . Le champ
de vecteurs formel Z := z ∂ ∂z sur T m 0
, invariant par H U , induit une section Z U de
̂T˜F
sur U et
Ô˜F
(U) = C [[f U ]] ≃ C [[z p ]] , ̂T˜F
(U) = C [[f U ]] · Z U ≃ C [[z p ]] · z ∂ ∂z .
B. H U est commutatif et infini. La symétrie formelle non-identiquement nulle Z
de H U , unique à constante multiplicative près, s’étend encore en une section Z U ∈
̂T˜F
(U) et
Ô˜F
(U) = C ̂T˜F
(U) = C · Z U .
C. H U n’est pas commutatif. alors
On posera f U := 1 , Z U := 0 .
Ô˜F
(U) = C et ̂T˜F
(U) = {0} .
5.1.2. L’ouvert U ∈ U est un voisinage d’une singularité de ˜F . — Plus précisément
supposons que U est la trace sur D F d’un petit polydisque centré en un point
singulier m . D’après la proposition (4.3.2) l’application canonique ̂T˜F (U) −→ ̂T˜F,m
est un isomorphisme. Décrivons ̂T˜F,m lorsqu’il existe en m des coordonnées transversalement
formelles z 1 , z 2 , z 1 (m) = z 2 (m) = 0 , dans lesquelles ˜F est défini par
une des 1-formes normales ˜ω de (3.1). C’est toujours le cas, sauf peut-être lorsque la
singularité est un selle-nœud tangent. Nous discuterons ce cas séparément.
Supposons que z 2 = 0 est une équation d’une branche locale U 0 de U em m . Notons
h l’holonomie de ˜F le long d’un lacet γ engendrant π 1 (U ∗ 0 ; m 0 ), U ∗ 0 := U 0 − {m} et
réalisée sur le germe T m0 := {z 1 = z 1 (m 0 )} de transversale (15) à U ∗ 0 en un de ses
points m 0 . Pour une section Z de ̂B˜F nous désignerons par {Z} sa classe dans ̂T˜F .
On voit alors que
̂T˜F, m
= Ô˜F, m · {Z m} ,
(15) Ici T m0 est une courbe formelle.