The Stacks Project


Tag 09V0

20.17. Cohomology on Hausdorff quasi-compact spaces

For such a space Čech cohomology agrees with cohomology.

Lemma 20.17.1. Let $X$ be a topological space. Let $\mathcal{F}$ be an abelian sheaf. Then the map $\check{H}^1(X, \mathcal{F}) \to H^1(X, \mathcal{F})$ defined in (20.16.0.1) is an isomorphism.

Proof. Let $\mathcal{U}$ be an open covering of $X$. By Lemma 20.12.5 there is an exact sequence $$ 0 \to \check{H}^1(\mathcal{U}, \mathcal{F}) \to H^1(X, \mathcal{F}) \to \check{H}^0(\mathcal{U}, \underline{H}^1(\mathcal{F})) $$ Thus the map is injective. To show surjectivity it suffices to show that any element of $\check{H}^0(\mathcal{U}, \underline{H}^1(\mathcal{F}))$ maps to zero after replacing $\mathcal{U}$ by a refinement. This is immediate from the definitions and the fact that $\underline{H}^1(\mathcal{F})$ is a presheaf of abelian groups whose sheafification is zero by locality of cohomology, see Lemma 20.8.2. $\square$

Lemma 20.17.2. Let $X$ be a Hausdorff and quasi-compact topological space. Let $\mathcal{F}$ be an abelian sheaf on $X$. Then the map $\check{H}^n(X, \mathcal{F}) \to H^n(X, \mathcal{F})$ defined in (20.16.0.1) is an isomorphism for all $n$.

Proof. We already know that $\check{H}^n(X, -) \to H^p(X, -)$ is an isomorphism of functors for $n = 0, 1$, see Lemma 20.17.1. The functors $H^n(X, -)$ form a universal $\delta$-functor, see Derived Categories, Lemma 13.20.4. If we show that $\check{H}^n(X, -)$ forms a universal $\delta$-functor and that $\check{H}^n(X, -) \to H^n(X, -)$ is compatible with boundary maps, then the map will automatically be an isomorphism by uniqueness of universal $\delta$-functors, see Homology, Lemma 12.11.5.

