Čech cohomology

Idea

Čech cohomology is a way of computing cohomology in (infinity,1)-topos of infinity-stacks that are localized with respect to Čech covers.

Čech cohomology is more an algorithm for computing cohomology (see Čech methods) than a cohomology theory in itself.

From the discussion at abelian sheaf cohomology we know that the right derived functor definition computes the hom-set in the homotopy category of an (infinity,1)-topos $H$ that may alternatively be computed as a colimit over resolutions of the domain object

$H\left(X,A\right):={\pi }_{0}H\left(X,A\right)={\mathrm{colim}}_{Y\stackrel{\in W\cap F}{\to }X}{C}_{H}\left(Y,A\right){/}_{\mathrm{homotopy}}$H(X,A) := \pi_0 \mathbf{H}(X,A) = colim_{Y \stackrel{\in W \cap F}{\to} X} C_H(Y,A)/_{homotopy}

where the colimit is over all acyclic fibrations $Y\stackrel{\in W\cap F}{\to }X$ in an appropriate model category ${C}_{H}$ that presents $H$. For $H$ an infinity-stack (infinity,1)-topos this ${C}_{H}$ is a model structure on simplicial presheaves and the acyclic fibrations $Y\stackrel{\in W\cap F}{\to }X$ for $X$ an ordinary space are the hypercovers.

Now, for some coefficient objects $A$ it is sufficient to take the colimit here not over all hypercovers, but just over Čech covers. The resulting formula

