Publisher's Synopsis
The authors give a quick introduction to derived algebraic geometry (DAG) sampling basic constructions and techniques. They discuss affine derived schemes, derived algebraic stacks, and the Artin-Lurie representability theorem. Through the example of deformations of smooth and proper schemes, they explain how DAG sheds light on classical deformation theory. In the last two sections, the authors introduce differential forms on derived stacks, and then specialize to shifted symplectic forms, giving the main existence theorems proved in PTVV.