Exact couples are a tool for constructing spectral sequences.
This being cyclic, it is usually depeicted as a triangle
The archetypical example from which this and the following definition draw their meaning is the following.
for all give an exact couple by taking and to be the bigraded abelian groups
The spectral sequences induced by an exact couple is the one built by repeating the following two-step process:
first, observe that the composite is nilpotent:
second, the homology of supports a map , and receives a map . Setting , by general nonsense
is again an exact couple, called the derived exact couple.
The sequence of complexes obtained this way is then a spectral sequence, by construction. This is the spectral sequence induced by the exact couple.
The exact couple recipe for spectral sequences is notable in that it doesn’t mention any grading on the objects ; trivially, an exact couple can be specified by a short exact sequence , although this obscures the focus usually given to . In applications, a bi-grading is usually induced by the context, which also specifies bidegrees for the initial maps , leading to the conventions mentioned earlier.
Examples of exact couples can be constructed in a number of ways. Importantly, any short exact sequence involving two distinct chain complexes provides an exact couple among their total homology complexes, via the Mayer-Vietoris long exact sequence; in particular, applying this procedure to the relative homology of a filtered complex gives precisely the spectral sequence of a filtered complex.
For another example, choosing a chain complex of flat modules , tensoring with the short exact sequence
gives the exact couple
in which is the mod- Bockstein homomorphism.
An early paper is:
A standard textbook account is section 5.9 of
A review with an eye towards application to the Adams spectral sequence is in