Not signed in (Sign In)

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

  • Sign in using OpenID

Discussion Tag Cloud

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • 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)

    Added a note on terminology:

    Often the terminology “Atiyah-Hirzebruch spectral sequence” is taken to refer to only this case with F=*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=*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 EE “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 1E_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 1d_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))

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)