# Higher direct image and local cohomology.

Let $X$ be an scheme, $Z \subset X$ a closed subscheme, and $\mathcal{F}$ a coherent sheaf then,

$\mathcal{R}^{i-1}_{j_{*}}(\mathcal{F}|_{X-Z})\cong\mathcal{H}_{Z}^{i}(X,\mathcal{F})$

I would like to see this isomorphism explicitly. Since I dont really understand how to see the elements of $H^i_Z(X,F)$. If it is possible, how can I see them in terms of Cech Cohomology?

-

The isomorphism also holds for relative cohomology of sheaves on arbitrary topological spaces. For a proof, see for example Cor. 1.9 in Hartshorne's Local cohomology (LNM 41). It is quite elementary and self-contained. For some geometric intuition for relative cohomology you may consult texts on algebraic topology (for example Hatcher's textbook), because it coincides with relative singular cohomology in the following sense: If $(X,A)$ is a relative CW-complex and $G$ is a constant sheaf on $X$, there is a canonical isomorphism $H^i_A(X,G) \cong H^i_{\mathrm{sing}}(X,X \setminus A,G)$.