Mackey functors for posets (Q6984057)

Derived functors of limits and colimits play an important role in many topics in mathematics. Specifically, homological algebra and homotopy theory. Of particular importance are the cases where the higher derived functors of a given functor vanish in positive degrees, or even above some finite degree, because in such cases certain computations become feasible.\N\NIn this paper the authors investigate functors defined over filtered posets that take values in the category \(\mathrm{Ch}(R)\) of unbounded chain complexes over a commutative unital ring \(R\). They endow the category \(\mathrm{Fun}(\mathcal{P}, \mathrm{Ch}(R))\) of such objects with a model category, such that a functor \(F\colon\mathcal{P}\to R-\mathrm{mod}\) is cofibrant if and only if it is pseudo-projective, a technical condition introduced by in an earlier paper by the second author. In particular they show that such functors \(F\) are colim-acyclic, namely that the derived functors of the colimit for \(F\) vanish.\N\NA classical example of functors that are lim-acyclic that arises in cohomology theory of finite groups is that of Mackey functors. Inspired by this, the authors define Mackey functors on filtered posets that are meet semi-lattices. A slightly weaker version of the concept allows them to conclude that such functors are colim acyclic. An easy application to topology is that if one considers a functor from a filtered meet semi-lattice to Simplicial Sets, such that the induced functor on cohomology is a weak Mackey functor, then the homology of the homotopy colimit of this functor is given by the colimit of the homology of the functor over the poset. As a specific application they then apply the theory to provide a homology decomposition for the classifying space of the Bianchi group \(\Gamma_1 = PSL_2(\mathbb{Q}(\sqrt{-1})\).