-perpendicular wide subcategories
arXiv:2107.01141 · doi:10.1017/nmj.2023.16
Abstract
Let be a finite-dimensional algebra. A wide subcategory of is called left finite if the smallest torsion class containing it is functorially finite. In this paper, we prove that the wide subcategories of arising from -tilting reduction are precisely the Serre subcategories of left finite wide subcategories. As a consequence, we show that the class of such subcategories is closed under further -tilting reduction. This leads to a natural way to extend the definition of the "-cluster morphism category" of to arbitrary finite-dimensional algebras. This category was recently constructed by Buan-Marsh in the -tilting finite case and by Igusa-Todorov in the hereditary case.
v3: final version. v2: Removed Corollary 1.2a and added discussion of a counterexample as Remark 6.17, corrected errors in the proof of Theorem 1.3, and made other small changes to organization and exposition. 22 pages, 2 figures