General heart construction for twin torsion pairs on triangulated categories (Q351420)

Let \(\mathcal C\) triangulated category. Recently, the author [Appl. Categ. Struct. 19, 879--899 (2011; Zbl 1254.18011)] constructed an abelian category from any torsion pair on \(\mathcal C\), generalizing the heart of a \(t\)-structure and the ideal quotient by a cluster tilting subcategory. Moreover, \textit{A. B. Buan} and \textit{R. J. Marsh} [J. Lond. Math. Soc., II. Ser. 86, No. 1, 152--170 (2012; Zbl 1291.16003); corrigendum 87, No. 2, 643 (2013; Zbl 1262.16006)] showed how an integral preabelian category can be constructed as a quotient, from a rigid object in \(\mathcal C\), generalizing the quotient by a cluster tilting subcategory. The present paper gives a common generalization of these two constructions. A pair of cotorsion pairs \(((\mathcal X,\mathcal Y),(\mathcal X',\mathcal Y'))\) on \(\mathcal C\) is called a twin cotorsion pair if \(\mathcal C(\mathcal X,\mathcal Y') =0\). In this case, set \(\underline{\mathcal H}:=((\mathcal X\ast \tilde{\mathcal W})\cap (\tilde \mathcal W\ast \mathcal Y'[1]))/\tilde \mathcal W\), where \(\tilde \mathcal W:=\mathcal X'[1]\cap \mathcal Y\). With these notations, the main results of the paper read as follows. Let \(((\mathcal X,\mathcal Y),(\mathcal X',\mathcal Y'))\) be a twin cotorsion pair on \(\mathcal C\). Then \(\underline{\mathcal H}\) becomes a semi-abelian category. If, in addition, \(\mathcal X'[1]\subseteq \mathcal X[1]\ast \mathcal Y\) or \(\mathcal Y\subseteq \mathcal X'[1]\ast Y'\), then \(\underline{\mathcal H}\) becomes integral.