Let $0 \to \mathcal{F} \to \mathcal{G} \to \mathcal{H} \to 0$ be a short exact sequence of abelian sheaves on $X$. Let $\mathcal{U} : X = \bigcup_{i \in I} U_i$ be an open covering. This gives a complex of complexes $$ 0 \to \check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{F}) \to \check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{G}) \to \check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{H}) \to 0 $$ which is in general not exact on the right. The sequence defines the maps $$ \check{H}^n(\mathcal{U}, \mathcal{F}) \to \check{H}^n(\mathcal{U}, \mathcal{G}) \to \check{H}^n(\mathcal{U}, \mathcal{H}) $$ but isn't good enough to define a boundary operator $\delta : \check{H}^n(\mathcal{U}, \mathcal{H}) \to \check{H}^{n + 1}(\mathcal{U}, \mathcal{F})$. Indeed such a thing will not exist in general. However, given an element $\overline{h} \in \check{H}^n(\mathcal{U}, \mathcal{H})$ which is the cohomology class of a cocycle $h = (h_{i_0 \ldots i_n})$ we can choose open coverings $$ U_{i_0 \ldots i_n} = \bigcup W_{i_0 \ldots i_n, k} $$ such that $h_{i_0 \ldots i_n}|_{W_{i_0 \ldots i_n, k}}$ lifts to a section of $\mathcal{G}$ over $W_{i_0 \ldots i_n, k}$. By Topology, Lemma 5.13.5 we can choose an open covering $\mathcal{V} : X = \bigcup_{j \in J} V_j$ and $\alpha : J \to I$ such that $V_j \subset U_{\alpha(j)}$ (it is a refinement) and such that for all $j_0, \ldots, j_n \in J$ there is a $k$ such that $V_{j_0 \ldots j_n} \subset W_{\alpha(j_0) \ldots \alpha(j_n), k}$. We obtain maps of complexes $$ \xymatrix{ 0 \ar[r] & \check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{F}) \ar[d] \ar[r] & \check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{G}) \ar[d] \ar[r] & \check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{H}) \ar[d] \ar[r] & 0 \\ 0 \ar[r] & \check{\mathcal{C}}^\bullet(\mathcal{V}, \mathcal{F}) \ar[r] & \check{\mathcal{C}}^\bullet(\mathcal{V}, \mathcal{G}) \ar[r] & \check{\mathcal{C}}^\bullet(\mathcal{V}, \mathcal{H}) \ar[r] & 0 } $$ In fact, the vertical arrows are the maps of complexes used to define the transition maps between the Čech cohomology groups. Our choice of refinement shows that we may choose $$ g_{j_0 \ldots j_n} \in \mathcal{G}(V_{j_0 \ldots j_n}),\quad g_{j_0 \ldots j_n} \longmapsto h_{\alpha(j_0) \ldots \alpha(j_n)}|_{V_{j_0 \ldots j_n}} $$ The cochain $g = (g_{j_0 \ldots j_n})$ is not a cocycle in general but we know that its Čech boundary $\text{d}(g)$ maps to zero in $\check{\mathcal{C}}^{n + 1}(\mathcal{V}, \mathcal{H})$ (by the commutative diagram above and the fact that $h$ is a cocycle). Hence $\text{d}(g)$ is a cocycle in $\check{\mathcal{C}}^\bullet(\mathcal{V}, \mathcal{F})$. This allows us to define $$ \delta(\overline{h}) = \text{class of }\text{d}(g)\text{ in } \check{H}^{n + 1}(\mathcal{V}, \mathcal{F}) $$ Now, given an element $\xi \in \check{H}^n(X, \mathcal{G})$ we choose an open covering $\mathcal{U}$ and an element $\overline{h} \in \check{H}^n(\mathcal{U}, \mathcal{G})$ mapping to $\xi$ in the colimit defining Čech cohomology. Then we choose $\mathcal{V}$ and $g$ as above and set $\delta(\xi)$ equal to the image of $\delta(\overline{h})$ in $\check{H}^n(X, \mathcal{F})$. At this point a lot of properties have to be checked, all of which are straightforward. For example, we need to check that our construction is independent of the choice of $\mathcal{U}, \overline{h}, \mathcal{V}, \alpha : J \to I, g$. The class of $\text{d}(g)$ is independent of the choice of the lifts $g_{i_0 \ldots i_n}$ because the difference will be a coboundary. Independence of $\alpha$ holds1 because a different choice of $\alpha$ determines homotopic vertical maps of complexes in the diagram above, see Section 20.16. For the other choices we use that given a finite collection of coverings of $X$ we can always find a covering refining all of them. We also need to check additivity which is shown in the same manner. Finally, we need to check that the maps $\check{H}^n(X, -) \to H^n(X, -)$ are compatible with boundary maps. To do this we choose injective resolutions $$ \xymatrix{ 0 \ar[r] & \mathcal{F} \ar[r] \ar[d] & \mathcal{G} \ar[r] \ar[d] & \mathcal{H} \ar[r] \ar[d] & 0 \\ 0 \ar[r] & \mathcal{I}_1^\bullet \ar[r] & \mathcal{I}_2^\bullet \ar[r] & \mathcal{I}_3^\bullet \ar[r] & 0 } $$ as in Derived Categories, Lemma 13.18.9. This will give a commutative diagram $$ \xymatrix{ 0 \ar[r] & \check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{F}) \ar[r] \ar[d] & \check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{F}) \ar[r] \ar[d] & \check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{F}) \ar[r] \ar[d] & 0 \\ 0 \ar[r] & \text{Tot}(\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{I}_1^\bullet)) \ar[r] & \text{Tot}(\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{I}_2^\bullet)) \ar[r] & \text{Tot}(\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{I}_3^\bullet)) \ar[r] & 0 } $$ Here $\mathcal{U}$ is an open covering as above and the vertical maps are those used to define the maps $\check{H}^n(\mathcal{U}, -) \to H^n(X, -)$, see Lemma 20.12.2. The bottom complex is exact as the sequence of complexes of injectives is termwise split exact. Hence the boundary map in cohomology is computed by the usual procedure for this lower exact sequence, see Homology, Lemma 12.12.12. The same will be true after passing to the refinement $\mathcal{V}$ where the boundary map for Čech cohomology was defined. Hence the boundary maps agree because they use the same construction (whenever the first one is defined on an element in Čech cohomology on a given covering). This finishes our discussion of the construction of the structure of a $\delta$-functor on Čech cohomology and why this structure is compatible with the given $\delta$-functor structure on usual cohomology.

