Tilting preenvelopes and cotilting precovers in general abelian categories

DOI10.1007/S10468-022-10126-5MaRDI QIDQ6133690zbMATH OpenFDO

Authors Carlos E. Parra, Manuel Saorín, Simone Virili

Publication date 21 August 2023

Published in Algebras and Representation Theory (Search for Journal in Brave)

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

zbMATH Keywords

tiltingabelian categoryuniversal extensionprecoveringcotiltingpreenveloping

Mathematics Subject Classification ID

Module categories in associative algebras (16D90) Abelian categories, Grothendieck categories (18E10) Torsion theories, radicals (18E40)

Abstract: We consider an arbitrary Abelian category $mathcalA$ and a subcategory $mathcalT$ closed under extensions and direct summands, and characterize those $mathcalT$ that are (semi-)special preenveloping in $mathcalA$; as a byproduct, we generalize to this setting several classical results for categories of modules. For instance, we get that the special preenveloping subcategories $mathcalT$ of $mathcalA$ closed under extensions and direct summands are precisely those for which ${(}_{}^{per{p}_1}mathcalT,mathcalT)$ is a right complete cotorsion pair, where ${}_{}^{per{p}_1}mathcalT:=extKer(ext{Ext}_{mathcalA}^1(-,mathcalT))$. Particular cases appear when $mathcalT=V^{per{p}_1}:=extKer(ext{Ext}_{mathcalA}^1(V,-))$, for an $ext{Ext}^1$-universal object $V$ such that $ext{Ext}_{mathcalA}^1(V,-)$ vanishes on all (existing) coproducts of copies of $V$. For many choices of $mathcalA$, we show that these latter examples exhaust all the possibilities. We then show that, when $mathcalA$ has an epi-generator, the (semi-)special preenveloping torsion classes $mathcalT$ given by (quasi-)tilting objects are exactly those for which any object $TinmathcalT$ is the epimorphic image of some object in ${}_{}^{per{p}_1}mathcalT$ (and the subcategory $mathcalB:=extSub(mathcalT)$ of subobjects of objects in $mathcalT$ is reflective) and they are, in turn, the right constituents of complete cotorsion pairs in $mathcalA$ (resp., $mathcalB$). In a final section, we apply the results when $mathcalA=mathrmmodext-R$ is the category of finitely presented modules over a right coherent ring $R$, something that gives new results and raises new questions even at the level of classical tilting theory in categories of modules.

Recommendations

• Tilting preenvelopes and cotilting precovers
• Exact categories and infinite tilting
• Relative tilting theory in abelian categories. I: Auslander-Buchweitz-Reiten approximations theory in subcategories and cotorsion-like pairs
• Cotorsion theories induced by tilting and cotilting modules
• n-tilting torsion classes and n-cotilting torsion-free classes

Cites work

• scientific article; zbMATH DE number 3425823 (Why is no real title available?)
• scientific article; zbMATH DE number 3851256 (Why is no real title available?)
• scientific article; zbMATH DE number 3663412 (Why is no real title available?)
• scientific article; zbMATH DE number 3697330 (Why is no real title available?)
• scientific article; zbMATH DE number 3751199 (Why is no real title available?)
• scientific article; zbMATH DE number 40982 (Why is no real title available?)
• scientific article; zbMATH DE number 52201 (Why is no real title available?)
• scientific article; zbMATH DE number 107550 (Why is no real title available?)
• scientific article; zbMATH DE number 3463819 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1024391 (Why is no real title available?)
• Algebras of Derived Dimension Zero
• Applications of contravariantly finite subcategories
• Approximations and endomorphism algebras of modules.
• Cosilting complexes and AIR-cotilting modules
• Cotilting sheaves on Noetherian schemes
• Cotorsion pairs, model category structures, and representation theory
• Covers and directed colimits.
• Derived Equivalences As Derived Functors
• Derived categories and Morita theory
• Derived equivalences induced by big cotilting modules
• Deriving DG categories
• Finitely Presented Modules Over Semiperfect Rings
• Finitely presented modules over semiperfect rings satisfying ACC-\(\infty\)
• Induced representations and projective modules
• Infinitely generated tilting modules of finite projective dimension
• Injective and flat covers, envelopes and resolvents
• Locally finitely presented additive categories
• Locally finitely presented and coherent hearts
• Morita Theory for Derived Categories
• Noncommutative localizations and applications
• On exact categories and applications to triangulated adjoints and model structures
• On hearts which are module categories
• On locally coherent hearts
• On the abundance of silting modules
• On the derived category of a finite-dimensional algebra
• On the heart of a faithful torsion theory
• On the structure of *-modules
• Preprojective modules over Artin algebras
• Pure projective tilting modules
• Semi-tilting complexes.
• Silting modules
• Some results on coherent rings II
• The HRS tilting process and Grothendieck hearts of t-structures
• The Ziegler Spectrum of a Locally Coherent Grothendieck Category
• The spectrum of a module category
• Tilted Algebras
• Tilting in Grothendieck categories
• Tilting modules and tilting torsion theories
• Tilting modules arising from ring epimorphisms.
• Tilting modules of finite projective dimension
• Tilting preenvelopes and cotilting precovers
• Tilting, cotilting, and serially tilted rings
• Torsion Theories and Tilting Modules
• Torsion classes generated by silting modules
• Torsion-free covers
• Torsion-free covers. II
• Two statements about infinite products that are not quite true.
• -tilting theory.

Cited in

(6)

• Locally finitely presented and coherent hearts
• Lifting and restricting t‐structures
• Tilting subcategories with respect to cotorsion triples in abelian categories
• Mutation and torsion pairs
• Module categories with linearly ordered closed subcategories
• Abstract elementary classes induced by tilting and cotilting modules have finite character

This page was built for publication: Tilting preenvelopes and cotilting precovers in general abelian categories

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