Dedualizing complexes and MGM duality
From MaRDI portal
Abstract: We show that various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal are full subcategories of the related derived categories of modules. By the work of Dwyer-Greenlees and Porta-Shaul-Yekutieli, this implies an equivalence between the (bounded or unbounded) conventional derived categories of the abelian categories of torsion modules and contramodules. Over the adic completion of a commutative ring by an arbitrary finitely generated ideal, we obtain an equivalence between the derived categories of complexes of modules with torsion and contramodule cohomology modules. We also define two versions of the notion of a dedualizing complex over the adic completion of a commutative ring, one for an ideal with an Artinian quotient ring and the other one for a weakly proregular ideal, and use these to construct equivalences between the conventional as well as certain exotic derived categories of the abelian categories of torsion modules and contramodules. The philosophy of derived co-contra correspondence is discussed in the introduction.
Recommendations
Cites work
- Acyclicity versus total acyclicity for complexes over noetherian rings
- Coherent analogues of matrix factorizations and relative singularity categories
- Coherent rings, fp-injective modules, dualizing complexes, and covariant Serre-Grothendieck duality
- Cohomologically Cofinite Complexes
- Complete modules and torsion modules
- Completion by derived double centralizer
- Contramodules over pro-perfect topological rings
- Dedualizing complexes of bicomodules and MGM duality over coalgebras
- Dimensions of triangulated categories.
- Erratum to: ``On the homology of completion and torsion
- Exact categories
- Homological Algebra of Semimodules and Semicontramodules
- scientific article; zbMATH DE number 203009 (Why is no real title available?)
- scientific article; zbMATH DE number 1421209 (Why is no real title available?)
- Idempotent completion of triangulated categories
- Injective modules over Noetherian rings
- Lectures on \(p\)-divisible groups
- On Flatness and Completion for Infinitely Generated Modules over Noetherian Rings
- Proregular sequences, local cohomology, and completion
- Smooth Formal Embeddings and the Residue Complex
- The Grothendieck duality theorem via Bousfield’s techniques and Brown representability
- The higher properties of R-sequences
- The homotopy category of complexes of projective modules
- The homotopy category of flat modules, and Grothendieck duality
- the stable derived category of a noetherian scheme
- Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence
- Weakly curved $A_{\infty}$-algebras over a topological local ring
Cited in
(23)- Dedualizing complexes of bicomodules and MGM duality over coalgebras
- Weak proregularity, weak stability, and the noncommutative MGM equivalence
- The homotopy theory of complete modules
- Pseudo-dualizing complexes of bicomodules and pairs of t-structures
- Matlis category equivalences for a ring epimorphism
- Compactly generated t-structures in the derived category of a commutative ring
- Flat morphisms of finite presentation are very flat
- Weakly stable torsion classes
- Tilting classes over commutative rings
- Completion and torsion over commutative DG rings
- Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories
- Triangulated Matlis equivalence
- RATIONAL LOCAL SYSTEMS AND CONNECTED FINITE LOOP SPACES
- Coherent rings, fp-injective modules, dualizing complexes, and covariant Serre-Grothendieck duality
- Contraadjusted modules, contramodules, and reduced cotorsion modules
- Remarks on derived complete modules and complexes
- Differential graded Koszul duality: An introductory survey
- Applications of reduced and coreduced modules I
- Topological endomorphism rings of tilting complexes
- Roos axiom holds for quasi-coherent sheaves
- Contramodules
- Homological full-and-faithfulness of comodule inclusion and contramodule forgetful functors
- Pseudo-dualizing complexes and pseudo-derived categories
This page was built for publication: Dedualizing complexes and MGM duality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2630022)
