From triangulated categories to abelian categories--cluster tilting in a general framework

In this paper, we show that the tilting modules over a cluster-tilted algebra $A$ lift to tilting objects in the associated cluster category $\mathcal{C}_H$. As a first application, we describe the induced exchange relation for tilting $A$-modules arising from the exchange relation for tilting object in $\mathcal{C}_H$. As a second application, we exhibit tilting $A$-modules having cluster-tilted endomorphism algebras.

Let $\C$ be an $(n+2)$-angulated category with shift functor $\Sigma$ and $\X$ be a cluster-tilting subcategory of $\C$. Then we show that the quotient category $\C/\X$ is an $n$-abelian category. If $\C$ has a Serre functor, then $\C/\X$ is equivalent to an $n$-cluster tilting subcategory of an abelian category $\textrm{mod}(\Sigma^{-1}\X)$. Moreover, we also prove that $\textrm{mod}(\Sigma^{-1}\X)$ is Gorenstein of Gorenstein dimension at most $n$. As an application, we gen...

Associated with some finite dimensional algebras of global dimension at most 2, a generalized cluster category was introduced in \cite{Ami3}, which was shown to be triangulated and 2-Calabi-Yau when it is $\Hom$-finite. By definition, the cluster categories of \cite{Bua} are a special case. In this paper we show that a large class of 2-Calabi-Yau triangulated categories, including those associated with elements in Coxeter groups from \cite{Bua2}, are triangle equivalent to ge...

The category of modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category C has been given two different descriptions: On the one hand, as shown by Osamu Iyama and Yuji Yoshino, it is equivalent to an ideal quotient of a subcategory of C. On the other hand, Aslak Buan and Robert Marsh proved that this module category is also equivalent to some localisation of C. In this paper, we give a conceptual interpretation, inspired from homotopical a...

Let $k$ be a field and $\mathcal{C}$ a $k$-linear, Hom-finite triangulated category with split idempotents. In this paper, we show that under suitable circumstances, the Grothendieck group of $\mathcal{C}$, denoted $K_0(\mathcal{C})$, can be expressed as a quotient of the split Grothendieck group of a higher-cluster tilting subcategory of $\mathcal{C}$. Assume that $n\geq 2$ is an even integer, $\mathcal{C}$ is $n$-Calabi Yau and has an $n$-cluster tilting subcategory $\mat...

In the preceding part (I) of this paper, we showed that for any torsion pair (i.e., $t$-structure without the shift-closedness) in a triangulated category, there is an associated abelian category, which we call the heart. Two extremal cases of torsion pairs are $t$-structures and cluster tilting subcategories. If the torsion pair comes from a $t$-structure, then its heart is nothing other than the heart of this $t$-structure. In this case, as is well known, by composing certa...

We shall show that the stable categories of graded Cohen-Macaulay modules over quotient singularities have tilting objects. In particular, these categories are triangle equivalent to derived categories of finite dimensional algebras. Our method is based on higher dimensional Auslander-Reiten theory, which gives cluster tilting objects in the stable categories of (ungraded) Cohen-Macaulay modules.

We investigate how to characterize subcategories of abelian categories in terms of intrinsic axioms. In particular, we find intrinsic axioms which characterize generating cogenerating functorially finite subcategories, precluster tilting subcategories, and cluster tilting subcategories of abelian categories. As a consequence we prove that any $d$-abelian category is equivalent to a $d$-cluster tilting subcategory of an abelian category, without any assumption on the categorie...

We show that the category of orbits of the bounded derived category of a hereditary category under a well-behaved autoequivalence is canonically triangulated. This answers a question by A. Buan, R. Marsh and I. Reiten which appeared in their study with M. Reineke and G. Todorov of the link between tilting theory and cluster algebras (closely related to work by Caldero-Chapoton-Schiffler) and a question by H. Asashiba about orbit categories. We observe that the resulting trian...

We show that an algebraic 2-Calabi-Yau triangulated category over an algebraically closed field is a cluster category if it contains a cluster tilting subcategory whose quiver has no oriented cycles. We prove a similar characterization for higher cluster categories. As a first application, we show that the stable category of maximal Cohen-Macaulay modules over a certain isolated singularity of dimension three is a cluster category. As a second application, we prove the non-ac...