Remark 21.23.4 (0BKW)—The Stacks project

Remark 21.23.4. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $(K_ n)$ be an inverse system in $D(\mathcal{O})$. Set $K = R\mathop{\mathrm{lim}}\nolimits K_ n$. For each $n$ and $m$ let $\mathcal{H}^ m_ n = H^ m(K_ n)$ be the $m$th cohomology sheaf of $K_ n$ and similarly set $\mathcal{H}^ m = H^ m(K)$. Let us denote $\underline{\mathcal{H}}^ m_ n$ the presheaf

\[ U \longmapsto \underline{\mathcal{H}}^ m_ n(U) = H^ m(U, K_ n) \]

Similarly we set $\underline{\mathcal{H}}^ m(U) = H^ m(U, K)$. By Lemma 21.20.3 we see that $\mathcal{H}^ m_ n$ is the sheafification of $\underline{\mathcal{H}}^ m_ n$ and $\mathcal{H}^ m$ is the sheafification of $\underline{\mathcal{H}}^ m$. Here is a diagram

\[ \xymatrix{ K \ar@{=}[d] & \underline{\mathcal{H}}^ m \ar[d] \ar[r] & \mathcal{H}^ m \ar[d] \\ R\mathop{\mathrm{lim}}\nolimits K_ n & \mathop{\mathrm{lim}}\nolimits \underline{\mathcal{H}}^ m_ n \ar[r] & \mathop{\mathrm{lim}}\nolimits \mathcal{H}^ m_ n } \]

In general it may not be the case that $\mathop{\mathrm{lim}}\nolimits \mathcal{H}^ m_ n$ is the sheafification of $\mathop{\mathrm{lim}}\nolimits \underline{\mathcal{H}}^ m_ n$. If $U \in \mathcal{C}$, then we have short exact sequences

21.23.4.1

\begin{equation} \label{sites-cohomology-equation-ses-Rlim-over-U} 0 \to R^1\mathop{\mathrm{lim}}\nolimits \underline{\mathcal{H}}^{m - 1}_ n(U) \to \underline{\mathcal{H}}^ m(U) \to \mathop{\mathrm{lim}}\nolimits \underline{\mathcal{H}}^ m_ n(U) \to 0 \end{equation}

by Lemma 21.23.2.

The Stacks project

Comments (0)

Post a comment