Lurie's "Virtual fundamental classes" and "Geometric derived stacks" In his thesis, Jacob Lurie mentioned two work in preparation (by him), namely "Virtual fundamental classes and the motivic sphere" and "Geometric derived stacks". Now that much is written in the DAG series and the two books (Higher Algebra and Higher Topoi), I'm wondering if anybody here know if these two papers are contained in the DAG series already or still yet to be written?
 A: In December 2005, Jacob Lurie visited Berkeley, and I asked him about the main results of the motivic sphere paper (N.B., his dissertation was from 2004).
He replied, "I cited it, but it does not exist."
It is possible that he wasn't completely serious.
A: I'm not sure I understand the question (unless it's intended as general curiosity about the progress of Lurie's work). I can see two legitimate options: 


*

*you are interested in a particular result and want to learn about it or apply it, in which case the answer is there are no documents circulating (AFAIK) beyond the vast amount on Jacob's homepage. Are you then looking for help finding a result there, in which case a specific question on MO is likely to provide an answer, or you know what you're looking for isn't there? - in the latter case, sadly I think the answer is you have to wait patiently for future publications like the rest of us.. (This is basically repeating Noah's comment.)

*you have your own ideas about a result that was announced as to appear in these manuscripts, and would like to know their status before working hard to complete or publish a result which may become obsolete. In this case I'd say realistically you should either change field or (much better option) not worry about whether your result will be subsumed by his work. Jacob's writing tends to subsume results of many people, it's an obvious danger of working in this (exciting and rapidly developing) field, but the community (judging from my experience) will still very much appreciate other takes, and given the great scope of things that Jacob is working on it's likely you can complete something before it appears. 
Of course if you're just starting to think about a problem it might be wiser to find your own questions rather than trying to prove something you saw announced in Jacob's thesis..
A: Lurie repeatedly cited "Virtual fundamental classes" for seemingly unrelated topics. I don't believe that he has yet returned to any of those topics. He cited "Geometric derived stacks" fewer times and more vaguely, so it is harder to track what happened. I think some of the material appeared in "DAG VIII: Quasi-Coherent Sheaves and Tannaka Duality Theorems," which got folded into the second book. I think he changed his plan and spread out that material, while the first paper has remained intact and just hasn't appeared yet.
A: It's worth noting that Lurie's thesis is not on his webpage, and is not regularly updated like the papers which are on is webpage.  I would take this to mean that you're supposed to be reading the current versions of this material in the DAG series, and not reading the 8 year old outline.
