Support -tilting subcategories in exact categories

DOI10.1016/J.JALGEBRA.2023.08.031MaRDI QIDQ6054777zbMATH OpenFDO

Authors

Publication date 25 October 2023

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2301.10437

zbMATH Keywords

\(\tau\)-cotorsion pairsexact categoriessupport \(\tau\)-tilting subcategoriestilting subcategories

Mathematics Subject Classification ID

Representations of associative Artinian rings (16G10) Torsion theories; radicals on module categories (associative algebraic aspects) (16S90) Torsion theories, radicals (18E40) Categorical algebra (18E99)

Abstract: Let $mathcalE=(mathcalA,mathcalS)$ be an exact category with enough projectives $mathcalP$. We introduce the notion of support $au$-tilting subcategories of $mathcalE$. It is compatible with existing definitions of support $au$-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 $au$-tilting subcategories and certain $au$-cotorsion pairs. Given a support $au$-tilting subcategory $mathcalT$, we find a subcategory $mathcal{E}_{mathcalT}$ of $mathcalE$ which is an exact category and $mathcalT$ is a tilting subcategory of $mathcal{E}_{mathcalT}$. If $mathcalE$ is Krull-Schmidt, we prove the cardinal $|mathcalT|$ is equal to the number of isomorphism classes of indecomposable projectives $Q$ such that ${mHom}_{mathcalE}(Q,mathcalT)eq0$. We also show a functorial version of Brenner-Butler's theorem.

Review text

Let \(\mathcal{E = (A, S)}\) be an exact category, where \(\mathcal{A}\) is an additive category and \(\mathcal{S}\) is a class of kernel-cokernel pairs which satisfies axioms of \textit{T. Bühler} [Expo. Math. 28 (1), 1--69 (2010; Zbl 1192.18007), Definition 2.1]. An object \(P\in\mathcal{E}\) is called projective if the functor \(\mathrm{Hom}(P,-): \mathcal{E}\to\)Ab takes conflations to conflations. We say \(\mathcal{E}\) has enough projectives if for every object \(X\) there is a deflation \(P\to X\) with \(P\) projective. Now, let \(\mathcal{E = (A, S)}\) be an exact category with enough projectives \(P\). In the paper under review, the authors introduce the notion of support \(\tau\)-tilting subcategories of \(\mathcal{E}\). Note that, it is compatible with the existing definitions of support \(\tau\)-tilting modules (subcategories) in various contexts and it is also a generalization of tilting subcategories of exact categories. The authors show that there is a bijection between support \(\tau\)-tilting subcategories and certain \(\tau\)-cotorsion pairs. Moreover, given a support \(\tau\)-tilting subcategory \(\mathcal{T}\), they find a subcategory \(\mathcal{E_T}\) of \(\mathcal{E}\) which is an exact category and \(\mathcal{T}\) is a tilting subcategory of \(\mathcal{E_T}\). If \(\mathcal{E}\) is Krull-Schmidt exact category, the authors prove that 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}) \neq 0\). They also show a functorial version of Brenner-Butler's theorem.

Recommendations

• Tilting subcategories in extriangulated categories
• Relative rigid subcategories and \(\tau\)-tilting theory
• Support $\tau $-tilting modules and recollements
• scientific article; zbMATH DE number 7403643
• R-supports in tensor triangulated categories
• Support theory via actions of tensor triangulated categories
• scientific article; zbMATH DE number 1283975
• -tilting theory in abelian categories
• Subcategories induced by generalized tilting modules
• Quotients of exact categories by pseudo-cluster-tilting subcategories

Cites work

• \(\tau\)-tilting theory and \(\tau\)-slices
• -tilting theory in abelian categories
• -tilting theory.
• Addendum to ``Almost split sequences in subcategories
• Bifunctors and Adjoint Pairs
• Classifying exact categories via Wakamatsu tilting
• Cotorsion torsion triples and the representation theory of filtered hierarchical clustering
• Coxeter Functors Without Diagrams
• Exact categories
• Homological Theory of Representations
• scientific article; zbMATH DE number 3697330 (Why is no real title available?)
• scientific article; zbMATH DE number 3424078 (Why is no real title available?)
• Intermediate co-\(t\)-structures, two-term silting objects, \(\tau\)-tilting modules, and torsion classes
• Reduction of -tilting modules and torsion pairs
• Representation Theory of Artin Algebras II
• Right minimal morphisms in arbitrary Krull-Schmidt categories
• Silting modules
• Tilted Algebras
• Tilting subcategories in extriangulated categories
• Weak cotorsion, -tilting and two-term categories

Cited in

(2)

• A bijection between support τ -tilting subcategories and τ -cotorsion pairs in extriangulated categories
• Relative cluster tilting theory and -tilting theory

This page was built for publication: Support \(\tau\)-tilting subcategories in exact categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6054777)