Formal Derived Algebraic Geometry
arXiv:2412.13506
Abstract
We develop some foundations for the theory of formal derived algebraic geometry, which parallel the theory of formal spectral algebraic geometry by Jacob Lurie. For this, we establish a close connection between algebro-geometric objects in the derived and spectral settings. We apply this construction to prove a version of the formal GAGA theorem in the derived setting.
23 pages, comments welcome; replacing arXiv:2412.13506v1 (containing some errors) with some parts added