Related papers: Notes characterising higher and derived stacks con…

We extend Orlov's representability theorem on the equivalence of derived categories of sheaves to the case of smooth stacks associated to normal projective varieties with only quotient singularities.

We show that every scheme/algebraic space/stack that is quasi-compact with quasi-finite diagonal can be approximated by a noetherian scheme/algebraic space/stack. More generally, we show that any stack which is etale-locally a global…

We observe that for a quasi-compact and quasi-separated scheme the structure sheaf generates the perfect complexes if and only if the lattice of thick subcategories is distributive if and only if the affinization map is 0-affine. Examples…

For a smooth manifold $M$, it was shown in \cite{BPH} that every affine connection on the tangent bundle $TM$ naturally gives rise to covariant differentiation of multivector fields (MVFs) and differential forms along MVFs. In this paper,…

We introduce a new moduli stack, called the Serre stable moduli stack, which corresponds to studying families of point objects in an abelian category with a Serre functor. This allows us in particular, to re-interpret the classical derived…

We study differential forms and their higher-order generalizations by interpreting them as functions on map spaces. We get a series of approximations of "generalized manifolds" (i.e. of sheaves and stacks) somewhat akin to Taylor series.

Let X be an irreducible affine T-variety. We consider families of affine stable toric T-varieties over X and give a description of the corresponding moduli space as the quotient stack of an open subscheme in a certain toric Hilbert scheme…

We prove that the dg category of perfect complexes on a smooth, proper Deligne-Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of triangulated…

Let $X$ be a quasi-compact and quasi-separated scheme. There are two fundamental and pervasive facts about the unbounded derived category of $X$: (1) $\mathsf{D}_{\mathrm{qc}}(X)$ is compactly generated by perfect complexes and (2) if $X$…

The goal of this note is to spell out the (apparently well-known and intuitively clear) notion of abelian category over an algebraic stack. In the future we will discuss the (much less evident) notion, when instead of an abelian category…

In this paper, we construct in characteristic zero a derived foliation on derived mapping stacks $\underline{\mathbf{Map}}_S(X,Y)$, for $S$ a base derived stack, $X$ a proper schematic, flat, and local complete intersection derived stack…

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…

We define a derived enhancement of the hyperquot scheme (also known as nested Quot scheme), which classically parametrises flags of quotients of a perfect coherent sheaf on a projective scheme. We prove it is representable by a derived…

For a toric Deligne-Mumford (DM) stack, we can consider a certain generalization of the Frobenius endomorphism. For such an endomorphism on a two-dimensional toric DM stack, we show that the push-forward of the structure sheaf generates the…

The representability theorem for stacks, due to Artin in the underived setting and Lurie in the derived setting, gives conditions under which a stack is representable by an $n$-geometric stack. In recent work of Ben-Bassat, Kelly, and…

This paper deals with certain fundamental results about affine hulls and simplices in a real normed linear space. The framework of the paper is Bishop's constructive mathematics, which, with its characteristic interpretation of existence as…

The so called theory of derived D-modules is an extension of classical D-modules to derived algebraic geometry, which uses the derived information of the base scheme. We prove that the three different definitions of derived D-modules, given…

We propose a derived version of non-archimedean analytic geometry. Intuitively, a derived non-archimedean analytic space consists of an ordinary non-archimedean analytic space equipped with a sheaf of derived rings. Such a naive definition…

We remark that the combination of the works of Ben-Bassat-Brav-Bussi-Joyce and Alper-Hall-Rydh imply the conjectured local description of the moduli stacks of semi-Schur objects in the derived category of coherent sheaves on projective…

I introduce a class of diagrams in a Grothendieck site called "atlases" which can be used to study hyperdescent, and show that hypersheaves take atlases to limits using an indexed `nerve' construction that produces hypercovers from atlases.…