An explicit self-dual construction of complete cotorsion pairs in the relative context

DOI10.4171/RSMUP/118MaRDI QIDQ6043676FDOQ6043676

Authors Leonid Positselski 

Publication date 23 May 2023

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

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

zbMATH Keywords

cotorsion pairsresolution dimensioncoderived and contraderived categoriestilting and cotilting modulescurved DG-modulesfiltrations and cofiltrationsinduced and coinduced modules

Mathematics Subject Classification ID

Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Derived categories and associative algebras (16E35) Differential graded algebras and applications (associative algebraic aspects) (16E45) Coalgebras and comodules; corings (16T15) General module theory in associative algebras (16D10) Torsion theories; radicals on module categories (associative algebraic aspects) (16S90)

Abstract: Let $RoA$ be a homomorphism of associative rings, and let $(mathcalF,mathcalC)$ be a hereditary complete cotorsion pair in $Rmathsf-Mod$. Let $(mathcal{F}_A,mathcal{C}_A)$ be the cotorsion pair in $Amathsf-Mod$ in which $mathcal{F}_A$ is the class of all left $A$-modules whose underlying $R$-modules belong to $mathcalF$. Assuming that the $mathcalF$-resolution dimension of every left $R$-module is finite and the class $mathcalF$ is preserved by the coinduction functor $operatorname{Hom}_R(A,-)$, we show that $mathcal{C}_A$ is the class of all direct summands of left $A$-modules finitely (co)filtered by $A$-modules coinduced from $R$-modules from $mathcalC$. Assuming that the class $mathcalF$ is closed under countable products and preserved by the functor $operatorname{Hom}_R(A,-)$, we prove that $mathcal{C}_A$ is the class of all direct summands of left $A$-modules cofiltered by $A$-modules coinduced from $R$-modules from $mathcalC$, with the decreasing filtration indexed by the natural numbers. A combined result, based on the assumption that countable products of modules from $mathcalF$ have finite $mathcalF$-resolution dimension bounded by $k$, involves cofiltrations indexed by the ordinal $omega+k$. The dual results also hold, provable by the same technique going back to the author's monograph on semi-infinite homological algebra arXiv:0708.3398. In addition, we discuss the $n$-cotilting and $n$-tilting cotorsion pairs, for which we obtain better results using a suitable version of a classical Bongartz-Ringel lemma. As an illustration of the main results of the paper, we consider certain cotorsion pairs related to the contraderived and coderived categories of curved DG-modules.

Recommendations

• Hereditary cotilting modules
• Cotorsion pairs of complexes.
• \(n\)-cotorsion pairs
• scientific article; zbMATH DE number 1538972
• Recollements associated to cotorsion pairs over upper triangular matrix rings
• \( (d,n)\)-cotorsion modules and \((d,n)\)-flat modules
• When the kernel of a complete hereditary cotorsion pair is the additive closure of a tilting module
• More on abundance of cosilting modules
• The Functor Hom and Cotorsion Theories
• Selforthogonal modules with finite injective dimension. III.

Cites work

• scientific article; zbMATH DE number 5119887 (Why is no real title available?)
• scientific article; zbMATH DE number 3663412 (Why is no real title available?)
• scientific article; zbMATH DE number 3751199 (Why is no real title available?)
• scientific article; zbMATH DE number 1313601 (Why is no real title available?)
• scientific article; zbMATH DE number 203009 (Why is no real title available?)
• scientific article; zbMATH DE number 5165646 (Why is no real title available?)
• A characterization of \(n\)-cotilting and \(n\)-tilting modules.
• ALL MODULES HAVE FLAT COVERS
• All tilting modules are of finite type
• All 𝑛-cotilting modules are pure-injective
• Approximations and endomorphism algebras of modules. Volume 1: Approximations. Volume 2: Predictions.
• Coherent Rings and Fp -Injective Modules
• Coherent rings, fp-injective modules, dualizing complexes, and covariant Serre-Grothendieck duality
• Colocalization and cotilting for commutative noetherian rings
• Cotorsion pairs, model category structures, and representation theory
• Derived equivalences induced by big cotilting modules
• Direct Products of Modules
• Finitistic Dimension and a Homological Generalization of Semi-Primary Rings
• Flat Covers and Flat Cotorsion Modules
• Flat covers and factorizations
• Homological Algebra of Semimodules and Semicontramodules
• How To Make Ext Vanish
• Infinitely generated tilting modules of finite projective dimension
• Models for singularity categories.
• On semi-infinite cohomology of finite-dimensional graded algebras
• On strongly flat and weakly cotorsion modules
• On the existence of precovers.
• Pseudo-dualizing complexes and pseudo-derived categories
• Relative Nonhomogeneous Koszul Duality
• Test sets for factorization properties of modules
• The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences
• The derived category of an exact category
• The homological theory of maximal Cohen-Macaulay approximations
• Tilting, cotilting, and spectra of commutative Noetherian rings
• Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence
• Zariski locality of quasi-coherent sheaves associated with tilting
• n-COTILTING MODULES AND PURE-INJECTIVITY

Cited in

(4)

• Coderived and contraderived categories of locally presentable abelian DG-categories
• Flat comodules and contramodules as directed colimits, and cotorsion periodicity
• Local, colocal, and antilocal properties of modules and complexes over commutative rings
• Differential graded Koszul duality: An introductory survey

This page was built for publication: An explicit self-dual construction of complete cotorsion pairs in the relative context

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