Finally, we may apply Lemma 20.12.1 to see that higher Čech cohomology is trivial on injective sheaves. Hence we see that Čech cohomology is a universal $\delta$-functor by Homology, Lemma 12.11.4. $\square$

Lemma 20.17.3. Let $X$ be a topological space. Let $Z \subset X$ be a quasi-compact subset such that any two points of $Z$ have disjoint open neighbourhoods in $X$. For every abelian sheaf $\mathcal{F}$ on $X$ the canonical map $$ \mathop{\mathrm{colim}}\nolimits H^p(U, \mathcal{F}) \longrightarrow H^p(Z, \mathcal{F}|_Z) $$ where the colimit is over open neighbourhoods $U$ of $Z$ in $X$ is an isomorphism.

Proof. We first prove this for $p = 0$. Injectivity follows from the definition of $\mathcal{F}|_Z$ and holds in general (for any subset of any topological space $X$). Next, suppose that $s \in H^0(Z, \mathcal{F}|_Z)$. Then we can find opens $U_i \subset X$ such that $Z \subset \bigcup U_i$ and such that $s|_{Z \cap U_i}$ comes from $s_i \in \mathcal{F}(U_i)$. It follows that there exist opens $W_{ij} \subset U_i \cap U_j$ with $W_{ij} \cap Z = U_i \cap U_j \cap Z$ such that $s_i|_{W_{ij}} = s_j|_{W_{ij}}$. Applying Topology, Lemma 5.13.7 we find opens $V_i$ of $X$ such that $V_i \subset U_i$ and such that $V_i \cap V_j \subset W_{ij}$. Hence we see that $s_i|_{V_i}$ glue to a section of $\mathcal{F}$ over the open neighbourhood $\bigcup V_i$ of $Z$.

To finish the proof, it suffices to show that if $\mathcal{I}$ is an injective abelian sheaf on $X$, then $H^p(Z, \mathcal{I}|_Z) = 0$ for $p > 0$. This follows using short exact sequences and dimension shifting; details omitted. Thus, suppose $\overline{\xi}$ is an element of $H^p(Z, \mathcal{I}|_Z)$ for some $p > 0$. By Lemma 20.17.2 the element $\overline{\xi}$ comes from $\check{H}^p(\mathcal{V}, \mathcal{I}|_Z)$ for some open covering $\mathcal{V} : Z = \bigcup V_i$ of $Z$. Say $\overline{\xi}$ is the image of the class of a cocycle $\xi = (\xi_{i_0 \ldots i_p})$ in $\check{\mathcal{C}}^p(\mathcal{V}, \mathcal{I}|_Z)$.

Let $\mathcal{I}' \subset \mathcal{I}|_Z$ be the subpresheaf defined by the rule $$ \mathcal{I}'(V) = \{s \in \mathcal{I}|_Z(V) \mid \exists (U, t),~U \subset X\text{ open}, ~t \in \mathcal{I}(U),~V = Z \cap U,~s = t|_{Z \cap U} \} $$ Then $\mathcal{I}|_Z$ is the sheafification of $\mathcal{I}'$. Thus for every $(p + 1)$-tuple $i_0 \ldots i_p$ we can find an open covering $V_{i_0 \ldots i_p} = \bigcup W_{i_0 \ldots i_p, k}$ such that $\xi_{i_0 \ldots i_p}|_{W_{i_0 \ldots i_p, k}}$ is a section of $\mathcal{I}'$. Applying Topology, Lemma 5.13.5 we may after refining $\mathcal{V}$ assume that each $\xi_{i_0 \ldots i_p}$ is a section of the presheaf $\mathcal{I}'$.

