How does one go from an understanding of basic algebraic topology (on the level of Allen Hatcher's Algebraic Topology and J.P. May's A Concise Course in Algebraic Topology) to understanding the paper of Hill, Hopkins, and Ravenel on the Kervaire invariant problem?

I have read that some understanding of chromatic homotopy theory and equivariant homotopy theory (neither of which I am familiar with, aside from their basic idea) is required, but it seems that there are still quite a few steps from basic algebraic topology to these two subjects and from these two subjects to the Hill-Hopkins-Ravenel paper.

I do have some idea of a few topics beyond what is discussed in the books of Hatcher and May, such as model categories on the level of Dwyer and Spalinski's Homotopy Theories and Model Categories, as well as some idea of spectral sequences (both of which are required reading for the paper, I believe), but it would be nice if we could come up with some sort of roadmap (with an ordered list of subjects, and even better if we had references) from the Hatcher and May books to the Hill-Hopkins-Ravenel paper. For that matter, I don't even know how spectral sequences and model categories fit in, so it would be nice I guess if there's also an explanation as to how each of these prerequisite subjects fit into the paper.

I'm looking for something like the very nice answer to this query regarding the Norm Residue Isomorphism theorem.

• You might try the resources here: math.mit.edu/conferences/talbot/… – Dylan Wilson Dec 23 '16 at 5:13
• We had a seminar about this a while ago. The seminar program exhibits a way to understand the paper within 14 talks and contains some references (which probably overlap with the accepted answer to this question, I did not check). Stuff like (orthogonal) spectra was a prerequisite for the seminar, though. The seminar program does not seem to be available online, but I could e-mail it to you. Just let me know if you're interested. – Alexander Körschgen Jan 4 '17 at 22:45

There is one major topic that is missing from your list: spectra. Spectra (and $E_\infty$-ring spectra) are the basics of modern stable homotopy theory and are not treated, if not very cursorily, in the references you've looked at. Seriously, spectra are the bread and butter of a homotopy theorist nowadays and their absence from the standard references is as embarrassing as the absence of schemes would be from the standard material for algebraic geometry.

That said, let me try to put together a list of references that should help you getting started.

• The first place to look at is Adams' amazing Stable homotopy and generalized cohomology. This is a collection of lecture notes held at the university of Chicago and, famously, has to be read in reverse order (first part III, then part II and optionally part I) since they arranged the lectures chronologically rather than logically. Part III will give you a basic understanding of spectra, Part II will introduce the very basics of chromatic homotopy theory. Be warned that the treatment is very old (in fact if I'm not mistaken it is the first published construction of the stable homotopy category) and in particular the construction of the smash product of spectra is very lacking from a modern perspective, so you could skip it and just take the basic properties. In addition, the treatment of localizations has a couple of imprecisions, I suggest you complement that section with Bousfield's The localization of spectra with respect to homology.

• To get a more modern perspective, you cannot go much wrong with Schwede's Symmetric spectra. This is a modern treatment of a different (and better) model for spectra, which has the advantage of introducing you to $E_\infty$-ring spectra too, one of the basic structures that play a very important role in Hill-Hopkins-Ravenel (and all the rest of modern homotopy theory).

• Next you should get some familiarity with equivariant homotopy theory. A nice starting point is Adams' Prerequisites (on equivariant homotopy theory) for Carlsson's lecture. Again it is a bit old fashioned but having read it helps hitting the ground running.

• Since we're talking about equivariant homotopy theory, how could I not mention Schwede's Lectures on stable equivariant homotopy theory? The model he uses for $G$-spectra is slightly different from the one in Hill-Hopkins-Ravenel, but again having read it will certainly help.

• Hill-Hopkins-Ravenel's paper itself has a nice self-contained introduction to stable homotopy theory, that I strongly encourage you to read. Maybe skip the proof that the norm is homotopically meaningful in appendix B (it is very technical and while it has some very interesting ideas the only thing you really need is the statement of the theorem).

• Chromatic homotopy theory is surprisingly less present in the actual solution of the Kervaire invariant one problem (you basically need only to know about the Adams-Novikov spectral sequence and the statement of a few highly nontrivial computations), but if you want to learn it (you should if you're interested in this circle of ideas), I can recommend Ravenel's Nilpotence and periodicity in stable homotopy theory and Lurie's lecture notes on the subject. If you are interested on how to do those computation that are needed for the HHR paper, your best friend is Ravenel's Complex cobordism and stable homotopy groups of spheres (credits to Lennart Meier for prompting me to add this). Also reading Ravenel's previous paper on the odd Kervaire invariant problem is helpful for understanding how the main HHR paper connects with chromatic homotopy theory.

• Since you mentioned spectral sequences, I think you will generally pick them up as you work through the above material. However a paper that really helped me with them is Boardman's Conditionally convergent spectral sequences. Highly recommended.

I am sure my list has some glaring omissions, but this should at least get you started (and keep you busy for a while I suspect). Good luck and feel free to hang around the homotopy theory chatroom if you have questions!

• Regarding chromatic homotopy theory I want to comment that the "few computations" which you mention are actually quite deep and difficult, namely mainly the computation of the ANSS 2-line by Shimomura (following work of Miller, Ravenel and Wilson). Ravenel's Complex cobordism and the stable homotopy groups of spheres is actually more relevant for this than his other book. As this part of the argument is more classical than others, it was somewhat downplayed by Hill, Hopkins & Ravenel, but it is still important. – Lennart Meier Dec 26 '16 at 21:53
• @LennartMeier Of course the computations are highly nontrivial, but what I meant is that to understand the argument in HHR you do not really need to understand how they are done, you can take them as a "black box". I did not want to sound dismissive, just that I believe that the most interesting part of the paper are elsewhere. Another such piece is, for example, Browder's theorem (although that proof is quite beautiful). – Denis Nardin Dec 26 '16 at 22:23
• As I think this answer shows, there are actually a number of expository sources of varying utility that I think do a pretty good job with spectra (another good one is Rudyak's book on Thom spectra, etc.), although there's a bit less out there about equivariant/symmetric spectra. But the lack of expository sources for chromatic homotopy theory and Morava K-theory, both of which seem to be mentioned at every talk I attend involving homotopy theory, is really a crime. I'll have to have a closer look at those Ravenel books, but I didn't think this was really their main focus. – Greg Friedman Jan 1 '17 at 8:35
• @GregFriedman Actually both books are concerned mainly with chromatic homotopy theory and Morava K-theories. They, in addition to Lurie's notes, give a pretty good overview of chromatic homotopy theory. What's really missing is a modern treatment of spectra, that talks also of $E_\infty$-ring spectra and their categories of modules. That is really a crime, at least in my opinion. Schwede's unfinished book comes close to filling the vacuum but it is, alas, unfinished. – Denis Nardin Jan 1 '17 at 20:03
• Thanks! I'll have to look at those books more closely. I've been wondering about exposition on that material for years, but I never realized it was in them. And agreed on the lack of stuff on spectra with operadic structures. – Greg Friedman Jan 2 '17 at 20:43