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

Joseph Lipman, Amnon Neeman

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 sum…