Torsion classes and t-structures in higher homological algebra
arXiv:1412.0214
Abstract
Higher homological algebra was introduced by Iyama. It is also known as -homological algebra where is a fixed integer, and it deals with -cluster tilting subcategories of abelian categories. All short exact sequences in such a subcategory are split, but it has nice exact sequences with objects. This was recently formalised by Jasso in the theory of -abelian categories. There is also a derived version of -homological algebra, formalised by Geiss, Keller, and Oppermann in the theory of -angulated categories (the reason for the shift from to is that angulated categories have triangulated categories as the "base case"). We introduce torsion classes and t-structures into the theory of -abelian and -angulated categories, and prove several results to motivate the definitions. Most of the results concern the -abelian and -angulated categories and associated to an -representation finite algebra , as defined by Iyama and Oppermann. We characterise torsion classes in these categories in terms of closure under higher extensions, and give a bijection between torsion classes in and intermediate t-structures in which is a category one can reasonably view as the -derived category of . We hint at the link to -homological tilting theory.
19 pages. Final accepted version to appear in International Mathematics Research Notices