Length 3 complexes of abelian sheaves and Picard 2-stacks (Q610666): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q2413454 |
Changed an Item |
||
Property / author | |||
Property / author: Ahmet Emin Tatar / rank | |||
Normal rank |
Revision as of 14:09, 1 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Length 3 complexes of abelian sheaves and Picard 2-stacks |
scientific article |
Statements
Length 3 complexes of abelian sheaves and Picard 2-stacks (English)
0 references
10 December 2010
0 references
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.
0 references
bigroupoid
0 references
abelian sheaf
0 references
butterfly
0 references
Picard 2-stack
0 references