Abstract
Advances in Mathematics, Volume 403, 16 July 2022 A theory of dg schemes is developed so that it becomes a homotopy site, and
the corresponding infinity category of stacks is equivalent to the infinity
category of stacks, as constructed by Toen and Vezzosi, on the site of dg
algebras whose cohomologies have finitely many generators in each degree.
Stacks represented by dg schemes are shown to be derived schemes under this
correspondence.