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

DOI10.4171/RSMUP/118MaRDI QIDQ6043676zbMATH OpenFDO

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

coderived and contraderived categoriescotorsion pairscurved DG-modulesfiltrations and cofiltrationsinduced and coinduced modulesresolution dimensiontilting and cotilting modules

Mathematics Subject Classification ID

General module theory in associative algebras (16D10) 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) Torsion theories; radicals on module categories (associative algebraic aspects) (16S90) Coalgebras and comodules; corings (16T15)

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.

Review text

Based on author's abstract: Let \(f:R\longrightarrow A\) be a homomorphism of rings, and let \((\mathcal{F},\mathcal{C})\) be a hereditary complete cotorsion pair in the category of \(R\)-modules. The paper under review consider the cotorsion pair \((\mathcal{F}_A,\mathcal{C}_A)\) induced along the homomorphism \(f\) in the category of \(A\)-modules. If the \(\mathcal{F}\)-resolution dimension of every \(R\)-module is finite and \(\mathcal{F}\) is preserved by Hom\(_R(A,-)\), then the objects in the class \(\mathcal{C}_A\) are direct summands of left \(A\)-modules finitely filtered by modules induced from the objects of \(\mathcal{C}\). The result is also generalized to the case when \(\mathcal{F}\) is closed under countable products and is preserved by Hom\(_R(A,-)\). The paper includes a dual version of Bongartz-Ringel Lemma [\textit{C. M. Ringel}, Math. Z. 208, No. 2, 209--224 (1992; Zbl 0725.16011)] and a generalized version of Bongartz-Ringel Lemma, along which the author discussed the \(n\)-cotilting and \(n\)-tilting cotorsion pairs. Some applications of the main results to the contraderived and coderived categories of curved DG-modules are included as well.

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

• 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 factorizations
• Flat Covers and Flat Cotorsion Modules
• Homological Algebra of Semimodules and Semicontramodules
• How To Make Ext Vanish
• 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?)
• Infinitely generated tilting modules of finite projective dimension
• Models for singularity categories.
• n-COTILTING MODULES AND PURE-INJECTIVITY
• 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

Cited in

(5)

• Differential graded Koszul duality: An introductory survey
• Local, colocal, and antilocal properties of modules and complexes over commutative rings
• Coderived and contraderived categories of locally presentable abelian DG-categories
• Flat comodules and contramodules as directed colimits, and cotorsion periodicity
• A relative version of Bass' theorem about finite-dimensional algebras

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)