{"id":"arxiv/2603.27732","url":"https://arxiv.org/abs/2603.27732","tags":["math.AG","math.AC","math.CT"],"score":0,"title":"Contraherent cosheaves of contramodules on Noetherian formal schemes","domain":"math.AG","source":"arxiv","authors":["Leonid Positselski"],"reviews":0,"subject":"math.AG","summary":"There are two main results in this paper: the MGM equivalence between the conventional derived categories of abelian/exact categories, and the derived co-contra correspondence (i.e., an equivalence between the coderived and the contraderived category). Firstly, for any Noetherian formal scheme that is either of finite Krull dimension or semi-separated, we construct a triangulated equivalence between the conventional unbounded derived categories of the abelian category of quasi-coherent torsion sheaves and the exact category of contraherent cosheaves of contramodules. A natural dedualizing…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-29","reactions":{}}