Related papers: Dualities between Cellular Sheaves and Cosheaves
We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves…
Over a smooth projective toric variety we study toric sheaves, that is, reflexive sheaves equivariant with respect to the acting torus, from a polyhedral point of view. One application is the explicit construction of the torus invariant…
We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…
We develop a unified sampling theory based on sheaves and show that the Shannon-Nyquist theorem is a cohomological consequence of an exact sequence of sheaves. Our theory indicates that there are additional cohomological obstructions for…
A Koszul duality-type correspondence between coderived categories of conilpotent differential graded Lie coalgebras and their Chevalley-Eilenberg differential graded algebras is established. This gives an interpretation of Lie coalgebra…
In this short paper we outline (mostly without proofs) our new approach to the derived category of sheaves of commutative DG rings. The proofs will appear in a subsequent paper. Among other things, we explain how to form the derived…
We outline an algorithm to recover the canonical (or, coarsest) stratification of a given finite-dimensional regular CW complex into cohomology manifolds, each of which is a union of cells. The construction proceeds by iteratively…
Contraherent cosheaves are globalizations of contraadjusted or cotorsion modules over commutative rings obtained by gluing together over a scheme, with the colocalization functors $\operatorname{Hom}_R(S,{-})$ used for the gluing (where $S$…
We examine the localizing subcategories of the derived category of quasi-coherent sheaves on the projective line over a field. We provide a complete classification of all such subcategories which arise as the kernel of a cohomological…
This is a large audience version of our previous work (see math.AG/0301146) in which we prove the existence of an (exact) equivalence between the category of coherent analytic sheaves and the category of $\bar{\partial}$-coherent sheaves.…
In this paper we show the existence of an action of Chow correspondences on the cohomology of reciprocity sheaves. In order to do so, we prove a number of structural results, such as a projective bundle formula, a blow-up formula, a Gysin…
Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…
In a first time we present a version of the Poincar{\'e}-Lefschetz theorem for certain cellular cosheaves on a particular subdivision of a CW-complex K. To that end we construct a cellular sheaf on K whose cohomology with compact support is…
We construct a twist-closed enhancement of the category ${\mathcal D}^b_{\rm coh}(X)$, the bounded derived category of complexes of ${\mathcal O}_X$-modules with coherent cohomology, by means of the DG-category of…
Given certain intersection cohomology sheaves on a projective variety with a torus action, we relate the cohomology groups of their tensor product to the cohomology groups of the individual sheaves. We also prove a similar result in the…
In this survey paper, we present \v{C}ech and sheaf cohomologies -- themes that were presented by Koszul in University of S\~ao Paulo during his visit in the late 1950s -- we present expansions for categories of generalized sheaves (i.e,…
We consider coherent and cohesive sheaves of $\cO$--modules over open sets $\Omega\subset\bC^n$. We prove that coherent sheaves, and certain other sheaves derived from them, are cohesive; and conversely, certain sheaves derived from…
We arrange morphisms and comorphisms of sites as the horizontal and vertical cells of a double category of sites; using the formalism of extensions and restrictions of presheaves, we explains how one can define a sheafification double…
To a coarse structure we associate a Grothendieck topology which is determined by coarse covers. A coarse map between coarse spaces gives rise to a morphism of Grothendieck topologies. This way we define sheaves and sheaf cohomology on…
For a coherent filtered D-module we show that the dual of each graded piece over the structure sheaf is isomorphic to a certain graded piece of the ring-theoretic local cohomology complex of the graded quotient of the dual of the filtered…