Question

Peter May said famously that algebraic topology is a subject poorly served by it's textbooks. Sadly,I have to agree. Although we have a frieghtcar full of excellent first-year algebraic topology texts-both geometric ones like Allen Hatcher's and algebraic-focused ones like Rotman and more recently,the beautiful text by tom Dieck (which I'll be reviewing for MAA Online in 2 weeks,watch out for that!) - there's almost no texts which bring the reader even close to the frontiers of the subject.

GEOMETRIC topology has quite a few books that present it's modern essentials to graduate student readers-the books by Thurston, Kirby and Vasselev come to mind-but the vast majority of algebraic topology texts are mired in material that was old when Ronald Reagan was President of The United States. This is partly due to the youth of the subject,but I think its more due to the sheer vastness of the subject now. Writing a cutting edge algebraic topology textbook - TEXTBOOK, not MONOGRAPH - is a little like trying to write one on algebra or analysis. The fields are so gigantic and growing, the task seems insurmountable.

There are only 2 "standard" advanced textbooks in algebraic topology and both of them are over 30 years old now: Robert Switzer's Algebraic Topology:Homology Amd Homotopy and George Whitehead's Elements of Homotopy Theory. Homotopy theory in particular has undergone a complete transformation and explosive expansion since Whitehead wrote his book. (That being said, the fact this classic is out of print is a crime.) There is a recent beautiful textbook that's a very good addition to the literature, Davis and Kirk's Lectures in Algebraic Topology - but most of the material in that book is pre-1980 and focuses on the geometric aspects of the subject.

We need a book that surveys the subject as it currently stands and prepares advanced students for the research literature and specialized monographs as well as makes the subject accessible to the nonexpert mathematicain who wants to learn the state of the art but not drown in it. The man most qualified to write that text is the man to uttered the words I began this post with. His beautiful concise course is a classic for good reason; we so rarely have an expert give us his "take" on a field. It's too difficult for a first course, even for the best students, but it's "must have" supplementary reading. I wish Dr. May - perhaps when he retires - will find the time to write a true comprehensive text on the subject he has had such a profound effect on. Anyone have any news on this front of future advanced texts in topology?

I'll close this box and throw it open to the floor by sharing what may be the first such textbook available as a massive set of online notes. I just discovered it tonight;it's by Garth Warner of The University Of Washingon and available free for download at his website. I don't know if it's the answer,but it sure looks like a huge step in the right direction. Enjoy. And please comment here. http://www.math.washington.edu/~warner/TTHT_Warner.pdf

Answer 1

At the moment I'm reading the book Introduction to homotopy theory by Paul Selick. It is quite short but covers topics like spectral sequences, Hopf algebras and spectra. This is the first place I've found explanations (that I understand) of things like Mayer-Vietoris sequences of homotopy groups, homotopy pushout and pullback squares etc.. The author writes in the preface that the book is inteded to bridge the gap which the OP talks about.

Answer 2

The "word on the street" is that Peter May in collaboration with Kate Ponto is writing a sequel to his concise course (with a title like "More concise algebraic topology"). I've seen portions of it, and it seems like it contains nice treatments of localizations and completions of spaces, model category theory, and the theory of hopf algebras. I have no idea what else it might contain or when it will be released, but if you are interested it might be worth writing to either of the authors for more details.

Answer 3

Aside from "textbooks", there are quite a few more informally prepared lecture notes. Many of these are available online, but often aren't well advertised or easy to find, since they usually don't get published or make it to arxiv. I'll list a couple I know about (I attended some of these courses), and I'll wiki this answer so people can add more. The kinds of course notes I have in mind are ones that introduce or cover some big modern topic, rather than ones which are geared to proving one theorem.

• Haynes Miller's course on Cobordism, (notes by Dan Christensen and Gerd Laures). An introduction to the Steenrod algebra, cobordism, formal groups, $MU$ and $BP$, and much more.

• Haynes Miller, course on homotopy theory of the vector field problem, part 1 and part 2, (handwritten notes my Matt Ando). Covers classical topics related to the vector field problem, the EHP sequence, and Adams's work on Im(J). Somebody should TeX these ...

• A couple of notes from courses by Mike Hopkins on elliptic cohomology and related stuff: 1995, 1999.

• Jacob Lurie is currently teaching a course at Harvard about chromatic homotopy. He's posting his lecture notes, and Chris Schommer-Pries is also posting notes.

Anything else?

Answer 4

I'm not a big fan of Peter May's books, so I'm not sure if the original poster will like these. In particular, none of them are too married to category theory. However,

• There is a wonderful book on Cohomology Operations by Mosher and Tangora. It is thin (and only discusses one topic), but very nice.

• There is a pretty good, and more comprehensive book by Fomenko and Fuks (or Fuchs?) on homotopy theory. I've only seen the Russian version (so I can't vouch for the translation). It's also not very well-known, and not very easy to find, which is a shame (the Russian version is more obtainable). It has a lot of stuff, including one of the nicer introductions to spectral sequences (although I don't know a single book that does this well. Serre's thesis is nice, Hatcher's notes are OK, but this seems to be a topic best learned in a good class). It's also very readable. Here's a review (institutional access probably required) with a description of its contents.

Answer 5

The standard texts (Hatcher, May, etc.) cover material which was, in large part, understood by 1950, though this material is filtered - conspicuously so, in May's text - through the authors' modern perspectives and sensibilities. That leaves another half-century of development. So, as a follow-up to first-year algebraic topology - still far from the cutting edge, but very relevant to reaching it - may I recommend reading some of the classic papers of the mid-twentieth century?

Many are easy to find online. Several - no, many! - are written by great mathematicians and great expositors. For me, the material is the more exciting in the words of its discoverers. Many people will have their own favourites; my list is slanted towards differential topology.

A couple by Serre. Homologie singulière des éspaces fibrés has as clear and economical an account of spectral sequences as I've seen anywhere. The method of Groupes d'homotopie et classes de groupes abéliens might be considered old-fashioned, but it gives a strong taste of what localisation can achieve (e.g. where is the first $p$-torsion in the stable stems?).

Three papers that achieve perfect marriages of algebraic topology and differential geometry: Thom's Quelques propriétés des variétés différentiables founded cobordism theory. Kervaire-Milnor's Groups of homotopy spheres I essentially began surgery theory. Both are astonishingly far-seeing. Finally, Deligne-Griffiths-Morgan-Sullivan's Real homotopy theory of Kähler manifolds: minimal models are things you can build at home!

Answer 6

Perhaps the book of Douglas Ravenel, http://www.math.rochester.edu/u/faculty/doug/preprints.html