SMF

Images directes en cohomologie cohérente

Direct images in coherent cohomology

M. FLEXOR
Images directes en cohomologie cohérente
     
                
  • Année : 1989
  • Tome : 36
  • Format : Électronique, Papier
  • Langue de l'ouvrage :
    Français
  • Nb. de pages : 97
  • ISBN : 2-85629-005-1
  • ISSN : 0249-633-X
  • DOI : 10.24033/msmf.337

Soient $S$ un schéma affine noethérien, $f : X \rightarrow S$ un morphisme propre, $\cal {F}$ un $\mathcal{O}_{X}$-module cohérent plat sur $S$ et $Rf_{*} \cal {F}$ le complexe “image directe” associé à ces donnés. A. Grothendieck a montré que ce dernier est un complexe parfait, i.e. représenté par un complexe fini de $\mathcal{O}_{S}$-modules localement libres de type fini. Soit $p$ un entier $\geq 0$ et remplaçons l'hypothèse $f$ propre par l'hypothèse plus faible : les $\mathrm{O}_{S}$-modules $R^{i} f_{*} \cal {F}$ sont de type fini pour $i \leq p$. Peut-on trouver un complexe parfait $L$ de $\mathcal{O}_{S}$-modules et un morphisme $L \rightarrow Rf_{*} \cal {F}$ qui induit un isomorphisme sur la cohomologie en degrés $\leq p$ ? On montre, dans ce mémoire qu'il en est ainsi lorsque $X$ est un ouvert assez gros d'un espace projectif et lorsque $\cal {F}$ vérifie de bonnes conditions de profondeur. La construction de $L$ est obtenue en montrant que $Rf_{*} \cal {F}$ est limite inductive d'une famille de complexes parfaits dont les complexes tronqués en degrés $\leq p$ forment une famille essentiellement constante. Pour cela, nous sommes amenés à considérer la catégorie des ind-objets “$\displaystyle \lim _{\rightarrow }$” $L_{\alpha }$ et par dualité celle des pro-objets “$\displaystyle \lim _{\leftarrow }$” $L_{\alpha }$.

Let $S$ be an affine scheme, $f : X \rightarrow S$ be a proper map, $\cal {F}$ a coherent $\mathcal{O}_{X}$-module flat over $S$. By a theorem of A. Grothendieck, the complex $Rf_{*} \cal {F}$ is perfect, i.e. can be represented by a finite complex of locally free $\mathcal{O}_{S}$-modules of finite type. Let $p \geq 0$ and replace the hypothesis $f$ proper by the weaker hypothesis : the $\mathcal{O}_{S}$-modules $R^{i} f_{*} \cal {F}$ are coherent for $i \leq p$. Then we show that there exists a perfect complex $L$, a morphism $L {\buildrel u \over {\longrightarrow }} Rf_{*} \cal {F}$ such that $H^{i}(u)$ is an isomorphism for $i \leq p$, when $X$ is a big open subset of a projective space and $\cal {F}$ verifies good properties on depth. The construction of $L$ is obtained from $Rf_{*} \cal {F}$ by consideration of ind-objects and by duality of pro-objects.


Prix Papier
Price (paper only)
Prix public Public price 21.00 €
Prix membre Member price 15.00 €
Quantité
Quantity
- +



Des problèmes avec le téléchargement?Des problèmes avec le téléchargement?
Informez-nous de tout problème que vous avez...