Positselski duality in $\infty$-categories

TL;DR

This paper develops a new $ ext{∞}$-categorical framework for Positselski duality, establishing equivalences between contramodules and comodules in stable, presentably symmetric monoidal $ ext{∞}$-categories, with applications to spectra and derived categories.

Contribution

It introduces a symmetric monoidal $ ext{∞}$-categorical version of Positselski's duality, providing new proofs of local duality and connecting contramodules over topological rings with $ ext{∞}$-categories.

Findings

Established an $ ext{∞}$-categorical duality between contramodules and comodules.

Applied the theory to categories of $K(n)$-local and $T(n)$-local spectra.

Described derived complete categories of rings as contramodule categories.

Abstract

We introduce the notion of a contramodule over a cocommutative coalgebra in a presentably symmetric monoidal $\infty$-category $\mathcal{C}$, and prove a symmetric monoidal $\infty$-categorical version of Positselski's comodule-contramodule correspondence when the coalgebra is coidempotent. This gives a new perspective on, and a new proof of local duality -- in the sense of Hovey--Palmieri--Strickland and Dwyer--Greenlees -- whenever $\mathcal{C}$ is stable and compactly generated. We further consider an analog of Positselski's definition of contramodules over topological rings in the $\infty$-categorical setting, and show that the two perspectives on contramodules are equivalent. As examples we describe the categories of $K(n)$-local spectra, $T(n)$-local spectra and the derived complete category of a ring $R$, as categories of contramodules.