Explicit HRS-tilting (Q1016429)

The main aim of the paper is to present an alternative (and explicit) description for the tilted abelian category associated to an abelian category equipped with a torsion pair. The main ingredient is the category of decorated complexes. Let \({\mathcal A}\) be an abelian category and \(({\mathcal T},{\mathcal F})\) be a torsion theory in \({\mathcal A}\). Denote by \({\mathcal B}\) the tilted category associated to \({\mathcal A}\), which has as objects complexes concentrated in degrees \([-1,0]\) and as homomorphisms some commutative diagrams, called ``butterfly diagrams''. We also can associate to \({\mathcal A}\) some ``decorated complexes'' which are pairs \((E^\bullet, M^\bullet)\), where \(E^\bullet\) is a complex and \(M^\bullet\) is a family of subobjects \(M^n\subseteq C^n\), where \(C^n\) are the objects of \(E^\bullet\). Usually, the subobjects in \(M^\bullet\) do not satisfy any compatibility condition with respect to the differentials. However, an important role is played by some special decorated complexes which are compatible with respect to the torsion theory \(({\mathcal T},{\mathcal F})\). One of the main result of the paper states that the derived category of \(B\) is equivalent to \({\mathcal C}h({\mathcal A},{\mathcal T},{\mathcal F})/\text{qis}\) [qis = quasiisomorphism], where \({\mathcal C}h({\mathcal A},{\mathcal T},{\mathcal F})\) denotes the full category of the category of decorated complexes whose objects are decorated complexes which are compatible with respect to the torsion theory. The paper presents many other interesting results and points of view. For instance, an alternative description of complexes in \({\mathcal B}\) (subsection 6.3) and an iterating construction for \({\mathcal B}\) (section 8). In the end of the paper the DG structure associated to the categories \({\mathcal C}h({\mathcal B})\) and \({\mathcal C}h({\mathcal A},{\mathcal T},{\mathcal F})\) is investigated.