Is the right adjoint to presheaf direct image interesting?

228 Views Asked by At

Let $f:X\to Y$ be a continuous map. It induces on presheaves a classical adjunction inverse image $\dashv$ direct image. However, the direct image functor has a further right adjoint, defined by the limit formula for right Kan extensions $$U\mapsto \varprojlim _{U\supset f^{−1}(V)}GV$$ where $G$ is a presheaf on $Y$ and the colimit is over opens $V\subset Y$ satisfying the condition in the formula.

On a formal level, sheafifying this adjoint does not give something obviously satisfying since sheafification is left adjoint, so there are no adjunctions to compose.

Question 1. Is the right adjoint of the presheaf direct image hiding in plain sight?

Question 2. When life is good, the derived proper direct image admits a right adjoint which captures duality. Is it in any way related to the right adjoint of presheaf direct image?