This page is a detailed introduction to homological algebra. Starting with motivation from basic homotopy theory, it introduces the basics of the category of chain complexes and then develops the concepts of derived categories and derived functors in homological algebra, with the main examples of Ext and Tor. The last chapter introduces and proves the fundamental theorems of the field.
$\,$
For the application to spectral sequences see at Introduction to Spectral Sequences.
For background/outlook on abstract homotopy theory see at Introduction to Homotopy Theory.
For generalization to stable homotopy theory see at Introduction to Stable homotopy theory.
$\,$
This text is a first introduction to homological algebra, assuming only very basic prerequisites. For instance we do recall in some detail basic definitions and constructions in the theory of abelian groups and modules, though of course a prior familiarity with these ingredients will be helpful. Also we use very little category theory, if it all. Where universal constructions do appear we spell them out explicitly in components and just mention their category-theoretic names for those readers who want to dig deeper. We do however freely use the words functor and commuting diagram. The reader unfamiliar with these elementary notions should click on these keywords and follow the hyperlink to the explanation right now.
The subject of homological algebra may be motivated by its archetypical application, which is the singular homology of a topological space $X$. This example illustrates homological algebra as being concerned with the abelianization of what is called the homotopy theory of $X$.
So we begin with some basic concepts in homotopy theory in section 1) Homotopy type of topological spaces. Then we consider the “abelianization” of this setup in 2) Simplicial and abelian homology.
Together this serves to motivate many constructions in homological algebra, such as centrally chain complexes, chain maps and homology, but also chain homotopies, mapping cones etc, which we discuss in detail in chapter II below. In the bulk we develop the general theory of homological algebra in chapter III and chapter IV. Finally we come back to a systematic discussion of the relation to homotopy theory at the end in chapter V. A section Outlook is appended for readers interested in the grand scheme of things.
We do use some basic category theory language in the following, but no actual category theory. The reader should know what a category is, what a functor is and what a commuting diagram is. These concepts are more elementary than any genuine concept in homological algebra to appear below and of general use. Where we do encounter universal constructions below we call them by their category-theoretic name but always spell them out in components explicity.
This section reviews some basic notions in topology and homotopy theory. These will all serve as blueprints for corresponding notions in homological algebra.
A topological space is a set $X$ equipped with a set of subsets $U \subset X$, called open sets, which are closed under
The Cartesian space $\mathbb{R}^n$ with its standard notion of open subsets given by unions of open balls $D^n \subset \mathbb{R}^n$.
For $Y \hookrightarrow X$ an injection of sets and $\{U_i \subset X\}_{i \in I}$ a topology on $X$, the subspace topology on $Y$ is $\{U_i \cap Y \subset Y\}_{i \in I}$.
For $n \in \mathbb{N}$, the topological n-simplex is, up to homeomorphism, the topological space whose underlying set is the subset
of the Cartesian space $\mathbb{R}^{n+1}$, and whose topology is the subspace topology induces from the canonical topology in $\mathbb{R}^{n+1}$.
For $n = 0$ this is the point, $\Delta^0 = *$.
For $n = 1$ this is the standard interval object $\Delta^1 = [0,1]$.
For $n = 2$ this is the filled triangle.
For $n = 3$ this is the filled tetrahedron.
A homomorphisms between topological spaces $f : X \to Y$ is a continuous function:
a function $f:X\to Y$ of the underlying sets such that the preimage of every open set of $Y$ is an open set of $X$.
Topological spaces with continuous maps between them form the category Top.
For $n \in \mathbb{N}$, $\n \geq 1$ and $0 \leq k \leq n$, the $k$th $(n-1)$-face (inclusion) of the topological $n$-simplex, def. , is the subspace inclusion
induced under the coordinate presentation of def. , by the inclusion
which “omits” the $k$th canonical coordinate:
The inclusion
is the inclusion
of the “right” end of the standard interval. The other inclusion
is that of the “left” end $\{0\} \hookrightarrow [0,1]$.
For $n \in \mathbb{N}$ and $0 \leq k \lt n$ the $k$th degenerate $(n)$-simplex (projection) is the surjective map
induced under the barycentric coordinates of def. under the surjection
which sends
For $X \in$ Top and $n \in \mathbb{N}$, a singular $n$-simplex in $X$ is a continuous map
from the topological $n$-simplex, def. , to $X$.
Write
for the set of singular $n$-simplices of $X$.
As $n$ varies, this forms the singular simplicial complex of $X$. This is the topic of the next section, see def. def. .
For $f,g : X \to Y$ two continuous functions between topological spaces, a left homotopy $\eta : f \Rightarrow g$ is a commuting diagram in Top of the form
In words this says that a homotopy between two continuous functions $f$ and $g$ is a continuous 1-parameter deformation of $f$ to $g$. That deformation parameter is the canonical coordinate along the interval $[0,1]$, hence along the “length” of the cylinder $X \times \Delta^1$.
Left homotopy is an equivalence relation on $Hom_{Top}(X,Y)$.
The fundamental invariants of a topological space in the context of homotopy theory are its homotopy groups. We first review the first homotopy group, called the fundamental group of $X$:
For $X$ a topological space and $x : * \to X$ a point. A loop in $X$ based at $x$ is a continuous function
from the topological 1-simplex, such that $\gamma(0) = \gamma(1) = x$.
A based homotopy between two loops is a homotopy
such that $\eta(0,-) = \eta(1,-) = x$.
This notion of based homotopy is an equivalence relation.
This is directly checked. It is also a special case of the general discussion at homotopy.
Given two loops $\gamma_1, \gamma_2 : \Delta^1 \to X$, define their concatenation to be the loop
Concatenation of loops respects based homotopy classes where it becomes an associative, unital binary pairing with inverses, hence the product in a group.
For $X$ a topological space and $x \in X$ a point, the set of based homotopy equivalence classes of based loops in $X$ equipped with the group structure from prop. is the fundamental group or first homotopy group of $(X,x)$, denoted
The fundamental group of the point is trivial: $\pi_1(*) = *$.
The fundamental group of the circle is the group of integers $\pi_1(S^1) \simeq \mathbb{Z}$.
This construction has a fairly straightforward generalizations to “higher dimensional loops”.
Let $X$ be a topological space and $x : * \to X$ a point. For $(1 \leq n) \in \mathbb{N}$, the $n$th homotopy group $\pi_n(X,x)$ of $X$ at $x$ is the group:
whose elements are left-homotopy equivalence classes of maps $S^n \to (X,x)$ in $Top^{*/}$;
composition is given by gluing at the base point (wedge sum) of representatives.
The 0th homotopy group is taken to be the set of connected components.
The homotopy theory of topological spaces is all controled by the following notion. The abelianization of this notion, the notion of quasi-isomorphism discussed in def. below is central to homological algebra.
For $X, Y \in$ Top two topological spaces, a continuous function $f : X \to Y$ between them is called a weak homotopy equivalence if
$f$ induces an isomorphism of connected components
in Set;
for all points $x \in X$ and for all $(1 \leq n) \in \mathbb{N}$ $f$ induces an isomorphism on homotopy groups
in Grp.
What is called homotopy theory is effectively the study of topological spaces not up to isomorphism (here: homeomorphism), but up to weak homotopy equivalence. Similarly, we will see that homological algebra is effectively the study of chain complexes not up to isomorphism, but up to quasi-isomorphism. But this is slightly more subtle than it may seem, in parts due to the following:
The existence of a weak homotopy equivalence from $X$ to $Y$ is a reflexive and transitive relation on Top, but it is not a symmetric relation.
Reflexivity and transitivity are trivially checked. A counterexample to symmetry is the weak homotopy equivalence between the stanard circle and the pseudocircle.
But we can consider the genuine equivalence relation generated by weak homotopy equivalence:
We say two spaces $X$ and $Y$ have the same (weak) homotopy type if they are equivalent under the equivalence relation generated by weak homotopy equivalence.
Equivalently this means that $X$ and $Y$ have the same (weak) homotopy type if there exists a zigzag of weak homotopy equivalences
One can understand the homotopy type of a topological space just in terms of its homotopy groups and how they act on each other. (This data is called a Postnikov tower of $X$.) But computing and handling homotopy groups is in general hard, famously so already for the seemingly simple case of the homotopy groups of spheres. Therefore we now want to simplify the situation by passing to a “linear/abelian approximation”.
This section discusses how the “abelianization” of a topological space by singular chains gives rise to the notion of chain complexes and their homology.
Above in def. we saw that to a topological space $X$ is associated a sequence of sets
of singular simplices. Since the topological $n$-simplices $\Delta^n$ from def. sit inside each other by the face inclusions of def.
and project onto each other by the degeneracy maps, def.
we dually have functions
that send each singular $n$-simplex to its $k$-face and functions
that regard an $n$-simplex as beign a degenerate (“thin”) $(n+1)$-simplex. All these sets of simplices and face and degeneracy maps between them form the following structure.
A simplicial set $S \in sSet$ is
for each $n \in \mathbb{N}$ a set $S_n \in Set$ – the set of $n$-simplices;
for each injective map $\delta_i : \overline{n-1} \to \overline{n}$ of totally ordered sets $\bar n \coloneqq \{ 0 \lt 1 \lt \cdots \lt n \}$
a function $d_i : S_{n} \to S_{n-1}$ – the $i$th face map on $n$-simplices;
for each surjective map $\sigma_i : \overline{n+1} \to \bar n$ of totally ordered sets
a function $\sigma_i : S_{n} \to S_{n+1}$ – the $i$th degeneracy map on $n$-simplices;
such that these functions satisfy the simplicial identities.
The simplicial identities satisfied by face and degeneracy maps as above are (whenever these maps are composable as indicated):
$d_i \circ d_j = d_{j-1} \circ d_i$ if $i \lt j$,
$s_i \circ s_j = s_j \circ s_{i-1}$ if $i \gt j$.
$d_i \circ s_j = \left\{ \array{ s_{j-1} \circ d_i & if \; i \lt j \\ id & if \; i = j \; or \; i = j+1 \\ s_j \circ d_{i-1} & if i \gt j+1 } \right.$
It is straightforward to check by explicit inspection that the evident injection and restriction maps between the sets of singular simplices make $(Sing X)_\bullet$ into a simplicial set. We now briefly indicate a systematic way to see this using basic category theory, but the reader already satisfied with this statement should jump ahead to the abelianization of $(Sing X)_n$ in prop. below.
The simplex category $\Delta$ is the full subcategory of Cat on the free categories of the form
This is called the “simplex category” because we are to think of the object $[n]$ as being the “spine” of the $n$-simplex. For instance for $n = 2$ we think of $0 \to 1 \to 2$ as the “spine” of the triangle. This becomes clear if we don’t just draw the morphisms that generate the category $[n]$, but draw also all their composites. For instance for $n = 2$ we have_
A functor
from the opposite category of the simplex category to the category Set of sets is canonically identified with a simplicial set, def. .
One checks by inspection that the simplicial identities characterize precisely the behaviour of the morphisms in $\Delta^{op}([n],[n+1])$ and $\Delta^{op}([n],[n-1])$.
This makes the following evident:
The topological simplices from def. arrange into a cosimplicial object in Top, namely a functor
With this now the structure of a simplicial set on the singular simplices $(Sing X)_\bullet$, def. , is manifest: it is just the nerve of $X$ with respect to $\Delta^\bullet$, namely:
For $X$ a topological space its simplicial set of singular simplicies (often called the singular simplicial complex)
is given by composition of the functor from example with the hom functor of Top:
It turns out that homotopy type of the topological space $X$ is entirely captured by its singular simplicial complex $Sing X$ (this is the content of the homotopy hypothesis-theorem).
Now we abelianize the singular simplicial complex $(Sing X)_\bullet$ in order to make it simpler and hence more tractable.
A formal linear combination of elements of a set $S \in$ Set is a function
such that only finitely many of the values $a_s \in \mathbb{Z}$ are non-zero.
Identifying an element $s \in S$ with the function $S \to \mathbb{Z}$, which sends $s$ to $1 \in \mathbb{Z}$ and all other elements to 0, this is written as
In this expression one calls $a_s \in \mathbb{Z}$ the coefficient of $s$ in the formal linear combination.
For $S \in$ Set, the group of formal linear combinations $\mathbb{Z}[S]$ is the group whose underlying set is that of formal linear combinations, def. , and whose group operation is the pointwise addition in $\mathbb{Z}$:
For the present purpose the following statement may be regarded as just introducing different terminology for the group of formal linear combinations:
The group $\mathbb{Z}[S]$ is the free abelian group on $S$.
For $S_\bullet$ a simplicial set, def. , the free abelian group $\mathbb{Z}[S_n]$ is called the group of (simplicial) $n$-chains on $S$.
For $X$ a topological space, an $n$-chain on the singular simplicial complex $Sing X$ is called a singular $n$-chain on $X$.
This construction makes the sets of simplices into abelian groups. But this allows to formally add the different face maps in the simplicial set to one single boundary map:
For $S$ a simplicial set, its alternating face map differential in degree $n$ is the linear map
defined on basis elements $\sigma \in S_n$ to be the alternating sum of the simplicial face maps:
The simplicial identity, def. part (1), implies that the alternating sum boundary map of def. squares to 0:
By linearity, it is sufficient to check this on a basis element $\sigma \in S_n$. There we compute as follows:
Here
the first equality is (1);
the second is (1) together with the linearity of $d$;
the third is obtained by decomposing the sum into two summands;
the fourth finally uses the simplicial identity def. (1) in the first summand;
the fifth relabels the summation index $j$ by $j +1$;
the last one observes that the resulting two summands are negatives of each other.
Let $X$ be a topological space. Let $\sigma^1 : \Delta^1 \to X$ be a singular 1-simplex, regarded as a 1-chain
Then its boundary $\partial \sigma \in H_0(X)$ is
or graphically (using notation as for orientals)
In particular $\sigma$ is a 1-cycle precisely if $\sigma(0) = \sigma(1)$, hence precisely if $\sigma$ is a loop.
Let $\sigma^2 : \Delta^2 \to X$ be a singular 2-chain. The boundary is
Hence the boundary of the boundary is:
For $S$ a simplicial set, we call the collection
of abelian groups of chains $C_n(S) \coloneqq \mathbb{Z}[S_n]$, prop. ;
and boundary homomorphisms $\partial_n : C_{n+1}(S) \to C_n(X)$, def.
(for all $n \in \mathbb{N}$) the alternating face map chain complex of $S$:
Specifically for $S = Sing X$ we call this the singular chain complex of $X$.
This motivates the general definition:
A chain complex of abelian groups $C_\bullet$ is a collection $\{C_n \in Ab\}_{n}$ of abelian groups together with group homomorphisms $\{\partial_n : C_{n+1} \to C_n\}$ such that $\partial \circ \partial = 0$.
We turn to this definition in more detail in the next section. The thrust of this construction lies in the fact that the chain complex $C_\bullet(Sing X)$ remembers the abelianized fundamental group of $X$, as well as aspects of the higher homotopy groups: in its chain homology.
For $C_\bullet(S)$ a chain complex as in def. , and for $n \in \mathbb{N}$ we say
an $n$-chain of the form $\partial \sigma \in C(S)_n$ is an $n$-boundary;
a chain $\sigma \in C_n(S)$ is an $n$-cycle if $\partial \sigma = 0$
(every 0-chain is a 0-cycle).
By linearity of $\partial$ the boundaries and cycles form abelian sub-groups of the group of chains, and we write
for the group of $n$-boundaries, and
for the group of $n$-cycles.
This means that a singular chain is a cycle if the formal linear combination of the oriented boundaries of all its constituent singular simplices sums to 0.
More generally, for $R$ any unital ring one can form the degreewise free module $R[Sing X]$ over $R$. The corresponding homology is the singular homology with coefficients in $R$, denoted $H_n(X,R)$. This generality we come to below in the next section.
For $C_\bullet(S)$ a chain complex as in def. and for $n \in \mathbb{N}$, the degree-$n$ chain homology group $H_n(C(S)) \in Ab$ is the quotient group
of the $n$-cycles by the $n$-boundaries – where for $n = 0$ we declare that $\partial_{-1} \coloneqq 0$ and hence $Z_0 \coloneqq C_0$.
Specifically, the chain homology of $C_\bullet(Sing X)$ is called the singular homology of the topological space $X$.
One usually writes $H_n(X, \mathbb{Z})$ or just $H_n(X)$ for the singular homology of $X$ in degree $n$.
So $H_0(C_\bullet(S)) = C_0(S)/im(\partial_0)$.
For $X$ a topological space we have that the degree-0 singular homology
is the free abelian group on the set of connected components of $X$.
For $X$ a compact connected, orientable manifold of dimension $n$ we have
The precise choice of this isomorphism is a choice of orientation on $X$. With a choice of orientation, the element $1 \in \mathbb{Z}$ under this identification is called the fundamental class
of the manifold $X$.
Given a continuous map $f : X \to Y$ between topological spaces, and given $n \in \mathbb{N}$, every singular $n$-simplex $\sigma : \Delta^n \to X$ in $X$ is sent to a singular $n$-simplex
in $Y$. This is called the push-forward of $\sigma$ along $f$. Accordingly there is a push-forward map on groups of singular chains
These push-forward maps make all diagrams of the form
commute.
It is in fact evident that push-forward yields a functor of singular simplicial complexes
From this the statement follows since $\mathbb{Z}[-] : sSet \to sAb$ is a functor.
Therefore we have an “abelianized analog” of the notion of topological space:
For $C_\bullet, D_\bullet$ two chain complexes, def. , a homomorphism between them – called a chain map $f_\bullet : C_\bullet \to D_\bullet$ – is for each $n \in \mathbb{N}$ a homomorphism $f_n : C_n \to D_n$ of abelian groups, such that $f_n \circ \partial^C_n = \partial^D_n \circ f_{n+1}$:
Composition of such chain maps is given by degreewise composition of their components. Clearly, chain complexes with chain maps between them hence form a category – the category of chain complexes in abelian groups, – which we write
Accordingly we have:
Sending a topological space to its singular chain complex $C_\bullet(X)$, def. , and a continuous map to its push-forward chain map, prop. , constitutes a functor
from the category Top of topological spaces and continuous maps, to the category of chain complexes.
In particular for each $n \in \mathbb{N}$ singular homology extends to a functor
We close this section by stating the basic properties of singular homology, which make precise the sense in which it is an abelian approximation to the homotopy type of $X$. The proof of these statements requires some of the tools of homological algebra that we develop in the later chapters, as well as some tools in algebraic topology.
If $f : X \to Y$ is a continuous map between topological spaces which is a weak homotopy equivalence, def, , then the induced morphism on singular homology groups
is an isomorphism.
(A proof (via CW approximations) is spelled out for instance in (Hatcher, prop. 4.21)).
We therefore also have an “abelian analog” of weak homotopy equivalences:
For $C_\bullet, D_\bullet$ two chain complexes, a chain map $f_\bullet : C_\bullet \to D_\bullet$ is called a quasi-isomorphism if it induces isomorphisms on all homology groups:
In summary: chain homology sends weak homotopy equivalences to quasi-isomorphisms. Quasi-isomorphisms of chain complexes are the abelianized analog of weak homotopy equivalences of topological spaces.
In particular we have the analog of prop. :
The relation “There exists a quasi-isomorphism from $C_\bullet$ to $D_\bullet$.” is a reflexive and transitive relation, but it is not a symmetric relation.
Reflexivity and transitivity are evident. An explicit counter-example showing the non-symmetry is the chain map
from the chain complex concentrated on the morphism of multiplication by 2 on integers, to the chain complex concentrated on the cyclic group of order 2.
This clearly induces an isomorphism on all homology groups. But there is not even a non-zero chain map in the other direction, since there is no non-zero group homomorphism $\mathbb{Z}/2\mathbb{Z} \to \mathbb{Z}$.
Accordingly, as for homotopy types of topological spaces, in homological algebra one regards two chain complexes $C_\bullet$, $D_\bullet$ as essentially equivalent – “of the same weak homology type” – if there is a zigzag of quasi-isomorphisms
between them. This is made precise by the central notion of the derived category of chain complexes. We turn to this below in section Derived categories and derived functors.
But quasi-isomorphisms are a little coarser than weak homotopy equivalences. The singular chain functor $C_\bullet(-)$ forgets some of the information in the homotopy types of topological spaces. The following series of statements characterizes to some extent what exactly is lost when passing to singular homology, and which information is in fact retained.
First we need a comparison map:
(Hurewicz homomorphism)
For $(X,x)$ a pointed topological space, the Hurewicz homomorphism is the function
from the $k$th homotopy group of $(X,x)$ to the $k$th singular homology group defined by sending
a representative singular $k$-sphere $f$ in $X$ to the push-forward along $f$ of the fundamental class $[S_k] \in H_k(S^k)$, example .
For $X$ a topological space the Hurewicz homomorphism in degree 0 exhibits an isomorphism between the free abelian group $\mathbb{Z}[\pi_0(X)]$ on the set of path connected components of $X$ and the degree-0 singular homlogy:
Since a homotopy group in positive degree depends on the homotopy type of the connected component of the base point, while the singular homology does not depend on a basepoint, it is interesting to compare these groups only for the case that $X$ is connected.
For $X$ a path-connected topological space the Hurewicz homomorphism in degree 1
is surjective. Its kernel is the commutator subgroup of $\pi_1(X,x)$. Therefore it induces an isomorphism from the abelianization $\pi_1(X,x)^{ab} \coloneqq \pi_1(X,x)/[\pi_1,\pi_1]$:
For higher connected $X$ we have the
If $X$ is (n-1)-connected for $n \geq 2$ then
is an isomorphism.
This is known as the Hurewicz theorem.
This gives plenty of motivation for studying
of chain complexes. This is essentially what homological algebra is about. In the next section we start to develop these notions more systematically.
Chain complexes of modules with chain maps between them form a category, the category of chain complexes, which is where all of homological algebra takes place. We first construct this category and discuss its most fundamental properties in 3) Categories of chain complexes . Then we consider more interesting properties of this category: the most elementary and still already profoundly useful is the phenomenon of exact sequences and specifically of homology exact sequences, discussed in 4) Homology exact sequences. In 5) Homotopy fiber sequences and mapping cones we explain how these are the shadow under the homology functor of homotopy fiber sequences of chain complexes constructed using mapping cones. The construction of the connecting homomorphism obtained this way may be understood as a special case of the basic diagram chasing lemmas in double complexes, such as the snake lemma, which we discuss in 6) Double complexes and the diagram chasing lemmas.
This serves to provide a rich set of tools that is needed when in the next chaper Abelian homotopy theory we turn to the actual category of interest, which is not quite that of chain complexes and chain maps, but the localization of this at the quasi-isomorphisms: the derived category.
In def. we had encountered complexes of singular chains, of formal linear combinations of simplices in a topological space. Here we discuss such chain complexes in their own right in a bit more depth.
Also, above a singular chain was taken to be a formal sum of singular simplices with coefficients in the abelian group of integers $\mathbb{Z}$. It is just as straightforward, natural and useful to allow the coefficients to be an arbitrary abelian group $A$, or in fact to be a module over a ring. We have to postpone proper discussion of motivating examples for this step below in chapter III and chapter IV, but the reader eager to see a deeper motivation right now might look at Modules – As generalized vector bundles. See also the archetypical example below.
So we start by developing a bit of the theory of abelian groups, rings and modules.
Write Ab $\in$ Cat for the category of abelian groups and group homomorphisms between them:
an object is a group $A$ such that for all elements $a_1, a_2 \in A$ we have that the group product of $a_1$ with $a_2$ is the same as that of $a_2$ with $a_1$, which we write $a_1 + a_2 \in A$ (and the neutral element is denoted by $0 \in A$);
a morphism $\phi : A_1 \to A_2$ is a group homomorphism, hence a function of the underlying sets, such that for all elements as above $\phi(a_1 + a_2) = \phi(a_1) + \phi(a_2)$.
Among the basic constructions that produce new abelian groups from given ones are the tensor product of abelian groups and the direct sum of abelian groups. These we discuss now.
For $A$, $B$ and $C$ abelian groups and $A \times B$ the cartesian product group, a bilinear map
is a function of the underlying sets which is linear – hence is a group homomorphism – in each argument separately.
In terms of elements this means that a bilinear map $f : A \times B \to C$ is a function of sets that satisfies for all elements $a_1, a_2 \in A$ and $b_1, b_2 \in B$ the two relations
and
Notice that this is not a group homomorphism out of the product group. The product group $A \times B$ is the group whose elements are pairs $(a,b)$ with $a \in A$ and $b \in B$, and whose group operation is
hence satisfies
and hence in particular
which is (in general) different from the behaviour of a bilinear map.
For $A, B$ two abelian groups, their tensor product of abelian groups is the abelian group $A \otimes B$ which is the quotient group of the free group on the product (direct sum) $A \times B$ by the relations
$(a_1,b)+(a_2,b)\sim (a_1+a_2,b)$
$(a,b_1)+(a,b_2)\sim (a,b_1+b_2)$
for all $a, a_1, a_2 \in A$ and $b, b_1, b_2 \in B$.
In words: it is the group whose elements are presented by pairs of elements in $A$ and $B$ and such that the group operation for one argument fixed is that of the other group in the other argument.
There is a canonical function of the underlying sets
On elements this sends $(a,b)$ to the equivalence class that it represents under the above equivalence relations.
A function of underlying sets $f : A \times B \to C$ is a bilinear function precisely if it factors by the morphism of through a group homomorphism $\phi : A \otimes B \to C$ out of the tensor product:
Equipped with the tensor product $\otimes$ of def. Ab becomes a monoidal category.
The unit object in $(Ab, \otimes)$ is the additive group of integers $\mathbb{Z}$.
This means:
forming the tensor product is a functor in each argument
there is an associativity natural isomorphism $(A \otimes B) \otimes C \stackrel{\simeq}{\to} A \otimes (B \otimes C)$ which is “coherent” in the sense that all possible ways of using it to rebracket a given expression are equal.
There is a unit natural isomorphism $A \otimes \mathbb{Z} \stackrel{\simeq}{\to} A$ which is compatible with the asscociativity isomorphism in the evident sense.
To see that $\mathbb{Z}$ is the unit object, consider for any abelian group $A$ the map
which sends for $n \in \mathbb{N} \subset \mathbb{Z}$
Due to the quotient relation defining the tensor product, the element on the left is also equal to
This shows that $A \otimes \mathbb{Z} \to A$ is in fact an isomorphism.
The other properties are similarly direct to check.
We see simple but useful examples of tensor products of abelian groups put to work below in the context of example and then in many of the applications to follow. An elementary but not entirely trivial example that may help to illustrate the nature of the tensor product is the following.
For $a,b \in \mathbb{N}$ and positive, we have
where $LCM(-,-)$ denotes the least common multiple, whereas
where $GCD(-,-)$ denotes the greatest common divisor.
Let $I \in$ Set be a set and $\{A_i\}_{i \in I}$ an $I$-indexed family of abelian groups. The direct sum $\oplus_{i \in I} \in Ab$ is the coproduct of these objects in Ab.
This means: the direct sum is an abelian group equipped with a collection of homomorphisms
which is characterized (up to unique isomorphism) by the following universal property: for every other abelian group $K$ equipped with maps
there is a unique homomorphism $\phi : \oplus_{i \in I} A_i \to K$ such that $f_i = \phi \circ \iota_i$ for all $i \in I$.
Explicitly in terms of elements we have:
The direct sum $\oplus_{i \in I} A_i$ is the abelian group whose ements are formal sums
of finitely many elements of the $\{A_i\}$, with addition given by componentwise addition in the corresponding $A_i$.
If each $A_i = \mathbb{Z}$, then the direct sum is again the free abelian group on $I$
The tensor product of abelian groups distributes over arbitrary direct sums:
For $I \in Set$ and $A \in Ab$, the direct sum of ${\vert I\vert}$ copies of $A$ with itself is equivalently the tensor product of abelian groups of the free abelian group on $I$ with $A$:
Together, tensor product and direct sum of abelian groups make Ab into what is called a bimonoidal category.
This now gives us enough structure to define rings and consider basic examples of their modules.
A ring (unital and not-necessarily commutative) is an abelian group $R$ equipped with
an element $1 \in R$
a bilinear operation, hence a group homomorphism
out of the tensor product of abelian groups,
such that this is associative and unital with respect to 1.
The fact that the product is a bilinear map is the distributivity law: for all $r, r_1, r_2 \in R$ we have
and
The integers $\mathbb{Z}$ are a ring under the standard addition and multiplication operation.
For each $n$, this induces a ring structure on the cyclic group $\mathbb{Z}_n$, given by operations in $\mathbb{Z}$ modulo $n$.
The rational numbers $\mathbb{Q}$, real numbers $\mathbb{R}$ and complex numbers are rings under their standard operations (in fact these are even fields).
For $R$ a ring, the polynomials
(for arbitrary $n \in\mathbb{N}$) in a variable $x$ with coefficients in $R$ form another ring, the polynomial ring denoted $R[x]$. This is the free $R$-associative algebra on a single generator $x$.
For $R$ a ring and $n \in \mathbb{N}$, the set $M(n,R)$ of $n \times n$-matrices with coefficients in $R$ is a ring under elementwise addition and matrix multiplication.
For $X$ a topological space, the set of continuous functions $C(X,\mathbb{R})$ or $C(X,\mathbb{C})$ with values in the real numbers or complex numbers is a ring under pointwise (points in $X$) addition and multiplication.
Just as an outlook and a suggestion for how to think geometrically of the objects appearing here, we mention the following.
The Gelfand duality theorem says that if one remembers certain extra structure on the rings of functions $C(X, \mathbb{C})$ in example – called the structure of a C-star algebra, then this construction
is an equivalence of categories between that of topological spaces, and the opposite category of $C^\ast$-algebras. Together with remark further below this provides a useful dual geometric way of thinking about the theory of modules.
From now on and throughout, we take $R$ to be a commutative ring.
A module $N$ over a ring $R$ is
an object $N \in$ Ab, hence an abelian group;
equipped with a morphism
in Ab; hence a function of the underlying sets that sends elements
and which is a bilinear function in that it satisfies
and
for all $r, r_1, r_2 \in R$ and $n,n_1, n_2 \in N$;
such that the diagram
commutes in Ab, which means that for all elements as before we have
such that the diagram
commutes, which means that on elements as above
The ring $R$ is naturally a module over itself, by regarding its multiplication map $R \otimes R \to R$ as a module action $R \otimes N \to N$ with $N \coloneqq R$.
More generally, for $n \in \mathbb{N}$ the $n$-fold direct sum of the abelian group underlying $R$ is naturally a module over $R$
The module action is componentwise:
Even more generally, for $I \in$ Set any set, the direct sum $\oplus_{i \in I} R$ is an $R$-module.
This is the free module (over $R$) on the set $S$.
The set $I$ serves as the basis of a free module: a general element $v \in \oplus_i R$ is a formal linear combination of elements of $I$ with coefficients in $R$.
For special cases of the ring $R$, the notion of $R$-module is equivalent to other notions:
For $R = \mathbb{Z}$ the integers, an $R$-module is equivalently just an abelian group.
For $R = k$ a field, an $R$-module is equivalently a vector space over $k$.
Every finitely-generated free $k$-module is a free module, hence every finite dimensional vector space has a basis. For infinite dimensions this is true if the axiom of choice holds.
For $N$ a module and $\{n_i\}_{i \in I}$ a set of elements, the linear span
(hence the completion of this set under addition in $N$ and multiplication by $R$) is a submodule of $N$.
Consider example for the case that the module is $N = R$, the ring itself, as in example . Then a submodule is equivalently (called) an ideal of $R$.
Write $R$Mod for the category or $R$-modules and $R$-linear maps between them.
For $R = \mathbb{Z}$ we have $\mathbb{Z} Mod \simeq Ab$.
Let $X$ be a topological space and let
be the ring of continuous functions on $X$ with values in the complex numbers.
Given a complex vector bundle $E \to X$ on $X$, write $\Gamma(E)$ for its set of continuous sections. Since for each point $x \in X$ the fiber $E_x$ of $E$ over $x$ is a $\mathbb{C}$-module (by example ), $\Gamma(X)$ is a $C(X,\mathbb{C})$-module.
Just as an outlook and a suggestion for how to think of modules geometrically, we mention the following.
The Serre-Swan theorem says that if $X$ is Hausdorff and compact with ring of functions $C(X,\mathbb{C})$ – as in remark above – then $\Gamma(X)$ is a projective $C(X,\mathbb{C})$-module and indeed there is an equivalence of categories between projective $C(X,\mathbb{C})$-modules and complex vector bundles over $X$. (We introduce the notion of projective modules below in Derived categories and derived functors.)
We now discuss a bunch of properties of the category $R$Mod which together will show that there is a reasonable concept of chain complexes of $R$-modules, in generalization of how there is a good concept of chain complexes of abelian groups. In a more abstract category theoretical context than we invoke here, all of the following properties are summarized in the following statement.
Let $R$ be a commutative ring. Then $R Mod$ is an abelian category.
But for the moment we ignore this further abstraction and just consider the following list of properties.
An object in a category which is both an initial object and a terminal object is called a zero object.
This means that $0 \in \mathcal{C}$ is a zero object precisely if for every other object $A$ there is a unique morphism $A \to 0$ to the zero object as well as a unique morphism $0 \to A$ from the zero object.
The trivial group is a zero object in Ab.
The trivial module is a zero object in $R$Mod.
Clearly the 0-module $0$ is a terminal object, since every morphism $N \to 0$ has to send all elements of $N$ to the unique element of $0$, and every such morphism is a homomorphism. Also, 0 is an initial object because a morphism $0 \to N$ always exists and is unique, as it has to send the unique element of 0, which is the neutral element, to the neutral element of $N$.
In a category with an initial object $0$ and pullbacks, the kernel $ker(f)$ of a morphism $f: A \to B$ is the pullback $ker(f) \to A$ along $f$ of the unique morphism $0 \to B$
More explicitly, this characterizes the object $ker(f)$ as the object (unique up to unique isomorphism) that satisfies the following universal property:
for every object $C$ and every morphism $h : C \to A$ such that $f\circ h = 0$ is the zero morphism, there is a unique morphism $\phi : C \to ker(f)$ such that $h = p\circ \phi$.
In the category Ab of abelian groups, the kernel of a group homomorphism $f : A \to B$ is the subgroup of $A$ on the set $f^{-1}(0)$ of elements of $A$ that are sent to the zero-element of $B$.
More generally, for $R$ any ring, this is true in $R$Mod: the kernel of a morphism of modules is the preimage of the zero-element at the level of the underlying sets, equipped with the unique sub-module structure on that set.
In a category with zero object, the cokernel of a morphism $f : A \to B$ is the pushout $coker(f)$ in
More explicitly, this characterizes the object $coker(f)$ as the object (unique up to unique isomorphism) that satisfies the following universal property:
for every object $C$ and every morphism $h : B \to C$ such that $h \circ f = 0$ is the zero morphism, there is a unique morphism $\phi : coker(f) \to C$ such that $h = \phi \circ i$.
In the category Ab of abelian groups the cokernel of a morphism $f : A \to B$ is the quotient group of $B$ by the image (of the underlying morphism of sets) of $f$.
$R Mod$ has all kernels. The kernel of a homomorphism $f : N_1 \to N_2$ is the set-theoretic preimage $U(f)^{-1}(0)$ equipped with the induced $R$-module structure.
$R Mod$ has all cokernels. The cokernel of a homomorphism $f : N_1 \to N_2$ is the quotient abelian group
of $N_2$ by the image of $f$.
The reader unfamiliar with the general concept of monomorphism and epimorphism may take the following to define these in Ab to be simply the injections and surjections.
$U : R Mod \to Set$ preserves and reflects monomorphisms and epimorphisms:
A homomorphism $f : N_1 \to N_2$ in $R Mod$ is a monomorphism / epimorphism precisely if $U(f)$ is an injection / surjection.
Suppose that $f$ is a monomorphism, hence that $f : N_1 \to N_2$ is such that for all morphisms $g_1, g_2 : K \to N_1$ such that $f \circ g_1 = f \circ g_2$ already $g_1 = g_2$. Let then $g_1$ and $g_2$ be the inclusion of submodules generated by a single element $k_1 \in K$ and $k_2 \in K$, respectively. It follows that if $f(k_1) = f(k_2)$ then already $k_1 = k_2$ and so $f$ is an injection. Conversely, if $f$ is an injection then its image is a submodule and it follows directly that $f$ is a monomorphism.
Suppose now that $f$ is an epimorphism and hence that $f : N_1 \to N_2$ is such that for all morphisms $g_1, g_2 : N_2 \to K$ such that $f \circ g_1 = f \circ g_2$ already $g_1 = g_2$. Let then $g_1 : N_2 \to \frac{N_2}{im(f)}$ be the natural projection. and let $g_2 : N_2 \to 0$ be the zero morphism. Since by construction $f \circ g_1 = 0$ and $f \circ g_2 = 0$ we have that $g_1 = 0$, which means that $\frac{N}{im(f)} = 0$ and hence that $N = im(f)$ and so that $f$ is surjective. The other direction is evident on elements.
For $N_1, N_2 \in R Mod$ two modules, define on the hom set $Hom_{R Mod}(N_1,N_2)$ the structure of an abelian group whose addition is given by argumentwise addition in $N_2$: $(f_1 + f_2) : n \mapsto f_1(n) + f_2(n)$.
With def. $R Mod$ composition of morphisms
is a bilinear map, hence is equivalently a morphism
out of the tensor product of abelian groups.
This makes $R Mod$ into an Ab-enriched category.
Linearity of composition in the second argument is immediate from the pointwise definition of the abelian group structure on morphisms. Linearity of the composition in the first argument comes down to linearity of the second module homomorphism.
In fact $R Mod$ is even a closed category, but this we do not need for showing that it is abelian.
Prop. and prop. together say that:
$R Mod$ is an pre-additive category.
$R Mod$ has all products and coproducts, being direct products and direct sums.
The products are given by cartesian product of the underlying sets with componentwise addition and $R$-action.
The direct sum is the subobject of the product consisting of tuples of elements such that only finitely many are non-zero.
The defining universal properties are directly checked. Notice that the direct product $\prod_{i \in I} N_i$ consists of arbitrary tuples because it needs to have a projection map
to each of the modules in the product, reproducing all of a possibly infinite number of non-trivial maps $\{K \to N_j\}$. On the other hand, the direct sum just needs to contain all the modules in the sum
and since, being a module, it needs to be closed only under addition of finitely many elements, so it consists only of linear combinations of the elements in the $N_j$, hence of finite formal sums of these.
Together cor. and prop. say that:
$R Mod$ is an additive category.
In $R Mod$
every monomorphism is the kernel of its cokernel;
every epimorphism is the cokernel of its kernel.
Using prop. this is directly checked on the underlying sets: given a monomorphism $K \hookrightarrow N$, its cokernel is $N \to \frac{N}{K}$, The kernel of that morphism is evidently $K \hookrightarrow N$.
Now cor. and prop. imply theorem , by definition.
Now we finally have all the ingredients to talk about chain complexes of $R$-modules. The following definitions are the direct analogs of the definitions of chain complexes of abelian groups in Simplicial and singular homology above.
A ($\mathbb{Z}$-graded) chain complex in $R$Mod is
such that
(the zero morphism) for all $n \in \mathbb{N}$.
For $C_\bullet$ a chain complex and $n \in \mathbb{N}$
the morphisms $\partial_n$ are called the differentials or boundary maps;
for $n \geq 1$ the elements in the kernel
of $\partial_{n-1} : C_n \to C_{n-1}$ are called the $n$-cycles
and for $n = 0$ we say that every 0-chain is a 0-cycle
(equivalently we declare that $\partial_{-1} = 0$).
the elements in the image
of $\partial_{n} : C_{n+1} \to C_{n}$ are called the $n$-boundaries;
Notice that due to $\partial \partial = 0$ we have canonical inclusions
the cokernel
is called the degree-$n$ chain homology of $C_\bullet$.
A chain map $f : V_\bullet \to W_\bullet$ is a collection of morphism $\{f_n : V_n \to W_n\}_{n \in \mathbb{Z}}$ in $\mathcal{A}$ such that all the diagrams
commute, hence such that all the equations
hold.
For $f : C_\bullet \to D_\bullet$ a chain map, it respects boundaries and cycles, so that for all $n \in \mathbb{Z}$ it restricts to a morphism
and
In particular it also respects chain homology
Conversely this means that taking chain homology is a functor
from the category of chain complexes in $\mathcal{A}$ to $\mathcal{A}$ itself.
This establishes the basic objects that we are concerned with in the following. But as before, we are not so much interested in chain complexes up to chain map isomorphism, rather, we are interested in them up to a notion of homotopy equivalence. This we begin to study in the next section Homology exact sequences and homotopy fiber sequences. But in order to formulate that neatly, it is useful to have the tensor product of chain complexes. We close this section with introducing that notion.
For $X, Y \in Ch_\bullet(\mathcal{A})$ write $X \otimes Y \in Ch_\bullet(\mathcal{A})$ for the chain complex whose component in degree $n$ is given by the direct sum
over all tensor products of components whose degrees sum to $n$, and whose differential is given on elements $(x,y)$ of homogeneous degree by
(square as tensor product of interval with itself)
For $R$ some ring, let $I_\bullet \in Ch_\bullet(R Mod)$ be the chain complex given by
where $\partial^I_0 = (-id, id)$.
This is the normalized chain complex of the simplicial chain complex of the standard simplicial interval, the 1-simplex $\Delta_1$, which means: we may think of
as the $R$-linear span of two basis elements labelled “$(0)$” and “$(1)$”, to be thought of as the two 0-chains on the endpoints of the interval. Similarly we may think of
as the free $R$-module on the single basis element which is the unique non-degenerate 1-simplex $(0 \to 1)$ in $\Delta^1$.
Accordingly, the differential $\partial^I_0$ is the oriented boundary map of the interval, taking this basis element to
and hence a general element $r\cdot(0 \to 1)$ for some $r \in R$ to
We now write out in full details the tensor product of chain complexes of $I_\bullet$ with itself, according to def. :
By definition and using the above choice of basis element, this is in low degree given as follows:
where in the last line we express a general element as a linear combination of the canonical basis elements which are obtained as tensor products $(a,b) \in R\otimes R$ of the previous basis elements. Notice that by the definition of tensor product of modules we have relations like
etc.
Similarly then, in degree-1 the tensor product chain complex is
And finally in degree 2 it is
All other contributions that are potentially present in $(I \otimes I)_\bullet$ vanish (are the 0-module) because all higher terms in $I_\bullet$ are.
The tensor product basis elements appearing in the above expressions have a clear geometric interpretation: we can label a square with them as follows
This diagram indicates a cellular square and identifies its canonical singular chains with the elements of $(I \otimes I)_\bullet$. The arrows indicate the orientation. For instance the fact that
says that the oriented boundary of the bottom morphism is the bottom right element (its target) minus the bottom left element (its source), as indicated. Here we used that the differential of a degree-0 element in $I_\bullet$ is 0, and hence so is any tensor product with it.
Similarly the oriented boundary of the square itself is computed to
which can be read as saying that the boundary is the evident boundary thought of as oriented by drawing it counterclockwise into the plane, so that the right arrow (which points up) contributes with a +1 prefactor, while the left arrow (which also points up) contributes with a -1 prefactor.
Equipped with the standard tensor product of chain complexes $\otimes$, def. the category of chain complexes is a monoidal category $(Ch_\bullet(R Mod), \otimes)$. The unit object is the chain complex concentrated in degree 0 on the tensor unit $R$ of $R Mod$.
We write $Ch_\bullet^{ub}$ for the category of unbounded chain complexes.
For $X,Y \in Ch^{ub}_\bullet(\mathcal{A})$ any two objects, define a chain complex $[X,Y] \in Ch^{ub}_\bullet(\mathcal{A})$ to have components
(the collection of degree-$n$ maps between the underlying graded modules) and whose differential is defined on homogeneously graded elements $f \in [X,Y]_n$ by
This defines a functor
This functor
$[-,-] : Ch^{ub}_\bullet \times Ch^{ub}_\bullet \to Ch^{ub}_\bullet$
is the internal hom of the category of chain complexes.
The collection of cycles of the internal hom $[X,Y]_\bullet$ in degree 0 coincides with the external hom functor
The chain homology of the internal hom $[X,Y]$ in degree 0 coincides with the homotopy classes of chain maps.
By Definition the 0-cycles in $[X,Y]$ are collections of morphisms $\{f_k : X_k \to Y_k\}$ such that
This is precisely the condition for $f$ to be a chain map.
Similarly, the boundaries in degree 0 are precisely the collections of morphisms of the form
for a collection of maps $\{\lambda_k : X_k \to Y_{k+1}\}$. This are precisely the null homotopies.
The monoidal category $(Ch_\bullet, \otimes)$ is a closed monoidal category, the internal hom is the standard internal hom of chain complexes.
With the basic definition of the category of chain complexes in hand, we now consider the first application, which is as simple as it is of ubiquituous use in mathematics: long exact sequences in homology. This is the “abelianization”, in the sense of the discussion in 2) above, of what in homotopy theory are long exact sequences of homotopy groups. But both concepts, in turn, are just the shadow on homology groups/homotopy groups, respectively of homotopy fiber sequences of the underlying chain complexes/topological spaces themselves. Since these are even more useful, in particular in chapter III) below, we discuss below in 5) how to construct these using chain homotopy and mapping cones.
First we need the fundamental notion of exact sequences. As before, we fix some commutative ring $R$ throughout and consider the category of modules over $R$, which we will abbreviate
An exact sequence in $\mathcal{A}$ is a chain complex $C_\bullet$ in $\mathcal{A}$ with vanishing chain homology in each degree:
A short exact sequence is an exact sequence, def. of the form
One usually writes this just “$0 \to A \to B \to C \to 0$” or even just “$A \to B \to C$”.
A general exact sequence is sometimes called a long exact sequence, to distinguish from the special case of a short exact sequence.
Beware that there is a difference between $A \to B \to C$ being exact (at $B$) and $A \to B \to C$ being a “short exact sequence” in that $0 \to A \to B \to C \to 0$ is exact at $A$, $B$ and $C$. This is illustrated by the following proposition.
Explicitly, a sequence of morphisms
in $\mathcal{A}$ is short exact, def. , precisely if
$i$ is a monomorphism,
$p$ is an epimorphism,
and the image of $i$ equals the kernel of $p$ (equivalently, the coimage of $p$ equals the cokernel of $i$).
The third condition is the definition of exactness at $B$. So we need to show that the first two conditions are equivalent to exactness at $A$ and at $C$.
This is easy to see by looking at elements when $\mathcal{A} \simeq R$Mod, for some ring $R$ (and the general case can be reduced to this one using one of the embedding theorems):
The sequence being exact at
means, since the image of $0 \to A$ is just the element $0 \in A$, that the kernel of $A \to B$ consists of just this element. But since $A \to B$ is a group homomorphism, this means equivalently that $A \to B$ is an injection.
Dually, the sequence being exact at
means, since the kernel of $C \to 0$ is all of $C$, that also the image of $B \to C$ is all of $C$, hence equivalently that $B \to C$ is a surjection.
Let $\mathcal{A} = \mathbb{Z}$Mod $\simeq$ Ab. For $n \in \mathbb{N}$ with $n \geq 1$ let $\mathbb{Z} \stackrel{\cdot n}{\to} \mathbb{Z}$ be the linear map/homomorphism of abelian groups which acts by the ordinary multiplication of integers by $n$. This is clearly an injection. The cokernel of this morphism is the projection to the quotient group, which is the cyclic group $\mathbb{Z}_n \coloneqq \mathbb{Z}/n\mathbb{Z}$. Hence we have a short exact sequence
A typical use of a long exact sequence, notably of the homology long exact sequence to be discussed, is that it allows to determine some of its entries in terms of others.
The characterization of short exact sequences in prop. is one example for this. Another is this:
If part of an exact sequence looks like
then $\partial_n$ is an isomorphism and hence
Often it is useful to make the following strengthening of short exactness explicit.
A short exact sequence $0\to A \stackrel{i}{\to} B \stackrel{p}{\to} C\to 0$ in $\mathcal{A}$ is called split if either of the following equivalent conditions hold
There exists a section of $p$, hence a homomorphism $s \colon C\to B$ such that $p \circ s = id_C$.
There exists a retract of $i$, hence a homomorphism $r \colon B\to A$ such that $r \circ i = id_A$.
There exists an isomorphism of sequences with the sequence
given by the direct sum and its canonical injection/projection morphisms.
It is clear that the third condition implies the first two: take the section/retract to be given by the canonical injection/projection maps that come with a direct sum.
Conversely, suppose we have a retract $r \colon B \to A$ of $i \colon A \to B$. Write $P \colon B \stackrel{r}{\to} A \stackrel{i}{\to} B$ for the composite. Notice that by $r\circ i = id$ this is an idempotent: $P \circ P = P$, hence a projector.
Then every element $b \in B$ can be decomposed as $b = (b - P(b)) + P(b)$ hence with $b - P(b) \in ker(r)$ and $P(b) \in im(i)$. Moreover this decomposition is unique since if $b = i(a)$ while at the same time $r(b) = 0$ then $0 = r(i(a)) = a$. This shows that $B \simeq im(i) \oplus ker(r)$ is a direct sum and that $i \colon A \to B$ is the canonical inclusion of $im(i)$. By exactness it then follows that $ker(r) \simeq ker(p)$ and hence that $B \simeq A \oplus C$ with the canonical inclusion and projection.
The implication that the second condition also implies the third is formally dual to this argument.
Moreover, of particular interest are exact sequences of chain complexes. We consider this concept in full beauty below in section 5). In order to motivate the discussion there we here content ourselves with the following quick definition, which already admits discussion of some of its rich consequences.
A sequence of chain maps of chain complexes
is a short exact sequence of chain complexes in $\mathcal{A}$ if for each $n$ the component
is a short exact sequence in $\mathcal{A}$, according to def. .
Consider a short exact sequence of chain complexes as in def. . For $n \in \mathbb{Z}$, define a group homomorphism
called the $n$th connecting homomorphism of the short exact sequence, by sending
where
$c \in Z_n(C)$ is a cycle representing the given homology group $[c]$;
$\hat c \in C_n(B)$ is any lift of that cycle to an element in $B_n$, which exists because $p$ is a surjection (but which no longer needs to be a cycle itself);
$[\partial^B \hat c]_A$ is the $A$-homology class of $\partial^B \hat c$ which is indeed in $A_{n-1} \hookrightarrow B_{n-1}$ by exactness (since $p(\partial^B \hat c) = \partial^C p(\hat c) = \partial^C c = 0$) and indeed in $Z_{n-1}(A) \hookrightarrow A_{n-1}$ since $\partial^A \partial^B \hat c = \partial^B \partial^B \hat c = 0$.
Def. is indeed well defined in that the given map is independent of the choice of lift $\hat c$ involved and in that the group structure is respected.
To see that the construction is well-defined, let $\tilde c \in B_{n}$ be another lift. Then $p(\hat c - \tilde c) = 0$ and hence $\hat c - \tilde c \in A_n \hookrightarrow B_n$. This exhibits a homology-equivalence $[\partial^B\hat c]_A \simeq [\partial^B \tilde c]_A$ since $\partial^A(\hat c - \tilde c) = \partial^B \hat c - \partial^B \tilde c$.
To see that $\delta_n$ is a group homomorphism, let $[c] = [c_1] + [c_2]$ be a sum. Then $\hat c \coloneqq \hat c_1 + \hat c_2$ is a lift and by linearity of $\partial$ we have $[\partial^B \hat c]_A = [\partial^B \hat c_1] + [\partial^B \hat c_2]$.
Under chain homology $H_\bullet(-)$ the morphisms in the short exact sequence together with the connecting homomorphisms yield the homology long exact sequence
Consider first the exactness of $H_n(A) \stackrel{H_n(i)}{\to} H_n(B) \stackrel{H_n(p)}{\to} H_n(C)$.
It is clear that if $a \in Z_n(A) \hookrightarrow Z_n(B)$ then the image of $[a] \in H_n(B)$ is $[p(a)] = 0 \in H_n(C)$. Conversely, an element $[b] \in H_n(B)$ is in the kernel of $H_n(p)$ if there is $c \in C_{n+1}$ with $\partial^C c = p(b)$. Since $p$ is surjective let $\hat c \in B_{n+1}$ be any lift, then $[b] = [b - \partial^B \hat c]$ but $p(b - \partial^B c) = 0$ hence by exactness $b - \partial^B \hat c \in Z_n(A) \hookrightarrow Z_n(B)$ and so $[b]$ is in the image of $H_n(A) \to H_n(B)$.
It remains to see that
the image of $H_n(B) \to H_n(C)$ is the kernel of $\delta_n$;
the kernel of $H_{n-1}(A) \to H_{n-1}(B)$ is the image of $\delta_n$.
This follows by inspection of the formula in def. . We spell out the first one:
If $[c]$ is in the image of $H_n(B) \to H_n(C)$ we have a lift $\hat c$ with $\partial^B \hat c = 0$ and so $\delta_n[c] = [\partial^B \hat c]_A = 0$. Conversely, if for a given lift $\hat c$ we have that $[\partial^B \hat c]_A = 0$ this means there is $a \in A_n$ such that $\partial^A a \coloneqq \partial^B a = \partial^B \hat c$. But then $\tilde c \coloneqq \hat c - a$ is another possible lift of $c$ for which $\partial^B \tilde c = 0$ and so $[c]$ is in the image of $H_n(B) \to H_n(C)$.
The connecting homomorphism of the long exact sequence in homology induced from short exact sequences of the form in example is called a Bockstein homomorphism.
We now discuss a deeper, more conceptual way of understanding the origin of long exact sequences in homology and the nature of connecting homomorphisms. This will give first occasion to see some actual homotopy theory of chain complexes at work, and hence serves also as a motivating example for the discussions to follow in chapter III).
For this we need the notion of chain homotopy, which is the abelianized analog of the notion of homotopy of continuous maps above in def. . We now first introduce this concept by straightforwardly mimicking the construction in def. with topological spaces replaced by chain complexes. Then we use chain homotopies to construct mapping cones of chain maps. Finally we explain how these refine the above long exact sequences in homology groups to homotopy cofiber sequences of the chain complexes themselves.
A chain homotopy is a homotopy in $Ch_\bullet(\mathcal{A})$. We first give the explicit definition, the more abstract characterization is below in prop. .
A chain homotopy $\psi : f \Rightarrow g$ between two chain maps $f,g : C_\bullet \to D_\bullet$ in $Ch_\bullet(\mathcal{A})$ is a sequence of morphisms
in $\mathcal{A}$ such that
It may be useful to illustrate this with the following graphics, which however is not a commuting diagram:
Instead, a way to encode chain homotopies by genuine diagrammatics is below in prop. , for which we introduce the interval object for chain complexes:
Let
be the normalized chain complex in $\mathcal{A}$ of the simplicial chains on the simplicial 1-simplex:
This is the standard interval in chain complexes. Indeed it is manifestly the “abelianization” of the standard interval object $\Delta^1$ in sSet/Top: the 1-simplex.
A chain homotopy $\psi : f \Rightarrow g$ is equivalently a commuting diagram
in $Ch_\bullet(\mathcal{A})$, hence a genuine left homotopy with respect to the interval object in chain complexes.
For notational simplicity we discuss this in $\mathcal{A} =$ Ab.
Observe that $N_\bullet(\mathbb{Z}(\Delta[1]))$ is the chain complex
where the term $\mathbb{Z} \oplus \mathbb{Z}$ is in degree 0: this is the free abelian group on the set $\{(0),(1)\}$ of 0-simplices in $\Delta[1]$. The other copy of $\mathbb{Z}$ is the free abelian group on the single non-degenerate edge $(0 \to 1)$ in $\Delta[1]$. (All other simplices of $\Delta[1]$ are degenerate and hence do not contribute to the normalized chain complex which we are discussing here.) The single nontrivial differential sends $1 \in \mathbb{Z}$ to $(-1,1) \in \mathbb{Z} \oplus \mathbb{Z}$, reflecting the fact that one of the vertices is the 0-boundary the other the 1-boundary of the single nontrivial edge.
It follows that the tensor product of chain complexes $I_\bullet \otimes C_\bullet$ is
Therefore a chain map $(f,g,\psi) : I_\bullet \otimes C_\bullet \to D_\bullet$ that restricted to the two copies of $C_\bullet$ is $f$ and $g$, respectively, is characterized by a collection of commuting diagrams
On the elements $(1,0,0)$ and $(0,1,0)$ in the top left this reduces to the chain map condition for $f$ and $g$, respectively. On the element $(0,0,1)$ this is the equation for the chain homotopy
Let $C_\bullet, D_\bullet \in Ch_\bullet(\mathcal{A})$ be two chain complexes.
Define the relation chain homotopic on $Hom(C_\bullet, D_\bullet)$ by
Chain homotopy is an equivalence relation on $Hom(C_\bullet,D_\bullet)$.
Write $Hom(C_\bullet,D_\bullet)_{\sim}$ for the quotient of the hom set $Hom(C_\bullet,D_\bullet)$ by chain homotopy.
This quotient is compatible with composition of chain maps.
Accordingly the following category exists:
Write $\mathcal{K}_\bullet(\mathcal{A})$ for the category whose objects are those of $Ch_\bullet(\mathcal{A})$, and whose morphisms are chain homotopy classes of chain maps:
This is usually called the (strong) homotopy category of chain complexes in $\mathcal{A}$.
Beware, as we will discuss in detail below in 8), that another category that would deserve to carry this name instead is called the derived category of $\mathcal{A}$. In the derived category one also quotients out chain homotopy, but one allows that first the domain of the two chain maps $f$ and $g$ is refined along a quasi-isomorphism.
A chain map $f_\bullet : C_\bullet \to D_\bullet$ in $Ch_\bullet(\mathcal{A})$ is called a quasi-isomorphism if for each $n \in \mathbb{N}$ the induced morphisms on chain homology groups
is an isomorphism.
Quasi-isomorphisms are also called, more descriptively, homology isomorphisms or $H_\bullet$-isomorphisms. See at homology localization for more on this.
With the homotopy theoretic notions of chain homotopy and quasi-isomorphism in hand, we can now give a deeper explanation of long exact sequences in homology. We first give now a heuristic discussion that means to serve as a guide through the constructions to follow. The reader wishing to skip this may directly jump ahead to definition .
While the notion of a short exact sequence of chain complexes is very useful for computations, it does not have invariant meaning if one considers chain complexes as objects in (abelian) homotopy theory, where one takes into account chain homotopies between chain maps and takes equivalence of chain complexes not to be given by isomorphism, but by quasi-isomorphism.
For if a chain map $A_\bullet \to B_\bullet$ is the degreewise kernel of a chain map $B_\bullet \to C_\bullet$, then if $\hat A_\bullet \stackrel{\simeq}{\to} A_\bullet$ is a quasi-isomorphism (for instance a projective resolution of $A_\bullet$) then of course the composite chain map $\hat A_\bullet \to B_\bullet$ is in general far from being the degreewise kernel of $C_\bullet$. Hence the notion of degreewise kernels of chain maps and hence that of short exact sequences is not meaningful in the homotopy theory of chain complexes in $\mathcal{A}$ (for instance: not in the derived category of $\mathcal{A}$).
That short exact sequences of chain complexes nevertheless play an important role in homological algebra is due to what might be called a “technical coincidence”:
If $A_\bullet \to B_\bullet \to C_\bullet$ is a short exact sequence of chain complexes, then the commuting square
is not only a pullback square in $Ch_\bullet(\mathcal{A})$, exhibiting $A_\bullet$ as the fiber of $B_\bullet \to C_\bullet$ over $0 \in C_\bullet$, it is in fact also a homotopy pullback.
This means it is universal not just among commuting such squares, but also among such squares which commute possibly only up to a chain homotopy $\phi$:
and with morphisms between such squares being maps $A_\bullet \to A'_\bullet$ correspondingly with further chain homotopies filling all diagrams in sight.
Equivalently, we have the formally dual result
If $A_\bullet \to B_\bullet \to C_\bullet$ is a short exact sequence of chain complexes, then the commuting square
is not only a pushout square in $Ch_\bullet(\mathcal{A})$, exhibiting $C_\bullet$ as the cofiber of $A_\bullet \to B_\bullet$ over $0 \in C_\bullet$, it is in fact also a homotopy pushout.
But a central difference between fibers/cofibers on the one hand and homotopy fibers/homotopy cofibers on the other is that while the (co)fiber of a (co)fiber is necessarily trivial, the homotopy (co)fiber of a homotopy (co)fiber is in general far from trivial: it is instead the looping $\Omega(-)$ or suspension $\Sigma(-)$ of the codomain/domain of the original morphism: by the pasting law for homotopy pullbacks the pasting composite of successive homotopy cofibers of a given morphism $f : A_\bullet \to B_\bullet$ looks like this:
here
$cone(f)$ is a specific representative of the homotopy cofiber of $f$ called the mapping cone of $f$, whose construction comes with an explicit chain homotopy $\phi$ as indicated, hence $cone(f)$ is homology-equivalence to $C_\bullet$ above, but is in general a “bigger” model of the homotopy cofiber;
$A[1]$ etc. is the suspension of a chain complex of $A$, hence the same chain complex but pushed up in degree by one.
In conclusion we get from every morphim of chain complexes a long homotopy cofiber sequence
And applying the chain homology functor to this yields the long exact sequence in chain homology which is traditionally said to be associated to the short exact sequence $A_\bullet \to B_\bullet \to C_\bullet$.
In conclusion this means that it is not really the passage to homology groups which “makes a short exact sequence become long”. It’s rather that passing to homology groups is a shadow of passing to chain complexes regarded up to quasi-isomorphism, and this is what makes every short exact sequence be realized as but a special presentation of a stage in a long homotopy fiber sequence.
We give a precise account of this story in the next section.
We have seen in 4) the long exact sequence in homology implied by a short exact sequence of chain complexes, constructed by an elementary if somewhat un-illuminating formula for the connecting homomorphism. We ended 4) by sketching how this formula arises as the shadow under the homology functor of a homotopy fiber sequence of chain complexes, constructed using mapping cones. This we now discuss in precise detail.
In the following we repeatedly mention that certain chain complexes are colimits of certain diagrams of chain complexes. The reader unfamiliar with colimits may simply ignore them and regard the given chain complex as arising by definition. However, even a vague intuitive understanding of the indicated colimits as formalizations of “gluing” of chain complexes along certain maps should help to motivate why these definitions are what they are. The reader unhappy even with this can jump ahead to prop. and take this and the following propositions up to and including prop. as definitions.
The notion of a mapping cone that we introduce now is something that makes sense whenever
there is a notion of cylinder object, such as the topological cylinder $[0,1] \times X$ over a topological space, or the chain complex cylinder $I_\bullet \otimes X_\bullet$ of a chain complex from def. .
there is a way to glue objects along maps between them, a notion of colimit.
For $f : X \to Y$ a morphism in a category with cylinder objects $cyl(-)$, the mapping cone or homotopy cofiber of $f$ is the colimit in the following diagram
in $C$ using any cylinder object $cyl(X)$ for $X$.
Heuristically this says that $cone(f)$ is the object obtained by
forming the cylinder over $X$;
gluing to one end of that the object $Y$ as specified by the map $f$.
shrinking the other end of the cylinder to the point.
Heuristically it is clear that this way every cycle in $Y$ that happens to be in the image of $X$ can be “continuously” translated in the cylinder-direction, keeping it constant in $Y$, to the other end of the cylinder, where it becomes the point. This means that every homotopy group of $Y$ in the image of $f$ vanishes in the mapping cone. Hence in the mapping cone the image of $X$ under $f$ in $Y$ is removed up to homotopy. This makes it clear how $cone(f)$ is a homotopy-version of the cokernel of $f$. And therefore the name “mapping cone”.
Another interpretation of the mapping cone is just as important:
A morphism $\eta : cyl(X) \to Y$ out of a cylinder object is a left homotopy $\eta : g \Rightarrow h$ between its restrictions $g\coloneqq \eta(0)$ and $h \coloneqq \eta(1)$ to the cylinder boundaries
Therefore prop. says that the mapping cone is the universal object with a morphism $i$ from $Y$ and a left homotopy from $i \circ f$ to the zero morphism.
The interested reader can find more on the conceptual background of this construction at factorization lemma and at homotopy pullback.
This colimit, in turn, may be computed in two stages by two consecutive pushouts in $C$, and in two ways by the following pasting diagram:
Here every square is a pushout, (and so by the pasting law is every rectangular pasting composite).
This now is a basic fact in ordinary category theory. The pushouts appearing here go by the following names:
The pushout
defines the cone $cone(X)$ over $X$ (with respect to the chosen cylinder object): the result of taking the cylinder over $X$ and identifying one $X$-shaped end with the point.
The pushout
defines the mapping cylinder $cyl(f)$ of $f$, the result of identifying one end of the cylinder over $X$ with $Y$, using $f$ as the gluing map.
The pushout
defines the mapping cone $cone(f)$ of $f$: the result of forming the cyclinder over $X$ and then identifying one end with the point and the other with $Y$, via $f$.
As in remark all these step have evident heuristic geometric interpretations:
$cone(X)$ is obtained from the cylinder over $X$ by contracting one end of the cylinder to the point;
$cyl(f)$ is obtained from the cylinder over $X$ by gluing $Y$ to one end of the cylinder, as specified by the map $f$;
We discuss now this general construction of the mapping cone $cone(f)$ for a chain map $f$ between chain complexes. The end result is prop. below, reproducing the classical formula for the mapping cone.
Write $*_\bullet \in Ch_\bullet(\mathcal{A})$ for the chain complex concentrated on $R$ in degree 0
This may be understood as the normalized chain complex of chains of simplices on the terminal simplicial set $\Delta^0$, the 0-simplex.
Let $I_\bullet \in Ch_{\bullet}(\mathcal{A})$ be given by
Denote by
the chain map which in degree 0 is the canonical inclusion into the second summand of a direct sum and by
correspondingly the canonical inclusion into the first summand.
This is the standard interval object in chain complexes.
It is in fact the normalized chain complex of chains on a simplicial set for the canonical simplicial interval, the 1-simplex:
The differential $\partial^I = (-id, id)$ here expresses the alternating face map complex boundary operator, which in terms of the three non-degenerate basis elements is given by
We decompose the proof of this statement is a sequence of substatements.
For $X_\bullet \in Ch_\bullet$ the tensor product of chain complexes
is a cylinder object of $X_\bullet$ for the structure of a category of cofibrant objects on $Ch_\bullet$ whose cofibrations are the monomorphisms and whose weak equivalences are the quasi-isomorphisms (the substructure of the standard injective model structure on chain complexes).
The complex $(I \otimes X)_\bullet$ has components
and the differential is given by
hence in matrix calculus by
By the formula discussed at tensor product of chain complexes the components arise as the direct sum
and the differential picks up a sign when passed past the degree-1 term $R_{(0 \to 1)}$:
The two boundary inclusions of $X_\bullet$ into the cylinder are given in terms of def. by
and
which in components is the inclusion of the second or first direct summand, respectively
One part of definition now reads:
For $f_\bullet : X_\bullet \to Y_\bullet$ a chain map, the mapping cylinder $cyl(f)$ is the pushout
The components of $cyl(f)$ are
and the differential is given by
hence in matrix calculus by
The colimits in a category of chain complexes $Ch_\bullet(\mathcal{A})$ are computed in the underlying presheaf category of towers in $\mathcal{A}$. There they are computed degreewise in $\mathcal{A}$ (since limits of presheaves are computed objectwise). Here the statement is evident:
the pushout identifies one direct summand $X_n$ with $Y_n$ along $f_n$ and so where previously a $id_{X_n}$ appeared on the diagonl, there is now $f_n$.
The last part of definition now reads:
For $f_\bullet : X_\bullet \to Y_\bullet$ a chain map, the mapping cone $cone(f)$ is the pushout
The components of the mapping cone $cone(f)$ are
with differential given by
and hence in matrix calculus by
As before the pushout is computed degreewise. This identifies the remaining unshifted copy of $X$ with 0.
For $f : X_\bullet \to Y_\bullet$ a chain map, the canonical inclusion $i : Y_\bullet \to cone(f)_\bullet$ of $Y_\bullet$ into the mapping cone of $f$ is given in components
by the canonical inclusion of a summand into a direct sum.
This follows by starting with remark and then following these inclusions through the formation of the two colimits as discussed above.
Using these mapping cones of chain maps, we now explain how the long exact sequences of homology groups, prop. , are a shadow under homology of genuine homotopy cofiber sequences of the chain complexes themselves.
Let $f : X_\bullet \to Y_\bullet$ be a chain map and write $cone(f) \in Ch_\bullet(\mathcal{A})$ for its mapping cone as explicitly given in prop. .
Write $X[1]_\bullet \in Ch_\bullet(\mathcal{A})$ for the suspension of a chain complex of $X$. Write
for the chain map which in components
is given, via prop. , by the canonical projection out of a direct sum
This defines the mapping cone construction on chain complex. Its definition as a universal left homotopy should make the following proposition at least plausible, which we cannot prove yet at this point, but which we state nevertheless to highlight the meaning of the mapping cone construction. The tools for the proof of propositions like this are discussed further below in 7) Derived categories and derived functors.
The chain map $p : cone(f)_\bullet \to X[1]_\bullet$ represents the homotopy cofiber of the canonical map $i : Y_\bullet \to cone(f)_\bullet$.
By prop. and def. the sequence
is a short exact sequence of chain complexes (since it is so degreewise, in fact degreewise it is even a split exact sequence, def. ). In particular we have a cofiber pushout diagram
Now, in the injective model structure on chain complexes all chain complexes are cofibrant objects and an inclusion such as $i : Y_\bullet \hookrightarrow cone(f)_\bullet$ is a cofibration. By the detailed discussion at homotopy limit this means that the ordinary colimit here is in fact a homotopy colimit, hence exhibits $p$ as the homotopy cofiber of $i$.
Accordingly one says:
For $f_\bullet : X_\bullet \to Y_\bullet$ a chain map, there is a homotopy cofiber sequence of the form
In order to compare this to the discussion of connecting homomorphisms, we now turn attention to the case that $f_\bullet$ happens to be a monomorphism. Notice that this we can always assume, up to quasi-isomorphism, for instance by prolonging $f$ by the map into its mapping cylinder
By the axioms on an abelian category in this case we have a short exact sequence
of chain complexes. The following discussion revolves around the fact that now $cone(f)_\bullet$ as well as $Z_\bullet$ are both models for the homotopy cofiber of $f$.
Let
be a short exact sequence of chain complexes.
The collection of linear maps
constitutes a chain map
This is a quasi-isomorphism. The inverse of $H_n(h_\bullet)$ is given by sending a representing cycle $z \in Z_n$ to
where $\hat z_n$ is any choice of lift through $p_n$ and where $\partial^Y \hat z_n$ is the formula expressing the connecting homomorphism in terms of elements, as discussed at Connecting homomorphism – In terms of elements.
Finally, the morphism $i_\bullet : Y_\bullet \to cone(f)_\bullet$ is eqivalent in the homotopy category (the derived category) to the zigzag
To see that $h_\bullet$ defines a chain map recall the differential $\partial^{cone(f)}$ from prop. , which acts by
and use that $x_{n-1}$ is in the kernel of $p_n$ by exactness, hence
It is immediate to see that we have a commuting diagram of the form
since the composite morphism is the inclusion of $Y$ followed by the bottom morphism on $Y$.
Abstractly, this already implies that $cone(f)_\bullet \to Z_\bullet$ is a quasi-isomorphism, for this diagram gives a morphism of cocones under the diagram defining $cone(f)$ in prop. and by the above both of these cocones are homotopy-colimiting.
But in checking the claimed inverse of the induced map on homology groups, we verify this also explicity:
We first determine those cycles $(x_{n-1}, y_n) \in cone(f)_n$ which lift a cycle $z_n$. By lemma a lift of chains is any pair of the form $(x_{n-1}, \hat z_n)$ where $\hat z_n$ is a lift of $z_n$ through $Y_n \to X_n$. So $x_{n-1}$ has to be found such that this pair is a cycle. By prop. the differential acts on it by
and so the condition is that
$x_{n-1} \coloneqq -\partial^Y \hat z_n$ (which implies $\partial^X x_{n-1} = -\partial^X \partial^Y \hat z_n = -\partial^Y \partial^Y \hat z_n = 0$ due to the fact that $f_n$ is assumed to be an inclusion, hence that $\partial^X$ is the restriction of $\partial^Y$ to elements in $X_n$).
This condition clearly has a unique solution for every lift $\hat z_n$ and a lift $\hat z_n$ always exists since $p_n : Y_n \to Z_n$ is surjective, by assumption that we have a short exact sequence of chain complexes. This shows that $H_n(h_\bullet)$ is surjective.
To see that it is also injective we need to show that if a cycle $(-\partial^Y \hat z_n, \hat z_n) \in cone(f)_n$ maps to a cycle $z_n = p_n(\hat z_n)$ that is trivial in $H_n(Z)$ in that there is $c_{n+1}$ with $\partial^Z c_{n+1} = z_n$, then also the original cycle was trivial in homology, in that there is $(x_n, y_{n+1})$ with
For that let $\hat c_{n+1} \in Y_{n+1}$ be a lift of $c_{n+1}$ through $p_n$, which exists again by surjectivity of $p_{n+1}$. Observe that
by assumption on $z_n$ and $c_{n+1}$, and hence that $\hat z_n - \partial^Y \hat c_{n+1}$ is in $X_n$ by exactness.
Hence $(z_n - \partial^Y \hat c_{n+1}, \hat c_{n+1}) \in cone(f)_n$ trivializes the given cocycle:
Let
be a short exact sequence of chain complexes.
Then the chain homology functor
sends the homotopy cofiber sequence of $f$, cor. , to the long exact sequence in homology induced by the given short exact sequence, hence to
where $\delta_n$ is the $n$th connecting homomorphism.
By lemma the homotopy cofiber sequence is equivalen to the zigzag
Observe that
It is therefore sufficient to check that
equals the connecting homomorphism $\delta_n$ induced by the short exact sequence.
By prop. the inverse of the vertical map is given by choosing lifts and forming the corresponding element given by the connecting homomorphism. By prop. the horizontal map is just the projection, and hence the assignment is of the form
So in total the image of the zig-zag under homology sends
By the discussion there, this is indeed the action of the connecting homomorphism.
In summary, the above says that for every chain map $f_\bullet : X_\bullet \to Y_\bullet$ we obtain maps
which form a homotopy fiber sequence and such that this sequence continues by forming suspensions, hence for all $n \in \mathbb{Z}$ we have
To amplify this quasi-cyclic behaviour one sometimes depicts the situation as follows:
and hence speaks of a “triangle”, or distinguished triangle or mapping cone triangle of $f$.
Due to these “triangles” one calls the homotopy category of chain complexes localized at the quasi-isomorphisms, hence the derived category which we discuss below in 8), a triangulated category.
We have seen in the discussion of the connecting homomorphism in the homology long exact sequence in 4) above that given an exact sequence of chain complexes – hence in particular a chain complex of chain complexes – there are interesting ways to relate elements on the far right to elements on the far left in lower degree. In 5) we had given the conceptual explanation of this phenomenon in terms of long homotopy fiber sequences. But often it is just computationally useful to be able to efficiently establish and compute these “long diagram chase”-relations, independently of a homotopy-theoretic interpretation. Such computational tools we discuss here.
A chain complex of chain complex is called a double complex and so we first introduce this elementary notion and the corresponding notion notion of total complex. (Total complexes are similarly elementary to define but will turn out to play a deeper role as models for homotopy colimits, this we indicate further below in chapter V)).
There is a host of classical diagram-chasing lemmas that relate far-away entries in double complexes that enjoy suitable exactness properties. These go by names such as the snake lemma or the 3x3 lemma. The underlying mechanism of all these lemmas is made most transparent in the salamander lemma. This is fairly trivial to establish, and the notions it induces allow quick transparent proofs of all the other diagram-chasing lemmas.
The discussion to go here is kept at salamander lemma. See there.
We have seen in section II) that the most interesting properties of the category of chain complexes is all secretly controled by the phenomenon of chain homotopy and quasi-isomorphism. Strictly speaking these two phenomena point beyond plain category theory to the richer context of general abstract homotopy theory. Here we discuss properties of the category of chain complexes from this genuine homotopy-theoretic point of view. The result of passing the category of chain complexes to genuine homotopy theory is called the derived category (of the underlying abelian category $\mathcal{A}$, say of modules) and we start in 7) with a motivation of the phenomenon of this “homotopy derivation” and the discussion of the necessary resolutions of chain complexes. This naturally gives rise to the general notion of derived functors which we discuss in 8). Examples of these are ubiquituous in homological algebra, but as in ordinary enriched category theory two stand out as being of more fundamental importance, the derived functor “Ext” of the hom-functor and the derived functor “Tor” of the tensor product functor. Their properties and uses we discuss in 9).
We now come back to the category $\mathcal{K}(\mathcal{A})$ of def. , the “homotopy category of chain complexes” in which chain-homotopic chain maps are identified. This would seem to be the right context to study the homotopy theory of chain complexes, but one finds that there are still chain maps which ought to be identified in homotopy theory, but which are still not identified in $\mathcal{K}(\mathcal{A})$. This is our motivating example below.
We discuss then how this problem is fixed by allowing to first “resolve” chain complexes quasi-isomorphically by “good representatives” called projective resolutions or injective resolutions. Many of the computations in the following sections – and in homological algebra in general – come down to operating on such resolutions. We end this section by prop. below, which shows that the above problem indeed goes away when allowing chain complexes to be resolved.
In the next section, 8), we discuss how this process of forming resolutions functorially extends to the whole category of modules.
So we start here with this simple example that shows the problem with bare chain homotopies and indicates how these have to be resolved:
In $Ch_\bullet(\mathcal{A})$ for $\mathcal{A} =$ Ab consider the chain map
The codomain of this map is an exact sequence, hence is quasi-isomorphic to the 0-chain complex. Thereofore in homotopy theory it should behave entirely as the 0-complex itself. In particular, every chain map to it should be chain homotopic to the zero morphism (have a null homotopy).
But the above chain map is chain homotopic precisely only to itself. This is because the degree-0 component of any chain homotopy out of this has to be a homomorphism of abelian groups $\mathbb{Z}_2 \to \mathbb{Z}$, and this must be the 0-morphism, because $\mathbb{Z}$ is a free group, but $\mathbb{Z}_2$ is not.
This points to the problem: the components of the domain chain complex are not free enough to admit sufficiently many maps out of it.
Consider therefore a free resolution of the above domain complex by the quasi-isomorphism
where now the domain complex consists entirely of free groups. The composite of this with the original chain map is now
This is the corresponding resolution of the original chain map. And this indeed has a null homotopy:
So resolving the domain by a sufficiently free complex makes otherwise missing chain homotopies exist. Below in lemma we discuss the general theory behind the kind of situation of this example. But to get there we first need some basic notions and facts.
Notably, in general it is awkward to insist on actual free resolutions. But it is easy to see, and this we discuss now, that essentially just as well is a resolution by modules which are direct summands of free modules.
An object $P$ of a category $C$ is a projective object if it has the left lifting property against epimorphisms.
This means that $P$ is projective if for any morphism $f:P \to B$ and any epimorphism $q:A \to B$, $f$ factors through $q$ by some morphism $P\to A$.
An equivalent way to say this is that:
An object $P$ is projective precisely if the hom-functor $Hom(P,-)$ preserves epimorphisms.
The point of this lifting property will become clear when we discuss the construction of projective resolutions a bit further below: they are built by applying this property degreewise to obtain suitable chain maps.
We will be interested in projective objects in the category $R$Mod: projective modules. Before we come to that, notice the following example (which the reader may on first sight feel is pedantic and irrelevant, but for the following it is actually good to make this explicit).
In the category Set of sets the following are equivalent
every object is projective;
the axiom of choice holds.
We will assume here throughout the axiom of choice in Set, as usual. The point of the above example, however, is that one could just as well replace Set by another “base topos” which will behave essentially precisely like Set, but in general will not validate the axiom of choice. Homological algebra in such a more general context is the theory of complexes of abelian sheaves/sheaves of abelian groups and ultimately the theory of abelian sheaf cohomology.
This is a major aspect of homological algebra. While we will not discuss this further here in this introduction, the reader might enjoy keeping in mind that all of the following discussion of resolutions of $R$-modules goes through in this wider context of sheaves of modules except for subtleties related to the (partial) failure of example for the category of sheaves.
We now characterize projective modules.
Assuming the axiom of choice, a free module $N \simeq R^{(S)}$ is projective.
Explicitly: if $S \in Set$ and $F(S) = R^{(S)}$ is the free module on $S$, then a module homomorphism $F(S) \to N$ is specified equivalently by a function $f : S \to U(N)$ from $S$ to the underlying set of $N$, which can be thought of as specifying the images of the unit elements in $R^{(S)} \simeq \oplus_{s \in S} R$ of the ${\vert S\vert}$ copies of $R$.
Accordingly then for $\tilde N \to N$ an epimorphism, the underlying function $U(\tilde N) \to U(N)$ is an epimorphism, and the axiom of choice in Set says that we have all lifts $\tilde f$ in
By adjunction these are equivalently lifts of module homomorphisms
If $N \in R Mod$ is a direct summand of a free module, hence if there is $N' \in R Mod$ and $S \in Set$ such that
then $N$ is a projective module.
Let $\tilde K \to K$ be a surjective homomorphism of modules and $f : N \to K$ a homomorphism. We need to show that there is a lift $\tilde f$ in
By definition of direct sum we can factor the identity on $N$ as
Since $N \oplus N'$ is free by assumption, and hence projective by lemma , there is a lift $\hat f$ in
Hence $\tilde f : N \to N \oplus N' \stackrel{\hat f}{\to} \tilde K$ is a lift of $f$.
An $R$-module $N$ is projective precisely if it is the direct summand of a free module.
By lemma if $N$ is a direct summand then it is projective. So we need to show the converse.
Let $F(U(N))$ be the free module on the set $U(N)$ underlying $N$, hence the direct sum
There is a canonical module homomorphism
given by sending the unit $1 \in R_n$ of the copy of $R$ in the direct sum labeled by $n \in U(n)$ to $n \in N$.
(Abstractly this is the counit $\epsilon : F(U(N)) \to N$ of the free/forgetful-adjunction $(F \dashv U)$.)
This is clearly an epimorphism. Thefore if $N$ is projective, there is a section $s$ of $\epsilon$. This exhibits $N$ as a direct summand of $F(U(N))$.
We discuss next how to build resolutions of chain complexes by projective modules. But before we come to that it is useful to also introduce the dual notion. So far we have concentrated on chain complexes with degrees in the natural numbers: non-negative degrees. For a discussion of resolutions we need a more degree-symmetric perspective, which of course is straightforward to obtain.
A cochain complex $C^\bullet$ in $\mathcal{A} = R Mod$ is a sequence of morphism
in $\mathcal{A}$ such that $d\circ d = 0$. A homomorphism of cochain complexes $f^\bullet : C^\bullet \to D^\bullet$ is a collection of morphisms $\{f^n : C^n \to D^n\}$ such that $d^n_D \circ f^n = f^n \circ d^n_C$ for all $n \in \mathbb{N}$.
We write $Ch^\bullet(\mathcal{A})$ for the category of cochain complexes.
Let $N \in \mathcal{A}$ be a fixed module and $C_\bullet \in Ch_\bullet(\mathcal{A})$ a chain complex. Then applying degreewise the hom-functor out of the components of $C_\bullet$ into $N$ yields a cochain complex in $\mathbb{Z} Mod \simeq$ Ab:
In example let $\mathcal{A} = \mathbb{Z}$Mod $=$ Ab, let $N = \mathbb{Z}$ and let $C_\bullet = \mathbb{Z}[Sing(X)]$ be the singular simplicial complex of a topological space $X$. Write
Then $H^\bullet(C(X))$ is called the singular cohomology of $X$.
Example is just a special case of the internal hom of def. : we may regard cochain complexes in non-negative degree equivalently as chain complexes in positive degree.
Accordingly we say for $C^\bullet$ a cochain complex that
an element in $C^n$ is an $n$-cochain
an element in $im(d^{n-1})$ is an $n$-coboundary
al element in $ker(d^n)$ is an $n$-cocycle.
But equivalently we may regard a cochain in degree $n$ as a chain in degree $(-n)$ and so forth. And this is the perspective used in all of the following.
The role of projective objects, def. , for chain complexes is played, dually, by injective objects for cochain complexes:
An object $I$ a category is injective if all diagrams of the form
with $X \to Z$ a monomorphism admit an extension
Since we are interested in refining modules by projective or injective modules, we have the following terminology.
A category
has enough projectives if for every object $X$ there is a projective object $Q$ equipped with an epimorphism $Q \to X$;
has enough injectives if for every object $X$ there is an injective object $P$ equipped with a monomorphism $X \to P$.
We have essentially already seen the following statement.
Assuming the axiom of choice, the category $R$Mod has enough projectives.
Let $F(U(N))$ be the free module on the set $U(N)$ underlying $N$. By lemma this is a projective module.
The canonical morphism
is clearly a surjection, hence an epimorphism in $R$Mod.
We now show that similarly $R Mod$ has enough injectives. This is a little bit more work and hence we proceed with a few preparatory statements.
The following basic statement of algebra we cite here without proof (but see at injective object for details).
Assuming the axiom of choice, an abelian group $A$ is injective as a $\mathbb{Z}$-module precisely if it is a divisible group, in that for all integers $n \in \mathbb{N}$ we have $n G = G$.
By prop. the following abelian groups are injective in Ab.
The group of rational numbers $\mathbb{Q}$ is injective in Ab, as is the additive group of real numbers $\mathbb{R}$ and generally that underlying any field. The additive group underlying any vector space is injective. The quotient of any injective group by any other group is injective.
Not injective in Ab are the cyclic groups $\mathbb{Z}/n\mathbb{Z}$.
Assuming the axiom of choice, the category $\mathbb{Z}$Mod $\simeq$ Ab has enough injectives.
By prop. an abelian group is an injective $\mathbb{Z}$-module precisely if it is a divisible group. So we need to show that every abelian group is a subgroup of a divisible group.
To start with, notice that the group $\mathbb{Q}$ of rational numbers is divisible and hence the canonical embedding $\mathbb{Z} \hookrightarrow \mathbb{Q}$ shows that the additive group of integers embeds into an injective $\mathbb{Z}$-module.
Now by the discussion at projective module every abelian group $A$ receives an epimorphism $(\oplus_{s \in S} \mathbb{Z}) \to A$ from a free abelian group, hence is the quotient group of a direct sum of copies of $\mathbb{Z}$. Accordingly it embeds into a quotient $\tilde A$ of a direct sum of copies of $\mathbb{Q}$.
Here $\tilde A$ is divisible because the direct sum of divisible groups is again divisible, and also the quotient group of a divisible groups is again divisble. So this exhibits an embedding of any $A$ into a divisible abelian group, hence into an injective $\mathbb{Z}$-module.
Assuming the axiom of choice, for $R$ a ring, the category $R$Mod has enough injectives.
The proof uses the following lemma.
Write $U\colon R Mod \to Ab$ for the forgetful functor that forgets the $R$-module structure on a module $N$ and just remembers the underlying abelian group $U(N)$.
The functor $U\colon R Mod \to Ab$ has a right adjoint
given by sending an abelian group $A$ to the abelian group
equipped with the $R$-module struture by which for $r \in R$ an element $(U(R) \stackrel{f}{\to} A) \in U(R_*(A))$ is sent to the element $r f$ given by
This is called the coextension of scalars along the ring homomorphism $\mathbb{Z} \to R$.
The unit of the $(U \dashv R_*)$ adjunction
is the $R$-module homomorphism
given on $n \in N$ by
Let $N \in R Mod$. We need to find a monomorphism $N \to \tilde N$ such that $\tilde N$ is an injective $R$-module.
By prop. there exists a monomorphism
of the underlying abelian group into an injective abelian group $D$.
Now consider the $(U \dashv R_*)$-adjunct
of $i$, hence the composite
with $R_*$ and $\eta_N$ from lemma . On the underlying abelian groups this is
Hence this is monomorphism. Therefore it is now sufficient to see that $Hom_{Ab}(U(R), U(D))$ is an injective $R$-module.
This follows from the existence of the adjunction isomorphism given by lemma
natural in $K \in R Mod$ and from the injectivity of $D \in Ab$.
Now we can state the main definition of this section and discuss its central properties.
For $X \in \mathcal{A}$ an object, an injective resolution of $X$ is a cochain complex $J^\bullet \in Ch^\bullet(\mathcal{A})$ (in non-negative degree) equipped with a quasi-isomorphism
such that $J^n \in \mathcal{A}$ is an injective object for all $n \in \mathbb{N}$.
In components the quasi-isomorphism of def. is a chain map of the form
Since the top complex is concentrated in degree 0, this being a quasi-isomorphism happens to be equivalent to the sequence
being an exact sequence. In this form one often finds the definition of injective resolution in the literature.
For $X \in \mathcal{A}$ an object, a projective resolution of $X$ is a chain complex $J_\bullet \in Ch_\bullet(\mathcal{A})$ (in non-negative degree) equipped with a quasi-isomorphism
such that $J_n \in \mathcal{A}$ is a projective object for all $n \in \mathbb{N}$.
In components the quasi-isomorphism of def. is a chain map of the form
Since the bottom complex is concentrated in degree 0, this being a quasi-isomorphism happens to be equivalent to the sequence
being an exact sequence. In this form one often finds the definition of projective resolution in the literature.
We first discuss the existence of injective/projective resolutions, and then the functoriality of their constructions.
Let $\mathcal{A}$ be an abelian category with enough injectives, such as our $R$Mod for some ring $R$.
Then every object $X \in \mathcal{A}$ has an injective resolution, def. .
Let $X \in \mathcal{A}$ be the given object. By remark we need to construct an exact sequence of the form
such that all the $J^\cdot$ are injective objects.
This we now construct by induction on the degree $n \in \mathbb{N}$.
In the first step, by the assumption of enough injectives we find an injective object $J^0$ and a monomorphism
hence an exact sequence
Assume then by induction hypothesis that for $n \in \mathbb{N}$ an exact sequence
has been constructed, where all the $J^\cdot$ are injective objects. Forming the cokernel of $d^{n-1}$ yields the short exact sequence
By the assumption that there are enough injectives in $\mathcal{A}$ we may now again find a monomorphism $J^n/J^{n-1} \stackrel{i}{\hookrightarrow} J^{n+1}$ into an injective object $J^{n+1}$. This being a monomorphism means that
is exact in the middle term. Therefore we now have an exact sequence
which completes the induction step.
The following proposition is formally dual to prop. .
Let $\mathcal{A}$ be an abelian category with enough projectives (such as $R$Mod for some ring $R$).
Then every object $X \in \mathcal{A}$ has a projective resolution, def. .
Let $X \in \mathcal{A}$ be the given object. By remark we need to construct an exact sequence of the form
such that all the $J_\cdot$ are projective objects.
This we we now construct by induction on the degree $n \in \mathbb{N}$.
In the first step, by the assumption of enough projectives we find a projective object $J_0$ and an epimorphism
hence an exact sequence
Assume then by induction hypothesis that for $n \in \mathbb{N}$ an exact sequence
has been constructed, where all the $J_\cdot$ are projective objects. Forming the kernel of $\partial_{n-1}$ yields the short exact sequence
By the assumption that there are enough projectives in $\mathcal{A}$ we may now again find an epimorphism $p : J_{n+1} \to ker(\partial_{n-1})$ out of a projective object $J_{n+1}$. This being an epimorphism means that
is exact in the middle term. Therefore we now have an exact sequence
which completes the induction step.
To conclude this section we now show that all this work indeed serves to solve the problem indicated above in example .
Let $f^\bullet : X^\bullet \to J^\bullet$ be a chain map of cochain complexes in non-negative degree, out of an exact complex $0 \simeq_{qi} X^\bullet$ to a degreewise injective complex $J^\bullet$. Then there is a null homotopy
By definition of chain homotopy we need to construct a sequence of morphisms $(\eta^{n+1} : X^{n+1} \to J^{n})_{n \in \mathbb{N}}$ such that
for all $n$. We now construct this by induction over $n$.
It is convenient to start at $n = -1$, take $\eta^{\leq 0} \coloneqq 0$ and $f^{\lt 0} \coloneqq 0$. Then the above condition holds for $n = -1$.
Then in the induction step assume that for given $n \in \mathbb{N}$ we have constructed $\eta^{\bullet \leq n}$ satisfying the above condition for $f^{\lt n}$
First define now
and observe that by induction hypothesis
This means that $g^n$ factors as
where the first map is the projection to the quotient.
Observe then that by exactness of $X^\bullet$ the morphism $X^n / im(d^{n-1}_X) \stackrel{d^n_X}{\to} X^{n+1}$ is a monomorphism. Together this gives us a diagram of the form
where the morphism $\eta^{n+1}$ may be found due to the defining right lifting property of the injective object $J^n$ against the top monomorphism.
Observing that the commutativity of this diagram is the chain homotopy condition involving $\eta^n$ and $\eta^{n+1}$, this completes the induction step.
The formally dual statement of prop is the following.
Let $f_\bullet : P_\bullet \to Y_\bullet$ be a chain map of chain complexes in non-negative degree, into an exact complex $0 \simeq_{qi} Y_\bullet$ from a degreewise projective complex $X^\bullet$. Then there is a null homotopy
Hence we have seen now that injective and projective resolutions of chain complexes serve to make chain homotopy interact well with quasi-isomorphism. In the next section we show that this construction lifts from single chain complexes to chain maps between chain complexes and in fact to the whole category of chain complexes. The resulting “resolved” category of chain complexes is the derived category, the true home of the abelian homotopy theory of chain complexes.
In the previous section we have seen that every object $A \in \mathcal{A}$ admits an injective resolution and a projective resolution. Here we lift this construction to morphisms and then to the whole category of chain complexes, up to chain homotopy.
The following proposition says that, when injectively resolving objects, the morphisms between these objects lift to the resolutions, and the following one, prop. , says that this lift is unique up to chain homotopy.
Let $f : X \to Y$ be a morphism in $\mathcal{A}$. Let
be an injective resolution of $Y$ and
any monomorphism that is a quasi-isomorphism (possibly but not necessarily an injective resolution). Then there is a chain map $f^\bullet : X^\bullet \to Y^\bullet$ giving a commuting diagram
By definition of chain map we need to construct morphisms $(f^n : X^n \to Y^n)_{n \in \mathbb{N}}$ such that for all $n \in \mathbb{N}$ the diagrams
commute (the defining condition on a chain map) and such that the diagram
commutes in $\mathcal{A}$ (which makes the full diagram in $Ch^\bullet(\mathcal{A})$ commute).
We construct these $f^\bullet = (f^n)_{n \in \mathbb{N}}$ by induction.
To start the induction, the morphism $f^0$ in the last diagram above can be found by the defining right lifting property of the injective object $Y^0$ against the monomorphism $i_X$.
Assume then that for some $n \in \mathbb{N}$ component maps $f^{\bullet \leq n}$ have been obtained such that $d^k_Y\circ f^k = f^{k+1}\circ d^k_X$ for all $0 \leq k \lt n$ . In order to construct $f^{n+1}$ consider the following diagram, which we will describe/construct stepwise from left to right:
Here the morphism $f^n$ on the left is given by induction assumption and we define the diagonal morphism to be the composite
Observe then that by the chain map property of the $f^{\bullet \leq n}$ we have
and therefore $g^n$ factors through $X^n/im(d^{n-1}_X)$ via some $h^n$ as indicated in the middle of the above diagram. Finally the morphism on the top right is a monomorphism by the fact that $X^{\bullet}$ is exact in positive degrees (being quasi-isomorphic to a complex concentrated in degree 0) and so a lift $f^{n+1}$ as shown on the far right of the diagram exists by the defining lifting property of the injective object $Y^{n+1}$.
The total outer diagram now commutes, being built from commuting sub-diagrams, and this is the required chain map property of $f^{\bullet \leq n+1}$ This completes the induction step.
The morphism $f_\bullet$ in prop. is the unique one up to chain homotopy making the given diagram commute.
Given two cochain maps $g_1^\bullet, g_2^\bullet$ making the diagram commute, a chain homotopy $g_1^\bullet \Rightarrow g_2^\bullet$ is equivalently a null homotopy $0 \Rightarrow g_2^\bullet - g_1^\bullet$ of the difference, which sits in a square of the form
with the left vertical morphism being the zero morphism (and the bottom an injective resolution). Hence we have to show that in such a diagram $f^\bullet$ is null-homotopic.
This we may reduce to the statement of prop. by considering instead of $f^\bullet$ the induced chain map of augmented complexes
where the second square from the left commutes due to the commutativity of the original square of chain complexes in degree 0.
Since $h^\bullet$ is a quasi-isomorphism, the top chain complex is exact, by remark . Moreover the bottom complex consists of injective objects from the second degree on (the former degree 0). Hence the induction in the proof of prop. implies the existence of a null homotopy
starting with $\eta^{-1} = 0$ and $\eta^{0 } = 0$ (notice that the proof prop. was formulated exactly this way), which works because $f^{-1} = 0$. The de-augmentation $\{f^{\bullet \geq 0}\}$ of this is the desired null homotopy of $f^\bullet$.
We now discuss how the injective/projective resolutions constructed above are functorial if regarded in the homotopy category of chain complexes, def. . For definiteness, to be able to distinguish chain complexes from cochain complexes, introduce the following notation.
(the derived category)
Write as before
for the strong chain homotopy category of chain complexes, from def. .
Write similarly now
for the strong chain homotopy category of co-chain complexes.
Write furthermore
for the full subcategory on the degreewise projective chain complexes, and
for the full subcategory on the degreewise injective cochain complexes.
These subcategories – or any category equivalent to them – are called the (strictly bounded above/below) derived category of $\mathcal{A}$.
Often one defines the derived category by more general abstract means than we have introduced here, namely as the localization of the category of chain complexes at the quasi-isomorphims. If one does this, then the simple definition def. is instead a theorem. The interested reader can find more details and further pointers here.
If $\mathcal{A}$ has enough injectives, def. , then there exists a functor
together with natural isomorphisms
and
By prop. every object $X^\bullet \in Ch^\bullet(\mathcal{A})$ has an injective resolution. Proposition says that for $X \to X^\bullet$ and $X \to \tilde X^\bullet$ two resolutions there is a morphism $X^\bullet \to \tilde X^\bullet$ in $\mathcal{K}^\bullet(\mathcal{A})$ and prop. says that this morphism is unique in $\mathcal{K}^\bullet(\mathcal{A})$. In particular it is therefore an isomorphism in $\mathcal{K}^\bullet(\mathcal{A})$ (since the composite with the reverse lifted morphism, also being unique, has to be the identity).
So choose one such injective resolution $P(X)^\bullet$ for each $X^\bullet$.
Then for $f : X \to Y$ any morphism in $\mathcal{A}$, proposition again says that it can be lifted to a morphism between $P(X)^\bullet$ and $P(Y)^\bullet$ and proposition says that there is an image in $\mathcal{K}^\bullet(\mathcal{A})$, unique for morphism making the given diagram commute.
This implies that this assignment of morphisms is functorial, since then also the composites are unique.
Dually we have:
If $\mathcal{A}$ has enough projectives, def. , then there exists a functor
together with natural isomorphisms
and
For actually working with the derived category, the following statement is of central importance, which we record here without proof (which requires a bit of localization theory). It says that for computing hom-sets in the derived category, it is in fact sufficient to just resolve the domain or the codomain.
Let $X_\bullet, Y_\bullet \in Ch_\bullet(\mathcal{A})$. We have natural isomorphisms
Dually, for $X^\bullet, Y^\bullet \in Ch^\bullet(\mathcal{A})$, we have a natural isomorphism
In conclusion we have found that there are resolution functors that embed $\mathcal{A}$ in the homotopically correct context of resolved chain complexes with chain maps up to chain homotopy between them.
In the next section we discuss the general properties of this “homotopically correct context”: the derived category.
In the previous section we have seen how the entire category $\mathcal{A}$ (= $R$Mod) embeds into its derived category, the category of degreewise injective cochain complexes
or degreewise projective chain complexes
modulo chain homotopy. This construction of the derived category naturally gives rise to the following notion of derived functors.
For $\mathcal{A}, \mathcal{B}$ two abelian categories (e.g. $R$Mod and $R'$Mod), a functor
is called an additive functor if
$F$ maps the zero object to the zero object, $F(0) \simeq 0 \in \mathcal{B}$;
given any two objects $x, y \in \mathcal{A}$, there is an isomorphism $F(x \oplus y) \cong F(x) \oplus F(y)$, and this respects the inclusion and projection maps of the direct sum:
Given an additive functor $F : \mathcal{A} \to \mathcal{A}'$, it canonically induces a functor
between categories of chain complexes (its “prolongation”) by applying it to each chain complex and to all the diagrams in the definition of a chain map. Similarly it preserves chain homotopies and hence it passes to the quotient given by the strong homotopy category of chain complexes
If $\mathcal{A}$ and $\mathcal{A}'$ have enough projectives, then their derived categories are
and
etc. One wants to accordingly derive from $F$ a functor $\mathcal{D}_\bullet(\mathcal{A}) \to \mathcal{D}_\bullet(\mathcal{A})$ between these derived categories. It is immediate to achieve this on the domain category, there we can simply precompose and form
But the resulting composite lands in $\mathcal{K}_\bullet(\mathcal{A}')$ and in general does not factor through the inclusion $\mathcal{D}_\bullet(\mathcal{A}') = \mathcal{K}_\bullet(\mathcal{P}_{\mathcal{A}'}) \hookrightarrow \mathcal{K}_\bullet(\mathcal{A}')$.
In a more general abstract discussion than we present here, one finds that by applying a projective resolution functor on chain complexes, one can enforce this factorization. However, by definition of resolution, the resulting chain complex is quasi-isomorphic to the one obtained by the above composite.
This means that if one is only interested in the “weak chain homology type” of the chain complex in the image of a derived functor, then forming chain homology groups of the chain complexes in the images of the above composite gives the desired information. This is what def. and def. below do.
Let $\mathcal{A}, \mathcal{A}'$ be two abelian categories, for instance $\mathcal{A} = R$Mod and $\mathcal{A}' = R'$Mod. Then a functor $F \colon \mathcal{A} \to \mathcal{A}'$ which preserves direct sums (and hence in particular the zero object) is called
a left exact functor if it preserves kernels;
a right exact functor if it preserves cokernels;
an exact functor if it is both left and right exact.
Here to “preserve kernels” means that for every morphism $X \stackrel{f}{\to} Y$ in $\mathcal{A}$ we have an isomorphism on the left of the following commuting diagram
hence that both rows are exact. And dually for right exact functors.
We record the following immediate consequence of this definition (which in the literature is often taken to be the definition).
If $F$ is a left exact functor, then for every exact sequence of the form
also
is an exact sequence. Dually, if $F$ is a right exact functor, then for every exact sequence of the form
also
is an exact sequence.
If $0 \to A \to B \to C$ is exact then $A \hookrightarrow B$ is a monomorphism by prop. . But then the statement that $A \to B \to C$ is exact at $B$ says precisely that $A$ is the kernel of $B \to C$. So if $F$ is left exact then by definition also $F(A) \to F(B)$ is the kernel of $F(B) \to F(C)$ and so is in particular also a monomorphism. Dually for right exact functors.
Proposition is clearly the motivation for the terminology in def. : a functor is left exact if it preserves short exact sequences to the left, and right exact if it preserves them to the right.
Now we can state the main two definitions of this section.
Let
be a left exact functor between abelian categories such that $\mathcal{A}$ has enough injectives. For $n \in \mathbb{N}$ the $n$th right derived functor of $F$ is the composite
where
$P$ is the injective resolution functor of theorem ;
$\mathcal{K}(F)$ is the prolongation of $F$ according to def. ;
$H^n(-)$ is the $n$-chain homology functor. Hence
Dually:
Let
be a right exact functor between abelian categories such that $\mathcal{A}$ has enough projectives. For $n \in \mathbb{N}$ the $n$th left derived functor of $F$ is the composite
where
$Q$ is the projective resolution functor of theorem ;
$\mathcal{K}(F)$ is the prolongation of $F$ according to def. ;
$H_n(-)$ is the $n$-chain homology functor. Hence
The following proposition says that in degree 0 these derived functors coincide with the original functors.
Let $F \colon \mathcal{A} \to \mathcal{B}$ a left exact functor, def. in the presence of enough injectives. Then for all $X \in \mathcal{A}$ there is a natural isomorphism
Dually, if $F$ is a right exact functor in the presence of enough projectives, then
We discuss the first statement, the second is formally dual.
By remark an injective resolution $X \stackrel{\simeq_{qi}}{\to} X^\bullet$ is equivalently an exact sequence of the form
If $F$ is left exact then it preserves this excact sequence by definition of left exactness, and hence
is an exact sequence. But this means that
The following immediate consequence of the definition is worth recording:
Let $F$ be an additive functor.
If $F$ is right exact and $N \in \mathcal{A}$ is a projective object, then
If $F$ is left exact and $N \in \mathcal{A}$ is a injective object, then
If $N$ is projective then the chain complex $[\cdots \to 0 \to 0 \to N]$ is already a projective resolution and hence by definition $L_n F(N) \simeq H_n(0)$ for $n \geq 1$. Dually if $N$ is an injective object.
For proving the basic property of derived functors below in prop. which continues these basis statements to higher degree, in a certain way, we need the following technical lemma.
For $0 \to A \stackrel{i}{\to} B \stackrel{p}{\to} C \to 0$ a short exact sequence in an abelian category with enough projectives, there exists a commuting diagram of chain complexes
where
and in addition
By prop. we can choose $f_\bullet$ and $h_\bullet$. The task is now to construct the third resolution $g_\bullet$ such as to obtain a short exact sequence of chain complexes, hence degreewise a short exact sequence, in the two row.
To construct this, let for each $n \in \mathbb{N}$
be the direct sum and let the top horizontal morphisms be the canonical inclusion and projection maps of the direct sum.
Let then furthermore (in matrix calculus notation)
be given in the first component by the given composite
and in the second component we take
to be given by a lift in
which exists by the left lifting property of the projective object $C_0$ (since $C_\bullet$ is a projective resolution) against the epimorphism $p : B \to C$ of the short exact sequence.
In total this gives in degree 0
Let then the differentials of $B_\bullet$ be given by
where the $\{e_k\}$ are constructed by induction as follows. Let $e_0$ be a lift in
which exists since $C_1$ is a projective object and $A_0 \to A$ is an epimorphism by $A_\bullet$ being a projective resolution. Here we are using that by exactness the bottom morphism indeed factors through $A$ as indicated, because the definition of $\zeta$ and the chain complex property of $C_\bullet$ gives
Now in the induction step, assuming that $e_{n-1}$ has been been found satisfying the chain complex property, let $e_n$ be a lift in
which again exists since $C_{n+1}$ is projective. That the bottom morphism factors as indicated is the chain complex property of $e_{n-1}$ inside $d^{B_\bullet}_{n-1}$.
To see that the $d^{B_\bullet}$ defines this way indeed squares to 0 notice that
This vanishes by the very commutativity of the above diagram.
This establishes $g_\bullet$ such that the above diagram commutes and the bottom row is degreewise a short exact sequence, in fact a split exact sequence, by construction.
To see that $g_\bullet$ is indeed a quasi-isomorphism, consider the homology long exact sequence associated to the short exact sequence of cochain complexes $0 \to A_\bullet \to B_\bullet \to C_\bullet \to 0$. In positive degrees it implies that the chain homology of $B_\bullet$ indeed vanishes. In degree 0 it gives the short sequence $0 \to A \to H_0(B_\bullet) \to B\to 0$ sitting in a commuting diagram
where both rows are exact. That the middle vertical morphism is an isomorphism then follows by the five lemma.
The formally dual statement to lemma is the following.
For $0 \to A \to B \to C \to 0$ a short exact sequence in an abelian category with enough injectives, there exists a commuting diagram of cochain complexes
where
and in addition
The central general fact about derived functors to be discussed here is now the following.
Let $\mathcal{A}, \mathcal{B}$ be abelian categories and assume that $\mathcal{A}$ has enough injectives.
Let $F : \mathcal{A} \to \mathcal{B}$ be a left exact functor and let
be a short exact sequence in $\mathcal{A}$.
Then there is a long exact sequence of images of these objects under the right derived functors $R^\bullet F(-)$ of def.
in $\mathcal{B}$.
By lemma we can find an injective resolution
of the given exact sequence which is itself again an exact sequence of cochain complexes.
Since $A^n$ is an injective object for all $n$, its component sequences $0 \to A^n \to B^n \to C^n \to 0$ are indeed split exact sequences (see the discussion there). Splitness is preserved by any functor $F$ (and also since $F$ is additive it even preserves the direct sum structure that is chosen in the proof of lemma ) and so it follows that
is a again short exact sequence of cochain complexes, now in $\mathcal{B}$. Hence we have the corresponding homology long exact sequence from prop. :
By construction of the resolutions and by def. , this is equal to
Finally the equivalence of the first three terms with $F(A) \to F(B) \to F(C)$ is given by prop. .
Prop. implies that one way to interpret $R^1 F(A)$ is as a “measure for how a left exact functor $F$ fails to be an exact functor”. For, with $A \to B \to C$ any short exact sequence, this proposition gives the exact sequence
and hence $0 \to F(A) \to F(B) \to F(C) \to 0$ is a short exact sequence itself precisely if $R^1 F(A) \simeq 0$.
Dually, if $F$ is right exact functor, then $L_1 F (C)$ “measures how $F$ fails to be exact” for then
is an exact sequence and hence is a short exact sequence precisely if $L_1F(C) \simeq 0$.
Notice that in fact we even have the following statement (following directly from the definition).
Let $F$ be an additive functor which is an exact functor. Then
and
Because an exact functor preserves all exact sequences. If $Y_\bullet \to A$ is a projective resolution then also $F(Y)_\bullet$ is exact in all positive degrees, and hence $L_{n\geq 1} F(A) ) H_{n \geq}(F(Y)) = 0$. Dually for $R^n F$.
Conversely:
Let $F \colon \mathcal{A} \to \mathcal{B}$ be a left or right exact additive functor. An object $A \in \mathcal{A}$ is called an $F$-acyclic object if all positive-degree right/left derived functors of $F$ are zero on $A$.
Acyclic objects are useful for computing derived functors on non-acyclic objects. More generally, we now discuss how the derived functor of an additive functor $F$ may also be computed not necessarily with genuine injective/projective resolutions, but with (just) “$F$-injective”/“$F$-projective resolutions”.
While projective resolutions in $\mathcal{A}$ are sufficient for computing every left derived functor on $Ch_\bullet(\mathcal{A})$ and injective resolutions are sufficient for computing every right derived functor on $Ch^\bullet(\mathcal{A})$, if one is interested just in a single functor $F$ then such resolutions may be more than necessary. A weaker kind of resolution which is still sufficient is then often more convenient for applications. These $F$-projective resolutions and $F$-injective resolutions, respectively, we discuss now. A special case of both are $F$-acyclic resolutions.
Let $\mathcal{A}, \mathcal{B}$ be abelian categories and let $F \colon \mathcal{A} \to \mathcal{B}$ be an additive functor.
Assume that $F$ is left exact. An additive full subcategory $\mathcal{I} \subset \mathcal{A}$ is called $F$-injective (or: consisting of $F$-injective objects) if
for every object $A \in \mathcal{A}$ there is a monomorphism $A \to \tilde A$ into an object $\tilde A \in \mathcal{I} \subset \mathcal{A}$;
for every short exact sequence $0 \to A \to B \to C \to 0$ in $\mathcal{A}$ with $A, B \in \mathcal{I} \subset \mathcal{A}$ also $C \in \mathcal{I} \subset \mathcal{A}$;
for every short exact sequence $0 \to A \to B \to C \to 0$ in $\mathcal{A}$ with $A\in \mathcal{I} \subset \mathcal{A}$ also $0 \to F(A) \to F(B) \to F(C) \to 0$ is a short exact sequence in $\mathcal{B}$.
And dually:
Assume that $F$ is right exact. An additive full subcategory $\mathcal{P} \subset \mathcal{A}$ is called $F$-projective (or: consisting of $F$-projective objects) if
for every object $A \in \mathcal{A}$ there is an epimorphism $\tilde A \to A$ from an object $\tilde A \in \mathcal{P} \subset \mathcal{A}$;
for every short exact sequence $0 \to A \to B \to C \to 0$ in $\mathcal{A}$ with $B, C \in \mathcal{P} \subset \mathcal{A}$ also $A \in \mathcal{P} \subset \mathcal{A}$;
for every short exact sequence $0 \to A \to B \to C \to 0$ in $\mathcal{A}$ with $C\in \mathcal{I} \subset \mathcal{A}$ also $0 \to F(A) \to F(B) \to F(C) \to 0$ is a short exact sequence in $\mathcal{B}$.
With the $\mathcal{I},\mathcal{P}\subset \mathcal{A}$ as above, we say:
For $A \in \mathcal{A}$,
an $F$-injective resolution of $A$ is a cochain complex $I^\bullet \in Ch^\bullet(\mathcal{I}) \subset Ch^\bullet(\mathcal{A})$ and a quasi-isomorphism
an $F$-projective resolution of $A$ is a chain complex $Q_\bullet \in Ch_\bullet(\mathcal{P}) \subset Ch^\bullet(\mathcal{A})$ and a quasi-isomorphism
Let now $\mathcal{A}$ have enough projectives / enough injectives, respectively, def. .
For $F \colon \mathcal{A} \to \mathcal{B}$ an additive functor, let $Ac \subset \mathcal{A}$ be the full subcategory on the $F$-acyclic objects, def. . Then
if $F$ is left exact, then $\mathcal{I} \coloneqq Ac$ is a subcategory of $F$-injective objects;
if $F$ is right exact, then $\mathcal{P} \coloneqq Ac$ is a subcategory of $F$-projective objects.
Consider the case that $F$ is right exact. The other case works dually. Then the first condition of def. is satisfied because every injective object is an $F$-acyclic object and by assumption there are enough of these.
For the second and third condition of def. use that there is the long exact sequence of derived functors prop.
For the second condition, by assumption on $A$ and $B$ and definition of $F$-acyclic object we have $R^n F(A) \simeq 0$ and $R^n F(B) \simeq 0$ for $n \geq 1$ and hence short exact sequences
which imply that $R^n F(C)\simeq 0$ for all $n \geq 1$, hence that $C$ is acyclic.
Similarly, the third condition is equivalent to $R^1 F(A) \simeq 0$.
The $F$-projective/injective resolutions by acyclic objects as in example are called $F$-acyclic resolutions.
Let $\mathcal{A}$ be an abelian category with enough injectives. Let $F \colon \mathcal{A} \to \mathcal{B}$ be an additive left exact functor with right derived functor $R_\bullet F$, def. . Finally let $\mathcal{I} \subset \mathcal{A}$ be a subcategory of $F$-injective objects, def. .
If a cochain complex $A^\bullet \in Ch^\bullet(\mathcal{I}) \subset Ch^\bullet(\mathcal{A})$ is quasi-isomorphic to 0,
then also $F(X^\bullet) \in Ch^\bullet(\mathcal{B})$ is quasi-isomorphic to 0
Consider the following collection of short exact sequences obtained from the long exact sequence $X^\bullet$:
and so on. Going by induction through this list and using the second condition in def. we have that all the $im(d^n)$ are in $\mathcal{I}$. Then the third condition in def. says that all the sequences
are exact. But this means that
is exact, hence that $F(X^\bullet)$ is quasi-isomorphic to 0.
For $A \in \mathcal{A}$ an object with $F$-injective resolution $A \stackrel{\simeq_{qi}}{\to} I_F^\bullet$, def. , we have for each $n \in \mathbb{N}$ an isomorphism
between the $n$th right derived functor, def. of $F$ evaluated on $A$ and the cochain cohomology of $F$ applied to the $F$-injective resolution $I_F^\bullet$.
By prop. we can also find an injective resolution $A \stackrel{\simeq_{qi}}{\to} I^\bullet$. By prop. there is a lift of the identity on $A$ to a chain map $I^\bullet_F \to I^\bullet$ such that the diagram
commutes in $Ch^\bullet(\mathcal{A})$. Therefore by the 2-out-of-3 property of quasi-isomorphisms it follows that $f$ is a quasi-isomorphism
Let $Cone(f) \in Ch^\bullet(\mathcal{A})$ be the mapping cone of $f$ and let $I^\bullet \to Cone(f)$ be the canonical chain map into it. By the explicit formulas for mapping cones, we have that
there is an isomorphism $F(Cone(f)) \simeq Cone(F(f))$;
$Cone(f) \in Ch^\bullet(\mathcal{I})\subset Ch^\bullet(\mathcal{A})$ (because $F$-injective objects are closed under direct sum). %I is injective but not F-injective, so this does not seem to follow%
The first implies that we have a homology exact sequence
Observe that with $f^\bullet$ a quasi-isomorphism $Cone(f^\bullet)$ is quasi-isomorphic to 0. Therefore the second item above implies with lemma that also $F(Cone(f))$ is quasi-isomorphic to 0. This finally means that the above homology exact sequences consists of exact pieces of the form
This concludes the discussion of the general definition and the general properties of derived functors that we will consider here. In the next section we discuss the two archetypical examples.
We introduce here the two archetypical examples of derived functors and discuss their basic properties. In the next chapter IV) The fundamental theorems we discuss how to use these derived functors for obtaining deeper statements.
Above we have seen the definition and basic general properties of derived functors obtained from left/right exact functors between abelian categories.
Of all functors, a most fundamental one is the hom-functor of a given category. For categories such as $R$Mod considered here, it comes with its left adjoint, the tensor product functor, which is hence equally fundamentally important. Here we discuss the derived functors of these two basic functors in detail.
For simplicity – this here being an introduction – we will discuss various statements only over $R = \mathbb{Z}$, hence for abelian groups. The main simplification that this leads to is the following.
Every subgroup of a free abelian group is itself a free group.
This is a classical fact going back to Dedekind, now known (in its generalization to not-necessarily abelian groups) as the Nielsen-Schreier theorem. For us it is interesting due to the following consequence
Assuming the axiom of choice, every abelian group $A$ admits a projective resolution, def. , concentrated in degree 0 and degree 1, hence a resolution which under remark corresponds to a short exact sequence
where $F_0$ and $F_1$ are projective, indeed free.
By the proof of prop. there is an epimorphism $F_0 \to A$ out of a free abelian group (take for instance $F_0 = F(U(A))$, the free abelian group in the underlying set of $A$). By prop. the kernel of this epimorphism is itself a free group, and hence by prop. is itself projective. Take this kernel to be $F_1 \hookrightarrow F_0$.
This fact drastically constrains the complexity of right derived functors on abelian groups:
Let $F \colon Ab \to Ab$ be an additive functor which is left exact functor. Then its right derived functors $R^n F$ vanish for all $n \geq 2$.
By prop. there is a projective resolution of any $A \in Ab$ of the form $F_\bullet = [\cdots \to 0 \to 0 \to F_1 \to F_0]$. This implies the claim by def. .
The conclusion of prop. holds more generally over every ring which is a principal ideal domain. This includes in particular $R = k$ a field, in which case $R Mod \simeq k$Vect. On the other hand, every $k$-vector space is already projective itself, so that in this case the whole theory of right derived functors trivializes.
For $\mathcal{A}$ an abelian category, such as $R$Mod, the hom-sets naturally have the structure of an abelian group themselves. This means that the hom-functor of $\mathcal{A}$ is
where $\mathcal{A}^{op}$ is the opposite category of $\mathcal{A}$. This functor sends a morphism
to the linear map which sends a homomorphism $(X_1 \stackrel{f}{\to} A_1) \in Hom(X_1,A_1)$ to the composite homomorphism
In particular if we hold the first argument fixed on an object $X \in \mathcal{A}$, then this yields a functor
and if we keep the second argument fixed on an object $A \in \mathcal{A}$, then this yields a functor
This functor we have already seen above in example .
A very basic fact is the following.
The functor $Hom(-,-)\colon \mathcal{A}^{op} \times \mathcal{A} \to Ab$ is a left exact functor, def. . In particular for every $X \in \mathcal{A}$ the functor $Hom(X,-)\colon \mathcal{A} \to Ab$ is left exact, and for every $A \in \mathcal{A}$ the functor $Hom(-,A) \colon \mathcal{A}^{op} \to Ab$ is left exact.
A kernel in the opposite category $\mathcal{A}^{op}$ is equivalently a cokernel in $\mathcal{A}$. Hence if we regard $Hom(-,A)$ instead as a contravariant functor from $\mathcal{A}$ to Ab, then the statement that it is left exact means that (on top of preserving direct sums) it sends cokernels in $\mathcal{A}$ to kernels in Ab.
We therefore have the corresponding right derived functor:
For given $A \in \mathcal{A}$, write
for the right derived functor, def. , of the hom-functor in the first argument, according to prop. .
This is called the Ext-functor.
The basic property of the derived Hom-functor/Ext-functor is that it classifies group extensions by (suspensions of) $A$. This we now discuss in detail, starting from a basic discussion of group extensions themselves.
The following definition essentially just repeats that of a short exact sequence above in def. , but now we consider it for $G$ a possibly nonabelian group and think of it slightly differently regarding these sequences up to homomorphisms as in def. below. Equivalently we may think of the following as a discussion of the classification of short exact sequences when the leftmost and rightmost component are held fixed.
Two consecutive homomorphisms of groups
are a short exact sequence if
$i$ is monomorphism,
$p$ an epimorphism
the image of $i$ is all of the kernel of $p$: $ker(p)\simeq im(i)$.
We say that such a short exact sequence exhibits $\hat G$ as a group extension of $G$ by $A$.
If $A \hookrightarrow \hat G$ factors through the center of $\hat G$ we say that this is a central extension.
Sometimes in the literature one sees $\hat G$ called an extension “of $A$ by $G$”. This is however in conflict with terms such as central extension, extension of principal bundles, etc, where the extension is always regarded of the base, by the fiber.
A homomorphism of extensions $f : \hat G_1 \to \hat G_2$ of a given $G$ by a given $A$ is a group homomorphism of this form which fits into a commuting diagram
A morphism of extensions as in def. is necessarily an isomorphism.
By the short five lemma.
For $G$ and $A$ groups, write $Ext(G,A)$ for the set of equivalence classes of extensions of $G$ by $A$, as above and $CentrExt(G,A) \hookrightarrow Ext(G,A)$ for for the central extensions. If $G$ and $A$ are both abelian, write
for the subset of abelian groups $\hat G$ that are (necessarily central) extensions of $G$ by $A$.
We discuss now the following two ways that the $Ext^1$ knows about such group extensions.
Central extensions of a possibly non-abelian group $G$ are classified by the degree-2 group cohomology $H^2_{Grp}(G,A)$ of $G$ with coefficients in $A$, and this in turn is equivalently computed by $Ext^1_{\mathbb{Z}[G] Mod}(\mathbb{Z}, A)$, where $\mathbb{Z}[G]$ is the group ring of $G$.
Abelian extensions of an abelian gorup $G$ are classified by $Ext^1_{Ab}(G,A)$. In fact, generally, in an abelian category $\mathcal{A}$ extensions of $G \in \mathcal{A}$ by $A \in \mathcal{A}$ (in the sense of short exact sequences $A \to \hat G \to G$) are classified by $Ext^1_{\mathcal{A}}(G,A)$.
We first discuss now group cohomology:
Let $G$ be group and $A$ an abelian group (regarded as being equipped with the trivial $G$-action).
Then a group 2-cocycle on $G$ with coefficients in $A$ is a function
such that for all $(g_1, g_2) \in G \times G$ it satisfies the equation
(called the 2-cocycle condition).
For $c, \tilde c$ two such cocycles, a coboundary $h \colon c \to \tilde c$ between them is a function
such that for all $(g_1,g_2) \in G \times G$ the equation
holds in $A$, where
is a 2-coboundary.
The degree-2 group cohomology is the set
of equivalence classes of group 2-cocycles modulo group coboundaries. This is itself naturally an abelian group under pointwise addition of cocycles in $A$
where
The following says that in the computation of $H^2_{Grp}(G,A)$ one may concentrate on nice representatives that are called normalized cocycles:
A group 2-cocycle $c \colon G \times G \to A$, def. is called normalized if
For $c \colon G \times G \to A$ a group 2-cocycle, we have for all $g \in G$ that
The cocycle condition (4) evaluated on
says that
hence that
Similarly the 2-cocycle condition applied to