Images directes en cohomologie cohérente. (Direct images in coherent cohomology). (French) Zbl 0699.14023

Flexor, Marguerite

Mém. Soc. Math. Fr., Nouv. Sér. 36, 97 p. (1989).

Let S be an affine scheme, f: \(X\to S\) a morphism with \({\mathcal F}^ a \)coherent \({\mathcal O}_ X\)-module, flat over S. Suppose that for \(p\geq 0\) the \({\mathcal O}_ S\)-modules \(R^ if_ X{\mathcal F}\) are coherent for \(i\leq p\). In this memoir the author shows that there is a perfect complex \({\mathcal L}\) (representable by a finite complex of locally free \({\mathcal O}_ S\)-modules) and a morphism \(\alpha: {\mathcal L}\to R^ if_ X{\mathcal F}\) such that \(H^ i(\alpha)\) is an isomorphism for \(i\leq p\) provided that X is a “large” open subset of a projective space and \({\mathcal F}\) enjoys certain properties on depth.
To prove this result the author proves many results related to the categories Ind-\({\mathcal A}\) or Pro-\({\mathcal A}\) where \({\mathcal A}\) might be abelian or a suitable category of modules or a derived category of one of these.

Reviewer: P.Cherenack

MSC:

14F20	Étale and other Grothendieck topologies and (co)homologies
18E30	Derived categories, triangulated categories (MSC2010)
14F25	Classical real and complex (co)homology in algebraic geometry

Keywords:

pro-category; coherent sheaf; direct image of sheaf; perfect complex; depth; derived category

References:

[1]	BOURBAKI . - Ch. X Algèbre homologique. Masson. Zbl 0455.18010 · Zbl 0455.18010
[2]	A. BEILINSON , J. BERNSTEIN , P. DELIGNE . - Faisceaux pervers . Chapitre I. Collection Asterix 100. MR 86g:32015 | Zbl 0536.14011 · Zbl 0536.14011
[3]	P. DELIGNE . - Séminaire de géométrie algébrique SGA V. Lecture Notes 589 Springer Verlag.
[4]	P. DELIGNE . Cohomologie à support propre et construction du foncteur f! . Appendix à [6].
[5]	A. GROTHENDIECK . - Séminaire Bourbaki Février 1960 .
[6]	R. HARTSHORNE . - Residus and duality . Lecture Notes 20 Springer Verlag. Zbl 0212.26101 · Zbl 0212.26101
[7]	L. GRUSON et M. RAYNAUD . - Platitude en géométrie algébrique . Inv. math. 13 1971 . MR 46 #7219
[8]	J.L. VERDIER . - Catégories dérivées . SGA 41/2. · Zbl 0882.18010
[9]	N. BOURBAKI . - Algèbre commutative . Ch. III, Hermann. · Zbl 0141.03501
[10]	G. FALTING . - Algebraisation of some formal vectors bundles . Annals of Math. 110 ( 1979 ). MR 82e:14011 | Zbl 0395.14005 · Zbl 0395.14005
[11]	A. GROTHENDIECK . - SGA II. Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux . IHES 1962 . Zbl 0159.50402 · Zbl 0159.50402
[12]	A. GROTHENDIECK . - EGA Ch. III. Pub. Math. n^\circ 11 n^\circ 24.
[13]	D. MUMFORD . - Abelian Varieties . Tata Institute Oxford University Press. Zbl 0223.14022 · Zbl 0223.14022
[14]	L. GRUSON et M. RAYNAUD . - Platitude en géométrie algébrique . Inv. Math. 13 1971. · Zbl 0227.14010
[15]	A.A. BEILINSON , J. BERNSTEIN , P. DELIGNE . - Analyse et topologie sur les espaces singuliers . Astérisque 100, 1982 . MR 86g:32015