Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor

Details Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor

2006-11-24

arxiv.org/abs/math/0611760v2

Mathematics

Algebraic Geometry

Thanks to a theorem of Bondal and van den Bergh, previously unknown to us, we can now prove our main results for quasi-compact

Scientific paper

For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial isomorphism f^\times O_{Y} \otimes^L Lf^*(-) \to f^\times (-); to quasi-properness (preservation by Rf_* of pseudo-coherence, or just properness in the noetherian case) plus boundedness of Lf^* (finite tor-dimensionality), or of the functor f^\times; and to some other conditions. We use a globalization, previously known only for divisorial schemes, of the local definition of pseudo-coherence of complexes, as well as a refinement of the known fact that the derived category of complexes with quasi-coherent homology is generated by a single perfect complex.

Affiliated with

Also associated with

No associations

Rating

Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-540341