Begging your pardon for indulging in some personal history (perhaps personal propaganda), I will explain how I ended up
applying R'ecollte et Semaille. I do apologize in advance for interpreting the question in such a self-centered fashion!
I didn't come anywhere near to reading the whole thing, but I did spend many hours
dipping into various portions while I was a graduate student. Serge Lang had put his copy into the
mathematics library at Yale, a very cozy place then for hiding among the shelves and getting lost
in thoughts or words. Even the bits I read of course were hard going. However, one thing was clear
even to my superficial understanding: Grothendieck, at that point, was dissatisfied with motives. Even though I wasn't knowledgeable enough to have an opinion about the social commentary in the book, I did wonder quite
a bit if some of the discontent could have a purely mathematical source.
A clue came shortly afterwards, when I heard from
Faltings Grothendieck's ideas on anabelian geometry. I still recall my initial reaction to the section conjecture: `Surely there
are more splittings than points!' to which Faltings replied with a characteristically brief question:' Why?'
Now I don't remember if it's in R&S as well, but I did read somewhere or hear from someone that
Grothendieck had been somewhat pleased that the proof of the Mordell conjecture came from outside
of the French school. Again, I have no opinion about the social aspect of such a sentiment (assuming the story true), but it is
interesting to speculate on the mathematical context.
There were in Orsay and Paris some tremendously powerful
people in arithmetic geometry.
Szpiro, meanwhile, had a very lively interest in the Mordell conjecture, as you can see from his
writings and seminars in the late 70's and early 80's. But somehow, the whole thing didn't come together.
One suspects that the habits of the Grothendieck school,
whereby the six operations had to be established first in every situation
where a problem seemed worth solving, could be enormously helpful in some situations, and limiting in some others. In fact, my impression is that Grothendieck's discussion of the operations in R&S has an ironical tinge. [This could well be a misunderstanding due to faulty French or faulty memory.]
Years later, I had an informative conversation with Jim McClure at Purdue on the demise of sheaf theory in topology. [The situation has
changed since then.] But already in the 80's, I did come to realize that the motivic machinery didn't fit in very well
with homotopy theory.
To summarize, I'm suggesting that the mathematical
content of Grothendieck's strong objection to motives was inextricably linked with his ideas on homotopy theory as appeared in 'Pursuing Stacks' and the anabelian letter to Faltings, and catalyzed by his realization that the motivic philosophy had been of limited use (maybe even a bit of
an obstruction)
in the proof of the Mordell conjecture. More precisely, motives were inadequate for the study of points (the most basic maps between schemes!) in any non-abelian setting, but Faltings' pragmatic approach using all kinds of Archimedean techniques may not have been quite Grothendieck's style either. Hence, arithmetic homotopy theory.
Correct or not, this overall impression was what I came away with
from the reading of R&S and my conversations with Faltings, and it became quite natural to start thinking about a workable approach to
Diophantine geometry that used homotopy groups. Since I'm rather afraid of extremes, it was pleasant to find out eventually that
one had to go back and find some middle ground between the anabelian and motivic philosophies to get definite results.
This is perhaps mostly a story about inspiration and inference, but I can't help feeling like I did apply R&S in some small way. (For a bit of an update, see my paper with Coates here.)
Added, 14 December: I've thought about this question on and off since posting, and now I'm quite curious about the bit of R&S I was referring to, but I no longer have access to the book. So I wonder if someone knowledgeable could be troubled to give a brief summary of what it is Grothendieck really says there about the six operations. I do remember there was a lot, and this is a question of mathematical interest.
Really Martin's comment should be the answer, but note Wikipedia also gives:
Alexander Grothendieck, 1984. "Esquisse d'un Programme", (1984 manuscript), finally published in Schneps and Lochak (1997, I), pp.5-48; English transl., ibid., pp. 243-283.
and the latter reference is :
Schneps, Leila; Lochak, Pierre, eds. (1997), Geometric Galois Actions I: Around Grothendieck's Esquisse D'un Programme, London Mathematical Society Lecture Note Series, 242, Cambridge University Press, ISBN 978-0-521-59642-8
(This even has an MR number!)
Best Answer
To dash off a quick answer, Pursuing Stacks is composed of (if memory serves correctly) three themes. The first was homotopy types as higher (non-strict) groupoids. This part was first considered in Grothendieck's letters to Larry Breen from 1975, and is mostly contained in the letter to Quillen which makes up the first part of PS (about 12 pages or so). Maltsiniotis has extracted Grothendieck's proposed definition for a weak $\infty$-groupoid, and there is work by Ara towards showing that this definition satisfies the homotopy hypothesis.
The other parts (not entirely inseparable) are the first thoughts on derivators, which were later taken up in great detail in Grothendieck's 1990-91 notes (see there for extensive literature relating to derivators, the first 15 of 19 chapters of Les Dérivateurs are themselves available), and the 'schematisation of homotopy types', which is covered by work of Toën, Vezzosi and others on homotopical algebraic geometry (e.g. HAG I, HAG II) using simplicial sheaves on schemes. This has taken off with work of Lurie, Rezk and others dealing with derived algebraic geometry, which is going far ahead of what I believe Grothendieck envisaged.
During correspondence with Grothendieck in the 80s, Joyal constructed what we now call the Joyal model structure on the category of
simplicial setssimplicial sheaves to give a basis to some of the ideas being tossed around at the time. (Edited 2022)Edit: I forgot something that is in PS, and that is the theory of localisers and modelisers, Grothendieck's conception of homotopy theory which you mention, which is covered in the work of Cisinski.
Edit 2019: Toën has a new preprint out
with abstract starting