Modules formels locaux de feuilletages holomorphes - arXiv

More documents

Recommendations

Info

70 J.-F. MATTEI & E. SALEM Supposons à présent ̂R ∗ (F) non-vide et montrons que F est t.f.f. si et seulement si ̂R ∗ (F) est connexe répulsif. Soit K un sous-graphe de ̂N ∗ (F). Notons S(K) ⊂ S(F) l’ensemble des sommets de K et S i (K) le sous-ensemble des sommets de K de type i, avec i = 0 ou 1 . Nous appelons application de cohomologie associée à K l’application C-linéaire : ∏ ∏ ∆ K : E s =: Z 0 (K) −→ Z 1 (K) := E ss ′ , (84) où s∈S(K) (s,s ′ )∈S(K)ˇ2 (X s ) s ↦−→ (X ss ′) (s,s ′ ) , avec X ss ′ := X s ′ − X s , (85) S(K)ˇ2 := { (s, s ′ ) ∈ S 0 (K) × S 1 (K) / ss ′ arête de K } . Nous noterons dans tout ce qui suit : H 0 (K) := ker (∆ K ) , H 1 (K) := coker (∆ K ) . Remarquons que deux sous-graphes K et K ′ de ̂N ∗ (F) vérifient : (86) dim C H 1 (K) ≥ dim C H 1 (K ′ ) dès que K ′ ⊂ K . En effet, π désignant la projection linéaire Z 1 (K) −→ Z 1 (K ′ ) induite par la structure produit, les applications ∆ K ′ , π ◦ ∆ K ont même image. Visiblement (87) H 1 (̂N∗ ) ( ) (F) = H 1 U ; ̂T˜F . Pour voir que F n’est pas t.f.f. il suffit donc de détecter un sous-graphe K de ̂N ∗ (F) tel que dim C H 1 (K) = ∞ . (̂N∗ ) Remarque 5.4.1. — En fait H 1 (F) peut s’interpréter comme un espace de ∣ cohomologie de Cech : munissons la réalisation géométrique ∣̂N ∗ (F) ∣ de ̂N ∗ (F) de la topologie dont une base d’ouverts est la collection V des réalisations géométriques V s , s ∈ S(F), des parties de ̂N ∗ (F) constituées d’un sommet s et de toutes les arêtes qui y sont attachées. Considérons le faisceau ̂T ∣ F de base ∣̂N ∗ (F) ∣ défini par ̂T F (V s ) := E s , ̂TF (V s ∩ V ′ s) := E ss ′ , (s, s ′ ) ∈ S(K)ˇ2 , les applications de restriction associées aux inclusions V s ∩ V s ′ ⊂ V s et V s ∩ V s ′ ⊂ V s ′ étant respectivement les injections ρ s ss ( et ′ ρs′ ss définies en (79). alors ′ H j (K) = H j V K ; ̂T ) F , j = 0, 1 , où V K est le recouvrement (V s ) s∈S(K) de K .
MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 71 Lemme 5.4.2. — Soit K une géodésique (18) de ̂N ∗ (F) de l’un des types suivants : 1. • s0 ⋆ s1 · · · · · · · · · ⋆ sn ←− ⋆ sn+1 avec n ≥ 1, 2. • s0 ⋆ s1 · · · · · · · · · ⋆ sn • sn+1 avec n ≥ 1 , 3. • s0 • s1 l’arête étant verte, 4. • s0 ←↦→ ⋆ s1 , les sommets s 2 , . . . , s n−1 étant verts et l’orientation des arêtes s j s j+1 , j = 1, . . .,n−1 étant quelconque. alors : dim C H 1 (K) = ∞. Démonstration. — Examinons le cas 1. Quitte à raccourcir la géodésique, on supposera grâce à (86) que toutes les arêtes s j s j+1 , j = 0, . . .,n − 1 sont, soit des doubles flèches ⋆ sj ←→ ⋆ sj+1 , soit des flèches orientées vers s n , i.e. ⋆ sj −→ ⋆ sj+1 . En considérant les opérateurs d’extension et de restriction comme des inclusions, on obtient les identifications suivantes : (88) E s0 ⊂ E s0s 1 ⊂ E s1 ⊂ E s1s 2 ⊂ · · · · · · ⊂ E sn ⊂ E sns n+1 ⊉E sn+1 . qui permettent de considérer tous les espaces comme des sous espaces de E sns n+1 . Les sommets s n et s n+1 sont de type 0 et 1 respectivement. Fixons un couple normalisé (f, Z) ∈ A sn s n+1 × E sn s n+1 . Par (5.1.2) les identifications ci-dessus s’écrivent : (89) C · a(f)Z ⊂ · · · · · · ⊂ C[[f]]Z ⊃ C[[˜b(f)]] · ã(f)Z . où a , ã , ˜b sont des séries formelles d’une variable satisfaisant : ˜b(0) = ˜b ′ (0) = 0 et ã(0) ≠ 0 . Il suffit de montrer que le conoyau du composé ˜∆ K de l’application de cohomologie ∆ K définie en (84) avec la surjection linéaire n∑ Z 1 (K) −→ E sn, s n+1 , (X j, j+1 ) j=0 ,...,n ↦−→ j=0 X j, j+1 est de codimension infinie. L’application ˜∆ K envoie (X j, j+1 ) j=0 ,...,n sur X n+1 − X 0 . ainsi l’image de ˜∆ K s’écrit : ) Im (˜∆K = ( ]] ) C [[˜b(f) ã(f) + C a(f) · Z , avec ˜b(0) = ˜b ′ (0) = 0 ; d’où la conclusion. ) Dans le cas 2. la même méthode montre que Im (˜∆K est de dimension finie. Le cas 3. est trivial et le cas 4. donne le même résultat que le cas 2.. Remarquons que, d’après la liste (81), ̂N ∗ (F) ne peut posséder d’arête du type • ←− ⋆ . Il découle clairement du lemme ci-dessus que si F est t.f.f., alors ̂R ∗ (F) est connexe et répulsif, à moins qu’il ne soit vide. (18) rappelons que nous avons muni N ∗ (F) de la métrique pour laquelle chaque arête est isométrique au segment [0, 1] standard.
Page 1 and 2:
arXiv:math/0402256v1 [math.DS] 16 F
Page 3 and 4:
MODULES FORMELS DE FEUILLETAGES HOL
Page 5 and 6:
Page 7 and 8:
Page 9 and 10:
Page 11 and 12:
Page 13 and 14:
Page 15 and 16:
Page 17 and 18:
Page 19 and 20: MODULES FORMELS DE FEUILLETAGES HOL
Page 69: MODULES FORMELS DE FEUILLETAGES HOL
Page 89: MODULES FORMELS DE FEUILLETAGES HOL
show all

Modules formels locaux de feuilletages holomorphes - arXiv

Create successful ePaper yourself

Delete template?

Save as template?