Write $V_i = Z \cap U_i$ for some opens $U_i \subset X$. Since $\mathcal{I}$ is flasque (Lemma 20.13.2) and since $\xi_{i_0 \ldots i_p}$ is a section of $\mathcal{I}'$ for every $(p + 1)$-tuple $i_0 \ldots i_p$ we can choose a section $s_{i_0 \ldots i_p} \in \mathcal{I}(U_{i_0 \ldots i_p})$ which restricts to $\xi_{i_0 \ldots i_p}$ on $V_{i_0 \ldots i_p} = Z \cap U_{i_0 \ldots i_p}$. (This appeal to injectives being flasque can be avoided by an additional application of Topology, Lemma 5.13.7.) Let $s = (s_{i_0 \ldots i_p})$ be the corresponding cochain for the open covering $U = \bigcup U_i$. Since $\text{d}(\xi) = 0$ we see that the sections $\text{d}(s)_{i_0 \ldots i_{p + 1}}$ restrict to zero on $Z \cap U_{i_0 \ldots i_{p + 1}}$. Hence, by the initial remarks of the proof, there exists open subsets $W_{i_0 \ldots i_{p + 1}} \subset U_{i_0 \ldots i_{p + 1}}$ with $Z \cap W_{i_0 \ldots i_{p + 1}} = Z \cap U_{i_0 \ldots i_{p + 1}}$ such that $\text{d}(s)_{i_0 \ldots i_{p + 1}}|_{W_{i_0 \ldots i_{p + 1}}} = 0$. By Topology, Lemma 5.13.7 we can find $U'_i \subset U_i$ such that $Z \subset \bigcup U'_i$ and such that $U'_{i_0 \ldots i_{p + 1}} \subset W_{i_0 \ldots i_{p + 1}}$. Then $s' = (s'_{i_0 \ldots i_p})$ with $s'_{i_0 \ldots i_p} = s_{i_0 \ldots i_p}|_{U'_{i_0 \ldots i_p}}$ is a cocycle for $\mathcal{I}$ for the open covering $U' = \bigcup U'_i$ of an open neighbourhood of $Z$. Since $\mathcal{I}$ has trivial higher Čech cohomology groups (Lemma 20.12.1) we conclude that $s'$ is a coboundary. It follows that the image of $\xi$ in the Čech complex for the open covering $Z = \bigcup Z \cap U'_i$ is a coboundary and we are done. $\square$

  1. This is an important check because the nonuniqueness of $\alpha$ is the only thing preventing us from taking the colimit of Čech complexes over all open coverings of $X$ to get a short exact sequence of complexes computing Čech cohomology.

The code snippet corresponding to this tag is a part of the file cohomology.tex and is located in lines 2580–2897 (see updates for more information).

\section{Cohomology on Hausdorff quasi-compact spaces}
\label{section-cohomology-LC}

\noindent
For such a space {\v C}ech cohomology agrees with cohomology.

\begin{lemma}
\label{lemma-cech-always}
Let $X$ be a topological space. Let $\mathcal{F}$ be an abelian sheaf. Then
the map $\check{H}^1(X, \mathcal{F}) \to H^1(X, \mathcal{F})$ defined
in (\ref{equation-cech-to-cohomology}) is an isomorphism.
\end{lemma}

\begin{proof}
Let $\mathcal{U}$ be an open covering of $X$.
By Lemma \ref{lemma-cech-spectral-sequence}
there is an exact sequence
$$
0 \to \check{H}^1(\mathcal{U}, \mathcal{F}) \to H^1(X, \mathcal{F})
\to \check{H}^0(\mathcal{U}, \underline{H}^1(\mathcal{F}))
$$
Thus the map is injective. To show surjectivity it suffices to show that
any element of $\check{H}^0(\mathcal{U}, \underline{H}^1(\mathcal{F}))$
maps to zero after replacing $\mathcal{U}$ by a refinement.
This is immediate from the definitions and the fact that
$\underline{H}^1(\mathcal{F})$ is a presheaf of abelian groups
whose sheafification is zero by locality of cohomology, see
Lemma \ref{lemma-kill-cohomology-class-on-covering}.
\end{proof}

