Mild pro-p groups and the Koszulity conjectures

Abstract: Let

p

be a prime, and

m a t h b b F_{p}

the field with

p

elements. We prove that if

G

is a mild pro-

p

group with quadratic

m a t h b b F_{p}

-cohomology algebra

, then the algebras

and

m a t h r m g r m a t h b b F_{p} [! [G]!]

- the latter being induced by the quotients of consecutive terms of the

p

-Zassenhaus filtration of

G

- are both Koszul, and they are quadratically dual to each other. Consequently, if the maximal pro-

p

Galois group of a field is mild, then Positselski's and Weigel's Koszulity conjectures hold true for such a field.

This page was built for publication: Mild pro-p groups and the Koszulity conjectures