Abelian subcategories of triangulated categories induced by simple minded systems

TL;DR

This paper explores abelian subcategories induced by simple minded systems in triangulated categories, extending classical results to a broader setting involving $w$-simple minded systems and their tilting theory.

Contribution

It generalizes the concept of simple minded collections to $w$-simple minded systems and proves these induce abelian subcategories with tilting theory, even when not hearts of $t$-structures.

Findings

Extension closure of simple minded systems is abelian.

$w$-simple minded systems induce abelian subcategories.

Develops tilting theory for these abelian subcategories.

Abstract

If $k$ is a field, $A$ a finite dimensional $k$-algebra, then the simple $A$-modules form a simple minded collection in the derived category $\operatorname{D}^b( \operatorname{mod} A )$. Their extension closure is $\operatorname{mod} A$; in particular, it is abelian. This situation is emulated by a general simple minded collection $\mathcal{S}$ in a suitable triangulated category $\mathcal{C}$. In particular, the extension closure $\langle \mathcal{S} \rangle$ is abelian, and there is a tilting theory for such abelian subcategories of $\mathcal{C}$. These statements follow from $\langle \mathcal{S} \rangle$ being the heart of a bounded $t$-structure. It is a defining characteristic of simple minded collections that their negative self extensions vanish in every degree. Relaxing this to vanishing in degrees $\{ -w+1, \ldots, -1 \}$ where $w$ is a positive integer leads to the rich, parallel notion of $w$-simple minded systems, which have recently been the subject of vigorous interest. If $\mathcal{S}$ is a $w$-simple minded system for some $w \geqslant 2$, then $\langle \mathcal{S} \rangle$ is typically not the heart of a $t$-structure. Nevertheless, using different methods, we will prove that $\langle \mathcal{S} \rangle$ is abelian and that there is a tilting theory for such abelian subcategories. Our theory is based on Quillen's notion of exact categories, in particular a theorem by Dyer which provides exact subcategories of triangulated categories. The theory of simple minded systems can be viewed as "negative cluster tilting theory". In particular, the result that $\langle \mathcal{S} \rangle$ is an abelian subcategory is a negative counterpart to the result from (higher) positive cluster tilting theory that if $\mathcal{T}$ is a cluster tilting subcategory, then $( \mathcal{T} * \Sigma \mathcal{T} )/[ \mathcal{T} ]$ is an abelian quotient category.