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

DOI10.4171/RSMUP/118arXiv2006.01778MaRDI QIDQ6043676FDOQ6043676

Authors: Leonid Positselski 

Publication date: 23 May 2023

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

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.

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

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.

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)

Cites Work

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

Cited In (4)

• Coderived and contraderived categories of locally presentable abelian DG-categories
• Local, colocal, and antilocal properties of modules and complexes over commutative rings
• Flat comodules and contramodules as directed colimits, and cotorsion periodicity
• 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)