Derived direct image of sheaves
= Derived direct image of sheaves
{title2=$Rf_*$}
For a continuous map $f:X\to Y$, the derived direct image $Rf_*$ is obtained by applying $f_*$ to an injective resolution. Composition with derived global sections gives $R\Gamma(Y,Rf_*E)\cong R\Gamma(X,E)$.