Triangulated Matlis equivalence

This paper is a sequel to [L. Positselski, Dedualizing complexes and MGM duality, J. Pure Appl. Algebra 220(12) (2016) 3866–3909, arXiv:1503.05523 [math.CT]; Contraadjusted modules, contramodules, and reduced cotorsion modules, preprint (2016), arXiv:1605.03934 [math.CT]]. We extend the classical Harrison–Matlis module category equivalences to a triangulated equivalence between the derived categories of the abelian categories of torsion modules and contramodules over a Matlis domain. This generalizes to the case of any commutative ring [Formula: see text] with a fixed multiplicative system [Formula: see text] such that the [Formula: see text]-module [Formula: see text] has projective dimension [Formula: see text]. The latter equivalence connects complexes of [Formula: see text]-modules with [Formula: see text]-torsion and [Formula: see text]-contramodule cohomology modules. It takes a nicer form of an equivalence between the derived categories of abelian categories when [Formula: see text] consists of nonzero-divisors or the [Formula: see text]-torsion in [Formula: see text] is bounded.