General heart construction on a triangulated category. I: Unifying \(t\)-structures and cluster tilting subcategories (Q409251): Difference between revisions

Let \(\mathcal C\) be a triangulated category. The pair \((\mathcal U,\mathcal V)\) of thick full subcategories of \(\mathcal C\) is a cotorsion pair if \(\text{Ext}(\mathcal U,\mathcal V)=0\), and for any \(C\in \mathcal C\) there exists a distinguished triangle \(U\to C\to V[1]\to U[1]\) such that \(U\in \mathcal U\) and \(V\in \mathcal V\). The author defines the additive full subcategories \(\mathcal C^+\) and \(\mathcal C^-\) of \(\mathcal C\) containing \(\mathcal U\cap\mathcal V\) and satisfying \(\mathcal C^+\supseteq \mathcal V[1]\) and \(\mathcal C^-\supseteq \mathcal U[-1]\). Then the quotient category \(\underline{\mathcal H}:=(\mathcal C^+\cap \mathcal C^-)/(\mathcal U\cap\mathcal V)\) is called the \textit{heart} of \(\mathcal C\), and the main result of the paper states that \(\underline{\mathcal H}\) is an abelian category. This construction unifies results of Keller and Reiten, where the cotorsion pair comes from a cluster tilting subcategory, and of Koenig and Zhu, where the cotorsion pair comes from a \(t\)-structure.