Related papers: Approximation of sheaves on algebraic stacks

We propose here a transcendantal proof of the coherence of the higher direct images of a coherent sheaf by a proper morphism of algebraic varieties, which does not use Chow's lemma nor any projective method. The main tool here are…

For any flat family of pure-dimensional coherent sheaves on a family of projective schemes, the Harder-Narasimhan type (in the sense of Gieseker semistability) of its restriction to each fiber is known to vary semicontinuously on the…

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…

For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We…

With the long-term goal of proving local structure theorems of algebraic stacks in positive characteristic near points with reductive (but possibly non-linearly reductive) stabilizer, we conjecture that quotient stacks of the form…

We characterize all fields of definition for a given coherent sheaf over a projective scheme in terms of projective modules over a finite-dimensional endomorphism algebra. This yields general results on the essential dimension of such…

We give a valuative criterion for when a smooth algebraic stack with a separated good moduli space is the quotient of a separated Deligne-Mumford stack by a torus. For doing so, we introduce a new class of morphisms, the so-called effective…

We give an explicit combinatorial description of the deformation theory of the Abelian category of (quasi)coherent sheaves on any separated Noetherian scheme $X$ via the deformation theory of path algebras of quivers with relations, by…

We generalize a construction of Barthel-Brasselet-Fieseler-Gabber-Kaup in the setting of complex varieties to the setting of finite type, complex algebraic stacks. Given two such stacks $\mathcal{X},\mathcal{Y}$ with affine stabilizers, and…

The paper contains general results on the uniqueness of a DG enhancement for triangulated categories. As a consequence we obtain such uniqueness for the unbounded categories of quasi-coherent sheaves, for the triangulated categories of…

For a scheme X, we construct a sheaf C of complexes on X such that for every quasi-compact open subset U of X, C(U) is quasi-isomorphic to the Hochschild complex of the scheme U. Since C is moreover acyclic for taking sections on…

We develop a theory of derived rigid spaces and quasi-coherent sheaves and analytic "stratifications" on them. Amongst other things, we obtain a six-functor formalism for these quasi-coherent sheaves and analytic stratifications. We provide…

We give a rigorous account and prove continuity properties for the correspondence between almost flat bundles on a triangularizable compact connected space and the quasi-representations of its fundamental group. For a discrete countable…

We introduce graded $\mathbb{E}_{\infty}$-rings and graded modules over them, and study their properties. We construct projective schemes associated to connective $\mathbb{N}$-graded $\mathbb{E}_{\infty}$-rings in spectral algebraic…

It is well known that the category of quasi-coherent sheaves on a gerbe banded by a diagonalizable group decomposes according to the characters of the group. We establish the corresponding decomposition of the unbounded derived category of…

The moduli spaces of stable sheaves on projective schemes admit certain gluing data of Kapranov's NC structures, which we call quasi NC structures. The formal completion of the quasi NC structure at a closed point coincides with the…

We prove a generalization of the Jacobian criterion of Fargues-Scholze for spaces of sections of a smooth quasi-projective variety over the Fargues-Fontaine curve. Namely, we show how to use their criterion to deduce an analogue for spaces…

Motivated by applications in moduli theory, we introduce a flexible and powerful language for expressing lower bounds on relative dimension of morphisms of schemes, and more generally of algebraic stacks. We show that the theory is robust…

The first author recently introduced a "nearby cycles formalism" in the framework of chain complexes of parity sheaves. In this paper, we compute this functor in two related settings: (i) affine space, stratified by the action of a torus,…

The affine Grassmannian is a noncompact smooth manifold that parameterizes all affine subspaces of a fixed dimension. It is a natural generalization of Euclidean space, points being zero-dimensional affine subspaces. We will realize the…