Remarks on derived complete modules and complexes

DOI10.1002/MANA.202000140MaRDI QIDQ6093874zbMATH OpenOpenAlexFDO

Authors Leonid Positselski

Publication date 9 October 2023

Published in Mathematische Nachrichten (Search for Journal in Brave)

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

zbMATH Keywords

\(I\)-contramodule \(R\)-modulesadically flat modulescommutative ringsderived adic completionderived adic torsionfinitely generated idealsidealistic and sequential derived functorsquotseparated contramodulesweak proregularity

Mathematics Subject Classification ID

Completion of commutative rings (13B35) Injective and flat modules and ideals in commutative rings (13C11) Torsion modules and ideals in commutative rings (13C12) Derived categories and commutative rings (13D09) Accessible and locally presentable categories (18C35) Abelian categories, Grothendieck categories (18E10)

Abstract: Let $R$ be a commutative ring and $IsubsetR$ a finitely generated ideal. We discuss two definitions of derived $I$-adically complete (also derived $I$-torsion) complexes of $R$-modules which appear in the literature: the idealistic and the sequential one. The two definitions are known to be equivalent for a weakly proregular ideal $I$; we show that they are different otherwise. We argue that the sequential approach works well, but the idealistic one needs to be reinterpreted or properly understood. We also consider $I$-adically flat $R$-modules.

Recommendations

• On the homology of completion and torsion
• The homotopy theory of complete modules
• On Flatness and Completion for Infinitely Generated Modules over Noetherian Rings
• Adic reduction to the diagonal and a relation between cofiniteness and derived completion
• Flatness and completion revisited

Cites work

• p-adic periods and derived de Rham cohomology
• A counterexample to a 1961 ``theorem in homological algebra
• Approximations of complete modules by complete big Cohen-Macaulay modules over a Cohen-Macaulay local ring
• Cohomologically Cofinite Complexes
• Complete modules and torsion modules
• Completion and torsion over commutative DG rings
• Completion, Čech and local homology and cohomology. Interactions between them
• Continuous étale cohomology
• Contraadjusted modules, contramodules, and reduced cotorsion modules
• Cotorsion modules
• Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories
• Critères de platitude et de projectivité. Techniques de platification d'un module. (Criterial of flatness and projectivity. Technics of flatification of a module.)
• Dedualizing complexes and MGM duality
• Deformation quantization modules
• Derived functors of \(I\)-adic completion and local homology
• Flat morphisms of finite presentation are very flat
• Flatness and completion revisited
• Foundations of relative homological algebra
• Homotopy limits, completions and localizations
• How To Make Ext Vanish
• scientific article; zbMATH DE number 4036043 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• Infinite Abelian groups and homological methods
• Mittag-Leffler condition and the vanishing of ^ 1
• On Flatness and Completion for Infinitely Generated Modules over Noetherian Rings
• On the homology of completion and torsion
• Perpendicular categories with applications to representations and sheaves
• Proregular sequences, local cohomology, and completion
• Relative homological algebra in the category of quasi-coherent sheaves.
• The Grothendieck duality theorem via Bousfield’s techniques and Brown representability
• The pro-\'etale topology for schemes
• Tilting classes over commutative rings
• Torsion of injective modules and weakly pro-regular sequences
• Triangulated Matlis equivalence
• Weak proregularity, derived completion, adic flatness, and prisms
• Weak proregularity, weak stability, and the noncommutative MGM equivalence
• Weakly curved $A_{\infty}$-algebras over a topological local ring

Cited in

(12)

• Flatness and completion revisited
• Torsion completions are bounded
• Weak proregularity, weak stability, and the noncommutative MGM equivalence
• Weak proregularity, derived completion, adic flatness, and prisms
• The homotopy theory of complete modules
• A criterion for \(I\)-adic completeness
• scientific article; zbMATH DE number 2109643 (Why is no real title available?)
• Differential graded Koszul duality: An introductory survey
• On pro-zero homomorphisms and sequences in local (co-)homology
• Prismatic G-displays and descent theory
• Derived complete complexes at weakly proregular ideals
• Homological full-and-faithfulness of comodule inclusion and contramodule forgetful functors

This page was built for publication: Remarks on derived complete modules and complexes

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