\begin{lemma}
\label{lemma-cech-Hausdorff-quasi-compact}
Let $X$ be a Hausdorff and quasi-compact topological space. Let
$\mathcal{F}$ be an abelian sheaf on $X$. Then
the map $\check{H}^n(X, \mathcal{F}) \to H^n(X, \mathcal{F})$ defined
in (\ref{equation-cech-to-cohomology}) is an isomorphism for
all $n$.
\end{lemma}

\begin{proof}
We already know that $\check{H}^n(X, -) \to H^p(X, -)$
is an isomorphism of functors for $n = 0, 1$, see
Lemma \ref{lemma-cech-always}.
The functors $H^n(X, -)$ form a universal $\delta$-functor, see
Derived Categories, Lemma \ref{derived-lemma-higher-derived-functors}.
If we show that $\check{H}^n(X, -)$ forms a universal $\delta$-functor
and that $\check{H}^n(X, -) \to H^n(X, -)$ is compatible with boundary
maps, then the map will automatically be an isomorphism by uniqueness
of universal $\delta$-functors, see
Homology, Lemma \ref{homology-lemma-uniqueness-universal-delta-functor}.

\medskip\noindent
Let $0 \to \mathcal{F} \to \mathcal{G} \to \mathcal{H} \to 0$
be a short exact sequence of abelian sheaves on $X$.
Let $\mathcal{U} : X = \bigcup_{i \in I} U_i$ be an open covering.
This gives a complex of complexes
$$
0 \to \check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{F}) \to
\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{G}) \to
\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{H}) \to 0
$$
which is in general not exact on the right. The sequence defines
the maps
$$
\check{H}^n(\mathcal{U}, \mathcal{F}) \to
\check{H}^n(\mathcal{U}, \mathcal{G}) \to
\check{H}^n(\mathcal{U}, \mathcal{H})
$$
but isn't good enough to define a boundary operator
$\delta : \check{H}^n(\mathcal{U}, \mathcal{H}) \to
\check{H}^{n + 1}(\mathcal{U}, \mathcal{F})$. Indeed
such a thing will not exist in general. However, given an
element $\overline{h} \in \check{H}^n(\mathcal{U}, \mathcal{H})$
which is the cohomology class of a cocycle
$h = (h_{i_0 \ldots i_n})$
we can choose open coverings
$$
U_{i_0 \ldots i_n} = \bigcup W_{i_0 \ldots i_n, k}
$$
such that $h_{i_0 \ldots i_n}|_{W_{i_0 \ldots i_n, k}}$
lifts to a section of $\mathcal{G}$ over $W_{i_0 \ldots i_n, k}$.
By Topology, Lemma \ref{topology-lemma-refine-covering}
we can choose an open covering $\mathcal{V} : X = \bigcup_{j \in J} V_j$
and $\alpha : J \to I$ such that $V_j \subset U_{\alpha(j)}$
(it is a refinement) and such that for all $j_0, \ldots, j_n \in J$
there is a $k$ such that
$V_{j_0 \ldots j_n} \subset W_{\alpha(j_0) \ldots \alpha(j_n), k}$.
We obtain maps of complexes
$$
\xymatrix{
0 \ar[r] &
\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{F}) \ar[d] \ar[r] &
\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{G}) \ar[d] \ar[r] &
\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{H}) \ar[d] \ar[r] &
0 \\
0 \ar[r] &
\check{\mathcal{C}}^\bullet(\mathcal{V}, \mathcal{F}) \ar[r] &
\check{\mathcal{C}}^\bullet(\mathcal{V}, \mathcal{G}) \ar[r] &
\check{\mathcal{C}}^\bullet(\mathcal{V}, \mathcal{H}) \ar[r] &
0
}
$$
In fact, the vertical arrows are the maps of complexes used
to define the transition maps between the {\v C}ech cohomology groups.
Our choice of refinement shows that we may choose
$$
g_{j_0 \ldots j_n} \in
\mathcal{G}(V_{j_0 \ldots j_n}),\quad
g_{j_0 \ldots j_n} \longmapsto
h_{\alpha(j_0) \ldots \alpha(j_n)}|_{V_{j_0 \ldots j_n}}
$$
The cochain $g = (g_{j_0 \ldots j_n})$ is not a cocycle
in general but we know that its {\v C}ech boundary $\text{d}(g)$
maps to zero in $\check{\mathcal{C}}^{n + 1}(\mathcal{V}, \mathcal{H})$
(by the commutative diagram above and the fact that $h$ is a cocycle).
Hence $\text{d}(g)$ is a cocycle in
$\check{\mathcal{C}}^\bullet(\mathcal{V}, \mathcal{F})$.
This allows us to define
$$
\delta(\overline{h}) = \text{class of }\text{d}(g)\text{ in }
\check{H}^{n + 1}(\mathcal{V}, \mathcal{F})
$$
Now, given an element $\xi \in \check{H}^n(X, \mathcal{G})$
we choose an open covering $\mathcal{U}$ and an element
$\overline{h} \in \check{H}^n(\mathcal{U}, \mathcal{G})$
mapping to $\xi$ in the colimit defining {\v C}ech cohomology.
Then we choose $\mathcal{V}$ and $g$ as above and set
$\delta(\xi)$ equal to the image of $\delta(\overline{h})$
in $\check{H}^n(X, \mathcal{F})$.
At this point a lot of properties have to be checked, all of which
are straightforward. For example, we need to check that our construction
is independent of the choice of
$\mathcal{U}, \overline{h}, \mathcal{V}, \alpha : J \to I, g$.
The class of $\text{d}(g)$ is independent of the choice of the lifts
$g_{i_0 \ldots i_n}$ because the difference will be a coboundary.
Independence of $\alpha$ holds\footnote{This is an important
check because the nonuniqueness of $\alpha$ is the only thing preventing
us from taking the colimit of {\v C}ech complexes over all open
coverings of $X$ to get a short exact sequence of complexes computing
{\v C}ech cohomology.}
because a different choice
of $\alpha$ determines homotopic vertical maps of complexes
in the diagram above, see Section \ref{section-refinements-cech}.
For the other choices we use that given a finite collection
of coverings of $X$ we can always find a covering refining all
of them. We also need to check additivity which is shown in the same manner.
Finally, we need to check that the maps
$\check{H}^n(X, -) \to H^n(X, -)$ are compatible
with boundary maps. To do this we choose injective
resolutions
$$
\xymatrix{
0 \ar[r] &
\mathcal{F} \ar[r] \ar[d] &
\mathcal{G} \ar[r] \ar[d] &
\mathcal{H} \ar[r] \ar[d] &
0 \\
0 \ar[r] &
\mathcal{I}_1^\bullet \ar[r] &
\mathcal{I}_2^\bullet \ar[r] &
\mathcal{I}_3^\bullet \ar[r] &
0
}
$$
as in Derived Categories, Lemma \ref{derived-lemma-injective-resolution-ses}.
This will give a commutative diagram
$$
\xymatrix{
0 \ar[r] &
\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{F}) \ar[r] \ar[d] &
\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{F}) \ar[r] \ar[d] &
\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{F}) \ar[r] \ar[d] &
0 \\
0 \ar[r] &
\text{Tot}(\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{I}_1^\bullet))
\ar[r] &
\text{Tot}(\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{I}_2^\bullet))
\ar[r] &
\text{Tot}(\check{\mathcal{C}}^\bullet(\mathcal{U}, \mathcal{I}_3^\bullet))
\ar[r] &
0
}
$$
Here $\mathcal{U}$ is an open covering as above and
the vertical maps are those used to define the maps
$\check{H}^n(\mathcal{U}, -) \to H^n(X, -)$, see
Lemma \ref{lemma-cech-cohomology}.
The bottom complex is exact as the sequence of
complexes of injectives is termwise split exact.
Hence the boundary map in cohomology is computed
by the usual procedure for this lower exact sequence, see
Homology, Lemma \ref{homology-lemma-long-exact-sequence-cochain}.
The same will be true after passing to the refinement
$\mathcal{V}$ where the boundary map for {\v C}ech cohomology
was defined. Hence the boundary maps agree because they
use the same construction (whenever the first one is defined
on an element in {\v C}ech cohomology on a given covering).
This finishes our discussion of the construction of
the structure of a $\delta$-functor on {\v C}ech cohomology
and why this structure is compatible with the given
$\delta$-functor structure on usual cohomology.

