Homology and cohomology of cubical sets with coefficients in systems of objects

arXiv2207.07233MaRDI QIDQ6405038FDOQ6405038

Publication date: 14 July 2022

Abstract: This paper continues the research of the author on the homology of cubical and semi-cubical sets with coefficients in systems. The main result is the theorem that the homology of cubical sets with coefficients in contravariant systems in an Abelian category with exact coproducts is isomorphic to the left satellites of a colimit functor. This made it possible to prove a number of the following new assertions, presented in the paper, about the homology and cohomology of cubical sets with coefficients in systems. These homology are invariant under morphism between cubical sets when passing to the direct image of the system of coefficients. There is a criterion for the invariance of these homologies when passing to the inverse image. These homology generalize the singular cubical homology with local coefficients and the homology of semi-cubical sets with coefficients in contravariant systems. There is a spectral sequence for colimit homologies of cubical sets with coefficients in contravariant systems. The weak equivalence of cubical sets induces an isomorphism of homology with local systems. For a morphism of cubical sets whose inverse fiber morphisms are weak equivalences, there exists a spectral sequence for homology with local systems converging to the homology of the domain of this morphism. The homology of small category with coefficients in a diagram can be calculated as cubical homology. The Baues-Wirsching cohomologies with coefficients in natural systems are isomorphic to cubical cohomologies with coefficients in covariant systems.

Mathematics Subject Classification ID

Chain complexes (category-theoretic aspects), dg categories (18G35) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Abelian categories, Grothendieck categories (18E10) Resolutions; derived functors (category-theoretic aspects) (18G10) Homology with local coefficients, equivariant cohomology (55N25) Abstract complexes in algebraic topology (55U05) Spectral sequences, hypercohomology (18G40) Homotopy equivalences in algebraic topology (55P10) Chain complexes in algebraic topology (55U15)

This page was built for publication: Homology and cohomology of cubical sets with coefficients in systems of objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6405038)