Modules formels locaux de feuilletages holomorphes - arXiv
Modules formels locaux de feuilletages holomorphes - arXiv
Modules formels locaux de feuilletages holomorphes - arXiv
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
MODULES FORMELS DE FEUILLETAGES HOLOMORPHES 27<br />
Soit S ′ un sous-espace analytique d’une variété M ′ . Une application transversalement<br />
formelle f : ̂M → ̂M S , que l’on notera aussi f : (M ′ , S ′ ) → (M, S) est un<br />
′S′<br />
morphisme d’espaces annelés donné par |f| : |S ′ | → |S| et f ∗ : ÔS M → ÔS′ M ′.<br />
Pour tout sous-ensemble quelconque K ′ <strong>de</strong> S ′ ′S′<br />
, on appelle germe <strong>de</strong> ̂M le long<br />
<strong>de</strong> K ′ , le sous-espace annelé (K ′ −1<br />
, i (ÔS′ M ′)) où i : K′ ֒→ S ′ désigne l’application<br />
d’inclusion. Le germe <strong>de</strong> f le long d’un sous-ensemble K ′ ⊂ S ′ , noté f : (M ′ , K ′ ) →<br />
(M, S), est un morphisme d’espace annelé entre les espaces annelés (K ′ −1<br />
, i (ÔS′ M ′)) et<br />
̂M S .<br />
Via l’extension <strong>de</strong>s scalaires ι −1 (O M ) ֒→ ÔS M on obtient les faisceaux (<strong>de</strong> base<br />
S) <strong>de</strong>s 1-formes différentielles et <strong>de</strong>s champs <strong>de</strong> vecteurs transversalement <strong>formels</strong> le<br />
long <strong>de</strong> S en posant :<br />
̂Λ S M := ι −1 (Λ M ) ⊗ ι −1 (O M) ÔS M , ̂X<br />
S<br />
M := ι −1 (X M ) ⊗ ι −1 (O M) ÔS M .<br />
Lorsque S est réduit à un point, S = {m}, on retrouve les notions usuelles <strong>de</strong> séries,<br />
1-formes différentielles et champs <strong>de</strong> vecteurs <strong>formels</strong> et nous notons simplement ces<br />
espaces par ÔM, m , ̂Λ M, m , ̂XM, m .<br />
Définition 2.1.5. — Un feuilletage ̂F <strong>de</strong> M <strong>de</strong> codimension q transversalement formel<br />
le long d’un sous-espace analytique S ⊂ M est la donnée d’un faisceau Λ̂F<br />
<strong>de</strong><br />
sous-modules localement libres <strong>de</strong> rang q du faisceau ̂Λ S M qui satisfait en chaque point<br />
m <strong>de</strong> S les relations d’intégrabilité (23). Le germe <strong>de</strong> ̂F le long d’un sous-ensemble<br />
K <strong>de</strong> S, noté ( ̂F, K) est la donnée <strong>de</strong> la restriction = i Λ̂F,K −1 ), i : K ֒→ S<br />
(Λ̂F<br />
désignant l’application d’inclusion.<br />
Remarque 2.1.6. — Avec ces définitions, on étend sans peine à un feuilletage<br />
transversalement formel ̂F le long <strong>de</strong> S, les notions <strong>de</strong> lieux singulier, <strong>de</strong> saturation,<br />
ainsi que les notions d’image réciproque f −1 ( ̂F) et <strong>de</strong> transformé strict f ∗ ( ̂F) par<br />
une application transversalement formelle f : ̂M<br />
′ S′<br />
→ ̂M S . On dispose aussi d’une<br />
notion <strong>de</strong> sous-espace transversalement formel invariant par ̂F. On peut aussi définir<br />
la relation <strong>de</strong> conjugaison formelle entre <strong>de</strong>ux <strong>feuilletages</strong> transversalement <strong>formels</strong><br />
̂F et ̂F ′ par un isomorphisme transversalement formel, que l’on notera par ̂F ∼ for ̂F ′ .<br />
Remarquons aussi que toute application holomorphe h d’une variété holomorphe<br />
M ′ dans une variété holomorphe M induit une application transversalement formelle<br />
̂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 ′ :=<br />
h ∗ (I S )O M ′. En particulier, l’image réciproque par h d’un feuilletage transversalement<br />
formel le long <strong>de</strong> S est un feuilletage transversalement formel le long <strong>de</strong> h −1 (S).<br />
D’autre part l’opération d’image directe commute avec la complétion, d’après les<br />
théorèmes <strong>de</strong> comparaison <strong>de</strong> Grauert [1, page 269]. La proposition <strong>de</strong> type Hartogs<br />
(2.1.2) s’étend ainsi à l’image directe d’un feuilletage transversalement formel par une<br />
application holomorphe. Ainsi lorsqu’on considère un feuilletage formel à l’origine <strong>de</strong>