Affineness and reconstruction in complex-periodic geometry

TL;DR

This paper develops a foundational framework for affineness and local descendability in derived algebraic geometry, applying it to spectral stacks and using chromatic homotopy theory to identify large classes of reconstructible stacks.

Contribution

It introduces a spectral approach to affineness, constructs a spectral refinement of Hopkins' stack, and characterizes reconstructible stacks via global sections.

Findings

Established a spectral category of stacks over $ ext{E}_ty$ rings.

Generalized 0-affineness to a broad class of spectral stacks.

Identified conditions under which stacks are determined by their global sections.

Abstract

Working in a generic derived algebro-geometric context, we lay the foundations for the general study of affineness and local descendability. When applied to $\mathbf{E}_\infty$ rings equipped with the fpqc topology, these foundations give an $\infty$-category of spectral stacks, a viable functor-of-points alternative to Lurie's approach to nonconnective spectral algebraic geometry. Specializing further to spectral stacks over the moduli stack of oriented formal groups, we use chromatic homotopy theory to obtain a large class of $0$-affine stacks, generalizing Mathew--Meier's famous $0$-affineness result. We introduce a spectral refinement of Hopkins' stack construction of an $\mathbf{E}_\infty$ ring, and study when it provides an inverse to the global sections of a spectral stack. We use this to show that a large class of stacks, which we call reconstructible, are naturally determined by their global sections, including moduli stacks of oriented formal groups of bounded height and the moduli stack of oriented elliptic curves.