Polygraphic homology of local systems (Q6547689)

The authors introduce the concept of polygraphic homology for strict \(\infty\)-categories with coefficients in a local system, extending the polygraphic homology with constant coefficients in \(\mathbb{Z}\) as initially developed by \textit{F. Métayer} [Theory Appl. Categ. 11, 148--184 (2003; Zbl 1020.18001)]. The authors demonstrate that the homology of a simplicial set with coefficients in a local system coincides with the polygraphic homology of its image under the left adjoint of the Street nerve, with coefficients in the corresponding local system. This result establishes a connection between simplicial homology and polygraphic homology in the context of local systems. Furthermore, the authors define a comparison morphism between the polygraphic homology of a strict \(\infty\)-category and the homology of its Street nerve. They prove that this morphism is an isomorphism for \(1\)-categories, providing a link between these two homological frameworks. However, this isomorphism does not hold universally for arbitrary \(\infty\)-categories. Despite this, the authors conjecture that an analogous construction within the framework of weak \(\infty\)-categories, in the sense of Grothendieck, would consistently yield an isomorphism.