Derived Algebraic Geometry

The purpose of this document is to establish the foundations for a theory of derived algebraic geometry based upon simplicial commutative rings. We define derived versions of schemes, algebraic spaces, and algebraic stacks. Our main result is a derived analogue of Artin's representability theorem, which provides a precise criteria for the representability of a moduli functor by geometric objects of these types.