A note on abelian quotient categories (Q2300472)

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]\).