Dedualizing complexes and MGM duality

DOI10.1016/J.JPAA.2016.05.019MaRDI QIDQ2630022zbMATH OpenOpenAlexFDO

Authors Leonid Positselski

Publication date 8 July 2016

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

adic completionsArtinian (Noetherian) ringcoderived (contraderived, absolute) derived categorycomodule-contramodule correspondencededualizing complexMGM duality

Mathematics Subject Classification ID

Derived categories and commutative rings (13D09) Derived categories and associative algebras (16E35)

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.

Review text

The author studies various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal and shows that they are full subcategories of the related derived categories of modules. By the works: [\textit{W. G. Dwyer} and \textit{J. P. C. Greenlees}, Am. J. Math. 124, No. 1, 199--220 (2002; Zbl 1017.18008)], [\textit{E. Matlis}, J. Algebra 50, 77--112 (1978; Zbl 0384.13002)] and [\textit{M. Porta} et al., Algebr. Represent. Theory 17, No. 1, 31--67 (2014; Zbl 1316.13020); erratum ibid. 18, No. 5, 1401--1405 (2015)] this implies an equivalence between the (bounded or unbounded) conventional derived categories of the abelian categories of torsion modules and contramodules. In particular, the duality theory over adically complete rings and formal schemes known as the \textit{Matlis-Greenlees-May duality} (\textit{MGM duality}) is formulated explicitly as an equivalence between conventional derived categories of the abelian categories of torsion modules and contramodules over the adic completions of certain commutative rings. Thus the MGM duality is viewed as a species of the ``naïve derived co-contra correspondence.

Recommendations

• On the homology of completion and torsion
• Dedualizing complexes of bicomodules and MGM duality over coalgebras
• Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence
• Completion by derived double centralizer
• Triangulated Matlis equivalence

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)