Support $\tau$-tilting subcategories in exact categories

Abstract

Let $\mathcal{E}=(\mathcal{A},\mathcal{S})$ be an exact category with enough projectives $\mathcal{P}$. We introduce the notion of support $\tau$-tilting subcategories of $\mathcal{E}$. It is compatible with existing definitions of support $\tau$-tilting modules (subcategories) in various context. It is also a generalization of tilting subcategories of exact categories. We show that there is a bijection between support $\tau$-tilting subcategories and certain $\tau$-cotorsion pairs. Given a support $\tau$-tilting subcategory $\mathcal{T}$, we find a subcategory ${\mathcal{E}}_{\mathcal{T}}$ of $\mathcal{E}$ which is an exact category and $\mathcal{T}$ is a tilting subcategory of ${\mathcal{E}}_{\mathcal{T}}$. If $\mathcal{E}$ is Krull-Schmidt, we prove the cardinal $|\mathcal{T}|$ is equal to the number of isomorphism classes of indecomposable projectives $Q$ such that ${\mathrm{Hom}}_{\mathcal{E}}(Q,\mathcal{T})\ne 0$. We also show a functorial version of Brenner-Butler's theorem.

arXiv comment20 pages. There are some modifications in the published version on J. Alg

References in corpus (5)

• Reduction of $\tau$-tilting modules and torsion pairs
• Intermediate co-t-structures, two-term silting objects, tau-tilting modules, and torsion classes
• Cotorsion torsion triples and the representation theory of filtered hierarchical clustering
• Classifying exact categories via Wakamatsu tilting
• $\tau$-Tilting Theory and $\tau$-Slices