In this post we will talk about cohomology(from homological algebra), group cohomology and its applications.
Why should we study (co)homology? Of course there are historical motivations. Yet a modern point of view is to compensate for the non-exactness of a functor from a category(with good properties, for example, an abelian category) to another. So, one more fundamental question arises: why should we concern ourselves with exactness of a sequence? Perhaps the motivation for this comes from the fact that a splitting sequence of abelian groups implies that this sequence is exact. This is the most common necessary condition for a sequence to split.
Now let’s get down to some concrete things, we suppose that is an abelian category, one prototype example is the category of modules over a commutative ring with unit. We consider the associated (-)graded category , in which objects are where is a morphism in such that . So the first motivational question comes: why de we consider this kind of things? One motivation comes from differential manifolds. In the theory of differential manifolds, we have an important operator, the exterior differential operator, , which acts on differential forms. Differential forms give a (or )-graded real vector space, and . This is an important property of . And the category can be seen as a generalization of this object.
Now a morphism from is a sequence of maps such that . This definition is very reasonable.
For each such object , we consider . This is of course a most fundamental concept in the theory of (co)homology. One straightforward motivation for these is to compensate for the non-exactness of these maps . If is a morphism, then it is easy to verify that induces maps .
Now let’s consider another different question: given two maps , when will ? This is a rather interesting question. One sufficient condition comes from homotopy theory, which is, at first sight, completely different from homology theory. We say that two such maps are homotopy equivalent if there is a sequence of maps such that . It is very easy to show that if are homotopy equivalent, then they induce the same maps . This is really a fundamental verification in homology theory. Recall the domains of : they are . Thus for any , we have that . Note that , besides , thus . It is also easy to show that homotopy equivalent is an equivalent relation. Note here why should we need the first term ? In fact these two terms can be seen from homotopy theory. That is what we are going to say in the next post.