Related papers: A remark on singular cohomology and sheaf cohomolo…
A classic result states that on any locally contractible and paracompact topological space, singular cohomology and sheaf cohomology are isomorphic. A result by Ramanan claims that the paracompactness assumption may be removed, but…
We describe explicitely the unique isomorphism $\mathrm{H}_{sin}^*(X,\underline{\mathbb{Z}})\xrightarrow{\sim} \check{\mathrm{H}}_{\mathcal{U}}^*(X,\underline{\mathbb{Z}})$ between the cohomologies computed with the singular and \v{C}ech…
Using geometric homology and cohomology we give a simple and conceptual proof of the Thom isomorphism theorem.
We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on…
Homotopy theory folklore tells us that the sheaf defining the cohomology theory Tmf of topological modular forms is unique up to homotopy. Here we provide a proof of this fact, although we claim no originality for the statement. This…
We compare the sheaf-theoretic and singular chain versions of Poincare duality for intersection homology, showing that they are isomorphic via naturally defined maps. Similarly, we demonstrate the existence of canonical isomorphisms between…
In this paper the cosheaf homology is investigated from different viewpoints: the behavior under site morphisms, connections with Cech homology via spectral sequences, and description of cosheaf homology using hypercoverings. It is proved…
We expand the toolbox of (co)homological methods in computational topology by applying the concept of persistence to sheaf cohomology. Since sheaves (of modules) combine topological information with algebraic information, they allow for…
A cosheaf is the dual notion of a sheaf, but we cannot define its homology as the formal dual of sheaf cohomology, in general, because of the lack of the cosheafification. A cellular cosheaf is a contravariant functor from the face poset of…
We give a sheaf-theoretic version of the universal coefficient theorem.
Let (M,F) be a foliated manifold. We study the relationship between the basic cohomology Hb(M,F) of the foliation and the De Rham cohomology H(DF) of the space of leaves M/F as a quotient diffeological space. We prove that for an arbitrary…
We study a variation of Carlsson and Zomorodian's persistent homology. As an application, we analyze the persistent cellular sheaf cohomology of network coding sheaves on deteriorating networks.
We explicitly describe cohomology of the sheaf of differential forms with poles along a semiample divisor on a complete simplicial toric variety. As an application, we obtain a new vanishing theorem which is an analogue of the…
We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…
Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse-theoretic…
We present a brief introduction to quantum sheaf cohomology, a generalization of quantum cohomology based on the physics of the (0,2) nonlinear sigma model.
We introduce the semi-infinite category of sheaves on the affine Grassmannian, and construct a particular object in it, which we call the the semi-infinite intersection cohomology sheaf. We relate it to several other entities naturally…
This paper affirms a conjecture of MacPherson: that the derived category of cellular sheaves is equivalent to the derived category of cellular cosheaves. We give a self-contained treatment of cellular sheaves and cosheaves and note that…
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…
We study sheaves of differential forms and their cohomology in the h-topology. This allows to extend standard results from the case of smooth varieties to the general case. As a first application we explain the case of singularities arising…