Complexe de faisceaux

Un complexe de faisceaux $(K^{*},d^{*})$ sur un espace topologique X est une suite $(K^n)$ de faisceaux de groupes sur X et une suite longue de morphismes de faisceaux :

$\dots \to K^{n-1}{\to }^d{K}^n{\to }^d{K}^{n+1}\to \dots$

telle que $d^n\circ d^{n+1}=0$. Le faisceau cohomologique $H^j(K^{*},d^{*})$ est le faisceau associé au préfaisceau quotient Ker $d^j$ / Im $d^{j-1}$.

Un morphisme $\mathrm{\Psi }:(K^{*},d^{*})\to (L^{*},d^{*})$ de complexes de faisceaux est une suite $({\mathrm{\Psi }}^n:K^n\to L^n)$ de morphismes de faisceaux de groupes telle que : ${\mathrm{\Psi }}^{n+1}{d}^n=d^n{\mathrm{\Psi }}^n$. Un tel morphisme induit un morphisme au niveau des faisceaux cohomologiques :

${\mathrm{\Psi }}_{*}:H^j(K^{*},d^{*})\to H^j(L^{*},d^{*})$