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
d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines :
![{\displaystyle \dots \rightarrow \Gamma (X,I^{k-1})\rightarrow \Gamma (X,I^{k})\rightarrow \Gamma (X,I^{k+1})\rightarrow \dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3aef72483714f3c69bde60f6efe08bee6fdd0a19)
où
est une résolution injective du faisceau
, et
désigne le groupe abélien des sections globales de
. A unique isomorphisme canonique près, ces groupes ne dépendent pas de la résolution injective choisie.
- Le zéroième groupe
est canoniquement isomorphe à
.
est dit acyclique si tous ses autres groupes de cohomologie sont triviaux. - Tout morphisme
induit des homomorphismes de groupes abéliens canoniquement définis :
![{\displaystyle \Phi _{*}:H^{k}(X,{\mathcal {A}})\rightarrow H^{k}(X,{\mathcal {B}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1d3fbfe15b931abce0ccdf76f9a91ec395a1228)
Portail des mathématiques