Lemma 61.11.7. Consider a cartesian square

$\xymatrix{ X' \ar[r]_{g'} \ar[d]_{f'} & X \ar[d]^ f \\ Y' \ar[r]^ g & Y }$

of quasi-compact and quasi-separated schemes with $f$ separated and of finite type. Then we have $Rf^! \circ Rg_* = Rg'_* \circ R(f')^!$.

Proof. By uniqueness of adjoint functors this follows from base change for derived lower shriek: we have $g^{-1} \circ Rf_! = Rf'_! \circ (g')^{-1}$ by Lemma 61.9.4. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).