Dedualizing complexes and MGM duality (Q2630022)

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''.