Related papers: \'Etale d\'evissage, descent and pushouts of stack…

Using Nisnevich coverings and a Hilbert stack of stacky points, we prove \'etale d\'evissage results for non-representable \'etale and quasi-finite flat coverings. We give applications to absolute noetherian approximation of algebraic…

As already observed by Gabriel, coherent sheaves on schemes obtained by gluing affine open subsets can be described by a simple gluing construction. An example due to Ferrand shows that this fails in general for pushouts along closed…

Using the flatification by blow-up result of Raynaud and Gruson, we obtain new results for submersive and subtrusive morphisms. We show that universally subtrusive morphisms, and in particular universally open morphisms, are morphisms of…

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…

We continue our study on infinitesimal lifting properties of maps between locally noetherian formal schemes started in math.AG/0604241. In this paper, we focus on some properties which arise specifically in the formal context. In this vein,…

We prove a uniqueness result of dg-lifts for the derived pushforward and pullback functors of a flat morphism between separated Noetherian schemes, between the unbounded or bounded below derived categories of quasi-coherent sheaves. The…

Under mild hypotheses, given a scheme $U$ and an open subset $V$ whose complement has codimension at least two, the pushforward of a torsion-free coherent sheaf on $V$ is coherent on $U$. We prove an analog of this result in the context of…

We formalise the basics of the double-pushout approach to graph transformation in the proof assistant Isabelle/HOL and provide associated machine-checked proofs. Specifically, we formalise graphs, graph morphisms and rules, and a definition…

We study two classes of morphisms in infinite type: tamely presented morphisms and morphisms with coherent pullback. These are generalizations of finitely presented morphisms and morphisms of finite Tor-dimension, respectively. The class of…

For an abelian tensor category a stack is constructed. As an application we show that our construction can be used to recover a quasi-compact separated scheme from the category of its quasi-coherent sheaves. In another application, we show…

From descent theory to higher geometry, the idea of gluing has been embedded in many elegant and powerful techniques, proving instrumental for the solution of many problems. In this paper, we introduce a framework that allows to link…

The categories of almost modules and almost algebras are introduced as a convenient setting for the development of Faltings' method of almost etale extensions. After some preliminaries of general "almost homological algebra" we construct…

We use Tannakian methods to show that patching for coherent sheaves implies patching for objects in any Noetherian algebraic stack with affine stabilizers. Among other things, this gives a straightforward way to prove patching for torsors…

The stack of relative splittings of a special Azumaya algebra plays a key role in the Non-Abelian Hodge Theory for curves in positive characteristics. In this paper, we define and study an open substack consisting of the so-called very good…

We develop in this article flattening techniques for coherent sheaves in the realm of Berkovich spaces; we are inspired by the general strategy that Raynaud and Gruson have used for dealing with the analogous problem in scheme theory. As an…

We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of \'etale, smooth, or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove…

In this article, we derive many properties of \'etale stacks in various contexts, and prove that \'etale stacks may be characterized categorically as those stacks that arise as prolongations of stacks on a site of spaces and local…

Let X be a stratified space on which the Juteau-Mautner-Williamson theory of parity sheaves is available. We develop a "nearby cycles formalism" in the framework of the homotopy category of parity sheaves on X, also known as the mixed…

To any finite local embedding of Deligne--Mumford stacks $g: Y\to X$ we associate an \'etale, universally closed morphism $F_{Y/X}\to X$ such that for the complement $Y^2_X$ of the image of the diagonal $Y \to Y\times_XY$, the stack…

In this paper we prove formal glueing along an arbitrary closed substack $Z$ of an arbitrary Artin stack $X$ (locally of finite type over a field $k$), for the stacks of (almost) perfect complexes , and of $G$-bundles on $X$ (for $G$ a…