A note on abelian quotient categories

From MaRDI portal
Publication:2300472



Abstract: Let C be a triangulated category with a Serre functor S and X a non-zero contravariantly finite rigid subcategory of C. Then X is cluster tilting if and only if the quotient category C/X is abelian and S(X)=X[2]. As an application, this result generalizes work by Beligiannis.


The following result was proved by [\textit{A. Beligiannis}, Math. Z. 274, No. 3--4, 841--883 (2013; Zbl 1279.18010)]. Theorem. Let \(\mathscr{C}\) be a connected triangulated category with a Serre functor \(\mathbb{S}\) and~\(\mathscr{X}\) a nonzero functorially finite rigid subcategory of \(\mathscr{C}\). Then \(\mathscr{X}\) is cluster tilting if and only if the quotient category \(\mathbb{S}/\mathscr{X}\) is abelian and \(\mathbb{S}(\mathscr{X}) = \mathscr{X}[2]\). Here, \(\mathscr{C}\) being connected means that \(\mathscr{C}\) does not decompose as a direct sum of two nonzero triangulated subcategories. The quotient category \(\mathbb{S}/\mathscr{X}\) has the same objects as \(\mathscr{C}\) and morphisms given by the equivalence classes of the relation \(f \sim g\) if and only if \(f - g\) factors through an object of \(\mathscr{X}\). In the present paper, the author manages to arrive at the same conclusion under weaker assumptions: Theorem. Let \(\mathscr{C}\) be a triangulated category with a Serre functor \(\mathbb{S}\) and \(\mathscr{X}\) a nonzero contravariantly finite subcategory of \(\mathscr{C}\). Then \(\mathscr{X}\) is cluster tilting if and only if the quotient category \(\mathbb{S}/\mathscr{X}\) is abelian and \(\mathbb{S}(\mathscr{X}) = \mathscr{X}[2]\).











This page was built for publication: A note on abelian quotient categories

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