Koszul duality for Iwasawa algebras modulo 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

O m e g a = k [! [G]!]

with coefficients in a finite field

k

of characteristic

p

. It is known that

O m e g a

carries a natural filtration and

e x t g r O m e g a = S (f r a k g)

where

f r a k g

is the (abelian) Lie algebra of

G

over

k

. One of our main results in this paper is that the Koszul dual

can be promoted to an

A_{i n f t y}

-algebra in such a way that the derived category of pseudocompact

O m e g a

-modules

D (O m e g a)

becomes equivalent to the derived category of strictly unital

A_{i n f t y}

-modules

. In the case where

G

is an abelian group we prove that the

A_{i n f t y}

-structure is trivial and deduce an equivalence between

D (O m e g a)

and the derived category of differential graded modules over

which generalizes a result of Schneider for

B b b Z_{p}

.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Koszul duality for Iwasawa algebras modulo \(p\)