Cohomology with coefficients in stacks of abelian 2-groups (Q1934982): Difference between revisions

Jibladze and Pirashvili construct a cohomology of stacks \(\mathbf{H}^{\ast}(X,-)\) over topological spaces \(X\). For \(\mathcal{F}\) a stack of abelian 2-groups, the set of components \(\pi^0 \mathbf{H}^n(X, \mathcal{F})\) is an abelian group \(H^n_U(X, \mathcal{F})\), \(n \in \mathbb{Z}\). For a sheaf \(\mathcal{F}\) considered as a discrete stack, those groups coincide with sheaf cohomology. Starting from a 2-cochain complex \((\mathbb{A}_*,d,\partial)\), \textit{A. del Rio, J. Martinez-Moreno} and \textit{E. M. Vitale} [J. Pure Appl. Algebra 196, No. 2--3, 279--312 (2005; Zbl 1068.18015)] defined abelian 2-groups \(\mathbf{H}^*(\mathbb{A}_*)\). Using this formalism, for a prestack \(\mathcal{P}\) on \(X\) and Bereshvili covers over it, M. Jibladze and T. Pirashvili obtain abelian 2-groups \(\mathbf{H}^*(X, \mathcal{P})\) and abelian groups \(H^*_U(X, \mathcal{P})\) that are proven to be determined by the associated stack \(\mathcal{P}^+\). Using Bereshvili covers, for any space \(X\), any sheaf \(\mathcal{F}\), there is a canonical isomorphism \(H^*(X, \mathcal{F}) \cong \text{Ext}^*_{Sh(X)}(\mathbb{Z}, \mathcal{F})\) [\textit{G.D. Borisvili}, Soobshch. Akad. Nauk Gruz. SSR 41, 19--25 (1966; Zbl 0187.20203)]. The authors generalize this result to the level of stack cohomology: owing to the fact that the abelian 2-category of abelian 2-groups has enough injectives, one can define secondary right derived 2-functors, hence secondary derived 2-functors \(\mathbf{Ext}^*\) [\textit{T. Pirashvili}, ``On abelian 2-categories and derived 2-functors'', \url{arXiv: 1007.4138}]. Doing this for stacks \(\mathcal{F}_1\) and \(\mathcal{F}_2\), the authors consider abelian 2-groups \(\mathbf{Ext}^*_{St(X)}(\mathcal{F}_1, \mathcal{F}_2)\). If \(\Phi\) is the Picard category, an abelian 2-group generalizing \(\mathbb{Z}\) in 2-d algebra, \(\mathcal{F}\) a stack, they prove there is a natural equivalence \(\mathbf{Ext}^*_{St(X)}(\Phi, \mathcal{F}) \cong \mathbf{H}^*(X, \mathcal{F})\).