Modules formels locaux de feuilletages holomorphes - arXiv

More documents

Recommendations

Info

16 J.-F. MATTEI & E. SALEM Supposons que π et π ′ sont des submersions et que l’on a π ′ ◦ f = π . Un calcul direct en coordonnées permet de voir que f se relève de manière unique à travers des éclatements E : ˜M −→ M , E ′ : ˜M ′ −→ M ′ de centres lisses connexes, respectivement C ⊂ M et C ′ ⊂ M ′ , dès que C et C ′ sont isomorphes à Q via π et π ′ et que f(C) = C ′ . De plus le relèvement ˜f : ˜M −→ ˜M ′ est unique et est un biholomorphisme. On voit facilement que le k-jet, jD k ( ˜f), de ˜f le long de D := E −1 (C) ne dépend que du (k + 1)-jet, j k+1 C (f), de f le long de C . Cependant jC k (f) ne suffit pas à determiner jk D ( ˜f). Ainsi l’application f [k] : M [k] −→ M ′ [k] induite par f sur les voisinages infinitésimaux d’ordre k de C et C ′ admet une infinité de relevés ˜f [k] : ˜M[k] −→ ˜M ′[k] sur les voisinages infitésimaux d’ordre k de D et D ′ := π ′ −1 (C ′ ) dont les restrictions à ˜M [k−1] coïncident. A l’aide de ces remarques générales il est aisé de prouver le lemme suivant. Lemme 1.2.4. — Considérons deux germes d’arbres A P et A ′ P au dessus de P et A [k] P , A′ [k] P les germes d’arbres infinitésimaux respectifs induits. Soit Φ • , Ψ • : A [k] ∼ P → A ′ [k] P deux isomorphismes au dessus de P . Pour l < k notons Φ [l] et Ψ [l] leurs • • restrictions à A [l] P et A′ [l] P . Si, pour un r < k et un j 0 < k − r , l’égalité Φ j0 = Ψ j0 est vérifiée, alors on a : Φ [k−r] j = 0+r Ψ[k−r] j . 0+r Proposition 1.2.5. — Soit Φ 0 : M 0 ∼ → M ′0 un difféomorphisme au dessus de P entre les socles de deux germes d’arbres A P et A ′ P de même hauteur h, avec Φ 0(S 0 ) = S ′0 . Si l’isomorphisme induit Φ [h] 0 : M 0[h] → ∼ M ′ 0 [h] se relève en un isomorphisme d’arbres infinitésimaux Ψ • : A [h] ∼ P → A ′ [h] P , Ψ [h] 0 = Φ [h] 0 , alors Φ 0 se relève aussi en ∼ un unique isomorphisme de germes d’arbres Φ • : A P → A ′ P et Φ [h] • = Ψ • . Démonstration. — Raisonnons par récurrence sur la hauteur h des arbres. On a vu que Φ 0 se relève en un difféomorphisme Φ 1 : M 1 → ∼ M ′1 , puisque Φ 0 (S 0 ) = S ′0 . [h−1] D’après (1.2.4) on a Φ 1 = Ψ [h−1] 1 . En particulier au niveau ensembliste, la restriction de Φ 1 au diviseur D 1 est égale à l’application |Ψ 1 | induite par Ψ 1 sur D 1 . Ainsi, puisque Ψ • est un isomorphisme d’arbres infinitésimaux, on a aussi : Φ 1 (Σ 1 ) = Σ ′1 et Φ 1 (S 1 ) = S ′1 . Ceci prouve la proposition pour h = 1 . Lorsque h > 1, on applique l’hypothèse de récurrence à chaque germe de Φ 1 le long d’une composante irréductible de S 1 . 1.3. Les faisceaux de difféomorphismes transversalement formels. — Désignons encore par A P un germe d’arbre au dessus de P et conservons les notations (6), (7), (8), (9), (11) et (13). En chaque point m du diviseur de cime ˜D 0 ⊂ ˜D de l’arbre A P (0) considérons les germes d’automorphismes holomorphes de ˜M , resp. ˜M[k] , qui commutent avec ˜π resp. ˜π [k] , valent l’identité en restriction à la cime ˜M 0 ⊂ ˜M de A P (0) et laissent
MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 17 invariant le germe de ˜D en m. On obtient ainsi des faisceaux de groupes de base ˜D 0 . Nous les noterons : (14) G AP ou encore G , resp. G [k] A P ou encore G [k] . Les sections de ces faisceaux respectent d’après (12) le faisceau d’idéaux ˜J := J (h) défini en (11). On dispose ainsi pour 0 ≤ l ≤ k, de morphismes de restrictions ρ l : G −→ G [l] , ρ k l : G [k] −→ G [l] , 0 ≤ l ≤ k . Les faisceaux de base ˜D 0 des germes d’automorphismes l-tangents à l’identité le long de ˜D définis par (15) G l := ker(ρ l ) et G [k] l := ker(ρ k l ) forment des faisceaux de sous-groupes distingués de G et de G [k] . En particulier G 0 est formé des éléments de G qui valent l’identité en restriction à ˜D . On appelle faisceau des germes d’automorphismes transversalement formels le long de ˜D, respectivement transversalement formels et l-tangents à l’identité le long de ˜D les limites projectives (16) Ĝ := lim ←− k G [k] , Ĝ l := ←− lim G [k] l . k≥l On dispose encore de projections canoniques ̂ρ l : Ĝl −→ Ĝ[k] l . Remarque 1.3.1. — On aurait aussi pu filtrer d’idéaux défini en (1.2) et poser I˜D Õ par les puissances du faisceau ˜M [[k]] := ( ˜D0 ; O ˜M /Ĩk+1) , ̂Ĝ := lim ←− k G [[k]] , ˜M [[k]] où G [[k]] est le faisceau des germes, aux points de ˜D 0 , d’automorphismes de qui valent l’identité sur ˜M 0 et commutent aux projections sur P . Comme d’après (12) ces deux filtrations sont équivalentes, les faisceaux ̂Ĝ et Ĝ sont canoniquement isomorphes. De même les sous-faisceaux ̂Ĝ l ⊂ ̂Ĝ définis de manière similaire sont canoniquement isomorphes à Ĝl . Remarque 1.3.2. — En un point régulier m de ˜D 0 , dans un système de coordonnées locales (z 1 , z 2 ; t 1 , . . . , t p ) dans lesquelles ˜D = {z 1 = 0 } , ˜π = t := (t 1 , . . . , t p ) et ˜J ,m = (z r 1 ), les éléments de la fibre Ĝl, m de Ĝl s’identifient aux couples (F 1 , F 2 ) de séries formelles en z 1 F j = z j + z r (l+1) 1 ∞∑ A j, k (z 2 ; t)z1 k , j = 1, 2 , k=0 dont les coefficients A j, k sont des fonctions holomorphes sur un voisinage commun de m dans ˜D . Lorsque m est un point singulier de ˜D 0 avec ˜D = {z 1 z 2 = 0 } et
Page 1 and 2: arXiv:math/0402256v1 [math.DS] 16 F
Page 3 and 4: MODULES FORMELS DE FEUILLETAGES HOL
Page 15: MODULES FORMELS DE FEUILLETAGES HOL
Page 67 and 68:
MODULES FORMELS DE FEUILLETAGES HOL
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
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

Create successful ePaper yourself

Delete template?

Save as template?