Quasi-abelian hearts of twin cotorsion pairs on triangulated categories (Q2312863)

A cotorsion pair is a unifying concept of a \(t\)-structure on a triangulated category and cluster tilting subcategory [\textit{H. Nakaoka}, Appl. Categ. Struct. 19, No. 6, 879--899 (2011; Zbl 1254.18011)]. Both these structure could extra a suitable abelian category from a triangulated category. A twin cotorsion pair are two cotorsion pairs \((\mathcal S,\mathcal T)\) and \((\mathcal U,\mathcal V)\) with some \(\mathcal S\subseteq \mathcal U\). In general, the associated heart of a twin cotorsion pair is a semi-abelian but not an abelian categories anymore [\textit{H. Nakaoka}, J. Algebra 374, 195--215 (2013; Zbl 1309.18011)]. A quasi-abelian category is an additive category which has kernels and cokernels, and in which kernels are stable under push-out and cokernels are stable under pullback. In this article, the author proves that the heart \(((\Sigma^{-1}\mathcal S\ast \mathcal W)\cap (\mathcal W\ast \Sigma\mathcal V))/[\mathcal W]\) of a twin cotorsion pair \(((\mathcal S,\mathcal T),(\mathcal U,\mathcal V))\) of a triangulated category \((\mathcal C, \Sigma)\) is a quasi-abelian category under the assumption that \[ (\Sigma^{-1}\mathcal S\ast \mathcal W)\cap (\mathcal W\ast \Sigma\mathcal V)=(\Sigma^{-1}\mathcal S\ast \mathcal W) \text{ or }(\mathcal W\ast \Sigma\mathcal V) \] where \(\mathcal W=\mathcal T\cap \mathcal U\). As applications, the above main result could result a quasi-abelian category from a cluster category \(\mathcal C\) with a rigid object \(R\). Moreover, the author obtains a new proof of an equivalence between the localisation of this quasi-abelian category and a certain subfactor category of \(\mathcal C\) by some class of morphisms.