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

Abstract

For a map f : X → Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, i.e., the right adjoint fx of Rf* respects small direct sums. This is equivalent to the existence of a functorial isomorphism fxOY ⊗L Lf*( - ) →∼ fx( - ); t Show more