English

Cellular cosheaf homology are cosheaf homology

Algebraic Topology 2022-02-09 v1 Category Theory

Abstract

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 a CW complex to the category of abelian groups. We show that given a cellular cosheaf FF, there is a natural way to associate a cosheaf F^\widehat{F}, for which we can define homology as the formal dual of sheaf cohomology, such that the Borel-Moore homology of FF is isomorphic to the homology of F^\widehat{F} whenever the underlying CW complex of FF is a simplicial complex.

Keywords

Cite

@article{arxiv.2202.03659,
  title  = {Cellular cosheaf homology are cosheaf homology},
  author = {Daisuke Kishimoto and Yasutomo Yushima},
  journal= {arXiv preprint arXiv:2202.03659},
  year   = {2022}
}

Comments

11 pages