What are Jacob Lurie's key insights?

This question is inspired by this Tim Gowers blogpost.
I have some familiarity with the work of Jacob Lurie, which contains ideas which are simply astounding; but what I don't understand is which key insight allowed him to begin his programme and achieve things which nobody had been able to achieve before. People had looked at $\infty$-categories for years, and the idea of $(\infty,n)$-categories is not in itself new. What was the key new idea which started "Higher Topos Theory", the proof of the Baez-Dolan cobordism hypothesis, "Derived Algebraic Geometry", etc.?

-
There seems to be an implicit assumption in the above paragraph that Jacob had only one key idea, and I strongly disagree with that. I'd rather say that he has a rare combination of technical mastery and drive to view ideas in a broad context. –  S. Carnahan Sep 6 '10 at 0:28
I don't believe in superheros in math- I believe in super ideas. I don't believe that Jacob Lurie was just trying the same thing everyone else was trying, and it happened to work for him because of greater intelligence or technical ability. There must have been key new ideas he brought to the table, and if Gromov is to be believed about the number of great ideas a mathematician has in life, then the number of these essentially new ideas is small. Most important, there's insight to be gained in knowing what these ideas are, because they led to breakthrough where so many had been stuck. –  Daniel Moskovich Sep 6 '10 at 0:53
Lots of math is done using a lot of good ideas put together, rather than a superidea. Believing in superideas seems to me just as naive as believing in superheroes. Certainly someone who works more efficiently or thinks more clearly would be able to get more good work done without needing to posit some special qualities of genius. What was Euler's superidea? (None of the above is meant to refer to Jacob's work specifically.) –  Noah Snyder Sep 6 '10 at 3:45
Can you, please, change the title to a more neutral form, perhaps, along the lines of "What are some key ideas behind higher topos theory"? Strange as this may sound, I think that using a personal name in the title is responsible for all the talk of superheros and other sillyness, which distracts from answering the question mathematically. –  Victor Protsak Sep 6 '10 at 9:31
As an example of the kind of symbiosis that the internet makes possible so nicely, I shall now link from my blog post to this discussion. –  gowers Sep 6 '10 at 10:39

My answer would be that his insight was firstly that it pays to take what Grothendieck said in his various long manuscripts, extremely seriously and then to devote a very large amount of thought, time and effort. Many of the methods in HTT have been available from the 1980s and the importance of quasi-categories as a way to boost higher dimensional category theory was obvious to Boardman and Vogt even earlier. Lurie then put in an immense amount of work writing down in detail what the insights from that period looked like from a modern viewpoint.It worked as the progress since that time had provided tools ripe for making rapid progress on several linked problems. His work since HTT continues the momentum that he has built up.

As far as abstracter than thou' goes, I believe that Grothendieck's ideas in Pursuing Stacks were not particularly abstract and Lurie's continuation of that trend is not either. Once you see that there are some good CONCRETE models for $\infty$-categories the geometry involved gets quite concrete as well. Simplicial sets are not particularly abstract things, although they can be a bit scary when you meet them first. Quasi-categories are then a simple-ish generalisation of categories, but where you can use both categorical insights and homotopy insights. That builds a good intuition about infinity categories... now bring in modern algebraic topology with spectra, etc becoming available.

-
This is a great answer! –  Daniel Moskovich Sep 6 '10 at 12:30
Just a point of clarification: I am rather certain that he had not looked at any of Grothendieck's long manuscripts until well after his work on derived algebraic geometry had borne some fruit (in particular, after his infinity topoi preprint and his Ph.D.). This is of course assuming that by "long manuscripts" you did not mean published works like SGA. What you said in your answer does not strictly contradict what I'm saying, but I think it could be a source of confusion. –  S. Carnahan Sep 6 '10 at 15:59
That seems highly likely. The background ideas that from about 1984 onwards benefitted from some of the intuitions of, for instance,  'pursuing stacks' (PS) rarely used explicitly the constructions of that manuscript. They rather used the general context of those documents. AG sent PS to us in Bangor and Ronnie Brown helped in its distribution by providing (with explicit permission from AG) for copies to be sent to those people who requested it. It was discussed in seminars in various places with some very good mathematicians exploring some of the ideas from their own viewpoints. –  Tim Porter Sep 7 '10 at 5:59
(continued) This also happened with others of the lengthy manuscripts he wrote at about that time, although without Bangor's involvement (so I am not sure of the mechanisms). AG's esquisse d'une programme is another document that is very influential. This process of course is not restricted to this context but is one of the many ways maths grows through its transmission. (If you do not know the story of our involvement in PS you may like to look at Ronnie's webpage: bangor.ac.uk/~mas010/pstacks.htm where he tells the story from his own point of view.) –  Tim Porter Sep 7 '10 at 6:07

