and
nonabelian homological algebra
group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
The Atiyah-Hirzebruch spectral sequence (AHSS) is a type of spectral sequence that generalizes the Serre spectral sequence from ordinary cohomology $H^\bullet$ to any generalized (Eilenberg-Steenrod) cohomology theory $E^\bullet$.
For any (finite) homotopy fiber sequence
then the corresponding $E$-Atiyah-Hirzebruch spectral sequence has on its second page the ordinary cohomology of $X$ with coefficients in the $E$-cohomology groups of the fiber and converges to the proper $E$-cohomology of the total space:
This is of interest already for $F \simeq \ast$, as then it expresses generalized cohomology in terms of cordinary cohomology with coefficients in the base cohomology ring.
(note on terminology)
Often the terminology “Atiyah-Hirzebruch spectral sequence” is taken to refer to only this case with $F = \ast$, while the general case is then referred to as “Serre spectral sequence for generalized cohomology” or similar. In (Atiyah-Hirzebruch 61,p. 17) the case $F = \ast$ is labeled “Theorem”, while the general case, stated right after the theorem, is labeled “2.2 Remark”.
The proof of the theorem that is given is very short, it just says that since topological K-theory satisfies the exactness axiom of a generalized cohomology theory, it is immediate that the conditions for a spectral sequence stated as Axioms (SP.1)-(SP.5) in (Cartan-Eilenberg 56, section XV.7) are met. Indeed Example 2 in (Cartan-Eilenberg 56, section XV.7) observes that the spectral sequence in question exists for $E$ “some fixed cohomology theory” because “Axioms (SP.1)-(SP.4) are consequences of usual properties of cohomology groups”.
In view of this, the contribution of (Atiyah-Hirzebruch 61) would not be so much the observation of what is now called the AHSS, rather than the proof that K-theory satisfies the axioms of a generalized cohomology theory. Indeed, according to (Adams 74, p. 127-128, 215), the AHSS was earlier observed by George Whitehead and “then became a folk-theorem” which was “eventually published by Atiyah and Hirzebruch”.
Maybe it should be called the “Cartan-Eilenberg-Whitehead spectral sequence”.
There is a generalization to equivariant cohomology theory (Davis-Lueck 98, theorem 4.7).
For genuine G-equivariance, with RO(G)-grading for representation spheres $S^V$, then for $P \to X$ an $F$-fibration of topological G-spaces and for $A$ any $G$-Mackey functor, the equivariant Serre spectral sequence looks like (Kronholm 10, theorem 3.1):
where on the left in the $E_2$-page we have ordinary cohomology with coefficients in the genuine equivariant cohomology groups of the fiber.
Let $A^\bullet$ be a an additive unreduced generalized cohomology functor (def.). Let $B$ be a CW-complex and let $X \stackrel{\pi}{\to} B$ be a Serre fibration, such that all its fibers are weakly contractible or such that $B$ is simply connected. In either case all fibers are identified with a typical fiber $F$ up to weak homotopy equivalence by connectedness (this example), and well defined up to unique iso in the homotopy category by simply connectedness:
If at least one of the following two conditions is met
$B$ is finite-dimensional as a CW-complex;
$A^\bullet(F)$ is bounded below in degree and the sequences $\cdots \to A^p(X_{n+1}) \to A^p(X_n) \to \cdots$ satisfy the Mittag-Leffler condition (def.) for all $p$;
then there is a cohomology spectral sequence, (def.), whose $E_2$-page is the ordinary cohomology $H^\bullet(B,A^\bullet(F))$ of $B$ with coefficients in the $A$-cohomology groups $A^\bullet(F)$ of the fiber, and which converges to the $A$-cohomology groups of the total space
with respect to the filtering given by
where $X_{p} \coloneqq \pi^{-1}(B_{p})$ is the fiber over the $p$th stage of the CW-complex $B = \underset{\longleftarrow}{\lim}_n B_n$.
Generally, without assumptions on the connectivity of $B$, there is a spectral sequence of this form with ordinary cohomology with coefficients in $A^\bullet(F)$ replaced by ordinary cohomology with local coefficients $(b \mapsto A^\bullet(F_b))$.
The following proof is the standard and original argument due to (Atiyah-Hirzebruch 61, p. 17).
The exactness axiom for $A$ gives an exact couple, (def.), of the form
where we take $X_{\gg 1} = X$ and $X_{\lt 0} = \emptyset$.
In order to determine the $E_2$-page, we analyze the $E_1$-page: By definition
Let $C(s)$ be the set of $s$-dimensional cells of $B$, and notice that for $\sigma \in C(s)$ then
where $F_\sigma$ is weakly homotopy equivalent to $F$ (exmpl.).
This implies that
where we used the relation to reduced cohomology $\tilde A$, (prop.) together with (lemma), then the wedge axiom and the suspension isomorphism of the latter.
The last group $C^s_{cell}(B,A^t(F))$ appearing in this sequence of isomorphisms is that of cellular cochains (def.) of degree $s$ on $B$ with coefficients in the group $A^t(F)$.
Since cellular cohomology of a CW-complex agrees with its singular cohomology (thm.), hence with its ordinary cohomology, to conclude that the $E_2$-page is as claimed, it is now sufficient to show that the differential $d_1$ coincides with the differential in the cellular cochain complex (def.).
We discuss this now for $\pi = id$, hence $X = B$ and $F = \ast$. (The general case works the same, just with various factors of $F$ replacing the point.)
Consider the following diagram, which commutes due to the naturality of the connecting homomorphism $\delta$ of $A^\bullet$:
Here the bottom vertical morphisms are those induced from any chosen cell inclusion $(D^s , S^{s-1}) \hookrightarrow (X_s, X_{s-1})$.
The differential $d_1$ in the spectral sequence is the middle horizontal composite. From this the vertical isomorphisms give the top horizontal map. But the bottom horizontal map identifies this top horizontal morphism componentwise with the restriction to the boundary of cells. Hence the top horizontal morphism is indeed the coboundary operator $\partial^\ast$ for the cellular cohomology of $X$ with coefficients in $A^\bullet(\ast)$ (def.). This cellular cohomology coincides with singular cohomology of the CW-complex $X$ (thm.), hence computes the ordinary cohomology of $X$.
Now to see the convergence. If $B$ is finite dimensional then the convergence condition as stated in this prop. is met. Alternatively, if $A^\bullet(F)$ is bounded below in degree, then by the above analysis the $E_1$-page has a horizontal line below which it vanishes. Accordingly the same is then true for all higher pages, by each of them being the cohomology of the previous page. Since the differentials go right and down, eventually they pass beneath this vanishing line and become 0. This is again the condition needed in the proof of this prop. to obtain convergence.
By that proposition the convergence is to the inverse limit
If $X$ is finite dimensional or more generally if the sequences that this limit is over satisfy the Mittag-Leffler condition (def.), then this limit is $A^\bullet(X)$, by this prop..
One also gets the Atiyah-Hirzebruch spectral sequence, up to isomorphism, by instead using the filtering given by the Postnikov tower of an Omega-spectrum representing the given generalized cohomology theory.
This is due to (Maunder 63, theorem 3.3)
This alternative construction should be the one that is discussed in (Shulman 13) from the perspective of homotopy type theory.
for $E$ a ring spectrum, then the AHSS is multiplicative…
For $E$ a ring spectrum and $X$ a CW complex of finite dimension, then the Kronecker pairing $\langle -,-\rangle \colon E^\bullet(X)\otimes E_\bullet(X)\to \pi_\bullet(E)$ passes to a page-wise pairing of the corresponding Atiyah-Hirzebruch spectral sequences for $E$-cohomology/homology
such that
on the $\mathcal{E}_2$-page this restricts to the Kronecker pairing for ordinary cohomology/ordinary homology with coefficients in $\pi_\bullet(E)$;
the differentials act as derivations
The pairing on the $\mathcal{E}_\infty$-page is compatible with the Kronecker pairing.
…(Adams 74)….
For $E =$ KU, hence for topological K-theory, the differential $d_3$ of the Atiyah-Hirzebruch spectral sequence with $F = \ast$ is given by a Steenrod square operation
For twisted K-theory this picks up in addition the cup product with the 3-class $H$ of the twist:
(Rosenberg 82, Atiyah-Segal 05 (4.1)). The higher differentials $d_5$ and $d_7$ here are given by higher Massey products with the twisting class (Atiyah-Segal 05 sections 5-7).
In string theory D-brane charges are classes in $E = KU$-cohomology, i.e. in K-theory. The second page of of the corresponding Atiyah-Hirzebruch spectral sequence (see above) for $F = \ast$ hence expresses ordinary cohomology in all even or all odd degrees, and being in the kernel of all the differentials is hence the constraint on such ordinary cohomology data to lift to genuine K-theory classes, hence to genuine D-brane charges. In this way the Atiyah-Hirzebruch spectral sequences is used in (Maldacena-Moore-Seiberg 01, Evslin-Sati 06)
The statement of the existence of the spectral sequence first appears in print (with $E =$ topological K-theory) in
but the proof given consists essentially in pointing to section XV.7 (“a more general setting in which the theory of spectral sequences may be developed”) of
This is by filtering over the stages of the base space CW-complex. That one gets an isomorphic spectral sequence by instead filtering over the Postnikov tower of any Omega-spectrum representing the given generalized cohomology theory is due to
Early lecture notes include
where the idea is attributed to George Whitehead:
the Atiyah-Hirzebruch spectral sequence, which was really invented by G. W. Whitehead but not published by him (Adams 74, p. 127-128)
These spectral sequences were probably first invented by G. W. Whitehead, but he got them just after he wrote the paper $[$Whitehead 56 ‘Homotopy groups of joins and unions’$]$ in which they ought to have appeared. They then became a folk-theorem and were eventually published by Atiyah and Hirzebruch (Adams 74, p. 215)
A more detailed account of the proof is in
Further discussion of the case of twisted K-theory is due to
Jonathan Rosenberg, Homological Invariants of Extensions of $C^\ast$-algebras, Proc. Symp. Pure Math 38 (1982) 35.
Michael Atiyah, Graeme Segal, Twisted K-theory and cohomology, Nankai Tracts Math. 11, World Sci. Publ., Hackensack, NJ, pp. 5–43, (arXiv:math/0510674)
A discussion of the $E$-AHSS as the spectral sequence of a tower induced by forming mapping spectra $[X,-]$ into the Postnikov tower is due to
Discussion of the AHSS in Bredon equivariant stable homotopy theory/equivariant cohomology includes
Discussion in genuine equivariant cohomology, i.e. including RO(G)-grading, is in
Application for the case of K-theory to D-brane charges in string theory is discussed in
Juan Maldacena, Gregory Moore, Nathan Seiberg, D-Brane Instantons and K-Theory Charges, JHEP 0111:062,2001 (arXiv:hep-th/0108100)
Jarah Evslin, Hisham Sati, Can D-Branes Wrap Nonrepresentable Cycles?, JHEP0610:050,2006 (arXiv:hep-th/0607045)
and detailed review of this is in
Discussion for the $\mathbb{Z}/2$-equivariant KR cohomology theory (relevant for D-branes in orientifolds) includes
Discussion for the case of Morava K-theory and Morava E-theory with comments on application to charges of M-branes is in
Application to motivic cobordism cohomology theory is discussed in