# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeMay 7th 2015

gave Atiyah-Hirzebruch spectral sequence a minimum of an Idea-section and added a minimum paragraph with pointers to applications to D-brane charges in string theory here, also on the D-brane charge page itself here

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeFeb 10th 2016
• (edited Feb 10th 2016)

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 indeed 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”.

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeFeb 11th 2016

Started spelling out the proof (of the existence and second page of the AHSS).

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeApr 19th 2016

In the proof of the Atiyah-Hirzebruch spectral sequence I have fixed the statement that the $E_1$-page is the cochain complex for singular cohomology to the statement that it is the cochain complex for cellular cohomology. Of course the cohomology groups coincide (which led to the previous glitch), but at this point of the proof the cochain complex itself matters.

I have also spelled out the proof in more detail, including the actual argument that $d_1$ is the cellular coboundary operator. But for the moment I did this in another entry (here) and added just a pointer to that from the previous page.

(Eventually, once my edits have stabilized a bit more, I’ll port it over. )

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeApr 29th 2016
• (edited Apr 29th 2016)

I have filled in text much expanding (with respect to the previous version)

Then I added a section on

because I finally found (thanks to Hisham Sati!) an article that proves that the two constructions indeed give isomorphic spectral sequences:

It’s ancient: Maunder 63.

I haven’t checked in full detail, but it seems clear that what Maunder checks is isomorphic to the traditional AHSS is just what Mike observed follows neatly from a perspective of HoTT (in his writeup at spectral sequences (homotopytypetheory))