On Deformation Theory in Higher Logarithmic Geometry

Abstract

We initiate the study of deformation theory in the context of derived and higher log geometry. After reconceptualizing the "exactification"-procedures in ordinary log geometry in terms of Quillen's approach to the cotangent complex, we construct an "exactified tangent bundle" over the category of log ring spectra. The fibers recover the categories of modules over the underlying ring spectra, and the resulting cotangent complex functor specializes to log topological André--Quillen homology on each fiber. As applications, we characterize log square-zero extensions and derive a log variant of étale rigidity, applicable to some tamely ramified extensions of ring spectra.

47 pages; comments are still welcome! Minor edits; to appear in J. Inst. Math. Jussieu