Extensions of Picard stacks and their homological interpretation (Q716444)

The author studies extensions of strictly commutative Picard \(\mathbb{S}\)-stacks for a site \(\mathbb{S}\). The notions introduced and used here follow a standard way: An extension \(\mathcal{E}=(\mathcal{E}, I, J):\mathcal{Q}\to \mathcal{E}\to \mathcal{P}\) of \(\mathcal{P}\) by \(\mathcal{Q}\) consists of a strictly commutative Picard \(\mathbb{S}\)-stack \(\mathcal{E}\) and two additive functors \(I\) and \(J\) such that \(J\circ I\) is naturally isomorphic to \(0\) and some conditions are satisfied. These conditions state that \(I\) is the kernel of \(J\) and \(J\) is the cokernel of \(I\). A naturally equivalence relation on extensions is introduced (Definition 3.3) in order to define the 2-category \(\mathcal{E}xt(\mathcal{P},\mathcal{Q})\) which consists of all extensions of \(\mathcal{P}\) by \(\mathcal{Q}\) such that the 1-arrows are additive functors between extensions and 2-arrows are morphisms of additive functors. Then \(\mathcal{E}xt^1(\mathcal{P},\mathcal{Q})\) is defined as the group of equivalence classes of objects in \(\mathcal{E}xt(\mathcal{P},\mathcal{Q})\), \(\mathcal{E}xt^0(\mathcal{P},\mathcal{Q})\) is the group of isomorphism classes of arrows from objects in \(\mathcal{E}xt(\mathcal{P},\mathcal{Q})\) and \(\mathcal{E}xt^{-1}(\mathcal{P},\mathcal{Q})\) is the group of automorphisms of an arrow from an object of \(\mathcal{E}xt(\mathcal{P},\mathcal{Q})\). In the main result of the paper (Theorem 0.1) it is proved that these groups can be computed in the derived category \(\mathcal{D}(\mathbb{S})\).