$H\left(X,A\right)={\mathrm{colim}}_{Y\stackrel{Čech\mathrm{cover}}{\to }X}{C}_{H}\left(Y,A\right){/}_{\mathrm{homotopy}}$H(X,A) = colim_{Y \stackrel{\mathop{&#x010C;ech} cover}{\to} X} C_H(Y,A)/_{homotopy}

is then called the formula for Čech cohomology on $X$ with values in $A$.

Here a Čech cover is a simplicial presheaf that arises from an ordinary covering map $U\to X$ of $X$ by another space $U$ as the corresponding Čech nerve simplicial presheaf

$\begin{array}{r}Y:=\left(\cdots U{×}_{X}U{×}_{X}U\stackrel{\to }{\stackrel{\to }{\to }}U{×}_{X}U\stackrel{\to }{\to }U\right)\simeq {\mathrm{hocolim}}_{\left[k\right]\in \Delta }{U}^{{×}_{X}k}\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\begin{aligned} Y := \left( \cdots U \times_X U \times_X U \stackrel{\to}{\stackrel{\to}{\to}} U \times_X U \stackrel{\to}{\to} U \right) \simeq hocolim_{[k] \in \Delta} U^{\times_X k} \end{aligned} \,.

See descent for simplicial presheaves for more on the manipulations involved here.

To amplify, a general hypercover would start in degree 0 with a $U$ as above, but then in the next degree would have a cover $V\to U{×}_{X}U$ of the fiber product, and so on, each fiber product in turn being covered by another space.

If $Y$ is not simply a Čech cover but also not the most general hypercover in that this iterative choice of further covering stops in degree $n$, then one also speaks of Čech cover of level $n$ and of the corresponding cohomology formula as higher Čech cohomology. See for instance the reference by Tibor Beke below.

General (“nonabelian”) Čech cohomology

We start with describing the general ” nonabelian ” Čech cohomology (compare the terminology and remarks at cohomology and nonabelian cohomology), i.e. the plain unwrapping of the above definition, before assuming that our coefficient object is abelian and before applying the Moore complex functor that sends the following simplicial computation to the maybe more familiar one in chain complexes.

The reasoning parallels that described at descent to some extent, but is maybe still worthwhile repeating here.

So let $C$ be some site and let $\mathrm{SSh}\left(C\right)$ the category of simplicial (pre)sheaves on $C$. Let $C\left(U\right)$ be the Čech nerve for a cover $\pi :U\to X$ of some simplicial presheaf $X$ and let $A$ be any other simplicial presheaf that serves as the coefficient object.

Using end and coend notation we compute the required hom

$\begin{array}{rl}\mathrm{SSh}\left(C\left(U\right),A\right)& \simeq \mathrm{SSh}\left({\int }^{\left[k\right]\in \mathrm{Delta}}{\Delta }^{k}\cdot C\left(U{\right)}_{k},A\right)\\ & \simeq {\int }_{\left[k\right]\in \mathrm{Delta}}\mathrm{SSh}\left({\Delta }^{k}\cdot C\left(U{\right)}_{k},A\right)\\ & \simeq {\int }_{\left[k\right]\in \mathrm{Delta}}\mathrm{SSet}\left({\Delta }^{k},\mathrm{SSh}\left(C\left(U{\right)}_{k},A\right)\right)\\ & \simeq {\int }_{\left[k\right]\in \mathrm{Delta}}\mathrm{SSet}\left({\Delta }^{k},A\left(U{×}_{X}\cdots {×}_{X}U\right)\right)\\ & \simeq {\int }_{\left[k\right]\in \mathrm{Delta}}\mathrm{SSet}\left({\Delta }^{k},\prod _{{i}_{0},\cdots ,{i}_{k}}A\left({U}_{{i}_{0}{i}_{1},\cdots ,{i}_{k}}\right)\right)\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\begin{aligned} SSh(C(U), A) & \simeq SSh( \int^{[k] \in Delta} \Delta^k \cdot C(U)_k, A ) \\ & \simeq \int_{[k] \in Delta} SSh(\Delta^k \cdot C(U)_k, A ) \\ & \simeq \int_{[k] \in Delta} SSet(\Delta^k , SSh(C(U)_k,A) ) \\ & \simeq \int_{[k] \in Delta} SSet(\Delta^k , A(U \times_X \cdots \times_X U) ) \\ & \simeq \int_{[k] \in Delta} SSet(\Delta^k , \prod_{i_0, \cdots, i_k} A(U_{i_0 i_1, \cdots ,i_k}) ) \end{aligned} \,.

Here in the last line we have assumed that $U={\bigsqcup }_{i}{U}_{i}$ for $\left\{{U}_{i}\to X\right\}$ an open cover of some space $X$ and we abbreviate as usual with ${U}_{{i}_{0},{i}_{1},\cdots ,{i}_{k}}$ the $\left(k+1\right)$-fold intersections ${\cap }_{0\le r\le k}{U}_{{i}_{r}}$.

An object in this last expression – an $A$-valued cocycle on $X$ relative to $U$ – is a collection of morphisms in SSet of the form

$\left(\begin{array}{ccc}⋮& & ⋮\\ {\Delta }^{2}& \stackrel{f}{\to }& \prod _{ijk}A\left({U}_{ijk}\right)\\ {\Delta }^{1}& \stackrel{g}{\to }& \prod _{ij}A\left({U}_{ij}\right)\\ {\Delta }^{0}& \stackrel{a}{\to }& \prod _{i}A\left({U}_{i}\right)\end{array}\right)$\left( \array{ \vdots && \vdots \\ \Delta^2 &\stackrel{f}{\to}& \prod_{i j k} A(U_{i j k}) \\ \Delta^1 &\stackrel{g}{\to}& \prod_{i j}A(U_{ i j}) \\ \Delta^0 &\stackrel{a}{\to}& \prod_i A(U_i) } \right)

that make all diagrams of the form

$\begin{array}{ccc}⋮& & ⋮\\ ↑& & ↑\\ {\Delta }^{2}& \stackrel{f}{\to }& \prod _{ijk}A\left({U}_{ijk}\right)\\ ↑& & ↑\\ {\Delta }^{1}& \stackrel{g}{\to }& \prod _{ij}A\left({U}_{ij}\right)\\ {↑}^{{\delta }_{\cdot }}& & {↑}^{A\left({d}_{C\left(U\right)}{\right)}_{\cdot }}\\ {\Delta }^{0}& \stackrel{a}{\to }& \prod _{i}A\left({U}_{i}\right)\end{array}$\array{ \vdots && \vdots \\ \uparrow && \uparrow \\ \Delta^2 &\stackrel{f}{\to}& \prod_{i j k} A(U_{i j k}) \\ \uparrow && \uparrow \\ \Delta^1 &\stackrel{g}{\to}& \prod_{i j}A(U_{ i j}) \\ \uparrow^{\delta_{\cdot}} && \uparrow^{A(d_{C(U)})_\cdot} \\ \Delta^0 &\stackrel{a}{\to}& \prod_i A(U_i) }

commute. Here the vertical morphism on the right, when one traces their origin through the derivation above, are the various inclusion and restriction maps of elements of $A$ evaluated on a $k$-fold intersection to some other intersection.

For instance the three possible vertical maps at the bottom have components on the cartesian factors given by

$A\left({d}_{1}\right){\mid }_{{U}_{i}}:=\left(-\right){\mid }_{{U}_{ij}}:A\left({U}_{i}\right)\to A\left({U}_{ij}\right)$A(d_1)|_{U_i} := (-)|_{U_{i j}} : A(U_i) \to A(U_{i j})

and

$A\left({d}_{0}\right){\mid }_{{U}_{i}}:=\left(-\right){\mid }_{{U}_{ij}}:A\left({U}_{j}\right)\to A\left({U}_{ij}\right)$A(d_0)|_{U_i} := (-)|_{U_{i j}} : A(U_j) \to A(U_{i j})

and

$A\left({s}_{0}\right){\mid }_{{U}_{ii}}:A\left({U}_{ii}\right)\to A\left({U}_{i}\right)\phantom{\rule{thinmathspace}{0ex}}.$A(s_0)|_{U_{i i}} : A(U_{i i}) \to A(U_{i }) \,.

This picks

• an object $a\in A\left(U\right)$

• a morphism $g:{\pi }_{1}^{*}a\to {\pi }_{2}^{*}a\mathrm{in}A\left(U{×}_{X}U\right)$

• a 2-morphism

$\begin{array}{ccc}& & {\pi }_{2}^{*}a\\ & {}^{{\pi }_{12}^{*}g}↗& {⇓}^{f}& {↘}^{{\pi }_{23}^{*}g}\\ {\pi }_{1}^{*}a& & \stackrel{{\pi }_{13}^{*}g}{\to }& & {\pi }_{3}^{*}a\end{array}$\array{ && \pi_{2}^* a \\ & {}^{\pi_{12}^* g}\nearrow &\Downarrow^{f}& \searrow^{\pi_{23}^* g} \\ \pi_{1}^* a &&\stackrel{\pi_{13}^* g}{\to}&& \pi_3^* a }

in $A\left(U{×}_{X}U{×}_{X}U\right)$

• etc.

• $U={\bigsqcup }_{i}{U}_{i}$;

• and $U{×}_{X}U={\bigsqcup }_{ij}{U}_{ij}:={\bigsqcup }_{ij}{U}_{i}\cap {U}_{j}$

• etc

this is

• an collection of objects $\left({a}_{i}\in A\left({U}_{i}\right)\right)$

• a collection of morphisms $\left({g}_{ij}:{a}_{i}{\mid }_{{U}_{\mathrm{ij}}}\to {a}_{j}{\mid }_{{U}_{ij}}\mathrm{in}A\left({U}_{ij}\right)\right)$

• a collection of 2-morphisms

$\left(\begin{array}{ccc}& & {a}_{j}{\mid }_{{U}_{ijk}}\\ & {}^{{g}_{\mathrm{ij}}{\mid }_{{U}_{ijk}}}↗& {⇓}^{{f}_{ijk}}& {↘}^{{g}_{jk}{\mid }_{{U}_{ijk}}}\\ {a}_{i}{\mid }_{{U}_{ijk}}& & \stackrel{{g}_{ik}{\mid }_{{U}_{ijk}}}{\to }& & {a}_{k}{\mid }_{{U}_{ijk}}\end{array}\right)$\left( \array{ && a_{j}|_{U_{i j k}} \\ & {}^{g_{ij}|_{U_{i j k}}}\nearrow &\Downarrow^{f_{i j k}}& \searrow^{g_{j k}|_{U_{i j k}}} \\ a_i|_{U_{i j k}} &&\stackrel{g_{i k}|_{U_{i j k}}}{\to}&& a_k|_{U_{i j k}} } \right)

in $A\left({U}_{ijk}\right)$

• etc.

This is a Čech-cocycle on $X$ with values in $A$ relative to $U$.

A transformation/homotopy/coboundary between two such cocycles is a cylinder over these diagrams, i.e.

• a collection of morphism ${h}_{i}:{a}_{i}\to a{\prime }_{i}\mathrm{in}A\left({U}_{i}\right)$;

• a collection of 2-morphism

$\begin{array}{ccc}{a}_{i}{\mid }_{{U}_{ij}}& \stackrel{{g}_{ij}}{\to }& {a}_{j}{\mid }_{{U}_{ij}}\\ \phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}{↓}^{{h}_{i}{\mid }_{{U}_{ij}}}& {⇓}^{{a}_{ij}}& \phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}{↓}^{{h}_{j}{\mid }_{{U}_{ij}}}\\ a{\prime }_{i}{\mid }_{{U}_{ij}}& \stackrel{{g}_{ij}}{\to }& a{\prime }_{j}{\mid }_{{U}_{ij}}\end{array}$\array{ a_i|_{U_{i j}} &\stackrel{g_{i j}}{\to}& a_j|_{U_{i j}} \\ \;\;\;\downarrow^{h_i|_{U_{i j}}} &\Downarrow^{a_{i j}}& \;\;\;\downarrow^{h_j|_{U_{i j}}} \\ a'_i|_{U_{i j}} &\stackrel{g_{i j}}{\to}& a'_j|_{U_{i j}} }

on ${U}_{ij}$

• a collection of 3-morphisms

$\begin{array}{ccc}& & {a}_{j}{\mid }_{{U}_{ijk}}\\ & {}^{{g}_{\mathrm{ij}}{\mid }_{{U}_{ijk}}}↗& {⇓}^{{f}_{ijk}}& {↘}^{{g}_{jk}{\mid }_{{U}_{ijk}}}\\ {a}_{i}{\mid }_{{U}_{ijk}}& & \stackrel{{g}_{ik}}{\to }& & {a}_{k}{\mid }_{{U}_{ijk}}\\ \phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}{↓}^{{h}_{i}{\mid }_{{U}_{ij}}}& & {⇓}^{{a}_{ik}}& & \phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}{↓}^{{h}_{j}{\mid }_{{U}_{ij}}}\\ a{\prime }_{i}{\mid }_{{U}_{ijk}}& & \stackrel{{g}_{ik}}{\to }& & a{\prime }_{k}{\mid }_{{U}_{ijk}}\end{array}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\stackrel{{\rho }_{ijk}}{⇒}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\begin{array}{ccc}& & {a}_{j}{\mid }_{{U}_{ijk}}\\ & {}^{{g}_{\mathrm{ij}}{\mid }_{{U}_{ijk}}}↗& {⇓}^{{a}_{ij}\cdot {a}_{jk}{\mid }_{{U}_{ijk}}}& {↘}^{{g}_{jk}{\mid }_{{U}_{ijk}}}\\ {a}_{i}{\mid }_{{U}_{ijk}}& & a{\prime }_{j}{\mid }_{{U}_{ijk}}& & {a}_{k}{\mid }_{{U}_{ijk}}\\ {↓}^{{h}_{i}{\mid }_{{U}_{ijk}}}& {}^{g{\prime }_{ij}{\mid }_{{U}_{ijk}}}↗& {⇓}^{f{\prime }_{\mathrm{ijk}}}& {↘}^{g{\prime }_{jk}{\mid }_{{U}_{ijk}}}& {↓}^{{h}_{k}{\mid }_{{U}_{ijk}}}\\ a{\prime }_{i}{\mid }_{{U}_{ijk}}& & \stackrel{g{\prime }_{ik}{\mid }_{{U}_{ijk}}}{\to }& & a{\prime }_{k}{\mid }_{{U}_{ijk}}\end{array}$\array{ && a_j|_{U_{i j k}} \\ & {}^{g_{ij}|_{U_{i j k}}}\nearrow &\Downarrow^{f_{i j k}}& \searrow^{g_{j k}|_{U_{i j k}}} \\ a_i|_{U_{i j k}} &&\stackrel{g_{i k}}{\to}&& a_k|_{U_{i j k}} \\ \;\;\;\downarrow^{h_i|_{U_{i j}}} &&\Downarrow^{a_{i k}}&& \;\;\;\downarrow^{h_j|_{U_{i j}}} \\ a'_i|_{U_{i j k}} &&\stackrel{g_{i k}}{\to}&& a'_k|_{U_{i j k}} } \;\; \;\; \;\; \;\; \;\; \stackrel{\rho_{i j k}}{\Rightarrow} \;\; \;\; \;\; \;\; \;\; \array{ && a_j|_{U_{i j k}} \\ & {}^{g_{ij}|_{U_{i j k}}}\nearrow &\Downarrow^{a_{i j}\cdot a_{j k}|_{U_{i j k}}}& \searrow^{g_{j k}|_{U_{i j k}}} \\ a_i|_{U_{i j k}} && a'_j|_{U_{i j k}} && a_k|_{U_{i j k}} \\ \downarrow^{h_{i}|_{U_{i j k}}} & {}^{g'_{i j}|_{U_{i j k}}}\nearrow & \Downarrow^{f'_{ijk}} & \searrow^{g'_{j k}|_{U_{i j k}}} & \downarrow^{h_{k}|_{U_{i j k}}} \\ a'_i|_{U_{i j k}} &&\stackrel{g'_{i k}|_{U_{i j k}}}{\to}&& a'_k|_{U_{i j k}} }

