Koszul duality for Iwasawa algebras modulo p

TL;DR

This paper establishes a Koszul duality framework for the completed group algebra of a $p$-adic Lie group, relating its derived category to that of an $A_{ olinebreak}_ olinebreak_ olinebreak ext{-} olinebreak$algebra, generalizing previous results.

Contribution

It introduces an $A_{ olinebreak}_ olinebreak_ olinebreak ext{-} olinebreak$-algebra structure on the Koszul dual and proves an equivalence of derived categories for filtered rings from $p$-adic Lie groups.

Findings

Derived category of pseudocompact modules is equivalent to $A_{ olinebreak}_ olinebreak_ olinebreak ext{-} olinebreak$-modules over the dual

The $A_{ olinebreak}_ olinebreak_ olinebreak ext{-} olinebreak$-structure is trivial for abelian groups

Generalizes Schneider's result for $Z_p$

Abstract

In this article we establish a version of Koszul duality for filtered rings arising from $p$-adic Lie groups. Our precise setup is the following. We let $G$ be a uniform pro-$p$ group and consider its completed group algebra $\Omega=k[\![G]\!]$ with coefficients in a finite field $k$ of characteristic $p$. It is known that $\Omega$ carries a natural filtration and $\text{gr} \Omega=S(\frak{g})$ where $\frak{g}$ is the (abelian) Lie algebra of $G$ over $k$. One of our main results in this paper is that the Koszul dual $\text{gr} \Omega^!=\bigwedge \frak{g}^{\vee}$ can be promoted to an $A_{\infty}$-algebra in such a way that the derived category of pseudocompact $\Omega$-modules $D(\Omega)$ becomes equivalent to the derived category of strictly unital $A_{\infty}$-modules $D_{\infty}(\bigwedge \frak{g}^{\vee})$. In the case where $G$ is an abelian group we prove that the $A_{\infty}$-structure is trivial and deduce an equivalence between $D(\Omega)$ and the derived category of differential graded modules over $\bigwedge \frak{g}^{\vee}$ which generalizes a result of Schneider for $\Bbb{Z}_p$.