Extension, restriction and picard-brauer exact sequences for torsion theories (Q4380604)

Two idempotent kernel endofunctors \(\sigma\) and \(\tau\) of a Grothendieck category \({\mathcal C}\) are said to be compatible if \(\sigma Q_\tau =Q_\tau \sigma\) where \(Q_\tau\) is the left adjoint of the inclusion functor of the full subcategory of all \(\tau\)-closed objects. For an adjoint pair \(F:{\mathcal C} \to {\mathcal D}\), \(G:{\mathcal D} \to {\mathcal C}\) with \(\alpha\) as the unit of adjunction and an idempotent kernel endofunctor \(\tau\) of \({\mathcal D}\) the idempotent kernel endofunctor \(\tau^e\) defined by \(\tau^e (M)= \alpha^{-1}_M (Q_\tau F(M))\) is called the extension of \(\tau\). The endofunctor \(M\vdash a(M) =\text{ker} \alpha_M\) is also an idempotent kernel functor. If \(FG=1\) and \(\sigma\) is an idempotent kernel endofunctor of \({\mathcal C}\) compatible with \(a\), then the endofunctor \(\sigma^r =F \sigma G\) of \({\mathcal D}\) is also an idempotent kernel functor, called the restriction of \(\sigma\). It is proved that under some mild conditions both the restriction and the extension of torsion theories preserve the compatibility. Furthermore, two idempotent kernel endofunctors of \({\mathcal D}\) are compatible iff their extensions are compatible in \({\mathcal C}\). If both \({\mathcal C}\) and \({\mathcal D}\) are symmetric closed Grothendieck categories, then some relations between exact sequences of Picard and Brauer groups for the extension and restriction of torsion theories are obtained.