A categorification of the Cartan-Eilenberg formula (Q2071649)

The classical Cartan-Eilenberg formula [\textit{H. Cartan} and \textit{S. Eilenberg}, Homological algebra. Princeton, NJ: Princeton University Press (1956; Zbl 0075.24305), Theorem 10.1] presents the \(\mathrm{\operatorname{mod}}\) \(p\) cohomology of a finite group \(G\) as a subalgebra of the cohomology for any \(p\)-Sylow subgroup \(S\) of \(G\). The formalism of fusion systems provides a concise formula expressing the result in terms of the fusion category \(\mathcal{F}_{S}(G)\) as follows: \[ H^{\ast}(G,\mathbb{F}_{p})\simeq\mathrm{\lim_{P\in \mathcal{F}_{S}(G)^{\mathrm{op}}}}H^{\ast}(P,\mathbb{F}_{p}) \] The formula really holds for any cohomological Mackey functor \(\mathcal{M}\) [\textit{S. Park}, Commun. Algebra 45, No. 4, 1409--1415 (2017; Zbl 1372.20050)]: \[ \mathcal{M}(G)\simeq\mathrm{\lim_{P\in\mathcal{F}_{S}(G)^{\mathrm{op}}}}\mathcal{M}(P) \] The principal objective in this paper is to establish a categorical Cartan-Eilenberg formula (Theorem 3.9) for any \(p\)-monadic Mackey \(2\)-functor \(\mathcal{M}\): \[ \mathbb{M}(G)\cong\underset{P\in\widehat{\mathcal{T}} _{S}(G)^{\mathrm{op}}}{\mathrm{bilim}}\mathbb{M}(P) \] The left-hand is to stand, by way of example, for the categories of group representations \[ \mathbb{M}(G)=\operatorname{mod}(\mathbb{R}G) \] the stable categories of group representations \[ \mathbb{M}(G)=\mathrm{stmod}(\mathbb{R}G) \] or the derived categories of the group algebras \[ \mathbb{M}(G)=\mathrm{D}(kG) \] \(\mathbb{M}\) can be regarded as a \(2\)-functor \[ \mathbb{M}:(\boldsymbol{gpd}^{\mathrm{f}})^{\mathrm{op} }\rightarrow\boldsymbol{Cat} \] where \(\boldsymbol{gpd}^{\mathrm{f}}\) is the \(2\)-category of finite groupoids with faithful functors as \(1\)-morphisms and \(\boldsymbol{Cat}\) is the \(2\)-category of small categories. This categorification demands to replace the fusion category \(\mathcal{F} _{S}(G)\) by an extended transporter category \(\widehat {\mathcal{T}}_{S}(G)\) and the classical limit by a pseudo bilimit taken in the \(2\)-category of categories. The bilimit in Theorem 3.9 is reinterpretable, through a \(2\)-finality argument with recourse to the criterion in [\textit{J. Maillard}, ``On 2-final 2-functors'', Preprint, \url{arXiv:2101.08727}], as a descent-shaped bilimit, claiming that the functor \(\mathbb{M}\) is a \(2\)-sheaf, which admits of recovering the main theorem in [\textit{P. Balmer}, J. Eur. Math. Soc. (JEMS) 17, No. 1, 189--228 (2015; Zbl 1351.20004)]. The paper is based upon the author's PhD thesis under the supervision of \textit{I. Dell'Ambrogio} [J. Homotopy Relat. Struct. 5, No. 1, 319--358 (2010; Zbl 1278.19010)].