Formal Derived Algebraic Geometry
Algebraic Geometry
2025-05-14 v3
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.
Cite
@article{arxiv.2412.13506,
title = {Formal Derived Algebraic Geometry},
author = {Chang-Yeon Chough},
journal= {arXiv preprint arXiv:2412.13506},
year = {2025}
}
Comments
23 pages, comments welcome; replacing arXiv:2412.13506v1 (containing some errors) with some parts added