Modules formels locaux de feuilletages holomorphes - arXiv

28 J.-F. MATTEI & E. SALEM
C 2 défini par une 1-forme formelle
(27) ω := a(x, y)dx + b(x, y)dy ∈ ̂Λ C 2 , 0
son transformé strict par une succession finie E d’éclatements en des points sera un
feuilletage transversalement formel le long de E −1 (0). Réciproquement tout feuilletage
transversalement formel le long de E −1 (0) provient d’un feuilletage formel saturé à
l’origine de C 2 .
Remarque 2.1.7. — Supposons à présent que S est une sous-variété analytique de
M, de codimension égale à la codimension q du feuilletage ̂F, et invariante par ̂F.
Fixons un point m ∈ S − (Sing( ̂F) ∩ S). On peut voir qu’il existe des coordonnées
z 1 , z 2 , . . . , z n transversalement formelles de ÔS M,m telles que soit engendré par
Λ̂F,m
dz 1 , dz 2 , . . . , dz q . C’est la version transversalement formelle du Théorème de Frobenius
qui se montre de manière identique. En effet, étant donnés une submersion
R : (M, m) → (S, m) et un germe en m de champ transversalement formel X qui
se projette en un champ holomorphe sur S via R, on voit facilement qu’il existe une
application Φ : R −1 (m) × C → (̂M S , m) transversalement formelle le long de m × C
telle que ∂Φ
∂t
= X ◦ Φ, où t désigne la variable sur C [22, page 505].
Ainsi on définit comme d’habitude l’holonomie de ̂F le long de S − (Sing( ̂F) ∩ S)
comme une représentation ρ S de π 1 (S − (Sing( ̂F) ∩ S), m 0 ) dans ̂Diff(T, m 0 ) où
(T, m 0 ) est un germe de sous-variété holomorphe de dimension q transverse à S en
un point fixé m 0 ∈ S et ̂Diff(T, m 0 ) désigne le groupe des difféomorphismes formels
de (T, m 0 ). L’image H S de ρ S s’appelle le groupe d’holonomie de S par rapport à ̂F.
Comme dans le cas holomorphe ρ S classifie le germe de ̂F le long de l’ensemble
invariant S. Plus précisément, donnons nous R : (M, S) → S un germe de submersion
le long de S, avec R −1 (m 0 ) = T, la restriction de R à S étant l’identité. Alors les
représentations d’holonomie respectives ρ S et ρ ′ S de deux feuilletages ̂F et ̂F ′ de M
transversalement formels le long de S sont formellement conjuguées ρ ′ S = φ ◦ρ S ◦φ −1
avec φ ∈ ̂Diff(T, m 0 ) si et seulement s’il existe un isomorphisme transversalement
formel Φ : (M, S) → (M, S) tel que Φ ∗ ̂F = ̂F ′ .
2.2. Déformations formelles d’un feuilletage. — Soit F un feuilletage formel
à l’origine de C 2 défini par une 1-forme formelle
(28) ω := a(x, y)dx + b(x, y)dy ∈ ̂Λ C 2 , 0
et soit P le germe (C p , 0). Une déformation formelle de F le long de 0 × P , de paramètres
P , est la donnée à unité multiplicative près, d’une forme différentielle formelle
du type
(29) η := A(x, y; t)dx + B(x, y; t)dy
telle que A(x, y; t) = ∑ ∞
j,k=0 A jk(t)x j y k , B(x, y; t) = ∑ ∞
j,k=0 B jk(t)x j y k ∈
C{t}[[x, y]] , avec t := (t 1 , . . . , t p ), les rayons de convergence des A jk (t), B jk (t)
étant minorés par un réel > 0 commun et A(x, y; 0) = a(x, y), B(x, y; 0) = b(x, y),
A(0, 0; t) = B(0, 0; t) = 0 .