English
Related papers

Related papers: Descent for quasi-coherent sheaves on stacks

200 papers

We compare the obstruction classes defined in arXiv:1101.4069 to those defined by Illusie. We also give sheaf theoretic proofs of some of the standard properties of the cotangent complex.

Algebraic Geometry · Mathematics 2011-02-16 Jonathan Wise

A quasi-schemoid is a small category with a particular partition of the set of morphisms. We define a homotopy relation on the category of quasi-schemoids and study its fundamental properties. As a homotopy invariant, the homotopy set of…

Category Theory · Mathematics 2014-10-27 Katsuhiko Kuribayashi

In this paper we prove first a general theorem on semiorthogonal decompositions in derived categories of coherent sheaves for flat families over a smooth base. Based on the results of math.AG/0510670, we then show that the derived…

Algebraic Geometry · Mathematics 2007-05-23 Alexander Samokhin

We prove a conjecture of Morel identifying Voevodsky's homotopy invariant sheaves with transfers with spectra in the stable homotopy category which are concentrated in degree zero for the homotopy t-structure and have a trivial action of…

Algebraic Geometry · Mathematics 2010-05-25 Frédéric Déglise

We define a sheaf of abelian groups whose cohomology is represented by the cotangent complex. We show how obstructions to some standard deformation problems arise as the classes of torsors under and gerbes banded by this sheaf.

Algebraic Geometry · Mathematics 2011-07-13 Jonathan Wise

The main goal of this paper is to establish close relations among sheaves of modules on atomic sites, representations of categories, and discrete representations of topological groups. We characterize sheaves of modules on atomic sites as…

Representation Theory · Mathematics 2025-05-07 Zhenxing Di , Liping Li , Li Liang , Fei Xu

A correspondence between quasicoherent sheaves on toric schemes and graded modules over some homogeneous coordinate ring is presented, and the behaviour of several finiteness properties under this correspondence is investigated.

Algebraic Geometry · Mathematics 2014-04-03 Fred Rohrer

Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira, after J. Curry has made the first link between persistent homology and sheaves. We prove the isometry theorem in…

Algebraic Topology · Mathematics 2023-01-25 Nicolas Berkouk , Grégory Ginot

Moerdijk's site description for equivariant sheaf toposes on open topological groupoids is used to give a proof for the (known, but apparently unpublished) proposition that if H is a strictly full subgroupoid of an open topological groupoid…

Category Theory · Mathematics 2013-07-01 Henrik Forssell

In this article, we prove the Hodge conjecture for a desingularization of the moduli space of rank 2, semi-stable, torsion-free sheaves with fixed odd degree determinant over a very general irreducible nodal curve of genus at least 2. We…

Algebraic Geometry · Mathematics 2022-05-10 Ananyo Dan , Inder Kaur

We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a…

Algebraic Topology · Mathematics 2010-03-15 Michael A. Shulman

We give a systematic construction of semiorthogonal decompositions of derived categories of coherent sheaves on quasi-smooth derived algebraic stacks over $\mathbb{C}$, where the summands are subcategories defined by weight conditions, and…

Algebraic Geometry · Mathematics 2026-05-26 Chenjing Bu , Tudor Pădurariu , Yukinobu Toda

Let $\Gamma$ be a finite Coxeter group with reflection representation $R$. We show that a $\Gamma$-equivariant quasicoherent sheaf on $R$ descends to the quotient space $R//\Gamma$ if it descends to the quotient space $R//\langle…

Representation Theory · Mathematics 2017-07-07 Gus Lonergan

We present a new proof of descent for stably dominated types in any theory, dropping the hypothesis of the existence of global invariant extensions. Additionally, we give a much simpler proof of descent for stably dominated types in…

Logic · Mathematics 2025-12-16 Pierre Simon , Mariana Vicaria

We extend the methods of geometric invariant theory to actions of non--reductive groups in the case of homomorphisms between decomposable sheaves whose automorphism groups are non--reductive. Given a linearization of the natural action of…

Algebraic Geometry · Mathematics 2007-05-23 J. M. Drezet , G. Trautmann

We develop a theory of $\times$-homotopy, fundamental groupoids and covering spaces that apply to non-simple graphs, generalizing existing results for simple graphs. We prove that $\times$-homotopies from finite graphs can be decomposed…

Combinatorics · Mathematics 2026-03-17 Tien Chih , Laura Scull

In this paper we introduce a generalisation of a covariant Grothendieck construction to the setting of sites. We study the basic properties of defined site structures on Grothendieck constructions as well as we treat the cohomological…

Category Theory · Mathematics 2022-11-11 Nikita Golub

Let G be a reductive algebraic group with a Borel subgroup B. We define the quasi-coherent Hecke category for the pair (G,B). For any regular Noetherian G-scheme X we construct a monoidal action of the Hecke category on the derived category…

Representation Theory · Mathematics 2015-10-27 Sergey Arkhipov , Tina Kanstrup

We show that the category of presheaves of simplicial groupoids on a site $\mathcal{C}$ is a right proper simplicial model category. We define $G$-torsor of presheaf of 2-groupoids $G$, presheaf of simplicial groups $G$ and presheaf of…

Algebraic Topology · Mathematics 2007-05-23 Zhi-Ming Luo

We describe an analogue of the notion of a perverse sheaf in the setting of the derived category of coherent sheaves on an algebraic stack. Under strong additional assumptions the construction of coherent "intersection cohomology" complexes…

Algebraic Geometry · Mathematics 2021-02-04 Dmitry Arinkin , Roman Bezrukavnikov