(also nonabelian homological algebra)
Exact couples are a way to encode data that makes a spectral sequence, specially adapted to the case that the underlying filtering along which the spectral sequence proceeds is induced from a tower of homotopy fibers, such as a Postnikov tower or Adams tower (see also at Adams spectral sequence).
Given an abelian category $\mathcal{C}$, an exact couple in $\mathcal{C}$ is a cyclic long exact sequence of three morphisms among two objects of the form
This being cyclic, it is usually depicted as a triangle
The archetypical example from which this and the following definition draw their meaning is example below.
A cohomology spectral sequence $\{E_r^{p,q}, d_r\}$ is
a sequence $\{E_r^{\bullet,\bullet}\}$ $r \in \mathbb{Z}$, $r \geq 2$ of bigraded abelian groups;
a sequence of differentials $\{d_r \colon E_r^{\bullet,\bullet} \longrightarrow E_r^{\bullet+r, \bullet-r+1}\}$
such that
Given a $\mathbb{Z}$-graded abelian group_ $C^\bullet$ equipped with a decreasing filtration
such that
then the spectral sequence is said to converge to $C^\bullet$, denoted,
if
in each bidegree $(s,t)$ the sequence $\{E_r^{s,t}\}_r$ eventually becomes constant on a group
$E_\infty^{s,t} \coloneqq E_{\gg 1}^{s,t}$;
$E_\infty^{\bullet,\bullet}$ is the associated graded of the filtered $C^\bullet$ in that
$E_\infty^{s,t} \simeq F^s C^{s+t} / F^{s+1}C^{s+t}$.
The converging spectral sequence is called multiplicative if
$\{E_2^{\bullet,\bullet}\}$ is equipped with the structure of a bigraded object algebra;
$F^\bullet C^\bullet$ is equipped with the structure of a filtered graded algebra ($F^p C^k \cdot F^q C^l \subset F^{p+q} C^{k+l}$);
such that
each $d_{r}$ is a derivation with respect to the (induced) algebra structure on ${E_r^{\bullet,\bullet}}$, graded of degree 1 with respect to total degree;
the multiplication on $E_\infty^{\bullet,\bullet}$ is compatible with that on $C^\bullet$.
(derived exact couples)
An exact couple is three homomorphisms of abelian groups of the form
such that the image of one is the kernel of the next.
Given an exact couple, then its derived exact couple is
Here and in the following we write $g^{-1}$ etc. for the operation of choosing a preimage under a given function $g$. In each case it is left implicit that the given expression is independent of which choice is made.
(cohomological spectral sequence of an exact couple)
its derived exact couple
is itself an exact couple. Accordingly there is induced a sequence of exact couples
If the abelian groups $D$ and $E$ are equipped with bigrading such that
then $\{E_r^{\bullet,\bullet}, d_r\}$ with
is a cohomological spectral sequence, def. .
(As before in prop. , the notation $g^{-n}$ with $n \in \mathbb{N}$ denotes the function given by choosing, on representatives, a preimage under $g^n = \underset{n\;times}{\underbrace{g \circ \cdots \circ g \circ g}}$, with the implicit claim that all possible choices represent the same equivalence class.)
If for every bidegree $(s,t)$ there exists $R_{s,t} \gg 1$ such that for all $r \geq R_{s,t}$
$g \colon D^{s+R,t-R} \stackrel {\simeq}{\longrightarrow} D^{s+R -1, t-R-1}$;
$g\colon D^{s-R+1, t+R-2} \stackrel{0}{\longrightarrow} D^{s-R,t+R-1}$
then this spectral sequence converges to the inverse limit group
filtered by
(e.g. Kochmann 96, lemma 2.6.2)
We check the claimed form of the $E_\infty$-page:
Since $ker(h) = im(g)$ in the exact couple, the kernel
consists of those elements $x$ such that $g^{-r+2} (f(x)) = g(y)$, for some $y$, hence
By assumption there is for each $(s,t)$ an $R_{s,t}$ such that for all $r \geq R_{s,t}$ then $ker(d_{r-1})^{s,t}$ is independent of $r$.
Moreover, $im(d_{r-1})$ consists of the image under $h$ of those $x \in D^{s-1,t}$ such that $g^{r-2}(x)$ is in the image of $f$, hence (since $im(f) = ker(g)$ by exactness of the exact couple) such that $g^{r-2}(x)$ is in the kernel of $g$, hence such that $x$ is in the kernel of $g^{r-1}$. If $r \gt R$ then by assumption $g^{r-1}|_{D^{s-1,t}} = 0$ and so then $im(d_{r-1}) = im(h)$.
(Beware this subtlety: while $g^{R_{s,t}}|_{D^{s-1,t}}$ vanishes by the convergence assumption, the expression $g^{R_{s,t}}|_{D^{s+r-1,t-r+1}}$ need not vanish yet. Only the higher power $g^{R_{s,t}+ R_{s+1,t+2}+2}|_{D^{s+r-1,t-r+1}}$ is again guaranteed to vanish. )
It follows that
where in last two steps we used once more the exactness of the exact couple.
(Notice that the above equation means in particular that the $E_\infty$-page is a sub-group of the image of the $E_1$-page under $f$.)
The last group above is that of elements $x \in G^n$ which map to zero in $D^{p-1,n-p+1}$ and where two such are identified if they agree in $D^{p,n-p}$, hence indeed
β¦spectral sequence of a tower of fibrationsβ¦
A filtered spectrum is a spectrum $X$ equipped with a sequence $X_\bullet \colon (\mathbb{N}, \gt) \longrightarrow Spectra$ of spectra of the form
More generally a filtering on an object $X$ in (stable or not) homotopy theory is a $\mathbb{Z}$-graded sequence $X_\bullet$ such that $X$ is the homotopy colimit $X\simeq \underset{\longrightarrow}{\lim} X_\bullet$. But for the present purpose we stick with the simpler special case of def. .
There is no condition on the morphisms in def. . In particular, they are not required to be n-monomorphisms or n-epimorphisms for any $n$.
On the other hand, while they are also not explicitly required to have a presentation by cofibrations or fibrations, this follows automatically: by the existence of model structures for spectra, every filtering on a spectrum is equivalent to one in which all morphisms are represented by cofibrations or by fibrations.
This means that we may think of a filtration on a spectrum $X$ in the sense of def. as equivalently being a tower of fibrations over $X$.
The following remark unravels the structure encoded in a filtration on a spectrum, and motivates the concepts of exact couples and their spectral sequences from these.
Given a filtered spectrum as in def. , write $A_k$ for the homotopy cofiber of its $k$th stage, such as to obtain the diagram
where each stage
is a homotopy fiber sequence.
To break this down into invariants, apply the stable homotopy groups-functor. This yields a diagram of $\mathbb{Z}$-graded abelian groups of the form
Here each hook at stage $k$ extends to a long exact sequence of homotopy groups via connecting homomorphisms $\delta_\bullet^k$
If we understand the connecting homomorphism
as a morphism of degree -1, then all this information fits into one diagram of the form
where each triangle is a rolled-up incarnation of a long exact sequence of homotopy groups (and in particular is not a commuting diagram!).
If we furthermore consider the bigraded abelian groups $\pi_\bullet(X_\bullet)$ and $\pi_\bullet(A_\bullet)$, then this information may further be rolled-up to a single diagram of the form
where the morphisms $\pi_\bullet(f_\bullet)$, $\pi_\bullet(cofib(f_\bullet))$ and $\delta$ have bi-degree $(0,-1)$, $(0,0)$ and $(-1,1)$, respectively.
Here it is convenient to shift the bigrading, equivalently, by setting
because then $t$ counts the cycles of going around the triangles:
Data of this form is called an exact couple, def. below.
An unrolled exact couple (of Adams-type) is a diagram of abelian groups of the form
such that each triangle is a rolled-up long exact sequence of abelian groups of the form
The collection of this βun-rolledβ data into a single diagram of abelian groups is called the corresponding exact couple.
An exact couple is a diagram (non-commuting) of abelian groups of the form
such that this is exact sequence exact in each position, hence such that the kernel of every morphism is the image of the preceding one.
The concept of exact couple so far just collects the sequences of long exact sequences given by a filtration. Next we turn to extracting information from this sequence of sequences.
The sequence of long exact sequences in remark is inter-locking, in that every $\pi_{t-s}(X_s)$ appears twice:
This gives rise to the horizontal composites $d_1^{s,t}$, as show above, and by the fact that the diagonal sequences are long exact, these are differentials: $d_1^2 = 0$, hence give a chain complex:
We read off from the interlocking long exact sequences what these differentials mean: an element $c \in \pi_{t-s}(A_s)$ lifts to an element $\hat c \in \pi_{t-s-1}(X_{s+2})$ precisely if $d_1 c = 0$:
This means that the cochain cohomology of the complex $(\pi_{\bullet}(A_\bullet), d_1)$ produces elements of $\pi_\bullet(X_\bullet)$ and hence of $\pi_\bullet(X)$.
In order to organize this observation, notice that in terms of the exact couple of remark , the differential
is a component of the composite
Some terminology:
its page is the chain complex
Given an exact couple, def. , then the induced derived exact couple is the diagram
with
$\tilde{\mathcal{E}} \coloneqq ker(d)/im(d)$;
$\tilde {\mathcal{D}} \coloneqq im(i)$;
$\tilde i \coloneqq i|_{im(i)}$;
$\tilde j \coloneqq j \circ (im(i))^{-1}$;
$\tilde k \coloneqq k|_{ker(d)}$.
Given an exact couple, def. , then the induced spectral sequence, def. , is the sequence of pages, def. , of the induced sequence of derived exact couples, def. , prop. .
Consider a filtered spectrum, def. ,
and its induced exact couple of stable homotopy groups, from remark
with bigrading as shown on the right.
As we pass to derived exact couples, by def. , the bidegree of $i$ and $k$ is preserved, but that of $j$ increases by $(1,1)$ in each step, since
Therefore the induced spectral sequence has differentials of the form
The original article is
also
A class of examples leading to what later came to be known as the Atiyah-Hirzebruch spectral sequence is discussed in section XV.7 of
Textbook accounts include
Frank Adams, part III, section 7 of Stable homotopy and generalised homology, 1974
Stanley Kochmann, section 2.2 of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
John McCleary, section 2.2 (from p. 37 on) in A userβs guide to spectral sequences, Cambridge University Press, 2001
Charles Weibel, section 5.9 An Introduction to Homological Algebra
Another review with an eye towards application to the Adams spectral sequence is in
Last revised on September 1, 2016 at 16:04:10. See the history of this page for a list of all contributions to it.