Related papers: Derived algebras on formal stacks and prismatic ga…
We develop the basic theory of derived quasi-coherent ideals for stacks relative to a given derived algebraic context. We compare different notions of adic completeness with respect to derived ideals, define and compare formal spectra and…
This work studies $t$-structures for the derived category of quasi-coherent sheaves on a quasi-compact quasi-separated algebraic stack. Specifically, using Thomason filtrations, we classify those $t$-structures which are generated by…
In this paper we prove the existence of an algebraic model for quasi-coherent sheaves on certain non-connective geometric stacks arising in stable homotopy theory and spectral algebraic geometry using the machinery of adapted homology…
Raynaud--Gruson characterized flat and pure morphisms between affine schemes in terms of projective modules. We give a similar characterization for non-affine morphisms. As an application, we show that every quasi-coherent sheaf is the…
In this brief note, we investigate graded functions of linear stacks in derived geometry. In particular, we show that under mild assumptions, we can recover a quasi-coherent sheaf on a derived stack from the data of the…
We develop a theory of unbounded derived categories of quasi-coherent sheaves on algebraic stacks. In particular, we show that these categories are compactly generated by perfect complexes for stacks that either have finite stabilizers or…
Gerstenhaber and Schack ([GS]) developed a deformation theory of presheaves of algebras on small categories. We translate their cohomological description to sheaf cohomology. More precisely, we describe the deformation space of (admissible)…
We study the question of whether the Brauer group is isomorphic to the cohomological one in spectral algebraic geometry. For this, we prove the compact generation of the derived category of twisted sheaves for quasi-compact spectral…
We define graded, quasi-coherent $\mathcal{O}_S$-algebras over a given base derived scheme $S$, and show that these are equivalent to derived $\mathbb{G}_{m,S}$-schemes which are affine over $S$. We then use this $\mathbb{G}_{m,S}$-action…
This is the second of series of papers on the study of foliations in the setting of derived algebraic geometry based on the central notion of derived foliation. We introduce sheaf-like coefficients for derived foliations, called…
We study twisted derived equivalences for schemes in the setting of spectral algebraic geometry. To this end, we introduce the notion of a twisted equivalence and show that a twisted equivalence for perfect spectral algebraic stacks…
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 main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…
Let $Y$ be a locally complete intersection over $\mathcal{O}_K$ containing a $p$-power root of unity $\zeta_p$. We classify the derived category of prismatic crystals on the absolute prismatic site of $Y$ by studying quasi-coherent…
We develop the notion of indscheme in the context of derived algebraic geometry, and study the categories of quasi-coherent sheaves and ind-coherent sheaves on indschemes. The main results concern the relation between classical and derived…
This work focuses on approximation and generation for the derived category of complexes with quasi-coherent cohomology on algebraic stacks. Our methods establish that approximation by compact objects descends along covers that are…
The central aim of this monograph is to provide decomposition results for quasi-coherent sheaves on the moduli stack of one-dimensional formal groups. These results will be based on the geometry of the stack itself, particularly the height…
These are notes on derived algebraic geometry in the context of animated rings. More precisely, we recall the proof of To\"en-Vaqui\'e that the derived stack of perfect complexes is locally geometric in the language of $\infty$-categories.…
In this paper we present an approach to quadratic structures in derived algebraic geometry. We define derived n-shifted quadratic complexes, over derived affine stacks and over general derived stacks, and give several examples of those. We…
In this note, we introduce and study the Cartier--Witt stack $\mathrm{WCart}_X$ attached to a $p$-adic formal scheme $X$ as well as some variants. In particular, we reinterpret the notion of prismatic crystals on $X$ and their cohomology in…