The Iwasawa Algebra $Ω_G$ and Its Dual Artin Coalgebra

Abstract

For any compact $p$-adic Lie group $G$, the Iwasawa algebra $Ω_G$ over finite field $\mathbb{F}_p$ is a complete noetherian semilocal algebra. It is shown that $Ω_G$ is the dual algebra of an artinian coalgebra $C$. We induce a duality between the derived category $\mathcal{D}^b_{fg}(_{Ω_G}\mathcal{M})$ of bounded complexes of left $Ω_G$-modules with finitely generated cohomology modules and the derived category $\mathcal{D}^b_{qf}(^C\mathcal{M})$ of bounded complexes of left $C$-comodules with quasi-finite cohomology comodules.

8 pages