\medskip\noindent
Finally, we may apply Lemma \ref{lemma-injective-trivial-cech}
to see that higher {\v C}ech cohomology is trivial on injective
sheaves. Hence we see that {\v C}ech cohomology is a universal
$\delta$-functor by
Homology, Lemma \ref{homology-lemma-efface-implies-universal}.
\end{proof}

\begin{lemma}
\label{lemma-cohomology-of-closed}
\begin{reference}
\cite[Expose V bis, 4.1.3]{SGA4}
\end{reference}
Let $X$ be a topological space. Let $Z \subset X$ be a quasi-compact subset
such that any two points of $Z$ have disjoint open neighbourhoods in $X$.
For every abelian sheaf $\mathcal{F}$ on $X$ the canonical
map
$$
\colim H^p(U, \mathcal{F})
\longrightarrow
H^p(Z, \mathcal{F}|_Z)
$$
where the colimit is over open neighbourhoods $U$ of $Z$ in $X$
is an isomorphism.
\end{lemma}

\begin{proof}
We first prove this for $p = 0$. Injectivity follows from
the definition of $\mathcal{F}|_Z$ and holds in general
(for any subset of any topological space $X$). Next, suppose that
$s \in H^0(Z, \mathcal{F}|_Z)$. Then we can find opens $U_i \subset X$
such that $Z \subset \bigcup U_i$ and such that $s|_{Z \cap U_i}$
comes from $s_i \in \mathcal{F}(U_i)$. It follows that
there exist opens $W_{ij} \subset U_i \cap U_j$ with
$W_{ij} \cap Z = U_i \cap U_j \cap Z$ such that
$s_i|_{W_{ij}} = s_j|_{W_{ij}}$. Applying
Topology, Lemma
\ref{topology-lemma-lift-covering-of-quasi-compact-hausdorff-subset}
we find opens $V_i$ of $X$ such that $V_i \subset U_i$ and
such that $V_i \cap V_j \subset W_{ij}$. Hence we see that
$s_i|_{V_i}$ glue to a section of $\mathcal{F}$ over the
open neighbourhood $\bigcup V_i$ of $Z$.

