Tilting preenvelopes and cotilting precovers in general abelian categories

DOI10.1007/S10468-022-10126-5zbMATH Open1525.18011arXiv2103.14159MaRDI QIDQ6133690FDOQ6133690

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)

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.

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)

Cites Work

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

Cited In (5)

• Locally finitely presented and coherent hearts
• Lifting and restricting t‐structures
• Tilting subcategories with respect to cotorsion triples in abelian categories
• 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)