Galois cohomology of a number field is Koszul, by Leonid Positselski

We prove that the Milnor ring of any (one-dimensional) local or global field K modulo a prime number l is a Koszul algebra over Z/l. Under mild assumptions that are only needed in the case l=2, we also prove various module Koszulity properties of this algebra. This provides evidence in support of Koszulity conjectures that were proposed in our previous papers. The proofs are based on the Class Field Theory and computations with quadratic commutative Groebner bases (commutative PBW-bases).

• 0968.bib (240 bytes)
• number-field.dvi (126904 bytes) [August 5, 2010]
• number-field.dvi.gz (50490 bytes)
• number-field.pdf (272070 bytes)
• number-field.ps.gz (212171 bytes)

Leonid Positselski <posic@mccme.ru, positselski@yandex.ru>