Related papers: Contraherent cosheaves on schemes

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 show for an affine variety $X$, the derived category of quasi-coherent $D$-modules is equivalent to the category of DG modules over an explicit DG algebra, whose zeroth cohomology is the ring of Grothendieck differential operators…

We study a category of Iwahori-equivariant modular perverse sheaves on some avatar of the semi-infinite flag variety, by adapting the work of Arkhipov-Bezrukavnikov-Braverman-Gaitsgory-Mirkovi\'c. We then construct a functor between the…

The unstraightening construction due to Lurie establishes an equivalence between presheaves and fibrations, using one prominent model of $(\infty,1)$-categories, namely quasi-categories. In this work we generalize this result by proving…

The dependence of torsion functors on their supporting ideals is investigated, especially in the case of monomial ideals of certain subrings of polynomial algebras over not necessarily Noetherian rings. As an application it is shown how…

We prove a general form of the statement that the cohomology of a quotient stack can be computed by the Borel construction. It also applies to the lisse extensions of generalized cohomology theories like motivic cohomology and algebraic…

We show that for a quasicompact quasiseparated scheme $X$, the following assertions are equivalent: (1) the category $\operatorname{QCoh}(X)$ of all quasicoherent sheaves on $X$ has a flat generator; (2) for every injective object $\mathcal…

This paper studies well-defindness and convergence of subdivision schemes which operate on Riemannian manifolds with nonpositive sectional curvature. These schemes are constructed from linear ones by replacing affine averages by the…

Bezrukavnikov (later together with Arinkin) recovered the work of Deligne defining perverse $t$-structures for the derived category of coherent sheaves on a projective variety. In this text we prove that these $t$-structures can be obtained…

We show that the cohomology table of any coherent sheaf on projective space is a convergent--but possibly infinite--sum of positive real multiples of the cohomology tables of what we call supernatural sheaves.

As a formulation of 'codimension-two arguments' in invariant theory, we define a (rational) almost principal bundle. It is a principal bundle off closed subsets of codimension two or more. We discuss the behavior of the category of…

Let $R$ be a commutative noetherian ring and $f: X \to \mathrm{Spec} R$ a proper smooth morphism, of relative dimension $n$. From Hartshorne, Residues and Duality, Springer, 1966, one knows that the trace map $\mathrm{Tr}_f :…

We investigate under which assumptions a subclass of flat quasi-coherent shea\-ves on a quasi-compact and semi-separated scheme allows to "mock" the homotopy category of projective modules. Our methods are based on module theoretic…

Let $C$ be an additive category with cokernels and let Mod($C$) be the category of additive functors from $C^{op}$ to the category Ab of abelian groups. Let mod($C$) be the full subcategory of Mod($C$) consisting of coherent functors. In…

For a finite group scheme, the subadditive functions on finite dimensional representations are studied. It is shown that the projective variety of the cohomology ring can be recovered from the equivalence classes of subadditive functions.…

We show that various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal are full subcategories of the related derived categories of modules. By the work of…

An analog of Kreimer's coproduct from renormalization of Feynman integrals in quantum field theory, endows an analog of Kontsevich's graph complex with a dg-coalgebra structure. The graph complex is generated by orientation classes of…

We study the category of Sp-equivariant modules over the infinite variable polynomial ring, where Sp denotes the infinite symplectic group. We establish a number of results about this category: for instance, we show that every finitely…

The quotient of a triangulated category modulo a subcategory was defined by Verdier. Motivated by the failure of the telescope conjecture, we introduce a new type of quotients for any triangulated category which generalizes Verdier's…

We show that the derived category of complexes with quasi-coherent cohomology on a regular Noetherian algebraic stack with quasi-finite diagonal is generated by a single perfect complex. In the concentrated case, the category is singly…