Explicit HRS-tilting

Torsion theory for commutative rings (13D30) Representations of associative Artinian rings (16G10) Representations of quivers and partially ordered sets (16G20) Abelian categories, Grothendieck categories (18E10) Torsion theories, radicals (18E40) Chain complexes (category-theoretic aspects), dg categories (18G35)

Abstract: For an abelian category

A

equipped with a torsion pair, we give an explicit description for the abelian category

B

introduced by Happel-Reiten-Smalo, and also for the category of chain complexes

C h (B)

and the derived category

D (B)

of

B

. We also describe the DG structure on

C h (B)

. As a consequence, we find new proofs of certain results of Happel-Reiten-Smalo. The main ingredient is the category of {em decorated} complexes.

Review text

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.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Explicit HRS-tilting

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