Modules formels locaux de feuilletages holomorphes - arXiv

More documents

Recommendations

Info

40 J.-F. MATTEI & E. SALEM où ε(m) est le nombre 1 ou 2 de branches de D ω au point m et m (D) est défini comme en (1.2) par l’égalité de faisceaux d’idéaux ∏ E ∗ ω M = Î m(D) D , M := (x, y) ⊂ ÔC 2 , 0 . D∈comp(D ω) Remarque 3.1.7. — F est un selle-nœud tangent à Z si et seulement si µ 0 (F, Z) > 1 . La formule (46) permet de voir par induction que, pour F non-dicritique, les multiplicités m D (ω) s’expriment comme des fonctions affines des nombres de Milnor µ m ( ˜F, D), D ∈ comp(D ω ), m ∈ Sing( ˜F), dont les coefficients sont des entiers ≥ 0 qui ne dépendent que de A ∗ [ω] . Le pas de l’induction repose sur les égalités : (47) m Dc (ω) = ν c ( ˜F j ) + ∑ m D (ω), Ad(c) := { D ∈ comp(Dω j ) / c ∈ D } , D∈Ad(c) où c ∈ C j ω et D c est la composante de D ω créée par l’éclatement de c . Les feuilletages de deuxième espèce sont caractérisés par les égalités µ m ( ˜F, D) = 1 . On en déduit la Remarque 3.1.8. — Si F est de deuxième espèce, alors 1. les multiplicités m D (ω) sont données par A ∗ [ω] , { 2. dans l’ensemble w ′ ∈ ̂Λ } C 2 , 0 / Sing (w ′ ) = {0} et A ∗ [w ′ ] ≡ A ∗ [w] la pondération par multiplicités de Ǎ[w] réalise pour chaque sommet un minimum. Sous l’hypothèse de non-dicriticité, F ne possède qu’un nombre fini de courbes formelles invariantes à l’origine appelées séparatrices formelles de F par certains auteurs. Soit ̂f ∈ ÔC 2 , 0 une équation réduite de l’union de ces courbes que l’on notera Ŝep(F) ou Ŝep(ω). Dans [6] les auteurs prouvent : (48) ainsi que l’équivalence ν 0 (ω) ≥ ν 0 (d ̂f), µ 0 (ω) ≥ µ 0 (d ̂f), m D (ω) ≥ m D (d ̂f), D ∈ comp(D ω ), (49) F est semi-hyperbolique ⇐⇒ µ 0 (ω) = µ 0 (d ̂f). Nous allons donner plusieurs caractérisations des singularités de deuxième espèce. La plus intéressante fera intervenir les faisceaux de base D ω suivants : le faisceau formé des germes aux points de D ̂X˜F ω des champs de vecteurs X transversalement formels le long de D ω qui sont tangents à ˜F i.e. · X = 0 et le faisceau Λ˜F ) ̂XŜ′ formé des champs X transversalement formels tangents à Ŝ′ := Eω (Ŝep(F) −1 , i.e. ( ) X · IŜ′ ⊂ IŜ′ , où IŜ′ est le radical du faisceau d’idéaux ̂f ◦ Eω . Désignons par α le morphisme ̂XŜ′ −→ Ô Dω M ω qui à un champ X associe E ∗ ω (ω)·X . Le théorème suivant, annoncé dans [21], donne une interprétation géométrique de la propriété prouvée dans le lemme clé (3.2) de [21].
MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 41 Théorème 3.1.9. — Soit F un feuilletage formel non-dicritique à l’origine de C 2 défini par une 1-forme formelle ω à singularité isolée et ̂f une équation réduite de Ŝep(F). Les propriétés suivantes sont équivalentes : 1. F est de deuxième espèce, 2. ν 0 (ω) = ν 0 (d ̂f), 3. Ǎ[ω] = Ǎ[d ̂f], 4. pour chaque D ∈ comp(D ω ) on a l’égalité m D (ω) = m D (d ̂f), 5. il existe un D ∈ comp(D ω ) pour lequel m D (ω) = m D (d ̂f), 6. on a la suite exacte : (50) 0 −→ ̂X˜F −→ ̂XŜ′ ( ) α −→ ̂f ◦ Eω −→ 0 . Démonstration. — Dans [6] la démonstration de la formule (46) reste valable pour une succession quelconque E d’éclatements. Appliquons-la à ω et à d ̂f pour E = E ω . Comme le lieu singulier de E ∗ (F d̂f ) est contenu dans celui de ˜F , on obtient l’inégalité ν 0 (ω) ≥ ν 0 (d ̂f). Aux points singuliers m de ˜F , µ m (E ∗ (F d̂f ), D) est égal à 1, ou à 0 si E ∗ (F d̂f ) est régulière en m . On en déduit immédiatement que l’égalité ν 0 (ω) = ν 0 (d ̂f) ) est réalisée si et seulement si Sing (E ∗ (F ) d̂f = Sing( ˜F) et µ m ( ˜F, D) = 1 pour chaque point singulier m et chaque composante irréductible D de D ω ; c’est à dire si et seulement si ω est de deuxième espèce, ce qui prouve 1. ⇐⇒ 2. . Trivialement on a 3. =⇒ 4. et 4. =⇒ 5. . Pour l’implication 5. =⇒ 2. raisonnons par contraposée et supposons que ν 0 (ω) > ν 0 (d ̂f). La composante D 0 de D ω créée par l’éclatement de l’origine satisfait m D0 (ω) > m D0 (d ̂f). A l’aide de (48) appliquée en chaque point singulier des transformés stricts de ω et de d ̂f sur D 0 , on en déduit que m D (ω) > m D (d ̂f) pour tout D ∈ comp (D ω ). Pour montrer 1. =⇒ 3. raisonnons par récurrence sur la hauteur de A[ω] . Il suffit d’après la propriété (⋆) ci-dessus de montrer l’égalité A ∗ [w] = A ∗ [d ̂f] . Lorsque h ω = 1 les séparatrices formelles de ω sont des courbes lisses deux à deux transverses et il suffit de voir que leur nombre p est ≥ 3 , c’est à dire que ̂f = 0 n’est pas déjà une courbe à croisement normal. Sinon ν 0 (d ̂f) = 1 et d’après 1. =⇒ 2. on a aussi ν 0 (ω) = 1 . Dans ce cas les seuls feuilletages qui se réduisent par un seul éclatement sont du type ω = (y + · · · )dx + (−x + εy + · · · )dy avec ε = 0 ou 1 . Ces deux possibilités sont exclues car ω est dicritique si ε = 0 et on obtient un selle-nœud tangent pour ˜F lorsque ε = 1 . La démonstration du pas de récurrence est triviale. Calculons maintenant les fibres du co-noyau de α aux points c de D ω . Nous distinguerons plusieurs cas. Supposons d’abord que ˜F est régulier et D ω est lisse en c . Fixons des coordonnées transversalement formelles locales z 1 , z 2
Page 1 and 2: arXiv:math/0402256v1 [math.DS] 16 F
Page 3 and 4: MODULES FORMELS DE FEUILLETAGES HOL
Page 39: 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?