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

References in corpus (9)

• Diagram spaces and symmetric spectra
• Homology and Cohomology of E-infinity Ring Spectra
• Topological Hochschild homology and cohomology of A_\infty ring spectra
• Localization sequences for logarithmic topological Hochschild homology
• Logarithmic structures on topological K-theory spectra
• Logarithmic topological Hochschild homology of topological K-theory spectra
• Spectra of units for periodic ring spectra and group completion of graded E-infinity spaces
• Derived Logarithmic Geometry I
• Virtual vector bundles and graded Thom spectra