Images directes en cohomologie cohérente
Direct images in coherent cohomology

Français
Soient S un schéma affine noethérien, f:X→S un morphisme propre, F un OX-module cohérent plat sur S et Rf∗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 OS-modules localement libres de type fini. Soit p un entier ≥0 et remplaçons l'hypothèse f propre par l'hypothèse plus faible : les OS-modules Rif∗F sont de type fini pour i≤p. Peut-on trouver un complexe parfait L de OS-modules et un morphisme L→Rf∗F qui induit un isomorphisme sur la cohomologie en degrés ≤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 F vérifie de bonnes conditions de profondeur. La construction de L est obtenue en montrant que Rf∗F est limite inductive d'une famille de complexes parfaits dont les complexes tronqués en degrés ≤p forment une famille essentiellement constante. Pour cela, nous sommes amenés à considérer la catégorie des ind-objets “lim→” Lα et par dualité celle des pro-objets “lim←” Lα.