In homological algebra, the hyperhomology or hypercohomology ( H ∗ ( − ) , H ∗ ( − ) {\displaystyle \mathbb {H} _{*}(-),\mathbb {H} ^{*}(-)} ) is a generalization of (co)homology functors which takes as input not objects in an abelian category A {\displaystyle {\mathcal {A}}} but instead chain complexes of objects, so objects in Ch ( A ) {\displaystyle {\text{Ch}}({\mathcal {A}})} . It is a sort of cross between the derived functor cohomology of an object and the homology of a chain complex since hypercohomology corresponds to the derived global sections functor R ∗ Γ ( − ) {\displaystyle \mathbf {R} ^{*}\Gamma (-)} . Hyperhomology is no longer used much: since about 1970 it has been largely replaced by the roughly equivalent concept of a derived functor between derived categories.
Motivation One of the motivations for hypercohomology comes from the fact that there is no obvious generalization of cohomological long exact sequences associated to short exact sequences
0 → M ′ → M → M ″ → 0 {\displaystyle 0\to M'\to M\to M''\to 0}
i.e. there is an associated long exact sequence
0 → H 0 ( M ′ ) → H 0 ( M ) → H 0 ( M ″ ) → H 1 ( M ′ ) → ⋯ {\displaystyle 0\to H^{0}(M')\to H^{0}(M)\to H^{0}(M'')\to H^{1}(M')\to \cdots }
It turns out that hypercohomology gives techniques for constructing a similar cohomological associated long exact sequence from an arbitrary long exact sequence since its inputs are given by chain complexes instead of just objects from an abelian category.
0 → M 1 → M 2 → ⋯ → M k → 0 {\displaystyle 0\to M_{1}\to M_{2}\to \cdots \to M_{k}\to 0}
We can turn this chain complex into a distinguished triangle (using the language of triangulated categories on a derived category)
M 1 → [ M 2 → ⋯ → M k − 1 ] → M k [ − k + 3 ] → + 1 {\displaystyle M_{1}\to [M_{2}\to \cdots \to M_{k-1}]\to M_{k}[-k+3]\xrightarrow {+1} }
which we denote by
M ∙ ′ → M ∙ → M ∙ ″ → + 1 {\displaystyle {\mathcal {M}}'_{\bullet }\to {\mathcal {M}}_{\bullet }\to {\mathcal {M}}''_{\bullet }\xrightarrow {+1} }
Then, taking derived global sections R ∗ Γ ( − ) {\displaystyle \mathbf {R} ^{*}\Gamma (-)} gives a long exact sequence, which is a long exact sequence of hypercohomology groups.
Definition We give the definition for hypercohomology as this is more common. As usual, hypercohomology and hyperhomology are essentially the same: one converts from one to the other by dualizing, i.e. by changing the direction of all arrows, replacing injective objects with projective ones, and so on. Suppose that A is an abelian category with enough injectives and F a left exact functor to another abelian category B. If C is a complex of objects of A bounded on the left, the hypercohomology
Hi(C) of C (for an integer i) is calculated as follows:
Take a quasi-isomorphism Φ : C → I, here I is a complex of injective elements of A. The hypercohomology Hi(C) of C is then the cohomology Hi(F(I)) of the complex F(I). The hypercohomology of C is independent of the choice of the quasi-isomorphism, up to unique isomorphisms. The hypercohomology can also be defined using derived categories: the hypercohomology of C is just the cohomology of RF(C) considered as an element of the derived category of B. For complexes that vanish for negative indices, the hypercohomology can be defined as the derived functors of H0 = FH0 = H0F.
The hypercohomology spectral sequences There are two hypercohomology spectral sequences; one with E2 term
R i F ( H j ( C ) ) {\displaystyle R^{i}F(H^{j}(C))}
and the other with E1 term
… excerpt ends here. Continue reading the full article.
