Jacob Lurie's stuff seems to develop derived algebraic geometry via $E_\infty$ rings and/or maybe something like simplicial commutative rings. Ben Wieland's comment in this question indicates that Lurie never deals with commutative dg algebras. However, it is supposed to be true that all of these different things are the same (meaning more precisely that their model categories are Quillen equivalent) in characteristic zero.

So my question is:

Is the theory of derived algebraic geometry via dg rings or dg algebras in characteristic zero developed anywhere? If not, why not?

My motivations:

I feel like there must be a good reason why Lurie does not use dg rings/algebras, other than the fact that they apparently don't work well in positive characteristic. So I wonder what the reasons are.

I don't know very much about homotopy theory, so I find the $E_\infty$ rings approach to DAG a bit daunting. I am personally more comfortable with dg algebras.

I am personally more interested in things involving "sheaves of dg algebras" than things involving "sheaves of $E_\infty$ rings" (such as elliptic cohomology (and TMF), which I understand is one of Lurie's motivations).

`$E_\infty$`

rings" in characteristic zero, precisely because of the strong way in which they're known to have equivalent homotopy theories. I can't put words in Lurie's mouth, but I think that the answer to (1) really is that dg-objects don't cover many of the contexts homotopy theorists are interested in. You may just need to wait a little for references to come out that specialize Lurie's work to dg-algebras. $\endgroup$ – Tyler Lawson Aug 31 '10 at 2:19