Modules formels locaux de feuilletages holomorphes - arXiv

More documents

Recommendations

Info

26 J.-F. MATTEI & E. SALEM Proposition 2.1.4. — Soit S une hypersurface de M à croisements normaux. Un point m ∈ S appartient à M −Sing (F, S) si et seulement si en ce point F est régulier et chaque composante irréductible locale de S est soit invariante soit transverse à F en tout point. Si l’on n’avait pas effectué dans (2.1.3) l’opération de saturation de I F, S on aurait de plus comme points singuliers ceux des composantes de S qui sont variétés intégrales de F. Considérons maintenant un sous espace analytique S = (|S | , O M /I S ) de M , non nécessairement réduit. Désignons par ̂M S l’espace annelé donné par (24) |̂M S | := |S|, Ô S M ( ι −1 ) (O M ) := ←− lim k∈N ι −1 (I k+1 , S ) où ι : S ֒→ M désigne l’application d’inclusion. Nous dirons que ̂M S est un espace transversalement formel et les éléments de ÔS M seront appelés germes de fonctions transversalement formelles le long de S . Classiquement l’espace transversalement formel ̂M S s’identifie à celui obtenu de la même manière à partir de l’espace analytique réduit associé à S. Nous n’aurons à considérer ici que des sous-espaces de dimension 0, (où l’on retrouve la notion usuelle de série formelle), et des hypersurfaces localement définies dans de bonnes coordonnées (z 1 , . . .,z n ) par une équation du type z 1 = 0 , resp. z 1 z 2 = 0 . Les éléments de ÔS M,m s’expriment alors respectivement comme les séries : ∞∑ (25) A k (z 2 , . . . , z n )z1 k , ou bien (26) k=0 ∞∑ ( A 0 k (z 3 . . . , z n ) + A 1 k (z 1; z 3 , . . . z n ) + A 2 k (z 2; z 3 . . . , z n ) ) (z 1 z 2 ) k , k=0 les rayons de convergence des coefficients A k , A j k étant tous minorés par un même réel > 0 . Soit J un faisceau cohérent d’idéaux de ÔS M et S J := supp(ÔS M /J ) ⊂ S. On appelle sous-espace de M transversalement formel le long de S l’espace annelé Z J = (S J , ÔS M /J ). Lorsque l’idéal J est égal à son radical, on dit que Z J est un sous-ensemble de M transversalement formel le long de S . L’intersection de deux sous-ensembles transversalement formels est défini par le radical du produit de leurs idéaux. Lorsque I est un faisceau d’idéaux de O M (avec I égal à son radical), nous notons ÎS = I ⊗ OM ÔM S . Dans ce cas S = Z ∩ S où Z est le sous-ensemble Î analytique de M défini par I. S
MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 27 Soit S ′ un sous-espace analytique d’une variété M ′ . Une application transversalement formelle f : ̂M → ̂M S , que l’on notera aussi f : (M ′ , S ′ ) → (M, S) est un ′S′ morphisme d’espaces annelés donné par |f| : |S ′ | → |S| et f ∗ : ÔS M → ÔS′ M ′. Pour tout sous-ensemble quelconque K ′ de S ′ ′S′ , on appelle germe de ̂M le long de K ′ , le sous-espace annelé (K ′ −1 , i (ÔS′ M ′)) où i : K′ ֒→ S ′ désigne l’application d’inclusion. Le germe de f le long d’un sous-ensemble K ′ ⊂ S ′ , noté f : (M ′ , K ′ ) → (M, S), est un morphisme d’espace annelé entre les espaces annelés (K ′ −1 , i (ÔS′ M ′)) et ̂M S . Via l’extension des scalaires ι −1 (O M ) ֒→ ÔS M on obtient les faisceaux (de base S) des 1-formes différentielles et des champs de vecteurs transversalement formels le long de S en posant : ̂Λ S M := ι −1 (Λ M ) ⊗ ι −1 (O M) ÔS M , ̂X S M := ι −1 (X M ) ⊗ ι −1 (O M) ÔS M . Lorsque S est réduit à un point, S = {m}, on retrouve les notions usuelles de séries, 1-formes différentielles et champs de vecteurs formels et nous notons simplement ces espaces par ÔM, m , ̂Λ M, m , ̂XM, m . Définition 2.1.5. — Un feuilletage ̂F de M de codimension q transversalement formel le long d’un sous-espace analytique S ⊂ M est la donnée d’un faisceau Λ̂F de sous-modules localement libres de rang q du faisceau ̂Λ S M qui satisfait en chaque point m de S les relations d’intégrabilité (23). Le germe de ̂F le long d’un sous-ensemble K de S, noté ( ̂F, K) est la donnée de la restriction = i Λ̂F,K −1 ), i : K ֒→ S (Λ̂F désignant l’application d’inclusion. Remarque 2.1.6. — Avec ces définitions, on étend sans peine à un feuilletage transversalement formel ̂F le long de S, les notions de lieux singulier, de saturation, ainsi que les notions d’image réciproque f −1 ( ̂F) et de transformé strict f ∗ ( ̂F) par une application transversalement formelle f : ̂M ′ S′ → ̂M S . On dispose aussi d’une notion de sous-espace transversalement formel invariant par ̂F. On peut aussi définir la relation de conjugaison formelle entre deux feuilletages transversalement formels ̂F et ̂F ′ par un isomorphisme transversalement formel, que l’on notera par ̂F ∼ for ̂F ′ . Remarquons aussi que toute application holomorphe h d’une variété holomorphe M ′ dans une variété holomorphe M induit une application transversalement formelle ̂M ′S′ → ̂M S avec ici S ′ = h −1 (S) i.e. |S ′ | := h −1 (|S|), O S ′ := O M ′/I S ′ et I S ′ := h ∗ (I S )O M ′. En particulier, l’image réciproque par h d’un feuilletage transversalement formel le long de S est un feuilletage transversalement formel le long de h −1 (S). D’autre part l’opération d’image directe commute avec la complétion, d’après les théorèmes de comparaison de Grauert [1, page 269]. La proposition de type Hartogs (2.1.2) s’étend ainsi à l’image directe d’un feuilletage transversalement formel par une application holomorphe. Ainsi lorsqu’on considère un feuilletage formel à l’origine de
Page 1 and 2: arXiv:math/0402256v1 [math.DS] 16 F
Page 3 and 4: MODULES FORMELS DE FEUILLETAGES HOL
Page 25: MODULES FORMELS DE FEUILLETAGES HOL
Page 77 and 78:
MODULES FORMELS DE FEUILLETAGES HOL
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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?