In order to develop the foundations of derived logarithmic geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log-étale maps, and use them to define derived log stacks.

We study the moduli space of a product of stable varieties over the field of complex numbers, as defined via the minimal model program. Our main results are: (a) taking products gives a well-defined morphism from the product of moduli spaces of stable varieties to the moduli space of a product of stable varieties; (b) this map is always finite étale; and (c) this map very often is an isomorphism. Our results generalize and complete the work of Van Opstall in dimension $1$. The local results rely on a study of the cotangent complex using some derived algebro-geometric methods, while the global ones use some differential-geometric input.

We study the deformation theory of algebraic stacks. The 2-category of deformations using Ext groups of the cotangent complex is described. Then we show that an algebraic stack has a versal deformation under certain conditions.

We give dimension formulas for the cotangent cohomology groups Ti for all rational surface singularities. The computations take place on the first blow-up of the singularity.

We construct a general semiregularity map for algebraic cycles as asked for by S. Bloch in 1972. The existence of such a semiregularity map has well known consequences for the structure of the Hilbert scheme and for the variational Hodge conjecture. Aside from generalizing and extending considerably previously known results in this direction, we give new applications to deformations of modules that encompass, for example, results of Artamkin and Mukai. The formation of the semiregularity map here involves powers of the cotangent complex, Atiyah classes, and trace maps, and is defined not only for subspaces of manifolds but for perfect complexes on arbitrary complex spaces. It generalizes in particular Illusie's treatment of the Chern character to the analytic context and specializes to Bloch's earlier description of the semiregularity map for locally complete intersections as well as to the infinitesimal Abel–Jacobi map for submanifolds.