Cohomologie des faisceaux

Les groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines.

Formulation

Les groupes de cohomologie $H^{k}(X,{\mathcal {F}})$ d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines :

$\dots \rightarrow \Gamma (X,I^{k-1})\rightarrow \Gamma (X,I^{k})\rightarrow \Gamma (X,I^{k+1})\rightarrow \dots$

où ${\mathcal {F}}\rightarrow I^{*}$ est une résolution injective du faisceau ${\mathcal {F}}$, et $\Gamma (X,{\mathcal {A}})$ désigne le groupe abélien des sections globales de ${\mathcal {A}}$. A unique isomorphisme canonique près, ces groupes ne dépendent pas de la résolution injective choisie.

• Le zéroième groupe $H^{0}(X,{\mathcal {F}})$ est canoniquement isomorphe à $\Gamma (X,{\mathcal {F}})$.
• ${\mathcal {F}}$ est dit acyclique si tous ses autres groupes de cohomologie sont triviaux.
• Tout morphisme $\Phi :{\mathcal {A}}\rightarrow {\mathcal {B}}$ induit des homomorphismes de groupes abéliens canoniquement définis :

$\Phi _{*}:H^{k}(X,{\mathcal {A}})\rightarrow H^{k}(X,{\mathcal {B}})$