## Proper base change for non-quasicoherent sheaves

For a proper flat map $f: X \to Y$ (of reasonable schemes) and a closed embedding $i: Y’ \to Y$, we know by EGA the base change quasi-isomorphism, where $f’$ and $i’$ are the pullbacks of $f$ and $i$: $$L i^* R f_* \mathcal O \sim R f’_* L i’^* \mathcal O$$ Here is my … Read more