Say f: X → Y is a morphism of schemes. The sheaf direct image functor f_★ always has a left adjoint, namely the sheaf inverse image functor f^★ (with tensoring).

Under what conditions do we know that f_★ has a right adjoint? What is it?