\medskip\noindent
To finish the proof, it suffices to show that if $\mathcal{I}$ is an
injective abelian sheaf on $X$, then $H^p(Z, \mathcal{I}|_Z) = 0$
for $p > 0$. This follows using short exact sequences and dimension
shifting; details omitted. Thus, suppose $\overline{\xi}$ is an element
of $H^p(Z, \mathcal{I}|_Z)$ for some $p > 0$.
By Lemma \ref{lemma-cech-Hausdorff-quasi-compact}
the element $\overline{\xi}$ comes from
$\check{H}^p(\mathcal{V}, \mathcal{I}|_Z)$
for some open covering $\mathcal{V} : Z = \bigcup V_i$ of $Z$.
Say $\overline{\xi}$ is the image of the class of a cocycle
$\xi = (\xi_{i_0 \ldots i_p})$ in
$\check{\mathcal{C}}^p(\mathcal{V}, \mathcal{I}|_Z)$.

\medskip\noindent
Let $\mathcal{I}' \subset \mathcal{I}|_Z$ be the subpresheaf
defined by the rule
$$
\mathcal{I}'(V) =
\{s \in \mathcal{I}|_Z(V) \mid
\exists (U, t),\ U \subset X\text{ open},
\ t \in \mathcal{I}(U),\ V = Z \cap U,\ s = t|_{Z \cap U} \}
$$
Then $\mathcal{I}|_Z$ is the sheafification of $\mathcal{I}'$.
Thus for every $(p + 1)$-tuple $i_0 \ldots i_p$ we can find an
open covering $V_{i_0 \ldots i_p} = \bigcup W_{i_0 \ldots i_p, k}$
such that $\xi_{i_0 \ldots i_p}|_{W_{i_0 \ldots i_p, k}}$ is
a section of $\mathcal{I}'$. Applying
Topology, Lemma \ref{topology-lemma-refine-covering}
we may after refining $\mathcal{V}$ assume that each
$\xi_{i_0 \ldots i_p}$ is a section of the presheaf $\mathcal{I}'$.

