Say f: X → Y is a morphism of schemes. The sheaf direct image functor f<sub>★</sub> always has a left adjoint, namely the sheaf inverse image functor f<sup>★</sup> (with tensoring). >Under what conditions do we know that f<sub>★</sub> has a *right* adjoint? What is it?