Modules formels locaux de feuilletages holomorphes - arXiv

More documents

Recommendations

Info

36 J.-F. MATTEI & E. SALEM formelle le long de 0 × P , obtenue par image directe (2.1.2) de H ′ P par l’application Ẽ : ˜M −→ C 2 × P composée des éclatements de A P . La transformée stricte de H P sur ˜M est H ′ P . Par construction on a (40) ̂ΛH ′ P = ̂Λ F ′ P modulo ˜J k+h+1̂Λ ˜M , ̂Λ ˜M := Λ ˜M ⊗ ÔD˜M . Soit η et ξ les 1-formes différentielles formelles à l’origine de C 2 × P définissant F P et H P respectivement. Il reste à montrer que les coefficients de η − ξ appartiennent à l’ideal Îk+1 P où ÎP := (x, y) désigne l’idéal de Ô0×P C 2 ×P,0 engendré par les coordonnées x et y. Les images réciproques de η et ξ sur ˜M définissent des faisceaux de sous-modules de ̂Λ ˜M qui se décomposent en (Ẽ∗ (η)) = I η · Λ F ′ P , (Ẽ∗ ) (ξ) = I ξ · Λ H ′ , I η , I P ξ ⊂ ÔD˜M . Il découle de (40) que Ẽ∗ (η) − Ẽ∗ (ξ) est une section globale de ˜J k+h+1̂Λ ˜M . On voit facilement par récurrence sur h que les champs de vecteurs x h ∂x ∂ et ∂ xh ∂y sur C2 ×P se relèvent sur ˜M en des champs de vecteurs holomorphes globaux X := Ẽ∗ (x h ∂x ∂ ) et Y := Ẽ∗ (x h ∂ ). Ainsi en posant ˜x = x ◦ Ẽ et ỹ = y ◦ Ẽ, on voit que ∂y ( ) ( ) f := ˜x −h Ẽ ∗ (η) · X − Ẽ∗ (ξ) · X et g := ˜x −h Ẽ ∗ (η) · Y − Ẽ∗ (ξ) · Y sont des sections globales de ˜J k+1 , et que ce ( faisceau) est engendré par les sections globales ˜x α ỹ β , α + β = k + 1 . Comme H 1 ˜D0 ; Ô D˜M = 0 d’après (1.2.1) on peut décomposer f = ∑ f αβ ˜x α ỹ β , g = ∑ ( ) g αβ ˜x α ỹ β , avec f αβ , g αβ ∈ H 0 ˜D0 ; Ô D˜M . α+β=k+1 α+β=k+1 Les coefficients f αβ et g αβ se redescendent (2.1.6) par Ẽ en des élément f♭ αβ (x, y; t) et gαβ ♭ (x, y; t) de Ô0×P C 2 ×P, 0 . Ainsi η · ∂ ∂x − ξ · ∂ ∂x = ∑ α+β=k+1 f ♭ αβ(x, y; t)x α y β et η · ∂ ∂y − ξ · ∂ ∂y = ∑ α+β=k+1 g ♭ αβ (x, y; t)xα y β appartiennent à Îk+1 P , ce qui achève la démonstration.
MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 37 3. Equiréduction 3.1. Singularités de deuxième espèce. — Nous rappelons et précisons ici quelques notions classiques sur la réduction des singularités de feuilletages. Pour plus de détails nous renvoyons le lecteur à [10] [22] ou encore à [17]. Donnons-nous une variété holomorphe M de dimension deux, une courbe à croisements normaux D ⊂ M et un feuilletage formel F en un point m 0 ∈ D . Définition 3.1.1. — Nous disons que F est réduit en m 0 si F est : soit régulier, soit défini par une 1-forme différentielle formelle ω qui, dans des coordonnées locales appropriées (x, y), x(m 0 ) = y (m 0 ) = 0 , s’écrit µ (41) ω = (λx + · · · )dy + (µ y + · · · )dx, λ,µ ∈ C , λ ≠ 0 , λ /∈ Q
Page 1 and 2: arXiv:math/0402256v1 [math.DS] 16 F
Page 3 and 4: MODULES FORMELS DE FEUILLETAGES HOL
Page 35: MODULES FORMELS DE FEUILLETAGES HOL
Page 87 and 88:
MODULES FORMELS DE FEUILLETAGES HOL
Page 89:
MODULES FORMELS DE FEUILLETAGES HOL
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?