Koszul algebras and quadratic duals in Galois cohomology (1808.01695v3)

Abstract: We investigate the Galois cohomology of finitely generated maximal pro-$p$ quotients of absolute Galois groups. Assuming the well-known conjectural description of these groups, we show that Galois cohomology has the PBW property. Hence in particular it is a Koszul algebra. This answers positively a conjecture by Positselski in this case. We also provide an analogous unconditional result about Pythagorean fields. Moreover, we establish some results that relate the quadratic dual of Galois cohomology with $p$-Zassenhaus filtration on the group. This paper also contains a survey of Koszul property in Galois cohomology and its relation with absolute Galois groups.