Modules formels locaux de feuilletages holomorphes - arXiv

More documents

Recommendations

Info

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 .
MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 29 Plus généralement, considérons un feuilletage F de codimension 1 transversalement formel le long d’un sous-ensemble analytique S (non nécessairement fermé) d’une variété holomorphe M . Définition 2.2.1. — Une déformation transversalement formelle de (M, S, F) paramètrée par P , est la donnée (30) F P = (M P , S P , π, σ; F P ) , 1) d’une déformation (M P , S P , π) de (M, S) de base P, c’est à dire : a) d’un germe le long de S de plongement holomorphe σ de (M, S) dans une variété holomorphe M P munie d’un sous-ensemble analytique S P tel que σ(S) ⊂ S P , b) d’un germe de submersion π : (M P , σ(S)) → P tel que la restriction de π à S P soit plate et vérifie : π −1 (0) = σ(M), π −1 (0) ∩ S P = σ(S), 2) du germe F P le long de σ(S) d’un feuilletage transversalement formel le long de S P , de même dimension que F qui vérifie : a) les feuilles de F P sont contenues dans les fibres de π , b) σ ∗ F P = F . La condition 2.a. signifie que tout germe en un point de σ(S) d’un champ de vecteurs X transversalement formel le long de S P qui annule Λ FP est vertical, i.e. Tπ·X ≡ 0 . Remarquons que lieu singulier Sing (F P , S P ), que l’on défini comme en (2.1.3), est aussi le sous-ensemble de M transversalement formel le long de S donné par le radical du faisceau d’ideaux (31) sat (Λ FP · ̂X ) MP/π ,S P , où ̂X MP/π ,S P désigne le faisceau des germes de champs de vecteurs verticaux transversalement formels le long de S P et tangents à S P . Nous appellerons cet ensemble transversalement formel le lieu singulier relatif de la déformation F P et le notons Sing P (F P ). Remarque 2.2.2. — Lorsque la restriction de π à S P est propre on peut, pour des petites valeurs du paramètre t ∈ P , considérer les fibres des données de (30) au dessus de t . On obtient un espace analytique compact réduit S P (t) := S P ∩ π −1 (t), un germe de variété M P (t) := ( π −1 (t), S P (t) ) et un feuilletage F P (t) sur M P (t) transversalement formel le long de S P (t), obtenu en restreignant F P à π −1 (t). La propreté de π permet donc de considérer F P comme le germe en 0 ∈ P d’une ”famille” de feuilletages transversalement formels F P (t) := (M P (t), S P (t), F P (t)) . D’après (31) le lieu singulier relatif de F P est la ”famille” des lieux singuliers des F P (t).
Page 1 and 2: arXiv:math/0402256v1 [math.DS] 16 F
Page 3 and 4: MODULES FORMELS DE FEUILLETAGES HOL
Page 27: MODULES FORMELS DE FEUILLETAGES HOL
Page 79 and 80:
MODULES FORMELS DE FEUILLETAGES HOL
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89:
show all

Modules formels locaux de feuilletages holomorphes - arXiv

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?