\medskip\noindent
Write $V_i = Z \cap U_i$ for some opens $U_i \subset X$.
Since $\mathcal{I}$ is flasque (Lemma \ref{lemma-injective-flasque})
and since $\xi_{i_0 \ldots i_p}$ is a section of $\mathcal{I}'$
for every $(p + 1)$-tuple $i_0 \ldots i_p$ we can choose
a section $s_{i_0 \ldots i_p} \in \mathcal{I}(U_{i_0 \ldots i_p})$
which restricts to $\xi_{i_0 \ldots i_p}$ on
$V_{i_0 \ldots i_p} = Z \cap U_{i_0 \ldots i_p}$.
(This appeal to injectives being flasque can be avoided by an
additional application of
Topology, Lemma
\ref{topology-lemma-lift-covering-of-quasi-compact-hausdorff-subset}.)
Let $s = (s_{i_0 \ldots i_p})$ be the corresponding cochain
for the open covering $U = \bigcup U_i$.
Since $\text{d}(\xi) = 0$ we see that the sections
$\text{d}(s)_{i_0 \ldots i_{p + 1}}$ restrict to zero
on $Z \cap U_{i_0 \ldots i_{p + 1}}$. Hence, by the initial
remarks of the proof, there exists open subsets
$W_{i_0 \ldots i_{p + 1}} \subset U_{i_0 \ldots i_{p + 1}}$
with $Z \cap W_{i_0 \ldots i_{p + 1}} = Z \cap U_{i_0 \ldots i_{p + 1}}$
such that $\text{d}(s)_{i_0 \ldots i_{p + 1}}|_{W_{i_0 \ldots i_{p + 1}}} = 0$.
By Topology, Lemma
\ref{topology-lemma-lift-covering-of-quasi-compact-hausdorff-subset}
we can find $U'_i \subset U_i$ such that $Z \subset \bigcup U'_i$
and such that $U'_{i_0 \ldots i_{p + 1}} \subset W_{i_0 \ldots i_{p + 1}}$.
Then $s' = (s'_{i_0 \ldots i_p})$ with
$s'_{i_0 \ldots i_p} = s_{i_0 \ldots i_p}|_{U'_{i_0 \ldots i_p}}$
is a cocycle for $\mathcal{I}$ for the open covering
$U' = \bigcup U'_i$ of an open neighbourhood of $Z$.
Since $\mathcal{I}$ has trivial higher {\v C}ech cohomology groups
(Lemma \ref{lemma-injective-trivial-cech})
we conclude that $s'$ is a coboundary. It follows that the image of
$\xi$ in the {\v C}ech complex for the open covering
$Z = \bigcup Z \cap U'_i$ is a coboundary and we are done.
\end{proof}

Comments (0)

There are no comments yet for this tag.

Add a comment on tag 09V0

Your email address will not be published. Required fields are marked.

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 lower-right corner).

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following box. So in case this where tag 0321 you just have to write 0321. Beware of the difference between the letter 'O' and the digit 0.

This captcha seems more appropriate than the usual illegible gibberish, right?