Derived logarithmic deformation theory and moduli stacks of derived logarithmic structures

Abstract

This paper investigates the derived and spectral analogs of logarithmic geometry. We develop the deformation theory for animated log rings and $\mathbb{E}_\infty$-log rings and examine the corresponding theories of derived and spectral log stacks. Furthermore, we define moduli stacks for derived and spectral log structures and establish their representability. As an application, we will construct $\infty$-root stacks in the derived and spectral settings and study the associated geometric properties.

Theorems & Definitions (305)

• Theorem 1.1
• Remark 1.2
• Theorem 1.3
• Theorem 1.4
• Definition 1.5
• Definition 1.6: Definition\ref{['LDER']}
• Definition 1.7
• Theorem 1.8: Corollary\ref{['obstruction']}
• Theorem 1.9: Proposition\ref{['strictetalerig']}
• Theorem 1.10: Theorem\ref{['algebraicity']} and Theorem\ref{['algebraicityani']}