I think, one of the key insights underlying derived algebraic geometry and Lurie's treatment of elliptic cohomology is taking some ideas of Grothendieck really serious. Two manifestations:

1) One of the points of the scheme theory initiated by Grothendieck is the following: if one takes intersection of two varieties just on the point-set level, one loses information. One has to add the possibility of nilpotents (somewhat higher information) to preserve the information of intersection multiplicities and get the "right" notion of a fiber product. Now one of the points of derived algebraic geometry (as explained very lucidly in the introduction to DAG V) is that for homological purposes this is not really the right fiber product - you need to take some kind of homotopy fiber product. This is, because one still loses information because one is taking quotients - one should add isomorphism instead and view it on a categorical level. Thus, you can take a meaningful intersection of a point with itself, for example. This is perhaps an instance where the homological revolution, which went to pure mathematics last century, benefits from a second wave, a homotopical revolution - if I am allowed to overstate this a bit.

2) Another insight of Grothendieck and his school was, how important it is to represent functors in algebraic geometry - regardless of what you want at the end. [as Mazur reports, Hendrik Lenstra was once sure that he did want to solve Diophantine equations and did not want to represent functors - and later he was amused that he represented functors to solve Diophantine equations.] And this is Lurie's approach to elliptic cohomology and tmf: Hopkins and Miller showed the existence of a certain sheaf of $E_\infty$-ring spectra on the moduli stack of elliptic curves. Lurie showed that this represents a derived moduli problem (of oriented derived elliptic curves).

Also his solution of the cobordism hypothesis has a certain flavor of Grothendieck: you have to put things in a quite general framework to see the essence. This philosophy also shines quite clearly through his DAG, I think.

Besides, I do not think, there is a single key insight in Higher Topos Theory besides the feeling that infinity-categories are important and that you can find analogues to most of classical category theory in quasi-categories. Then there are lots of little (but every single one amazing) insights, how this transformation from classical to infinity-category theory works.

-
Of course one suspects that selectivity also has a role to play, in dealing with "big abstraction". "Abstracter than thou" is not in itself a potent heuristic, despite the success Grothendieck had with it: these days I suppose one also wonders what is the catalyst when big abstract machines are cranked up. There is still something arcane about that, it seems. –  Charles Matthews Sep 6 '10 at 10:58
Rather than "abstracter than thou", Jacob has, I think, a specific fixed abstract framework through whose lens he views mathematics. I don't understand, though, which specific quality of this particular abstract framework makes it better than all others- i.e. where exactly the conceptual breakthrough occured. This response partially answers. –  Daniel Moskovich Sep 6 '10 at 11:06

One of the things that Jacob Lurie finds important is to "think invariantly": Do not use model dependent definitions. Do not prove model-dependent results.

Here's an example to illustrate what I mean:
"The $\infty$-category of spetra is the free stable $\infty$-category with colimits generated by a single object". That's a nice model independent definition of the $\infty$-category of spectra.

-
The first time I saw oo-category, I was super-confuseed. Here I was thinking somebody meant "egg-category" instead of "infinity-category"! –  drvitek Sep 5 '10 at 23:39
There's a unicode character ∞ that should work well enough on most browsers, so there's no particular need to resort to ASCII art to name ∞-categories. –  David Eppstein Sep 5 '10 at 23:53
In particular, in html, you can typeset it as &infin;. –  Theo Johnson-Freyd Sep 6 '10 at 0:31
And note that for Lurie oo-category means (oo,1)-category... –  David Roberts Sep 6 '10 at 0:32

My understanding (which isn't very deep and so someone should please correct me if I'm wrong) is that one key idea in the Hopkins-Lurie proof of the cobordism hypothesis was to generalize the cobordism hypothesis to allow more general types of cobordism categories. This stronger result the becomes easier to prove because they could do a double-induction argument that moves between the (stably n-)framed case (which is the usual cobordism hypothesis) and the oriented case. Furthermore, it means that the final results they get are stronger, because you get a classification not just of framed TFTs, but of TFTs with more general kinds of structures on the bordism categories.

-

I think one of the insights leading to his successes, which is of course not unique to him, is that when doing higher category theory it is useful to add invertible higher cells going all the way up to the top before you try to add noninvertible ones anywhere. This is along the same lines as Noah's answer: the cobordism hypothesis, which was originally stated in terms of n-categories, becomes easier once you generalize it to a stronger statement about (∞,n)-categories, since then induction becomes easier/possible.

-

Daniel,