If f_*$f_\ast$ has a right adjoint, it must preserve colimits and hence be right-exact. ThusThus a necessary condition is that the higher derived functors vanish. In particular, when everything is affine and we have X=Spec B, Y=Spec A$X=\operatorname{Spec} B$ and $Y=\operatorname{Spec} A$, then I believe the adjoint exists and is given by M \mapsto Hom_A(B,M)$M \mapsto \operatorname{Hom}_A(B,M)$.
Mike Pierce
- 1.2k
- 1
- 9
- 26