We now plug in some concrete coefficient object $n$-types for low $n$ and reproduce some concrete formulas from this.

Nonabelian 1-cocycles: principal bundles

For $G$ a group let $BG$ by abuse of notation denote

• first of all the corresponding delooped groupoid,

• then the corresponding nerve

• then finally the corresponding simplicial sheaf that for each object $U$ assigns the nerve for the group $\mathrm{Hom}\left(U,G\right)$:

$BG:U↦\left\{\begin{array}{c}BG\left(U{\right)}_{0}=\mathrm{Hom}\left(U,*\right)=*\\ BG\left(U{\right)}_{1}=\mathrm{Hom}\left(U,G\right)\\ BG\left(U{\right)}_{2}=\mathrm{Hom}\left(U,G\right)×\mathrm{Hom}\left(U,G\right)\\ ⋮\end{array}$\mathbf{B}G : U \mapsto \left\{ \array{ \mathbf{B}G(U)_0 = Hom(U,{*}) = {*} \\ \mathbf{B}G(U)_1 = Hom(U,G) \\ \mathbf{B}G(U)_2 = Hom(U,G)\times Hom(U,G) \\ \vdots } \right.

The above then says that

• a $BG$-Čech cocycle is

• a collection of $G$-valued functions

$\left({g}_{\mathrm{ij}}\in \mathrm{Hom}\left({U}_{ij},G\right)\right)$(g_{ij} \in Hom(U_{i j}, G))
• a collection of identities between $G$-valued functions

${g}_{\mathrm{ij}}{\mid }_{{U}_{ijk}}\cdot {g}_{jk}{\mid }_{{U}_{ijk}}={g}_{ik}{\mid }_{{U}_{ijk}}$g_{ij}|_{U_{i j k }} \cdot g_{j k}|_{U_{i j k }} = g_{i k}|_{U_{i j k }}
• a $BG$-Čech coboundary is

• a collection of $G$-valued functions

$\left({h}_{i}\in \mathrm{Hom}\left({U}_{i},G\right)\right)$(h_i \in Hom(U_i , G))
• a collection of identites between $G$-valued functions

${g}_{\mathrm{ij}}\cdot {h}_{j}{\mid }_{{U}_{ij}}={h}_{i}{\mid }_{{U}_{ij}}\cdot g{\prime }_{jk}\phantom{\rule{thinmathspace}{0ex}}.$g_{ij} \cdot h_j|_{U_{i j}} = h_i|_{U_{i j}} \cdot g'_{j k} \,.

Remembering that the Čech cohomology is the colimit over refinement of covers over cohomology classes defined this way, one sees the standard

Theorem

Čech cohomology with coefficients in $BG$ (as above) classies $G$-principal bundles

${\mathrm{colim}}_{U\stackrel{Čech\mathrm{cover}}{\to }X}\mathrm{SSh}\left(C\left(U\right),BG\right){/}_{\mathrm{homtopy}}\simeq G\mathrm{Bund}\left(X\right){/}_{\sim }$colim_{U \stackrel{\mathop{&#x010C;ech} cover}{\to} X} SSh(C(U), \mathbf{B}G)/_{homtopy} \simeq G Bund(X)/_\sim

Nonabelian 2-cocycles: gerbes and principal 2-bundles

In one degree higher the general homotopy 2-type coefficient object is modeled using a strict 2-group $H$ coming from a crossed module ${G}_{2}\stackrel{\delta }{\to }{G}_{1}$.

The nerve of the corresponding delooped 2-groupoid, regarded immediately as a simplicial sheaf starts out like

$B\left({G}_{2}\to {G}_{1}\right):U↦\left\{\begin{array}{c}B\left({G}_{2}\to {G}_{1}\right)\left(U{\right)}_{0}=\mathrm{Hom}\left(U,{G}_{1}\right)\\ B\left({G}_{2}\to {G}_{1}\right)\left(U{\right)}_{1}=\mathrm{Hom}\left(U,{G}_{1}\right)×\mathrm{Hom}\left(U,{G}_{1}\right)×\mathrm{Hom}\left(U,{G}_{2}\right)\\ ⋮\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\mathbf{B}(G_2 \to G_1) : U \mapsto \left\{ \array{ \mathbf{B}(G_2 \to G_1)(U)_{0} = Hom(U, G_1) \\ \mathbf{B}(G_2 \to G_1)(U)_{1} = Hom(U, G_1) \times Hom(U, G_1) \times Hom(U, G_2) \\ \vdots } \right. \,.

One finds that a Čech-cocycle now is (see also the diagrams at group cohomology for this)

• a collection of functions

$\left({g}_{ij}\in \mathrm{Hom}\left({U}_{ij},{G}_{1}\right)\right)$(g_{i j} \in Hom(U_{i j}, G_1))
• a collection of functions

$\left({f}_{ijk}\in \mathrm{Hom}\left({U}_{ijk},{G}_{2}\right)\right)$(f_{i j k }\in Hom(U_{i j k}, G_2) )
• a collection of identities

$\delta \left({f}_{ijk}{\mid }_{{U}_{ijk}}\right){g}_{ij}{\mid }_{{U}_{ijk}}{g}_{jk}{\mid }_{{U}_{ijk}}={g}_{ik}{\mid }_{{U}_{ijk}}$\delta(f_{i j k}|_{U_{i j k}}) g_{i j}|_{U_{i j k}} g_{j k}|_{U_{i j k}} = g_{i k}|_{U_{i j k}}
• and a collection of identities

${f}_{ikl}{\mid }_{{U}_{ijkl}}\cdot {f}_{ijk}{\mid }_{{U}_{ijkl}}={f}_{ijl}{\mid }_{{U}_{ijkl}}\cdot \alpha \left({g}_{ij}{\mid }_{{U}_{ijkl}}\right)\left({f}_{jkl}{\mid }_{{U}_{ijkl}}\right),$f_{i k l}|_{U_{i j k l}} \cdot f_{i j k}|_{U_{i j k l}} = f_{i j l}|_{U_{i j k l}} \cdot \alpha(g_{i j}|_{U_{i j k l}})(f_{j k l}|_{U_{i j k l}}),

where $\alpha :{G}_{1}\to \mathrm{Aut}\left({G}_{2}\right)$ is the homomorphism associated with the crossed-module description of the 2-group.

This is a nonabelian Čech 2-cocycle.

Reading off the formulas for the coboundaries is left as an excercise for the reader.

For the specical case the

$\left({G}_{2}\to {G}_{1}\right)=\left(G\to \mathrm{Aut}\left(G\right)\right)$(G_2 \to G_1) = (G \to Aut(G))

this is the nonabelian cohomology classifying gerbes.

Abelian Čech cohomology

In much of the literature Čech cohomology denotes exclusively the abelian case, which we now describe.

In the special case that the coefficient simplicial presheaf $A$ is in the image of the nerve operation

$N:{\mathrm{Ch}}_{+}\to \mathrm{sAb}\to \mathrm{SSet}$N : Ch_+ \to sAb \to SSet

on chain complexes with values in simplicial sets that happen to be abelian simplicial groups, the computation of Čech cocycles may be entirely pulled back to the world of homological algebra by making use of the Dold-Kan correspondence that provides an adjoint equivalence between simplicial sets with values in abelian groups and non-negatively graded chain complexes.

Remark The following derivation of abelian Čech cohomology from nonabelian Čech cohomology restricted to nerves of chain complexes needs of the Dold-Kan correspondence only that it is an adjunction, not that it is an adjoint equivalence.

The following structure arises, when one computes Čech cohomology in this context, as shown below.

Čech complex

Let $\left\{{U}_{i}\to X\right\}$ be a collection of open subsets of $X$ and let ${A}_{•}$ be a sheaf with coefficients in non-negatively graded chain complexes ${\mathrm{Ch}}_{+}$.

Then define the Čech chain complex $C\left(U,{A}_{•}\right)$ of ${A}_{•}$ relative to $U$ by

$C\left(U,{A}_{•}{\right)}_{k}:={\oplus }_{k=l-n}\prod _{{i}_{0},{i}_{1},\cdots ,{i}_{n}}{A}_{l}\left({U}_{{i}_{1},\cdots ,{i}_{n}}\right)$C(U,A_\bullet)_k := \oplus_{k = l-n} \prod_{i_0, i_1, \cdots, i_n} A_l(U_{i_1, \cdots, i_n})

where ${U}_{{i}_{1},\cdots ,{i}_{n}}={U}_{{i}_{0}}\cap \cdots \cap {U}_{{i}_{n}}$ if all indices are pairwise different, and empty otherwise, and with differential given by

$\left(da{\right)}_{{i}_{0},\cdots ,{i}_{n}}={d}_{A}{a}_{{i}_{0},\cdots ,{i}_{n}}+\left(-1{\right)}^{n}\sum _{0\le j\le n}\left(-1{\right)}^{j}{a}_{{i}_{0},\cdots ,{i}_{j-1},{i}_{j+1},\cdots ,{i}_{n}}{\mid }_{{U}_{{i}_{0},\cdots ,{i}_{n}}}$(d a)_{i_0, \cdots, i_n} = d_A a_{i_0, \cdots, i_n} + (-1)^n \sum_{0 \leq j \leq n} (-1)^{j} a_{i_0, \cdots, i_{j-1}, i_{j+1}, \cdots, i_n} |_{U_{i_0, \cdots, i_n}}

where on the right we sum over all components of $a$ obtained by discarding one of the original $\left(n+1\right)$ subscripts.

Remark When ${A}_{•}$ is not concentrated in a single degree, the above is often called the Čech hypercomplex and its cohomology is called Čech hypercohomology.

As the following derivation will show, this complex encodes a linearization of the simplicial nonabelian cocycle depicted above. It may be helpful to keep the following pictures in mind to match the signs to the orientations of simplices.

In dimension one we have:

$\left(0\to 1\right)\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}↦\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\left({a}_{0}\stackrel{{a}_{01}}{\to }{a}_{1}\right)\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}↔\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\left({a}_{1}={a}_{0}+{d}_{A}{a}_{01}\right)$(0 \to 1) \;\;\; \mapsto \;\;\; (a_0 \stackrel{a_{0 1}}{\to} a_1) \;\;\; \leftrightarrow \;\;\; (a_1 = a_0 + d_A a_{01})

In dimension 2 we have:

$\begin{array}{ccc}& & 1\\ & ↗& ⇓& ↘\\ 0& & \to & & 2\end{array}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}↦\begin{array}{ccc}& & {a}_{1}\\ & {}^{{a}_{01}}↗& {⇓}^{{a}_{012}}& {↘}^{{a}_{12}}\\ {a}_{0}& & \stackrel{{a}_{02}}{\to }& & {a}_{2}\end{array}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}↔\left({a}_{02}={a}_{01}+{a}_{12}+d{a}_{012}\right)\phantom{\rule{thinmathspace}{0ex}}.$\array{ && 1 \\ & \nearrow &\Downarrow& \searrow \\ 0 &&\to&& 2 } \;\;\; \mapsto \array{ && a_1 \\ & {}^{a_{0 1}}\nearrow &\Downarrow^{a_{0 1 2}} & \searrow^{a_{1 2}} \\ a_0 &&\stackrel{a_{0 2}}{\to}&& a_2 } \;\;\; \leftrightarrow (a_{0 2} = a_{0 1} + a_{1 2} + d a_{0 1 2}) \,.

Here the relation on the right is the Dold-Kan correspondence relating coboundaries in the complex ${A}_{•}$ to simplices .

Proposition (abelian Čech cohomology)

Let ${A}_{•}$ be a sheaf with values in ${\mathrm{Ch}}_{+}$ and write $N\left({A}_{•}\right)$ for the corresponding simplicial sheaf under the nerve operation of the Dold-Kan correspondence.

Then the general (nonabelian) Čech cohomology of $N\left({A}_{•}\right)$ as defined above coincides with the cohomology of the Čech complex of ${A}_{•}$:

$H\left(X,N\left({A}_{•}\right)\right)\simeq {\mathrm{colim}}_{U}{H}_{0}\left(C\left(U,{A}_{•}\right)\right)\phantom{\rule{thinmathspace}{0ex}}.$H(X, N(A_\bullet)) \simeq colim_U H_0(C(U,A_\bullet)) \,.
Proof

The underlying idea is to use the adjunction of the Dold-Kan correspondence to move the nerve operation $N\left({A}_{•}\right)$ on the right to the free abelian chain complex operation ${C}_{\mathrm{bullet}}\left(F\left(C\left(U\right)\right)\right)$ on the Čech cover simplicial sheaf $C\left(U\right)$ and then use the Yoneda lemma to evaluate ${A}_{•}$ on ${N}_{•}\left(F\left(C\left(U\right)\right)\right)$. The result is the Čech complex of ${A}_{•}$. Cocycles and homotopies/coboundaries are in bijection on both sides.

Spelled out in full detail this looks a bit more lengthy, but is nothing but this simple idea.

Before starting the computation notice the following observation on the image of the Čech cover $C\left(U\right)$ under the Dold-Kan correspondence:

For $Y=C\left(U\right)$ a Čech cover on a sieve $\left\{{U}_{i}\to X{\right\}}_{i\in I}$, and for $W$ any test object, the non-degenerate $n$-simplices in $C\left(U\right)\left(W\right)$ are the

${U}_{{i}_{0},{i}_{1},\cdots ,{i}_{n}}\left(W\right)$U_{i_0, i_1, \cdots, i_n}(W)

with all indices pairwise different, ${i}_{k}\ne {i}_{l}$.

Accordingly the free abelian simplicial group-valued sheaf $F\left(C\left(U\right)\right)$ is for each $W$ and $n$ the free abelian group generated from these ${U}_{{i}_{0},{i}_{1},\cdots ,{i}_{n}}\left(W\right)$ with pairwise distinct elements, i.e. that given by formal interger combinations of these element.

In turn, the normalized Moore complex sheaf

${N}_{•}\left(F\left(C\left(U\right)\right)\right)$N_\bullet(F(C(U)))

assigns to a test domain $W$ the complex that in each degree is the free abelian group on these elements.

With this in hand, we compute the set of $N\left({A}_{•}\right)$-valued cocycles on $U$ as follows:

$\begin{array}{rl}{\mathrm{Hom}}_{\mathrm{SPSh}}\left(C\left(U\right),N\left({A}_{•}\right)\right)& \simeq {\int }_{W}{\mathrm{Hom}}_{\mathrm{SSet}}\left(C\left(U\right)\left(W\right),N\left({A}_{•}\right)\left(W\right)\right)\\ & \simeq {\int }_{W}{\mathrm{Hom}}_{\mathrm{SSet}}\left(C\left(U\right)\left(W\right),N\left(A\left(W{\right)}_{•}\right)\right)\\ & \simeq {\int }_{W}{\mathrm{Hom}}_{\mathrm{SAb}}\left(F\left(C\left(U\right)\left(W\right)\right),N\left(A\left(W{\right)}_{•}\right)\right)\\ & \simeq {\int }_{W}{\mathrm{Hom}}_{{\mathrm{Ch}}_{+}}\left({N}_{•}\left(F\left(C\left(U\right)\left(W\right)\right)\right),A\left(W{\right)}_{•}\right)\\ & \simeq {\int }_{W}{\int }_{n}{\mathrm{Hom}}_{\mathrm{Ab}}\left({N}_{n}\left(F\left(C\left(U\right)\left(W\right)\right),A\left(W{\right)}_{n}\right)\\ & \simeq {\int }_{n}{\int }_{W}{\mathrm{Hom}}_{\mathrm{Ab}}\left({N}_{n}\left(F\left(C\left(U\right)\left(W\right)\right),A\left(W{\right)}_{n}\right)\\ & \simeq {\int }_{n}{\int }_{W}{\mathrm{Hom}}_{\mathrm{Set}}\left(\coprod _{{i}_{0},{i}_{1},\cdots ,{i}_{k}}{U}_{{i}_{0},{i}_{1},\dots ,{i}_{n}}\left(W\right),A\left(W{\right)}_{n}\right)\right)\\ & \simeq {\int }_{n}\prod _{{i}_{0},{i}_{1},\cdots ,{i}_{n}}A\left({U}_{{i}_{0},{i}_{1},\dots ,{i}_{n}}{\right)}_{n}\\ & =\mathrm{ker}{d}_{C\left(U,{A}_{•}\right)}\subset C\left(U,{A}_{•}{\right)}_{0}\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\begin{aligned} Hom_{SPSh}(C(U), N(A_\bullet)) &\simeq \int_W Hom_{SSet}( C(U)(W) , N(A_\bullet)(W) ) \\ & \simeq \int_W Hom_{SSet}( C(U)(W) , N(A(W)_\bullet) ) \\ & \simeq \int_W Hom_{SAb}( F(C(U)(W)) , N(A(W)_\bullet) ) \\ & \simeq \int_W Hom_{Ch_+}( N_\bullet(F(C(U)(W))) , A(W)_\bullet ) \\ & \simeq \int_W \int_{n} Hom_{Ab}( N_n(F(C(U)(W)), A(W)_n ) \\ & \simeq \int_{n} \int_W Hom_{Ab}( N_n(F(C(U)(W)), A(W)_n ) \\ & \simeq \int_{n} \int_W Hom_{Set}( \coprod_{i_0, i_1, \cdots, i_k} U_{i_0,i_1, \dots, i_n}(W) , A(W)_n ) ) \\ & \simeq \int_{n} \prod_{i_0, i_1, \cdots, i_n} A(U_{i_0,i_1, \dots, i_n})_n \\ & = ker d_{C(U, A_\bullet)} \subset C(U,A_\bullet)_0 \end{aligned} \,.

Here

• The first step is the definition of morphism of presheaves using the end notation;

• the second step is the definition of the nerve of of chain complexes applied to chain complex valued sheaves;

• the third step uses that the free simplicial abelian group functor is left adjoint to the forgetful one that remembers the underlying simplicial set;

• the fourth step then uses the Dold-Kan correspondence, or actually just that the normalized Moore complex functor is left adjoint to the nerve of chain complexes;

• the fifth step expresses the set of morphisms of chain complexes as an end (being itself a natural transformation);

• the sixth step uses the Fubini theorem? of enriched category theory to commute the two ends;

• the seventh step uses that the chain complex in the left argument is generated freely on elements of a set to rewrite the hom of abelian groups into one of sets;

• this finally allows to apply the Yoneda lemma in step eight

• and in step nine, by inspection, one notices that the result thus obtained is the set of 0-cycles in the Čech complex $C\left(U,{A}_{•}\right)$ as previously defined.

An entirely analogous argument shows that dividing out homotopies is respected.

One starts by observing that the cohomology coboundaries are given by homotopies in the hom-simplicial set, i.e. by

${\mathrm{Hom}}_{\mathrm{SPSh}}\left(C\left(U\right)×{\Delta }^{1},N\left({A}_{•}\right)\right)\phantom{\rule{thinmathspace}{0ex}}.$Hom_{SPSh}(C(U) \times \Delta^1, N(A_\bullet)) \,.

With this one goes in the above computation. After applying the Dold-Kan adjunction we now have on the left in the integrand the term

${N}_{•}\left(F\left(C\left(U\right)\left(W\right)×{\Delta }^{1}\right)\right)\phantom{\rule{thinmathspace}{0ex}}.$N_\bullet(F(C(U)(W) \times \Delta^1)) \,.

Using first that the free simplicial group functor is monoidal and then that the normalized Moore complex functor is lax monoidal (as described at Dold-Kan correspondence)

what to do about laxness versus pseudoness??

we get a morphism to that from

${N}_{•}\left(F\left(C\left(U\right)\left(W\right)\right)\right)\otimes {N}_{•}\left(F\left({\Delta }^{1}\right)\right)\phantom{\rule{thinmathspace}{0ex}}.$N_\bullet(F(C(U)(W))) \otimes N_\bullet(F(\Delta^1)) \,.

Using that the normalized Moore complex is isomorphic to the Moore complex divided by the part generated by degenerate cells, on the right we identify the interval object complex

$\left(\cdots \to 0\to I\stackrel{1\oplus -1}{\to }I\oplus I\right)\phantom{\rule{thinmathspace}{0ex}}.$( \cdots \to 0 \to I \stackrel{1 \oplus -1}{\to} I \oplus I) \,.

To see that one just needs to observe that the normalized Moore complex of the 1-simplex serves as an interval object in chain complexes.

Relation of abelian Čech cohomology to abelian sheaf cohomology

For $A$ a complex of sheaves, there is a canonical morphism

$\stackrel{ˇ}{H}\left(X,A\right)\to H\left(X,A\right)$\check{H}(X,A) \to H(X,A)

from the Čech cohomology to the full (hypercompleted) cohomology, which is abelian sheaf cohomology in the case that $A$ is in the image of the Dold-Kan map from chain complexes. Using the description of abelian sheaf cohomology in terms of morphisms out of hypercovers described at the beginning of this entry, this morphism is the obvious one coming from the inclusion of Čech covers into all hypercovers.

Theorem

If $X$ is a paracompact space the canonical morphism

$\stackrel{ˇ}{H}\left(X,A\right)\to H\left(X,A\right)$\check{H}(X,A) \to H(X,A)

from Čech cohomology to abelian sheaf cohomology is an isomorphism from every $A\in \mathrm{Sh}\left(X,{\mathrm{Ch}}_{+}\right)$.

Proof

Recalled as theorem 1.3.13 in

• Brylinski, Loop spaces, characteristic classes and geometric quantization

When $X$ is not paracompact, we still have the following condition under which Čech cohomology computes abelian sheaf cohomology-.

For $A$ a complex of sheaves, there is a canonical morphism

${H}_{0}\left(C\left(U,A{\right)}_{•}\right)\to H\left(X,A\right)$H_0(C(U,A)_\bullet) \to H(X,A)

from the cohomology of the Čech complex with respect to a cover $U$ with coefficients in $A$ to the abelian sheaf cohomology of $X$ with values in $A$. Using the description of abelian sheaf cohomology in terms of morphisms out of hypercovers described at the beginning of this entry, this morphism is the obvious one coming from the inclusion of Čech covers into all hypercovers.

Theorem

Let $A$ be a complex of sheaves on $X$ concentrated in a single degree $p\ge 0$, and let $\left\{{U}_{i}\to X\right\}$ be a cover such that the $A$-cohomology of all intersections vanishes,

$\forall {U}_{{i}_{0},\cdots ,{i}_{k}}H\left({U}_{{i}_{0},\cdots ,{i}_{k}},A\right)=0$\forall U_{i_0 , \cdots, i_k} H(U_{i_0, \cdots, i_k},A) = 0

Then the canonical morphism

${H}_{0}\left(C\left(U,A{\right)}_{•}\right)\to H\left(X,A\right)$H_0(C(U,A)_\bullet) \to H(X,A)

is an isomorphism.

Proof

One considers the spectral sequence associated with the Čech double complex. Details are on page 28 of

• Brylinski, Loop spaces, characteristic classes and geometric quantization

Examples

We now list examples for abelian Čech cohomology expressed in terms of the Čech complex described above.

Line bundles

Let $G=U\left(1\right)$ be the circle group, an abelian group. The nerve $N\left(BG\right)$ of its delooping $BG$ is the bar construction of $G$. This is equivalently the nerve of the chain complex

$U\left(1\right)\left[1\right]:=\left(\cdots \to 0\to U\left(1\right)\to 0\right)\phantom{\rule{thinmathspace}{0ex}}.$U(1)[1] := ( \cdots \to 0 \to U(1) \to 0 ) \,.

Equivalently we get the corresponding simplicial sheaves and complexes of sheaves, eg

$U\left(1\right)\left[1\right]:W↦\left(\cdots \to 0\to \mathrm{Hom}\left(W,U\left(1\right)\right)\to 0\right)\phantom{\rule{thinmathspace}{0ex}}.$U(1)[1] : W \mapsto ( \cdots \to 0 \to Hom(W,U(1)) \to 0 ) \,.

So given a cover $\left\{{U}_{i}\to X\right\}$ a Čech cocycle is a collection

$c=\left(\left\{{g}_{ij}\in U\left(1\right)\left[1\right]\left({U}_{ij}\right)\right\}{\mid }_{i,j}\right)$c = ( \{g_{i j} \in U(1)[1](U_{i j})\}|_{i,j})

such that the Čech differential evaluated on it

$\begin{array}{rl}\left({d}_{C\left(U,U\left(1\right)\left[1\right]\right)}c{\right)}_{ijk}& ={g}_{jk}{\mid }_{{U}_{ijk}}-{g}_{ik}{\mid }_{{U}_{ijk}}+{g}_{ij}{\mid }_{{U}_{ijk}}\right)\end{array}$\begin{aligned} (d_{C(U,U(1)[1])} c)_{i j k} &= g_{j k}|_{U_{i j k}} - g_{i k}|_{U_{i j k}} + g_{i j}|_{U_{i j k}} ) \end{aligned}

vanishes:

${g}_{ij}{\mid }_{{U}_{ijk}}+{g}_{jk}{\mid }_{{U}_{ijk}}={g}_{ik}{\mid }_{{U}_{ijk}}$g_{i j}|_{U_{i j k}} + g_{j k}|_{U_{i j k}} = g_{i k}|_{U_{i j k}}

for all $i,j,k$.

Here now we write plus signs for the operation in the abelian group $U\left(1\right)$ which above we have written by juxtaposition or using a dot. So up to notation for the group operation this is

${g}_{ij}{g}_{jk}={g}_{ik}$g_{i j} g_{j k} = g_{i k}

on ${U}_{ijk}$ as before in the nonabelian case of Čech cocycles for $U\left(1\right)$-principal bundles.

Here and from now on we shall notationally suppress the restriction maps $\left(-\right){\mid }_{{U}_{{i}_{0},{i}_{1},\cdots ,{i}_{n}}}$ as they are unambiguously obviuous in every case.

Line bundle gerbes

Similarly by shifting $U\left(1\right)$ ever higher in chain degree, one finds Čech cocycles for bundle gerbes, bundle 2-gerbes, etc.

A Čech cocycle for

$U\left(1\right)\left[2\right]:=\left(\cdots \to 0\to U\left(1\right)\to 0\to 0\right)\phantom{\rule{thinmathspace}{0ex}}.$U(1)[2] := ( \cdots \to 0 \to U(1) \to 0 \to 0 ) \,.

is

$c=\left(\left\{{g}_{ijk}\in U\left(1\right)\left[2\right]\left({U}_{ijk}\right)\right\}{\mid }_{i,j,k}\right)$c = ( \{g_{i j k} \in U(1)[2](U_{i j k})\}|_{i,j, k})

such that on ${U}_{i,j,k,l}$ we have

${g}_{ijk}-{g}_{ijl}+{g}_{ikl}-{g}_{jkl}=0$g_{i j k} - g_{i j l} + g_{i k l} - g_{j k l} = 0

which in the nonabelian context would be written as

${g}_{ijk}{g}_{ikl}={g}_{ijl}{g}_{jkl}\phantom{\rule{thinmathspace}{0ex}}.$g_{i j k} g_{i k l} = g_{i j l} g_{j k l} \,.

Čech-Deligne cohomology

When refining the complexes of sheaves $U\left(1\right)\left[n\right]$ to the Deligne complex

$U\left(1\right)\left[n\right]↪ℤ\left(n+1{\right)}_{D}^{\infty }$U(1)[n] \hookrightarrow \mathbb{Z}(n+1)_D^\infty

and then evaluating Čech cohomology with coefficients in the Deligne complex, we obtain the formulas for Čech-Deligne cohomology.

• For $n=1$ a cocycle is a collection

$\left({A}_{i}\in {\Omega }^{1}\left({U}_{i}\right),{g}_{ij}\in {C}^{\infty }\left({U}_{ij},U\left(1\right)\right)\right)$( A_i \in \Omega^1(U_i), g_{i j} \in C^\infty(U_{i j}, U(1)) )

such that for all $i,j$

$d\mathrm{log}{g}_{ij}+{A}_{i}-{A}_{j}-=0$d log g_{i j} + A_i - A_j - = 0

and for all $i,j,k$

${g}_{ij}{g}_{jk}={g}_{ik}\phantom{\rule{thinmathspace}{0ex}}.$g_{i j} g_{j k} = g_{i k} \,.

Such cocycles classify $U\left(1\right)$-principal bundles with connection.

These $n=1$ Čech-Deligne cocycles appear naturally in the study of the electromagnetic field.

• For $n=2$ a cocycle is a collection

$\left({B}_{i}\in {\Omega }^{2}\left({U}_{i}\right),{A}_{ij}\in {\Omega }^{1}\left({U}_{ij}\right),{g}_{ijk}\in {C}^{\infty }\left({U}_{ijk},U\left(1\right)\right)\right)$( B_i \in \Omega^2(U_i), A_{i j} \in \Omega^1(U_{i j}), g_{i j k} \in C^\infty(U_{i j k}, U(1)) )

such that for all $i,j$

$d{A}_{ij}+{B}_{i}-{B}_{j}=0$d A_{i j} + B_i - B_j = 0

and for all $i,j,k$

${A}_{ij}-{A}_{ik}+{A}_{jk}+d\mathrm{log}{g}_{ijk}=0$A_{i j} - A_{i k} + A_{j k} + d log g_{i j k} = 0

and for all $i,j,k,l$

${g}_{ijk}{g}_{ikl}={g}_{ijl}{g}_{jkl}\phantom{\rule{thinmathspace}{0ex}}.$g_{i j k} g_{i k l} = g_{i j l} g_{j k l} \,.

Such cocycles classify $U\left(1\right)$-bundle gerbes with connection.

References

A classical reference is

• Godement Topologie algébrique et théorie de faisceaux

A historical survey (of some aspects) is in

• David Edwards, Harold M. Hastings, Cech Theory: Its past, present, and future, Rocky Mountain J. Math. Volume 10, Number 3 (1980), 429-468. (Euclid)

A discussion of Čech cohomology in the wider context of cohomology particularly realized in terms of the model structure on simplicial presheaves and with an emphasis on the shades of notions between Čech cover and hypercover is

Abelian Čech cohomology is discussed in some detail in section I.3 of

• Brylinski, Loop spaces, characteristic classes and geometric quantization

A discussion of the model structure on simplicial presheaves with an eye towards the distinction between Čech and hyperlocalization is in

• Daniel Dugger, Sheaves and Homotopy theory (web, pdf)

(But beware that, while providing useful insights, these are unfinished abandoned notes that seem to have some gaps right at this point.)

A long list of reasons why higher Čech cohomology might is after all better behaved than its hypercompletion where a cycle is with respect to an arbitrary hypercover is in section 6.5.4, Descent versus Hyperdescent of

The relation between smooth and continuous Cech cohomology is discussed in

• Christoph Müller, Christoph Wockel, Equivalences of smooth and continuous principal bundles with infinite-dimensional structure groups, Advances in Geometry. Volume 9, Issue 4, Pages 605–626 (2009)

Revised on July 3, 2012 15:31:06 by Urs Schreiber (89.204.130.59)