Modules formels locaux de feuilletages holomorphes - arXiv

More documents

Recommendations

Info

48 J.-F. MATTEI & E. SALEM Considérons l’ensemble NPR (F P ) des t 0 ∈ P tels que le germe de F P en (0, t) n’est pas une déformation équi-pré-réductible de F P (t 0 ), NPR (F P ) := {t 0 ∈ P / F P non-équi-pré-réductible en t 0 } Par des arguments standard et à l’aide de (∗), on montre : Proposition 3.3.2. — NPR (F P ) définit un germe à l’origine de sous-ensemble analytique fermé de P, de dimension strictement inférieure à la dimension de P, éventuellement vide. Pour décrire NR (F P ) il reste à analyser comment s’effectue le passage de la préréduction à la réduction. Remarquons d’abord que le diviseur de cîme de l’arbre de pré-réduction peut possèder des composantes dicritiques, c’est à dire des composantes irréductibles non-invariantes. On appellera ces composantes, composantes dicritiques du premier type. On montre facilement, par récurence sur la hauteur de l’arbre de pré-réduction de F P (0), le lemme suivant. Lemme 3.3.3. — Supposons la deformation F P pré-equiréductible. Alors l’ensemble Dic (1) (F P ) des t ∈ P tels que la réduction de F P (t) admette une composante dicritique du premier type est analytique fermé, éventuellement vide ou égale à P. Sur le diviseur de cîme D ′ de l’arbre de pré-réduction de F, considérons un point m où le germe de la transformée stricte ˜F ′ de F est pré-réduit mais nonréduit. Dans de bonnes coordonnées z 1 , z 2 , F ′ est donné par une 1-forme du type αz 2 dz 1 − βz 1 dz 2 + · · · avec β/α ∈ Q >0 et β/α ≠ 1. Nous laissons au lecteur le soin de vérifier les affirmations ci-dessous, en examinant chaque éventualité : m est un point régulier de D ′ , ou bien m est un point singulier de D ′ : 1) β/α /∈ N ∗ ∪ 1 N ∗ . Le feuilletage est alors t.f. linéarisable dans des coordonnées transversalement formelles, il admet une intégrale première transversalementformelle-méromorphe (11) et une ou plusieurs composantes dicritiques apparaissent dans la succession d’éclatements supplémentaires que l’on effectue, au dessus du point m, pour aboutir à des singularités réduites. Nous appellerons ces composantes, composantes dicritiques du deuxième type. 2) β/α ∈ N ∗ ∪ 1 N ∗ . Il existe alors des coordonnées ”normalisantes” transversalement formelles dans lesquelles le feuilletage est donné par la 1-forme (n z 1 + λz n 2 )dz 2 − z 2 dz 1 , λ ∈ C , n ≥ 2. Lorsque λ est non-nul, {z 2 = 0} est l’unique séparatrice. Cette courbe correspond au diviseur, qui est lisse au point m. La réduction se fait par une chaîne de n éclatements supplémentaires. Elle crée n − 1 singularités de type selle et une singularité de type selle-nœud, située au point d’intersection de l’avant dernière composante et de la dernière composante créé, dont c’est l’unique singularité. L’holonomie de cette (11) C’est à dire un élément du corps des fractions de l’anneau des germes, au point m, de fonctions transversalement formelles.
MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 49 dernière composante est l’identité et ce selle-nœud est tangent-résonant, c.f. (3.1.2). Par contre, si λ = 0, le feuilletage se réduit encore par une chaîne de n éclatements faisant apparaître n − 1 singularités de type selle, mais le dernier diviseur crée est dicritique, partout transverse au transformé strict du feuilletage. Nous appellerons une telle composante, composante dicritique du troisième type. Signalons enfin que le coefficient λ et les n-jets au point m de z 1 et z 2 sont donnés algébriquement par le n-jet d’une 1-forme définissant le feuilletage au point m. Lorque λ est non-nul, on peut le choisir égal à 1, quitte à effectuer une homothetie. En particulier, la distinction entre les deux types de formes normales : λ = 1 ou bien λ = 0 , est donnée par le n-jet du feuilletage le long du diviseur (12) . Considérons les ensembles Dic (r) (F P ), r = 1, 2, 3, des t ∈ P tels que la réduction de F P (t) admette une composante dicritique du type r, et notons Dic (F P ) := ∪ 3 r=1 Dic(r) (F P ). On déduit sans trop de peine de ce qui précède, les propriétés suivantes : Proposition 3.3.4. — Pour les feuilletages (non-dicritiques) de deuxième espèce, la pré-réduction des singularités est égale à la réduction des singularités. Théorème 3.3.5. — Supposons la déformation F P à nombre de Milnor constant et supposons aussi Dic (F P ) ≠ P. Alors : 1. Dic (2) (F P ) ∪ Dic (3) (F P ) ⊂ NR (F P ) − NPR (F P ) 2. Dic (3) (F P ) ⊂ Dic (2) (F P ) = NR (F P ) − NPR (F P ) 3. NR (F P ) − NPR (F P ) est ou bien vide, ou bien une union dénombrable de sous ensembles analytiques fermés de P de dimension < dimP et NR (F P ) − NPR (F P ) est un sous-ensemble semi-analytique réel ≠ P. Supposons, de plus, que la déformation F P (t) dépende algébriquement de t, i.e. existe une forme différentielle Ω := A(x, y; t)dx + B(x, y; t)dy , avec A(x, y; t), B(x, y; t) ∈ C[t] [[x, y]] qui définit F P (t) chaque fois que l’on fixe t ∈ P proche de l’origine. Alors, dans les propriétés 1. et 2. ci-dessus, on peut remplacer les termes : ”analytique” et ”semi-analytique réel” par les termes ”algébrique” et ”semi-algébrique réel”. 4. Équisingularité semi-locale Fixons un feuilletage formel F à l’origine de C 2 , non-dicritique, donné par une 1-forme formelle à singularité isolée ω := a(x, y)dx + b(x, y)dy . Notons encore E F : M F −→ C 2 l’application de réduction de F ainsi que D F le diviseur exceptionnel et ˜F le transformé strict de F sur M F . Donnée une déformation équiréductible F P de F de paramètres P := (C p , 0), nous noterons E FP : M FP −→ C 2 × P l’application (12) Deux formes formelles le long d’une courbe ˜D′ ont même l-jet le long de ˜D′ si elles diffèrent d’une forme à coefficients dans I l+1 ˜D ′ , où I˜D ′ désigne le faisceau des fonctions transversallement formelles le long de ˜D′ qui s’annullent sur ˜D′ .
Page 1 and 2: arXiv:math/0402256v1 [math.DS] 16 F
Page 3 and 4: MODULES FORMELS DE FEUILLETAGES HOL
Page 47: MODULES FORMELS DE FEUILLETAGES HOL
Page 89: MODULES FORMELS DE FEUILLETAGES HOL

Modules formels locaux de feuilletages holomorphes - arXiv

Create successful ePaper yourself

Delete template?

Save as template?