Length 3 complexes of abelian sheaves and Picard 2-stacks

From MaRDI portal
(Redirected from Publication:610666)



Abstract: We define a tricategory T of length 3 complexes of abelian sheaves, whose hom-bigroupoids consist of weak morphisms of such complexes. We also define a 3-category 2PIC(S) of Picard 2-stacks, whose hom-2-groupoids consist of additive 2-functors. We prove that these categories are triequivalent as tricategories. As a consequence we obtain a generalization of Deligne's analogous result about Picard stacks in SGA4, Exp. XVIII.


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.











This page was built for publication: Length 3 complexes of abelian sheaves and Picard 2-stacks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q610666)