Length 3 complexes of abelian sheaves and Picard 2-stacks (Q610666): Difference between revisions

Let \(S\) be a site and \(D^{[-1,0]}(S)\) be the subcategory of the derived category of the category of complexes of abelian sheaves on \(S\) with cohomology concentrated in dimensions -1 and 0. Also let \(\text{Pic}^\flat(S)\) denote the category of Picard stacks over \(S\) with morphisms isomorphism classes of additive functors. In SGA4 (Exp. XVIII), Deligne showed that the functor from \(D^{[-1,0]}(S)\) to \(\text{ Pic}^\flat(S)\), which sends a length 2 complex of abelian sheaves to its associated stack, is an equivalence of categories. The aim of this paper is to generalise the above result to Picard 2-stacks over \(S\), and length 3-complexes. The picture is complicated by the higher order structure in this situation. the paper defines a tri-category \(T^{[-2,0]}\) of length 3 complexes of abelian sheaves in which the hom-bigroupoids consist of weak morphisms, and also a 3-category \(2\text{Pic}(S)\) of Picard 2-stacks , and then proves that these are tri-equivalent as tri-categories.